IV. a^b^^c^d. Q.a — c^=b — d

Ces quatre postulats peuvent se démontrer, si l'on admet la définition de l'égalité des vecteurs donnée dans l'alinéa précédent. 11 faut leur en adjoindre deux autres pour achever de déterminer les propriétés des vecteurs :

11 Si a — c :^b — c, les points a et i coïncident. «

ï dci vetiori, ap. Atti delta R. Accademia delU

VI. Étant donnés 3 points a, b, c, il y a un point a; tel que :

Le postulat V signifie que, si l'origine d'ua vecteur donné est déterminée, son extrémité l'est aussi d'une manière unique. Le postulat VI signifie que, étant donné un vecteur quelconque {b — c), on peut construire un vecteur égal ayant pour origine un point quelconque a '.

On peut définir le vecteur zéro comme le vecteur dont lea extrémités coïncident. Puis on définit la somme d'un point et d'un vecteur : c'est l'extrémité du vecteur donné, quand on le place de telle sorte qu'il ait pour origine le point donné. L'existence du point ainsi construit résulte du poslulat VI. On définit ensuite j'addition des vecteurs, et on démontre qu'elle est commutalive et associative. On définit le produit d'un vecteur par un nombre, d'abord entier, puis rationnel; il faut alors admettre les deux postulats suivants :

VII. Pour que le produit d'un vecteur et d'un nombre non nul soit nul, il faut que le vecteur soit nul.

VIII. Il existe un vecteur qui est le n" d'un vecteur donné, c'est-à-dire qui, multiplié par n, produit le vecteur donné.

On introduit ensuite ce que Ghassmann appelle le produit interne de deux vecteurs ; c'est le produit des longueurs des deux vecteurs et du cosinus de leur angle^. Mai?, comme on

i. Les postulats V et VI ne peuvent pas se déduire de la définiUoû donnée plus haut (p. 132) de l'égalité des vecteurs. En elTel, a~c = b—c signifie que le milieu de ac coïncide avec celui de bc\ soit d ce point; pour en conclure que les points a et A coïncident, il faut admettre que te filment cd ne peut être prolongé au delà de d d'une longueur égale à la sienne que li'une maniÈre unique. De même, x ^ a = b ^c signifie que le milieu de ox coïncide avec le milieu de ab; soit d ce point; pour en conclure que le point x existe, il faut admettre la même chose au sujet do segment cd (qui esiste). On postule ainsi deux propriétés de la droite : 1° une droite peut être prolongée indéfiniment au delà d'un de ses points (ou pour mieux dire, ce prolongement existe)-, 2° on peut porter une longueur donnée sur une droite à partir d'un point donné et dans un sens donné, de telle sorte que l'extrémité soit déterminée d'une manière univoque.

2. En Mécanique, ce sera le travail effectué par la force représentée par un des vecteurs, quand son point d'application décrit l'autre vecteur.

ne peut invoquer ici aucune notion de Géométrie élémentaire, on est obligÉ de prendre le produit iuleroe pour notion indéfinissable', et de le caractériser par les postulats suivants :

IX. w et u étant des vecteurs, leur produit interne uX" est un nombre réel.