Кто выдал формулу нахождения суммы углов многоугольника

кто вывел эту формулу? Схоже, история об этом замалчивает

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