Andrei Lazanu proved the double angle formulae
illustrated in the diagram but there were no
solutions to the second half of this question so
it becomes a Tough Nut.
The diagram starts from a right angled triangle,
of sides
and 2 and where consequently
. In this triangle, a line making
an angle
with the hypotenuse is drawn.
This way, an isosceles triangle is formed, and
is the angle exterior to this isosceles
triangle. Let the sides DA and DB of this
isosceles triangle be
units. Then the length
of DC must be
units. Using Pythagoras
Theorem for triangle ADC we find
.