Немецкий астроном и математик Региомонтан доказал так называемую теорему тангенсов, связывающую длины двух любых сторон треугольника (например, и ) и величины углов, лежащих против этих сторон ( и соответственно): . Доказать справедливость этой формулы (используя теорему синусов).
Обозначим треугольник
По теореме синусов стороны пропорциональны синусам противоположных углов:
Подставляем в левую часть и сокращаем положительное
По формулам преобразования суммы и разности синусов числитель равен
Углы треугольника положительны и
Теорема тангенсов доказана.
