Annales de mathématiques pures et appliquées/Tome 13/Géométrie transcendante, article 2
# Annales de mathématiques pures et appliquées/Tome 13/Géométrie transcendante, article 2

## GÉOMÉTRIE TRANSCENDANTE.

### Solution d’un problème de géométrie, dépendant des équations aux différences mêlées ;

PROBLÈME. Trouver la courbe plane sur laquelle un point lumineux, parvenant d’un point donné de son plan, dans quelque direction que ce soit, après avoir subi deux réflexions, retourne au point même de départ ?

Solution. Soient O le point donné, P, P′ les points de la courbe où les deux réflexions consécutives doivent avoir lieu ; il faudra donc que, quelle que puisse être la direction primitive OM, en menant les normales PN, P′N′, on ait Ang.OPN=Ang.NOP′ et Ang.PP′N′=Ang.N′P′O.

Soit pris le point O pour origine des coordonnées rectangulaires. Soient x, y les coordonnées du point P et soient x′, y′ celles du point P′; et soient enfin désignées par Δx, Δy, respectivement, les différences x′−x, y′−y.

Concevons une ellipse qui, ayant les points O et P pour foyers, passe par le point P′; par la propriété fondamentale de cette courbe les coordonnées x′, y′ satisferont à l’équation

√(x′²+y′²)+√((x′−x)²+(y′−y)²)=Constante.

La différentielle de cette équation, prise en considérant x′, y′ comme variables et x, y comme constans, et en remplaçant respectivement x′−x et y′−y par Δx, Δy est

Δx/(√(Δx²+Δy²))+x′/(√(x′²+y′²))+{ Δy/(√(Δx²+Δy²))+y′/(√(x′²+y′²)) } d⁡y′/d⁡x′=0.

Or, par les propriétés connues de l’ellipse, les lois de la réflexion et la nature du problème, il est aisé de voir qu’au point (x′, y′) l’ellipse dont il s’agit doit avoir un élément commun et par conséquent une tangente commune avec la courbe cherchée, de sorte que, dans l’équation ci-dessus, le coefficient différentiel d⁡y′/d⁡x′ de l’ellipse peut être remplacé par celui de cette courbe. Désignant donc ce dernier par p′ et substituant, notre équation pourra mise sous la forme

(1+p′ Δy/Δx)/(√(1+(Δy/Δx)²))=−(1+p′ y′/x′)/(√(1+(y′/x′)²)) ;

ce qui donne, en quarrant, chassant les dénominateurs et transposant

{1+p′ Δy/Δx }²{1+(y′/x′)²}−{1+p′ y′/x′ }²{1+(Δy/Δx)²}=0;

cette équation est évidemment satisfaite en posant

Δy/Δx=y′/x′ ;

mais c’est une valeur introduite par l’élévation au quarré, puisqu’elle ne satisfait pas à l’équation sous sa première forme.

En faisant le développement, l’équation peut être mise sous cette forme

{ Δy/Δx−y′/x′ }{(p′²−2p′ y′/x′−1) Δy/Δx+(p′² y′/x′+2p′−y′/x′ )}=0,

et donne conséquemment, pour la véritable valeur de Δy/Δx

Δy/Δx=(p′²y′+2p′x′−y′)/(x′+2p′y′−p′²x′).

La considération d’une seconde ellipse qui, ayant pour foyers les points O et P′, passerait par le point P, donnera pareillement, en désignant par P le coefficient différentiel au point O,

Δy/Δx=(p²y+2px−y)/(x+2py−p²x).

Les équations aux différences mêlées (1, 2) ne paraissent facilement intégrales que dans le cas où le point O est infiniment éloigné ; c’est-à-dire, dans le cas où les rayons PO et P′O sont parallèles. Alors x, et x′ sont respectivement infinis par rapport à y et y′, ce qui réduit les équations (1, 2) aux suivantes

Δy/Δx=2p/1−p², (3) Δy/Δx=2p′/1−p′², (4)

ce qui donne

2p/1−p²=2p′/1−p′² ;

d’où résultent ces deux valeurs

p=p′, p=−1/p′.

Occupons-nous d’abord de l’équation

Δy/Δx=2p/1−p²,

dans le cas où on a p=p′; c’est-à-dire, dans le cas où les tangentes à la courbe en P et P′ sont parallèles. Soit y=f⁡(x) d’où

Δy=f⁡(x+Δx)−f⁡(x),

