Andrei from Romaniaproved the double angle formulae
illustrated in the diagram:
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
.
Hence
and so the length of side DC is
.
The formulae for the sine, cosine and tangent of
in terms of
, where
,
follow directly from the ratios of the sides of
the right angled triangle ADC and we get