Half angle formulas are a set of trigonometric identities that allow for the simplification and evaluation of trigonometric expressions involving half-angles, or angles that are half the size of the original angle. These formulas are particularly useful in solving trigonometric equations and working with sum and difference identities.