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