The double angle formulae

The circle has radius 1 and centre at O. Drag the point D and compare - the two expressions for the length DE - the two expression for the length OE.