Завдання 17.12, § 17. Теорема Піфагора

Теорема Піфагора: у прямокутному трикутнику квадрат гіпотенузи дорівнює сумі квадратів катетів, $c^2=a^2+b^2$; звідси катет $a=\sqrt{c^2-b^2}$. Обернена теорема: якщо $c^2=a^2+b^2$, трикутник прямокутний (кут проти $c$ прямий).