Trigonometry Half Angle Formula, Evaluating and proving half angle trigonometric identities.