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.