Deriving Double Angle Formulae