Soient I, J, K, U des vecteurs non nuls

a\ Si œ est un nombre réel non nul, x\ sera un vecteur parallèle à I, de même sens que I ou de sens contraire, selon que X est positif ou négatif: le module de x\ est égal au module de I, multiplié par la valeur absolue de x. En effet, si I = B — A, le point C tel que ^AB = AC est complètement

déterminé; il n'y a plus qu'à imiter la démonstration du théorème du W^ 8 pour voir que ^(B — A) — C — A, ce qui démontre le théorème.

a". Si I est parallèle à J, il n'existe qu'un seul nombre réel ^, tel que J =^ œl. En effet, 0 étant un point quelconque, 01, OJ sont deux segments d'une même droite et le nombre œ tel que OJ==^OI, ou tel que OJ = 0(^I) est déterminé; il en résulte bien Ji=^I. Soit x' un autre nombre tel que J — x'I, on aura o = (^ — x')l, d'où œ = œ', ce qui prouve que le nombre x est bien indépendant du point choisi 0.

a. La condition de parallélisme de I et de J est donc que J soit un multiple de I.

On peut exprimer la même chose avec la relation IJ = o. En effet, si I est parallèle à J et si 0 est un point quelconque, les points 0, 0 4- I, 0 + J sont sur une même droite, soit

0(0 4-I)(0 + J) = 0IJ = o, c'est-à-dire IJ — o. Inversement, si IJ = o, alors

c'est-à-dire que les points 0, 0 -+- 1, O4-J sont sur une même droite ou encore que les vecteurs I, J sont parallèles.

Si I, J sont des vecteurs parallèles, le signe = nous indiquera toujours de même le nombre x tel que J — ^I, et nous conviendrons, en outre, du symbole t = o»

b'. Disons que le vecteur I est parallèle au plan a ou le plan a parallèle au vecteur I, lorsqu'il existe, sur a, deux points A, B, tels que 1 soit parallèle à B — A; que les vecteurs I, J, K, . . . sont complanaireSy quand I, J, K, . . . sont parallèles à un même plan.

Si I, J, K sont complanaires et IJ ^ o, alors les nombres ^, /, tels que K = .2^I + yJ sont déterminés. En effet, si 0 est un point, les points 0, 0 4- I, 0 -h J, 0 4- K sont sur un même plan parallèle aux vecteurs I, J, K. Si la parallèle menée

LES FORMES GÉOMÉTRIQUES. î3

à la droite 01 par le point 0 + K rencontre la droite OJ au point A, on aura K =:(A — 0) -h[(0 -hK) — A]; mais A — 0 et (0 4- K ) — A sont des vecteurs parallèles aux vecteurs I, J et la proposition a montre qu'on peut déterminer les nombres X, y, tels que K = ^I -i- y J. Les nombres x^ y ne sont pas fonction de 0 ; en effet, si x' , y' étaient d'autres nombres, tels que K = x'I h- y'J, on devrait avoir

(x — x')l-\-{y—y)i = o et (.r — ^')IJ = (jr — j')IJ =o; et de IJ^o résulte immédiatement que l'on doit avoir

X = .v' et y =y.

h". Si Xf y sont des nombres et si K = ^I 4- j J, les vecteurs I, J, K sont complanaires. Soit 0 un point, on a

0(0 4-I)(0-i-J)(0-i-K)=0IJK,

et, en remplaçant K par x\ 4- /J,

ce qui démontre le théorème.

b. La condition de complanarilé des trois vecteurs I, J, K est donc : K est la somme d'un m,ultiple de I et d'un multiple de J, ou K est une fonction linéaire de \ et de J; ce que l'on peut exprimer de même par la condition IJK = o.

G. Si IJK r^ o, les nombres réels x, y, z, tels que

U=:^l4-jJ-i-zK

seront déterminés. Il suffit d'imiter la démonstration de la proposition (b').

Les vecteurs ^I, /J, ^K sont appelés composants de U relativement aux vecteurs I, J, K; les nombres Xy y, z sont appelés coordonnés de U relativement aux vecteurs I, J, K.

d. On a toujours IJKU = 0, c'est-à-dire que le produit de quatre vecteurs est toujours nul. En effet, si IJKr= o, on a bien LJKU = 0; si, IJK^ o, alors U — a7l + /J-i-^K et^ par suite, IJKU =r G.

l4 CHAPITRE I.

11. Bivecteurs. — On appelle bivecteur, le produit de deux vecteurs. Si I, J sont des vecteurs, IJ est un bivecteur. On a IJr=o, quand un des vecteurs I ou J est nul, ou bien encore si I est parallèle à J, et réciproquement.

Théorème I. — Pour que les bivecteurs IJ, KU soient égaux, il faut et il suffit que, quel que soit le point 0, les triangles OU, OKU soient égaux.

Déni. — En vertu de la définition de l'égalité de deux formes du deuxième ordre, la condition IJ = KU équivaut, quels que soient les points P et 0, à POIJ = POKU; cette égalité, d'après la définition d'égalité de deux formes du troisième ordre, équivaut, quel que soit 0, à OU = OKU; observant que OU — 0 (0 -h I ) (0 4- J), il en résulte que OU est un triangle.

Théorème II. — Si I, J sont des vecteurs, quels que soient les points V y Q, les triangles PU, QIJ seront parallèles et auront même sens et même module.

Dém, — On démontre ce théorème en observant que Q-P = (Q + I)-(P + I)-(Q-i-J)-(P + J).

Remarques. — Nous disons que les bivecteurs non nuls IJ, KU sont parallèles ou complanaires, lorsque, quel que soit le point 0, les triangles OU, OKU sont sur un même plan. Appelons orientation du bivecteur IJ, un élément géométrique abstrait, fonction de IJ et que IJ a en commun avec tous les bivecteurs parallèles à IJ. Il en résulte que des bivecteurs égaux ont la même orientation.

Si les bivecteurs non nuls IJ, KU sont parallèles, nous dirons qu'ils ont ou n'ont pas le même sens, suivant que les triangles OU, OKU ont ou n'ont pas le même sens, quel que soit le point 0. Le sens d'un bivecteur non nul IJ est donc un élément géométrique abstrait qui possède IJ en commun avec d'autres bivecteurs parallèles à IJ. Des bivecteurs égaux ont le même sens.

Si IJ est un bivecteur, posons, quel que soit le point 0,

modIJ = amodOIJ. Le module d'un bivecleur IJ est donc le nombre positif ou nul qui mesure l'aire du parallélogramme, dont trois sommets sont les points 0, 0 + I, 0 -h J. Il en résulte encore que des bivecteurs égaux ont le même module.

Le théorème I et les définitions que nous venons d'énoncer entraînent également que pour que deux bivecteurs soient égaux f il faut et il suffit qu'ils aient même orientation, même sens et même module. Ainsi donc, un bivecleur est un élément géométrique abstrait fonction de son orientation, de son sens et de sa grandeur.

Graphiquement, en excluant son sens, on représentera le bivecteur (B — A) (C — A) par le parallélogramme, dont trois sommets sont les points A, B, G et dont les deux vecteurs B — xV, C — A forment les côlés. Si A, B, C, D sont des points d'un plan a, on obtient un point E du plan a, tel que

en construisant le parallélogramme qui représente

équivalant au parallélogramme représentatif de

en sorte que les triangles ABC, ADE aient le même sens. La transformation d'un bivecteur en un autre qui lui soit égal est ainsi réduite au problème de Géométrie élémentaire qui consiste à transformer un parallélogramme en un autre équivalent. Par conséquent, l'égalité