Produit progressif. — Posons, par exemple
= ^1 Ji Al Bi Cl -h XiXz Al B2 C2 H- XiXz Ai B3 G3 -h 072 Ji A2 Bi Cl H- x^y^ A2 B2 C2 -t- xtXz A2 B3 C3 ;
nous avons opéré, en un mot, comme si
Xxkx-^x^X^, J1B1C1-4-J2B2C2-+-J3B3C3
étaient des polynômes, et effectué la multiplication en respectant l'ordre des grandes lettres.
Il est aisé de généraliser cette règle pour effectuer le produit de deux ou plusieurs formes, avec la seule restriction que la somme de leur ordre ne surpasse point 4 ; le produit ainsi défini est dit produit progressif , ou simplement produit, lorsqu'il n'y a pas d'équivoque possible. Le segment AB est ainsi le produit du point A par le point B, le triangle ABC est le produit du point A par le segment BC, du segment AB par le point C, ou enfin le double produit du point A par le point B et par le point C. Il en serait de niême, bien entendu, pour le tétraèdre ABCD.
Il résulte aisément de ces définitions que les règles de calcul algébrique s'appliquent aux produits des formes [si A=B, onaAC = BC, (A-f-B)G=: AC + BC, mAB=:(mA)B], hormis cependant celles qui dépendent d'une propriété commutative; dans ce cas, on doit avoir recours à la règle suivante : si A et B sont deux formes d'ordres respectifs r et s, avec la condition /• -h 5 1 4» on a
ABrz: (i)r^BA;
c'est-à-dire que, dans un produit de formes, on peut à volonté permuter entre eux deux facteurs consécutifs d'ordres r et 5 en ayant la précaution de multiplier le produit par (— i)***; les formules AB = — BA, ABC == — BAC ne sont que des cas particuliers de cette règle.