Lyapunov functions are mathematical constructs used to prove the stability of equilibrium points in dynamical systems. By demonstrating that a Lyapunov function decreases over time, one can infer that the system's state will converge to a stable equilibrium, ensuring predictable system behavior.