Метричні співвідношення у прямокутному трикутнику, теорема Піфагора