AH' + AG' = AG

De telle sorte qu'en appliquant la formule (1) elle subsiste identiquement pour les vecteurs obliques AH' et AG' que l'on peut légitimement considérer comme remplaçant la force unique F dans Téquation du travail.

Si donc, on admet comme acquis le théorème général de la décomposition des forces, la définition du travail élémentaire total, dans le cas le plus général, en est une conséquence obligée.

Réciproquement, si partant de la définition mécanique de la force on admet F cos a ds comme l'expression mécanique du travail élémentaire total à titre de généralisation de la définition du travail élémentaire dans le cas plus simple du déplacement rectiligne dans la direction de la force, s'il en est ainsi, on peut considérer l'équation (1) cidessus comme une démonstration implicite du théorème de la composition des forces de direction quelconque.

Les considérations qui précèdent établissent une corrélation absolue entre la théorie de la composition et de la