Annales de mathématiques pures et appliquées/Tome 13/Géométrie des courbes et surfaces, article 1
# Annales de mathématiques pures et appliquées/Tome 13/Géométrie des courbes et surfaces, article 1

### Solution du problème de géométrie proposé à la pag. 321 du XII.ᵉ volume des Annales ;

PROBLÈME. On demande l’équation d’une courbe telle que, si de l’origine on mène un rayon vecteur quelconque et une perpendiculaire à la tangente à son extrémité, 1.ᵒ le cube construit sur le rayon vecteur soit double en volume du cube construit sur la perpendiculaire à la tangente ; 2.ᵒ que l’angle formé par la perpendiculaire avec l’axe des x soit le tiers de l’angle formé par le rayon vecteur avec la même droite ?

Solution. Ce problème est évidemment un problème plus que déterminé, non pas de ceux qui renferment seulement quelques conditions superflues, mais bien de ceux dans lesquels les conditions sont incompatibles. Soient, en effet, O l’origine, OX la direction de l’axe des x, M un quelconque des points de la courbe cherchée, et N le pied de la perpendiculaire abaissée de O sur la tangente en ce point. Puisque le rapport du cube de OM à celui de ON est donné, le rapport de ces deux droites est aussi donné ; le triangle rectangle MNO est donc donné d’espèce ; l’angle MON de ce triangle est donc donné ; mais cet angle doit être les deux tiers de XOM et le double de XON; donc ces derniers sont aussi donnés ; donc les directions OM et ON sont tout-à-fait fixes et déterminées ; donc tous les points de la courbe cherchée devraient être sur la droite OM; cette courbe devrait donc se confondre avec cette droite, ce qui est impossible, puisqu’alors ses tangentes ne pourraient être perpendiculaires à la direction ON.

On ne peut donc résoudre le problème qu’en faisant tour-à-tour abstraction de chacune des deux conditions ; et c’est aussi ce que nous allons faire successivement ; nous montrerons ensuite que les deux courbes obtenues sont essentiellement différentes.

I. Nous venons de voir qu’en exigeant seulement que le cube construit sur OM soit le double du cube construit sur ON, l’angle MON est tout-à-fait déterminé ; l’angle OMN l’est donc aussi ; la question revient donc alors simplement à trouver une courbe dans laquelle les rayons vecteurs fassent un angle constant avec la tangente à leur extrémité.

Soit a la tangente tabulaire de cet angle, et soit fait, suivant l’usage, d⁡y/d⁡x=p, l’angle que fait OM avec l’axe des x étant \frac{y}{x}, nous devrons avoir

p−y/x /(1+p y/x)=a

(ay−x)p+(ax+y)=0

équation dont l’intégrale est

√(x²+y²)=Ce¹ᐟ²ᴬʳᶜ‧⁽ᵀᵃⁿᵍ‧⁼ʸᐟˣ⁾.

C’est l’équation d’une spirale logarithmique, comme l’on pouvait bien s’y attendre.

Dans le cas particulier qui nous occupe, on a

a=Tang.OMN=OM/√(OM¯²−ON¯²)=1/√(1−(ON/OM)²) ;

mais

ON/OM=³√(ON¯³/OM¯³)=³√(1/2)=1/³√2 ;

donc

a=³√2/√(³√4−1) ;

de sorte que l’équation de la courbe sera

√(x²+y²)=Ce^{√(³√4−1)Arc.(Tang.=y/x)/³√2};

où C est une constante arbitraire.

II. Supposons, en second lieu, qu’on ne veuille avoir égard qu’à la seconde condition seulement ; il faudra qu’on ait

Ang.MOX=3Ang.NOX:

d’où

Tang.MOX=3Tang.NOX−Tang.³NOX/1−3Tang.²NOX ;

mais on a,

Tang.MOX=y/x, Tang.NOX=−1/p ;

donc

y/x=1−3p²/p³−3p.

cette équation donne d’abord la solution particulière y=x; mais il est clair qu’elle ne saurait convenir à la question qui nous occupe.

En éliminant y entre dite et sa différentielle, il vient, toutes réductions faites

d⁡x/x=(3(p²+1)d⁡p)/p(p²−1)(p²−3),

ce qui donne, en intégrant,

Cx=p(p²−3)/(p²−1)³ᐟ² ;

C étant la constante arbitraire. Mais nous avons

y/x=1−3p²/p(p²−3),

ce qui donne, en multipliant,

Cy=1−3p²/(p²−1)³ᐟ² ;

prenant donc la somme des quarrés des valeurs de x et y, il viendra, en réduisant,

C²(x²+y²)=((p²+1)/p²−1)³,

d’où

(p²+1)/p²−1=³√(C²(x²+y²));

ce qui donne

p=√((³√(C²(x²+y²))+1)/(³√(C²(x²+y²))−1));

substituant cette valeur dans l’équation

y/x=1/p.1−3p²/p²−3 ;

et changeant la constante C en 1/k, il vient

y/x=(³√((x²+y²)/k²)+2)/(³√((x²+y²)/k²)−2).√((³√((x²+y²)/k²)−1)/(³√((x²+y²)/k²)+1)).

III. En passant, pour plus de simplicité, aux coordonnées polaires, les équations (1 et 2) deviennent

r=Ce^{t√(³√4−1)/³√2},

Tang.t=((r/k)²ᐟ³+2)/(r/k)²ᐟ³−2 √((r/k)²ᐟ³−1/((r/k)²ᐟ³+1));

r étant le rayon vecteur et t l’angle qu’il fait avec l’axe des x.

On voit, à cause des constantes arbitraires C et k, qu’il y a une infinité de courbes qui résolvent le premier des deux problèmes, sans résoudre le second, et une infinité de courbes qui résolvent le second sans résoudre le premier.

Afin donc que le problème pût être résolu tel qu’il a été proposé, il faudrait que dans les deux séries de courbes il se trouvât une ou plusieurs courbes communes ; c’est-à-dire, qu’il faudrait que, par une détermination convenable des constantes C et k, on pût amener les équations (1 et 2) à être identiquement les mêmes : or, c’est une chose évidemment impossible, puisque la première de ces équations est toujours transcendante quel que soit C et la seconde toujours algébrique quel que soit k. Le problème, tel qu’il a été proposé, ne saurait donc être résolu, comme nous l’avons d’ailleurs déjà prouvé dès le début.

* ↑ Voyez la page 136 du VIII.ᵉ volume du présent recueil.
