Prove Half Angle Formula, We study half angle formulas (or half-angle identities) in Trigonometry.