Формула, устанавливающая зависимость между длинами двух сторон плоского треугольника и тангенсами полусуммы и полуразности противолежащих им углов. Т. ф. имеет вид: Т. ф. иногда наз. формулой Региомонтана, по имени ученого, установившего эту формулу во 2-й пол. 15 В. А. Б. Иванов.