Half angle formula for cos, A simpler approach, starting from Euler's formula, involves first ...