On appelle identité géométrique, ou formule de Bernouilli, l'expression suivante :
$$\forall n \in \mathbb{N}, \enspace \forall (a, b) \in \hspace{0.05em} \mathbb{R}^2,$$
$$a^n - b^n = (a-b) \sum_{p=0}^{n-1} a^{n-p-1}b^p $$
En effectuant les divisions euclidiennes successives du pôlynome \( (a^n - b^n) \) par \( (a - b) \), on s'aperçoit que :
Soit finalement,
$$\forall n \in \mathbb{N}, \enspace \forall (a, b) \in \hspace{0.05em} \mathbb{R}^2,$$
$$a^n - b^n = (a-b) \sum_{p=0}^{n-1} a^{n-p-1}b^p $$