et soit f′⁡(r) la dérivée de y ou f⁡(x), de manière qu’on ait p=f′⁡(x); nos équations seront alors

(f⁡(x+Δx)−f⁡(x))/Δx=2f′⁡(x)/1−[f′⁡(x)]², f′⁡(x)=f′⁡(x+Δx).

La première revient

f⁡(x+Δx)−f⁡(x)=2f′⁡(x).Δx/1−[f′⁡(x)]² ;

en la différenliant, la différentielle de son premier membre sera

f′⁡(x+Δx)(1+d.Δx)−f′⁡(x)

en y mettant pour f′⁡(x+Δx) sa valeur f′⁡(x), donnée par la seconde équation, cette différentielle se réduira à f′⁡(x).d.Δx; de sorte qu’où aura

f′⁡(x).d.Δx=d.2f′⁡(x).Δx/1−[f′⁡(x)]².

Cette équation différentielle entre f′⁡(x) et Δx s’intègre facilement et donne, comme on peut le vérifier par la différentiation,

Δx=C.1−[f′⁡(x)]²/[f′⁡(x)]².

en mettant cette valeur dans l’équation (5), „ elle devient

f⁡{x+C.1−y′²/y′² }−y=2C/y′,

où, pour plus de simplicité, nous avons mis y et y′ pour f⁡(x) et f′⁡(x).

Posons x=ϕ(z), ϕ étant une fonction de la variable indépendante z de telle forme qu’on ait

x+C.1−y′²/y′²=ϕ(z+1).

Posons encore y=f⁡(x)=f⁡[ϕ(z)]=ψ(z); puisque y′=d⁡y/d⁡x, nous aurons aussi y′=d.ψ(z)/d.ϕ(z) ; au moyen de quoi les équations (A et B) deviendront, en n’écrivant, pour plus de simplicité, que les caractéristiques des fonctions,

ψ₁−ψ=2C d⁡ϕ/d⁡ψ, (A′)ϕ₁−ϕ=C(d⁡ϕ/d⁡ψ)²−C, (B′)

Cela posé, l’équation, f′⁡(x)=f′⁡(x+Δx) prouve que d⁡x/d⁡y ne change pas, lorsque x se change en x+Δx, ce qui prouve que d⁡ϕ/d⁡ψ ne doit pas changer non plus, lorsque z devient z+1. Donc d⁡ϕ/d⁡ψ est égal à une fonctibn arbitraire g, qui ne change pas, lorsque z devient z+1; de sorte qu’on a

ψ₁−ψ=2Cg, ϕ₁−ϕ=Cg²−C,

d’où l’on tire

ψ=2Cgz+m, ϕ=C(g²−1)z+n,

g, m, n étant des fonctions arbitraires de z dont la différence doit être nulle, mais qui ne sont pas indépendantes entre elles ; car, comme on a supposé g=d⁡ϕ/d⁡ψ, il faut qu’on ait

g=(Cg²−c+2Cgzg′+n′)/(2Czg′+2Cg+m′),

g′, m′, n′ étant les dérivées respectives de g, m, n prises par rapport à z. Cette équation de condition se réduit à

Cg²+m′g+(C−n′)=0,

d’où

g=(−m′+√(m′²+4Cn′−4C²))/2C.

et les valeurs de ϕ et ψ, c’est-à-dire de x et y seront, en conséquence

x=(−m′+√(m′²+4Cn′−4C²)).z/4C−Cz+n, y=(−m′+√(m′²+4Cn′−4C²))z+m.

Passons au second des deux cas pour lesquels on peut facilement intégrer les équations du problème ; c’est-à-dire au cas où l’on a

Δy/Δx=2p/1−p², p=−1/p,

et où, par conséquent, les tangentes en (x, y) et (x′, y′) sont perpendiculaires l’une à l’autre.

Posons encore

y=f⁡(x)

p=f′⁡(x);

nos deux équations deviendront

(f⁡(x+Δx)−f⁡(x))/Δx=2f′⁡(x)/1−[f′⁡(x)]², f′⁡(x)=−1/(f′⁡(x+Δx)).

Posons ensuite x=ϕ(z), ϕ étant une fonction de la variable indépendante z de telle forme qu’on ait

x+Δx=ϕ(z+1).

Posons enfin y=f⁡(x)=f⁡[ϕ(z)]=ψ(z); nous aurons, comme ci-dessus

