Posons
ajx -4- pSfx
«îi^-')
La fonction *x représentera évidemment un vecteur i[ui coïncidera avec x en direction lorsqu'on donnera à X la direction de f ou bien une direction perpendicu- Jaire, et dans ces deux cas seulement.
Au moyen de ce symbole, nous arrivons à donner à l'équation (2) la forme extrêmement simple
La simple inspection de la forme (3) de la fonction 4» montre qu'on a
(5) *>ÎX=r/?*X,
De plus, nous avons
rtj Tx -f- yf5fx a\[e*— i)
a'xY -+- xfSfy
et par conséquent
Ces propriétés (5), (6), (7) de la fonction ♦ sont tout à fait fondamentales.
Nous aurons occasion de revenir ultérieurement sur ces notions, en les généralisant beaucoup. Pour l'instant, ces simples indications nous suffisent.
Tangente à l'ellipse.
90. Prenons un point sur la courbe représentée par Téquation (4): puis donnons au vecteur de ce point un accroissement infiniment petit d\^ en ne quittant pas la courbe. Alors nous aurons (81)
JÔ(e/x.*x)-h6(x^*x) =0.
Mais la propriété (6) ci-dessus montre immédiatement que d^x = ♦rfx. Donc, en vertu de la propriété (7),
(8) S(rfx.*x)=o,
ce qui montre que le vecteur *x est dirigé suivant la normale à la courbe.
Actuellement, un point quelconque de la tangente est
donné par y = x -h — » A: étant un infiniment petit réel.
Donc, multipliant par $x et prenant les parties réelles,
By*x = 0x*x,
c'est-à-dire, en vertu de Téquation (4)>
Telle est Téquation de la tangente en un point x donné sur l'ellipse.
La propriété réciproque (7) montre que l'équation de cette tangente pourrait encore se mettre sous la forme
(10) Sx*Y = i.
Examen de quelcpies fonctions analogues à «.
91. Pour éclaircir un peu ces notions, nous pouvons les traduire rapidement en coordonnées cartésiennes. Rapportons X à deux axes rectangulaires, en posant
Alors on a
en posant a, = ^i y^i — e- (le demi-petit axe).
L'équation de l'ellipse (4) répond donc à la forme connue
et l'équation (9) delà tangente n'est autre que
équation ordinaire de la tangente.
On remarquera l'effet bien curieux de cette fonction $, qui déforme en quelque sorte les figures dans le plan suivant une certaine loi, puisqu'elle modifie tout vec-
— ia3 — leur X en altérant séparément ses deux coordonnées suivant des rapports différents.
Si l'on répète la même opération * sur 4>x, nous aurons, en vertu de la définition cartésienne (i i)»
*.*X=:*«X=r^,j4-^Iî.
a\ ai
On aurait de même les symboles exprimés par ♦',**,....
Inversement, appelons *-* l'opération qu'il faudrait
faire subir à *x pour transformer ce vecteur en x. Alors
^r^ij 4- J72I2,
c'est-à-dire, en remplaçant — ^ par x\, — -^ par x\j puis supprimant ensuite les accents,
Enfin, si nous posons
il viendra
Toutes ces fonctions, comme la fonction fondamentale * dont elles résultent, jouissent des propriétés fondamentales (5), (6), (7).
92. On peut exprimer les propriétés précédentes très simplement sans recourir aux coordonnées ordinaires. Nous nous contenterons d'inscrire ici les formules sans
- ia4-
démonstration, toute explication étant pour ainsi dire
superflue
*^ i|Si,x ^ i,Si,x a* ai
*->x i=/i}ijSi,x-|- «JijSijX,
W^x= -^ (éi, ijSi,x -f-^jijôijx).
Une conséquence remarquable de ces formules est. relative à une nouvelle forme de l'équation de Tellipse (4)- Cette équation, en vertu de la relation (i6)t peut en effet s'écrire
SxH^*X= — I ou Sxy(H^x)=: — I.
Mais, la propriété (7) étant applicable à la fonction T, on a
BxW[Wx) = ÔTxTx = (Tx)*.
Donc, en définitive, Téquation de l'ellipse prend la forme
Ainsi Tx est un vecteur unitaire, et Téquation de l'ellipse est ici la même que celle d'une circonférence, ce qui s'explique tout naturellement dès qu'on examine la signification géométrique de la fonction Y.
Tangente par un point extérieur.
93. Nous avons vu plus haut que l'équation de la tangente en un point 3C donné sur la courbe est
(9) ' Sy*x — I
(lo) Sx4»\ = I.
Supposons maintenant que le point y soit donné et que par ce point nous voulions mener une tangente à Tellipse.
L'équation (10) nous déterminera le point de contact X que nous cherchons; mais cette équation, en y regardant x comme vecteur courant, représente une droite, qui est par conséquent la corde des contacts. La direction de cette corde est perpendiculaire à *y.
Si nous prenons un point extérieur quelconque R sur la corde des contacts, la nouvelle corde des contacts répondant à ce point aura pour équation 0z4>r = i; mais on a, en outre, 0r4>t = i , puisque R est pris sur la corde des contacts répondant à Y. De là 0y4>r= i, c'est-àdire que la corde des contacts répondant à R passe par Y, propriété identique à celle que nous avons remarquée dans le Chapitre IV pour la circonférence.
Il ne serait pas bien difficile de montrer que la droite Sx*Y = i n'est autre que la polaire du point y, que celui-ci soit extérieur ou intérieur, et d'établir, en partant de là, toutes les principales propriétés des polaires. Nous ne nous y arrêterons pas, et nous nous contenterons seulement d'attirer Fattention sur la relation entre la direction du vecteur y et celle de la polaire du point Y. Cette dernière, d'après l'équation (10), est perpendicu-
— ia6 — laire à ^t, et^ par conséquent, si p est un vecteur quelconque suivant la polaire,
(ig) Sp*y ~ o.
Diamètres. — Diamètres conjugués. — Cordes supplémentaires.
94. Soit que nous cherchions le lieu géométrique des milieux des cordes parallèles à une direction déterminée par le vecteur q. Si P est le milieu d'une de ces cordes, il est évident que les deux points où elle coupe la courbe sont donnés par p-j-o^Qetp — xq. Or, ces deux points étant sur l'ellipse, on a
0(p-f-;cQ)*(p-f-j:Q) = I,
J6(p — ^q)*(p — Xq)=i:I.
Développant et retranchant, on obtient, en vertu des propriétés du n** 89,
formule analogue à la relation (19) du numéro précédent.
Le lieu cherché est donc une droite perpendiculaire à 4>Q ; or, si nous supposons l'extrémité de q sur la courbe (puisque jusqu'à présent nous n'avons pas défini son module), *q représente la normale en q (90). Ainsi, le diamètre est parallèle à la tangente en q, propriété bien connue.
