On a, pour tout :

- dans :

- dans :

Par rapport à un référentiel R quelconque, les deux mouvements se compensent et

La somme de ces 2 égalités donne :

d'où : puisque le produit vectoriel est nul pour tout .

d'où :

puisque le produit vectoriel est nul pour tout .