Half Angle And Double Angle Identities, This is now the left-hand side of (e), which is what we are trying to prove.