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 .