Je kunt formules bewijzen door ze af te leiden (zoals bijv. in de piramide van Chiops). Soms is het handiger een bewijs door volledige inductie te geven, bijvoorbeeld als je al een vermoeden hebt van de formule maar nog moet bewijzen dat deze juist is.