Possible proof

Take a look at the identities below.

\[ \cos^2 \frac{\theta}{2} \equiv \frac{1}{2}(1+\cos \theta) \quad \quad \quad \sin^2 \frac{\theta}{2} \equiv \frac{1}{2}(1-\cos \theta)\]

You may well know enough trigonometric identities to be able to prove these results algebraically, but you could also prove them using geometry. Here are some diagrams that may help you to prove the result for \(\cos^2 \frac{\theta}{2}\). Can you link the diagrams together to form a proof?

You may find it helpful to group the diagrams together in different ways or look for links between pairs of diagrams. You don’t need to use all the diagrams in your proof and you may prefer to add some of your own diagrams. The diagrams are available as a print out. There is an extra card in case you’d like to include another diagram in your proof.

There are many ways to prove this result using these diagrams. Here is one approach.

We are aiming for the result \(1+ \cos \theta \equiv 2\cos^2 \frac{\theta}{2}\) as this is equivalent to the identity we want to prove. We will express the line segment \(CB\) in two different ways. One will involve \(\cos \theta\) and one will involve \(\cos \frac{\theta}{2}\).

Circle showing the right angled triangle ABO, the angle theta at O, and the hypotenuse of length 1.
Similar to the top right diagram but with the point C marked and the line CB added.

\(\cos \theta = \frac{OB}{1}\) so \(OB = \cos \theta\) and therefore \(CB=1+\cos \theta\).

On a circle of radius 1 centre O, C is the point where the horizontal diameter meets the circle on the left, A is a point on the upper half of the circle, and theta is the angle between the line AO and the horizontal diameter of the circle.
Circle showing the triangle AOC, and the point D which is the perpendicular foot of O on the line AC, dividing the triangle AOC into two right angled triangles.

Triangle \(\triangle ACO\) is isosceles and \(\theta\) is the exterior angle at \(O\), so \(\angle ACO = \frac{\theta}{2}\). Looking at the right-angled triangle \(\triangle DCO\), we see that \(\cos \frac{\theta}{2}=CD\). Therefore \(CA=2\cos\frac{\theta}{2}\).

Amalgamation of all diagrams
A and C are the points as in the diagram on the left and B is the perpendicular foot of A on the horizontal diameter of the circle, so that that ABC is a right angled triangle with right angle at B.

(The first diagram was in the suggestion and may help you to see how triangle \(\triangle COA\) is related to the other triangles on the cards.) In triangle \(\triangle CBA\), \(\cos \frac{\theta}{2} = \frac{CB}{CA}\) and therefore \(CB = 2 \cos^2 \frac{\theta}{2}\).

We have managed to write \(CB\) in two different ways, and so equating these expressions for \(CB\) gives us the result we wanted.


A similar approach could be used to prove that \(2\sin^2 \dfrac{\theta}{2}= 1-\cos \theta\).

Triangle ABO and the line BE, where E is the point where the horizontal diameter meets the circle on the right
Right angled triangle CAE

From the first diagram we can see that \(BE = 1-\cos\theta\). From the second diagram and using a similar approach to the proof for \(\cos\) above, we see that \(CE=2\) and \(\angle ECA = \frac{\theta}{2}\), so \(EA=2 \sin \frac{\theta}{2}\).

Triangles EAB and ACE
Trianlge EAB

The triangles \(\triangle EAB\) and \(\triangle ACE\) are similar, so \(\angle EAB\) is \(\frac{\theta}{2}\). From triangle \(EAB\) we can see that \(\sin \frac{\theta}{2}= \frac{BE}{AE}\) so \(BE=2 \sin^2 \frac{\theta}{2}\). Equating the two ways we can write \(BE\) gives us the result we wanted.