И. Региомонтан (он же Иоганн Мюллер) составил обширные таблицы синусов (через 1 минуту с точностью до седьмой значащей цифры). Он впервые отступил от шестидесятеричного деления радиуса и за единицу измерения линии синуса принял одну десятимиллионную часть радиуса. Таким образом, синусы выражались целыми числами, а не шестидесятеричными дробями. До введения десятичных дробей оставался только один шаг, но он потребовал более 100 лет. Труд Региомонтана о треугольниках всех родов сыграл в европейской математике ту же роль, что и сочинение Насир-эд-Дина в науке мусульманских стран. Какая теорема была открыта в XV веке немецким математиком И. Региомонтаном?