Эту формулу причисляют греческому мудрецу Фалесу (его больше помнят по теореме Фалеса - делению отрезка с помощью любой шкалы и параллельных отрезков). Правда, утверждение звучало по-моему немного иначе: сумма углов треугольника (как минимум прямоугольного) равна сумме двух прямых углов. Но именно оно легло в основу этой теоремы. Фалесу причисляют и определение высоты пирамиды по ее тени. Его труды (около 2300 лет назад) и легли в основу геометрии еще одного грека - Евклида, которая является основой учебника геометрии нашего времени. Как то так :)