Вероятно, ещё в Древнем Египте свойство суммы углов треугольника было установлено эмпирическим путём, то есть путём наблюдения. 3
Обычно открытие этого утверждения приписывают древнегреческому философу и математику Пифагору, жившему в VI веке до н. э.. 4 Но изучение древних рукописей показало, что это утверждение было известно задолго до рождения Пифагора. 4
Доказательство теоремы о сумме углов треугольника, изложенное в современных учебниках, содержится в комментарии Прокла к «Началам» Евклида. 4 Прокл утверждал, что, согласно Евдему Родосскому (IV в. до н. э.), сумма углов треугольника равна развёрнутому углу, то есть 180°. 14