Substitution formulas are mathematical expressions that allow for the replacement of one or more variables in an equation with a specific value or function. These formulas enable the simplification and transformation of complex equations, facilitating the process of solving problems in various mathematical contexts, including the rotation of axes.