Глава IV. Соотношения между сторонами и углами треугольника. §3 Прямоугольные треугольники → номер 264
(свойство углов прямоугольного треугольника).
Тогда