f′⁡(x)=d⁡ψ/d⁡ϕ, f′⁡(x+Δx)=d⁡ψ₁/d⁡ϕ₁ ;

au moyen de quoi nos deux équations deviendront

ψ₁−ψ=(ϕ₁−ϕ).2d⁡ψ.d⁡ϕ/d⁡ϕ²−d⁡ψ², d⁡ψ/d⁡ϕ=−1/ d⁡ψ₁/d⁡ϕ₁ .

Soit d⁡ψ/d⁡ϕ=u; la deuxième équation deviendra uu₁=−1, et pourra s’intégrer. En effet, remplaçant u₁ par u+Δu, elle deviendra u²+uΔu=−1, d’où u+Δu=−1 1/u, et par suite

2u+Δu=u−1/u.

Or, la différence du second membre est nulle ; car, si z se change en z+1, il devient −1/u₁+u₁, qui est la même chose que −1/u+u, puisque l’équation uu₁=−1 donne

u=−1/u₁

−1/u=u₁;

on a donc

2u+Δu=g,

g étant une fonction de z dont la différence est nulle ; d’où l’on tire, en intégrant, par la méthode connue,

u=d⁡ψ/d⁡ϕ=g+(−1)ᶻ√(1+g²).

Revenant ensuite à l’équation

ψ₁−ψ=(ϕ₁−ϕ).2d⁡ψ.d⁡ϕ/d⁡ϕ²−d⁡ψ² ;

elle pourra être mise sous la forme

ϕ₁−ϕ=ψ₁−ψ/2 ( d⁡ϕ/d⁡ψ−d⁡ψ/d⁡ϕ )

puis donc qu’on a d⁡ψ/d⁡ϕ=u, elle deviendra

ϕ₁−ϕ=ψ₁−ψ/2 ( 1/u−u)=−ψ₁−ψ/2 g;

donc

ϕ=−g/2 ψ+k,

k étant une fonction arbitraire de z dont la différence est nulle.

Il reste donc à obtenir une seconde intégrale. Pour cela, nous donnerons à celle que nous venons d’obtenir la forme suivante

ψ=−2/g ϕ+2k/g,

d’où

d⁡ψ/d⁡z=2g′/g² ϕ−2/g ϕ′−2kg′/g²+2k′/g ;

mais on a, comme nous l’avons vu tout à l’heure,

d⁡ψ/d⁡ϕ=g+(−1)ᶻ√(1+g²),

d’où

d⁡ψ/d⁡z=d⁡ϕ/d⁡z {g+(−1)ᶻ√(1+g²)};

égalant donc ces deux valeurs de d⁡ψ/d⁡z, on aura

ϕ′{g+(−1)ᶻ√(1+g²)+2/g }−2g′/g² ϕ+2kg′/g²−2k′/g=0.

Posons

R=−2g′/g² /(g+(−1)ᶻ√(1+g²)+2/g) =−g′/(g³+(−1)ᶻ.g².√(1+g²)+2g), V= 2kg′/g²−2k′/g /(g+(−1)ᶻ√(1+g²)+2/g) =2kg′−2gk′/(g³+(−1)ᶻ.g².√(1+g²)+2g),

alors la valeur de ϕ dépendra de l’équation linéaire du premier ordre

ϕ′+Rϕ+V=0;

d’où on tirera, en intégrant,

ϕ=−e^{−∫Rd⁡z}{∫Ve^{∫Rd⁡z}+C},

C étant une constante arbitraire. Cette équation jointe à l’équation

ϕ=−g/2 ψ+k,

donnera, pour résoudre le problème, deux équations en ϕ, ψ, z ou en x, y, z, renfermant deux fonctions arbitraires à différence nulle, et en outre une constante arbitraire.

Par la difficulté d’intégrer les équations du problème, dans les deux cas particuliers que nous venons de traiter, et par la complication des résultats, on peut juger des obstacles que présenterait l’intégration dans le cas général. Toutefois nous osons croire que l’essai qui précède sera reçu avec quelque indulgence par les géomètres qui savent combien est peu avancée encore la théorie des équations aux différences mêlées.

* ↑ Ce problème, proposé dans les Acta eruditorum (septembre 1745), a été traité pour la première fois par Euler (même recueil, 1746). M. Biot s’en est aussi occupé (Mémoires présentés à l’Institut, tom. I). Voyez le Traité des différences et des séries de M. Lacroix, pag. 588. J. D. G.
