DE L'INTERPRÉTATION GÉOMÉTRIQUE DES SYMBOLES

36. Nous avons vn (n* 20) qu'on peut exprimer algébriquement un quaternion donné quelconque par le produit de son module multiplié par une fonction de trois angles. Parmi ces quatre éléments de quaternion , les jdeux que nous avons appelés directeurs entrent seuls dans la partie symbolique de la fonction précédente et forment un trinôme, qui se réduit, comme il a été dit, à la forme •

— ' = cos <pi + sin f cos «ly + sm <p sm ^k = [«] V^/* -f m* -L. n*

et dont le module est égal à T unité. Or on peut représenter ce trinôme, appelé aussi directeur (21), par le point de la sphère de rayon égal à un , qui aurait ces angles (f et <{; pour coordonnées polaires par rapport à un point fixe pris pour pôle. En traçant sur la sphère le grand cercle équateur correspondant à ce pôle, et en prenant dessus une origine quelconque pour les longitudes, le point dont il s'agit aurait une

longitude égale à ip et une latitude égale à- — cp: Tangle 9 représen-

tant ici la distance du point au pôle considéré, ou encore ce qu'on peut appeler la colatitude de ce point. Les trois symboles i, j et k correspondent eux-mêmes à trois points de la sphère éloignés Tun de l'autre d'un quadrant, savoir : t au pôle, ; à l'origine des longitudes, et le dernier sym-

bole k au point de l'équateur, dont la longitude est égale à -. Si l'on joint

le centre de la sphère à ces trois points, ainsi qu*à celui qui est défini par le trinôme précédent [a], les projections de ce dernier rayon sur les trois premiers, considérés comme formant un système de trois axes coordonnés rectangulaires, seront

^It^rn^j^n^ v//' + m* + n« y/l^ + m^ + n^

ou encore

cos fy sin (p CCS 4^ et sin cp sin ^,

et inversement ces projections définissent la position de ce point sur la sphère, ainsi que nous venons de le montrer.

37. Le mémo trinôme symbolique directeur [a] peut aussi servir à re^ présenter un plan perpendiculaire au rayon précédent; Tangle 9 désignerait alors rinclinaison de ce plan sur Téquateur, et Tangle ^ l'angle que fait l'intersection du plan et de Téqualeur avec le rayon correspondant au symbole k, de sorte qu'en prenant ce dernier point pour origine des longitudes , et en conservant les désignations en usage en astronomie , ^ et ^ ne seraient autre chose que Tinclinaison et la longitude du nœud qui suffisent, comme on sait, à fixer la position du plan considéré.

Ainsi, on voit qu'en traçant sur la sphère un triangle tri-rectangle dont les sommets I, J et K correspondraient aux trois symboles t, j et ft, un trinôme directeur quelconque, tel que

li+tnj + nk . , . , . . , ,

[«] = — = cos 91 + sm 9 cos ^j + sm 9 sin ^k

peut servir à représenter soit un point A de la sphère éloigné de I , de l'angle cp et tel que ^ est égal à la distance de J au cercle mené par AI, soit le grand cercle de la même sphère ayant A pour pôle, qui fait avec le cercle JK un angle égal à 9 et dont l'intersection avec le même cercle JK est à une distance de K égale à l'angle ^.

Nous conviendrons d'appeler vecteur le rayon OA, qui sert ainsi à re- •* présenter ou à définir le symbole [a] ; mais nous donnerons dans la suite une plus grande extension à cette dénomination, en désignant de ce nom

une loDguear portée dans une direction arbitraire, dont les projections sur les axes auraient des valeurs quelconques /, m et n, et qui serait représentée par le trinôme symbolique

li + mj + nk = s/P + m*+n* [a],

de sorte qae si [a] désigne le rayon OA de la sphère précédente, en por* tant sur ce rayon, prolongé s'il est nécessaire, à partir du centre 0, une

longueur OA' égale à ^C + m* + n\ OA' sera le vecteur correspondant au dernier trinôme.

38« Soit maintenant un second vecteur défini par les nouveaux angles directeurs, f^^ et tp^, et correspondant au trinôme

(/,t + mj + n,*) ^ €08 «pji + sin <pj cos ^J + «n Ti ^'^ +1*

que nous désignerons aussi pour abréger par [a^]. Le produit des deux trinômes [a] et [a J sera un quaternion p ayant un module égal à Tunité, et les deux parties Sp et Vp de ce quaternion auront les valeurs suivantes :

S/>=S[«Hat] = -T ^ =-cos6

Vp = VW M = (^^ -n^i)» + K - /n,U+(K-K )^ ^ ^ ^ ^ • ^/« + m*+n« v^/^« + m," + n,«

en désignant par l'angle plus petit que tt, que font entre eux les deux vecteurs [a\ et [a,], et par [|3] le vecteur-unité perpendiculaire à leur plan, mené de telle sorte qu'on puisse faire coïncider [a] avec [a J par une rotation directe autour de [|3] comme axe, égale à Tangle 0. Ces résultats simples se déduisent immédiatement de formules élémentaires très-connues. Remarquons qu'en changeant le signe du facteur [a,] on obtient son inverse (n"" 1 8) , et que la multiplication précédent^ se transforme en nue division. On aura donc aussi, en appelant q le quotient de la division de [a] par [«,],

^ = ^bi=-^Mt*«^= /ir^-î-T^. //Tl «^ = = cose

= - sin [p],

Tangie et le vecteor [|3] conservant la signification précédente. Nous sommes ainsi conduit à la règle suivante :

Le produit et le quotient de deux rayons de la sphère donnent deux quaternions égaux et de signe contraire. La partie algébrique du produit de ces vecteurs est égale à la projection de l'un d'eux sur le prolongement de Tautre, et la partie symbolique du même produit est égale à Taire du parallélogramme construit sur les vecteurs, multipliée par le trinôme symbolique directeur correspondant au rayon perpendiculaire au plan de ce parallélogramme y et dirigé de telle sorte qu'une rotation moindre que n autour de ce rayon puisse amener, dans le sens direct, le multiplicande à coïncider avec le multiplicateur. Les deux parties du quotient des mêmes vecteurs sont par suite les mêmes que celles de leur produit changées de signe.

Ajoutons ici cette remarque importante et qui se déduit immédiatement des formules précédentes, à savoir : que le produit on le quotient de deux vecteurs parallèles se réduit toujours à une quantité numérique, tandis que le produit ou le quotient de deux vecteurs perpendiculaires donne toujours un simple vecteur perpendiculaire au plan des premiers.

Nous confondrons désormais dans le langage, sans qu'il puisse en résulter d'équivoque, les opérations faites sur les trinômes symboliques avec les opérations analogues eCTectuées sur les vecteurs correspondants.

39« Il est visible maintenant qu'on peut considérer toute unité de qnaternion Up comme le produit ou le quotient de deux vecteurs. En effet, si Ton appelle G l'angle du quaternion, cette unité sera de la forme

U/) = cos 6 -|- sin 6 [P],

[P] étant le vecteur défini par les deux angles directeurs du quaternion p; or si Ton mène dans le plan du grand cercle de la sphère perpendiculaire au vecteur [(3] deux rayons [a] et [a,] faisant entre eux un angle égal à , et tels qu'on puisse appliquer [a J sur [oî\ par une rotation dans le sens direct égale à 9 autour de l'axe [(3], d'après ce qui vient d'être dit le quaternion Up sera égal au quotient de [a] divisé par [«J, ou, ce qui revient au même, égal au produit du premier vecteur par le vecteur opposé au second.

On peut mieux se représenter ce résultat en traçant sur la sphère un arc de grand cercle AA, égal à 9 et ayant pour pôle le point B, extrémité du vecteur [p], de telle sorte que le chemin AA, soit décrit sur la sphère d'un mouvement direct par rapport à ce pôle, en allant de A, à A, ou d'un mouvement rétrograde en allant au contraire de A à A,» Cet arc AA, déterminera donc par ses extrémités A et A, le rayon dividende et le rayon diviseur, dont la division donne pour quotient le quatemion Dp* Il est évident de plus que cet arc est susceptible de glisser à volonté sur son cercle et de prendre toutes les positions possibles sans que la valeur du quaternion quotient^ représenté par cet arc, soit altérée.

UO. Outre cette représentation géométrique des unités de quatemion , au moyen des arcs de grand cercle d'une même sphère , on peut encore en imaginer une seconde, non moins simple, qui lui est réciproque. Pour cela, décrivons de chacune des extrémités de Tare AA,, comme pôles, deux arcs de grand cercle ; ils se couperont au point B et détermineront par leur intersection Tangle sphérique CBC^, dont la grandeur sera bien déterminée et égale à 6 ou à Tare AA,, et dont les côtés, susceptibles d'ailleurs de prendre une infinité de positions diflTérentes autour du sommet B, seront placés de telle sorte qu'on aille dans un sens direct ou dans un sens rétrograde de C, à Cou de C à G, dans l'intérieur de cet angle^ Remarquons de plus que si l'on prolonge les côtés de cet angle, ils se couperont en un second point B, , opposé au premier fi suivant un diamètre, et formeront un fuseau complet CBC,B, compris entre deux demi-cercles, lequel représentera encore le même quaternion, soit qu'on prenne B ou B, pour som^ met de l'angle, pourvu que le sens qui amènerait l'un de ces demi-cercles sur l'autre, pour décrire le fuseau , soit toujours direct de G^ à G ou rétrograde de G à G,. Le vecteur qui correspond au sommet B ou au pôle de l'arc représentatif AA, du quaternion, et dont la considération est, comme on voit, importante, s'appelle Ygxe du quaternion, de même que l'arc AA, s'appelle l'arc de ce quatemion.

{kt. Il est maintenant facile de donner la signification géométrique du produit de deux, et par suite d'un nombre quelconque de qualernions unités. Nous sommes même ainsi conduit à deux résultats de forme différente et d'égale simplicité, selon que les quatemions facteurs sont repré^

sentes par des arcs de cercle ou par des angles sphériques. En premier lieu, pour effectuer la multiplication de deux quaternions, p et q^ donnés par leurs arcs, imaginons qu'on construise un triangle sphérique ABC tel que les deux arcs BC et GÂ représentent et définissent les deux

quaternions facteurs p et q; il est évident que la construction de ce

triangle sera toujours possible, à cause de la faculté qu'on a de déplacer à volonté sur chaque cercle Torigine de Tare représentatif d*un même quaternion. Désignons maintenant par [a], [p] et [y] les trois vecteurs correspondant aux sommets de ce triangle, on aura, d'après ce qui précède,

donc le produit r=pq sera (a* 40)

et par suite, l'arc représentatif du quaternion r sera le côté BA du triangle sphérique actuel ABC.

On déterminerait de même le produit du quaternion précédent par un troisième facteur s et ainsi de suite, et Ton arriverait toujours, en suivant cette marche, à un dernier arc qui représentera le produit cherché.

A2. Supposons en second lieu que les facteurs quaternions soient donnés comme des angles ou des fuseaux sphériques, et commençons d'abord par déterminer, comme précédemment, le produit de deux quaternions. Pour cela imaginons qu'on construise les arcs représentatifs de ces quaternions, et à leur aide, comme ci-dessus, le triangle sphérique ABC dont le côté BA serait l'arc correspondant au produit cherché. Déterminons ensuite sur la même sphère le triangle sphérique polaire A^B'G^ du triangle ABC, dont les sommets A', B' et G' soient respectivement les pôles des arcs BG, GA et AB, il est évident que les deux quaternions facteurs p et ^ seront représentés par les angles extérieurs du triangle polaire dont les sommets sont en A' et en B', et que le quaternion produit r le sera aussi par le troisième angle extérieur ayant son sommet en G^ On peut représenter les divers sens de ces angles en employant

trois lettres pour désigner chaque angle, ainsi qa'il suit :

p = CA.'B:

r = pq = A'C'B'.

Le seDS rétrograde étant encore ici indiqué en allant de la première lettre à la dernière, ou plutôt du cercle représenté par les deux premières, à celui qui est représenté par les deux dernières, en faisant tourner autour de chaque sommet suivant Tangle extérieur correspondant du triangle.

On aurait pu évidemment construire immédiatement le triangle A'B'C' sans passer par le triangle auxiliaire ABC, et Ton arriverait au même ré* sultat, en faisant bien attention au sens respectif de chaque angle. Il est visible que cette construction s'étend, comme la précédente, à un nombre quelconque de quatemions donnés.

&3. Nous allons faire quelques applications bien simples des théorèmes précédents. Considérons en premier lieu deux triangles sphériquee ABC et ABfi^ qui aient un angle commun en A compris entre des côtés égaux chacun à chacun et situés dans le prolongement l'un de l'autre. Désignons par p et 7 les quaternions représentés par les arcs AB et BC du premier triangle, on aura (n^" 41)

pq = AB .BC = AC = C^A

et

CjA . ABj = CjB, = pqp-\

Ainsi l'arc C^B^ représente un quatemion obtenu en multipliant l'arc BC=<ï à droite et à gauche par Tare AB=p et son inverse AB, = p""*. Cette double multiplication n'altère donc pas la grandeur de l'angle du quatemion q puisque l'arc C^B^ est égal en grandeur à l'arc BC; elle change seulement la position de l'arc primitif BC du quatemion q en lut donnant la même inclinaison par rapport à l'arc du quatemion p , mais en transportant le point B sur cet arc à une distance égale au double de la longueur BA de l'arc du quatemion p.

kU* On arrive aussi au même résultat en faisant la multiplication par la règle du n"" 42. Soient en effet ABC et AB^G deux triangles sphériques

symétriques par rapport au côté AG commun , et désignons par p et f les quaternions représentés par les angles extérieurs CAB et ABC du premier triaAgle, le produit pq sera représenté aussi par Tangle extérieur ACB, et par suite aussi par Tangle B^GA qui peut lui être substitué ; or la multiplication de ce dernier angle par p^^ ou par Tangle extérieur GAB^ donne Tangle GB^A extérieur au second triangle AB^G , c*est*à-dir6 un angle égal en grandeur à Tangle de g, et dont le sommet B^ s'est déplacé en tournant autour du pôle A par une rotation de même sens que l'angle de p et égale au double de cet angle. Le résultat auquel nous sommes ainsi conduit pour l'interprétation géométrique du produit

pqp-'

concorde d'ailleurs évidemment avec celui du numéro précédent.

f|i5. Il devient maintenant facile, d'après nos notationsy de représenter symboliquement la position que prendrait un corps déterminé B, après une rotation de grandeur connue, autour d'un axe fixe passant par un ses points. Pour cela désignons par p un quatemion- unité correspondant à Taxe de rotation et ayant pour angle la moitié de celui qui indique la grandeur de la rotation du corps. On aura en désignant par (B^) les diverses positions des vecteurs menés aux différents points du corps par le point fixe, et par (B) les positions primitives de ces vecteurs avant la

rotation

(BJ=p(B)r«.

On exprimerait de même symboliquement la position du même corps, après plusieurs rotations successives autour d'axes donnés et passant par le même point, en formant les divers quaternions p, q... et r correspondant à ces rotations, et l'on aurait

Gette formule peut encore être mise sous la forme suivante :

[BJ = r^ îV[Blp" V* r'\

p, q... r désignant maintenant les quaternious qui déterminent successivement les axes et les angles de rotation.

— ai —

Ifi. Il résulte de là qu'on peut composer autant de rotations succès* sives qu'on voudra en une seule , car d'après un théorème démontré (n* 42), on a

K(r qp) = KpKq Kr;

d'où Ton déduit

donc si Ton pose

r qp = «,

on aura

et par suite la première formule de l'article précédent devient

La seconde formule de cet article est susceptible de la même transformation. En posant

Elle devient

[BJ=s*[B]r\

Ce qui démontre la proposition énoncée.

fii7. On peut encore obtenir autrement les diverses rotations successives dont il est ici question. Soient A, B, C, D,... H, E les divers sommets d'un polygone sphérique quelconque tracé sur une sphère fixe de rayon égal à l'unité , qui aurait pour centre le point du corps considéré. Supposons que la première rotation imprimée à ce corps ait pour eSet d'amener en B, par le chemin AB, le point du corps qui coïncidait primitivement avec le point A de la sphère fixe, et que les autres rotations fassent successivement décrire au même point les arcs BC, CD,... HK. Lorsque toutes ces rotations auront été effectuées le point du corps qui coïncidait primitivement avec A se sera transporté en E, donc on peut remplacer toutes les rotations précédentes par deux autres : l'une qui aurait pour effet de déplacer le corps suivant l'arc AE, et l'autre de le faire ensuite tourner autour de l'axe OE. Pour déterminer la grandeur d0 cette dernière rotation , considérons la droite liée invariablement au corps qui

avait primitivement la position de la tangente à Tare AK , menée an point A. Cette ligne se déplacerait par les diverses rotations effectaées suivant les arcs AB, BC... et HK, et il est visible qu'on pourrait l'amener à devenir successivement tangente à tous ces arcs en faisant effectuer au corps, autour des rayons oA, oB,... oH et oK, des rotations respectivement égales aux suppléments des angles du polygone sphérique, et dans le sens même du périmètre de ce polygone. De cette manière lorsque le corps sera arrivé à sa dernière position, la droite tangente primitivement à Tare AK sera redevenue tangente au même arc en E. Or on peut supprimer toutes les rotations autour des axes oA,oB,.-oH et oK,au moyen d'une dernière rotation autour de oE égale à la somme des suppléments des angles du polygone et de sens contraire à la précédente. Si Ton change le sens de cette rotation en retranchant la somme précédente de Stt, on obtient le théorème suivant :

Lorsqu'un corps quelconque ayant un point fixe placé au centre d'une sphère immobile de rayon égal à l'unité, est déplacé successivement au moyen de diverses rotations effectuées suivant les divers arcs de grand cercle AB, BC... HE d'une ligne polygonale ABGD... HE donnée, ou peut toujours faire passer le corps de sa première à sa dernière position par une rotation suivant l'arc de grand cercle AE qui ferme la ligne précédente, suivie d'une seconde rotation dans le sens avec leqael on parcourt le périmètre AB. . . EA et dont la grandeur est égale à l'angle qui représente la surface du polygone sphérique formé.

On sait, en effet que cet angle a précisément pour valeur

ait— (ic-A) — (ic — B) (,t — H)— (ir — K),

A, B,... H et E désignant les divers angles du polygone sphérique considéré.

Remarquons que si les sommets A et E du polygone venaient à coïncider, la première rotation deviendrait nulle et la seconde serait encore égale à la surface du polygone ABC* H.

Le théorème précédent parait avoir été découvert par M. Hamilton, qui y a été conduit par la théorie des quatcrnions. On voit, par ce qui précède, qu'on peut aassi le démontrer par un raisonnement géométrique fondé sûr des considérations tout élémentaires.

!|8. RetenoDS mainteoâat à l'analyse symbolique, et soient p, ^^.^ . « et » les qnaternions représentés par les divers côtés AB, BC,... HE, KA du polygone sphéri(}oe précédent. La règle de la maltiplication donnée (n* 41) fournira facilement Tare qni correspond ai produit

fq^ z^t\

On voit donc d'après le théorème précédent combiné avec celui du n"" 44, que cet arc aura pour pôle le point A, et en second lieu, que sa longueur sera égale à la moitié de Taire du polygrae AB*.. HE (divisée, bien entendu, pour rétablir l'homogénéité par le rayon de la sphère égal à l'unité de longueur).

De là résulte immédiatement une construction bien connue et attribuée, je crois, à Gudermann , de Tare qui représente l'aire d'un triangle sphérique, ou de ce qu'on appelle aussi \excè% sphérique. Mais le théorème précédent donne la construction générale pour un polygone sphériqne quelconque.

(|9« La multiplication appliquée au cas important où les facteurs sont des vecteurs en nombre quelconque donne lieu à un grand nombre de conséquences géométriques très-utiles dans le calcul actuel. Examinons en premier lieu le cas de la multiplication de trois vecteurs, et supposons d'abord que ces vecteurs soient perpendiculaires à une même direction ou, ce qui revient au même, soient situés dans un même plan. Comme l'origine de chaque vecteur est arbitraire, puisqu'on ne change pas la valeur d'un vecteur, quand on le déplace parallèlement à lui-même, imaginons qu'on construise un triangle dont les côtés aient précisément la direction des vecteurs donnés. Soit ABC ce triangle , le produit qu'il s'agit d'obtenir dépendra de la valeur du suivant