История изменений
Исправление nikitos, (текущая версия) :
Вам, похоже совсем всё придется разжевать…
Для случая «невыровненного по оси» угол состоит из суммы двух углов «выровненных по оси» с рациональными тангенсами. Посмотрев в формулу тангенса суммы углов (tg(x+y)=(tg(x)+tg(y))/(1-tg(x)tg(y)) ), понимаем что он тоже рационален, так как формула рациональная и её компоненты тоже все рациональны.
Исходная версия nikitos, :
Вам, похоже совсем всё придется разжевать…
Для случая «невыровненного по оси» угол состоит из суммы двух углов «выровненных по оси», а посмотрев в формулу тангенса суммы углов (tg(x+y)=(tg(x)+tg(y))/(1-tg(x)tg(y)) ), понимаем что он тоже рационален.