Докажем теорему Пифагора, используя утверждение 20, п. 63:
В прямоугольном треугольнике ABC с прямым углом C выполняется равенство $$AC^2 + BC^2 = AB^2$$.
Решение:
Пусть CD - высота треугольника ABC, проведенная из прямого угла C к гипотенузе AB.
Известно, что $$AC^2 = AD \cdot AB$$ (по утверждению 20, п. 63), где AD - проекция катета AC на гипотенузу AB.
Аналогично, $$BC^2 = BD \cdot AB$$, где BD - проекция катета BC на гипотенузу AB.
Сложим эти два равенства:
$$AC^2 + BC^2 = AD \cdot AB + BD \cdot AB$$
Вынесем AB за скобки:
$$AC^2 + BC^2 = AB \cdot (AD + BD)$$
Так как AD + BD = AB, то:
$$AC^2 + BC^2 = AB \cdot AB$$
$$AC^2 + BC^2 = AB^2$$
Ответ: Теорема Пифагора доказана: $$AC^2 + BC^2 = AB^2$$.