Half angle formulas are trigonometric identities that express trigonometric functions of half angles in terms of the functions of the original angles, simplifying the computation of these functions for specific angles. They are particularly useful in calculus and geometry for integrating trigonometric functions and solving equations involving trigonometric expressions.