Double Angle Identities Example, Evaluating and proving half angle trigonometric identities.