Si O est l'origine d'un repère galiléen on a, avec
:
.
De même :
et
.
Donc
.