ИСН писал(а):
2 worm2: респект. Далеко же пришлось лезть...
Спасибо!
Идея была следующая:
1) Взять прямоугольный треугольник с рациональными сторонами (3, 4, 5).
2) Увеличив минимальный угол вдвое, получить другой прямоугольный треугольник (гипотенуза первого станет биссектрисой второго), т.о. синус половины одного из его углов,
, рационален по построению (стороны второго треугольника будут также рациональны).
3) У этого второго треугольника взять второй угол
(минимальный) и увеличить вчетверо. Построить треугольник на гипотенузе второго треугольника как на основании и углами
,
. У третьего треугольника синусы половин уже двух углов рациональны.
4) К счастью оказалось (хотя, наверное, это закономерность, которую я не уловил), что его две другие стороны также рациональны и синус половины третьего угла --- тоже.
5) Осталось "растянуть" треугольник, чтобы его стороны и биссектрисы из рациональных превратились в целые.
В общем мне повезло, т.к. я не обосновывал закономерности, которые оказались истинными.