LIVRE VIII. — LES COURBES USUELLES. 3g

homologues do deux faisceaux homographiques, qui sont les projections des deux faisceaux générateurs de la conique C. La proposition résulte encore de ce que la courbe C' est l’enveloppe des droites joignant les points correspondants de deuxdivisions homographiques, qui sont les projections des deuxdivisions qui définissent la conique G comme enveloppe.

1 133. Les deux faisceaux homographiques qui déterminent la conique ont deux couples de rayons parallèles (réels ou imaginaires); car, si l’on transporte l’un des faisceaux parallèlement à lui-même, de façon que son centre coïncide avec le centre de l’autre faisceau, on a deux faisceaux homographiques concentriques qui ont (1109) deux rayons doubles (réels ou imaginaires).

Si les deux couples de rayons parallèles sont imaginaires, la courben’a aucun point à l’infini; elle est fermée, et nous lui donnerons le nom d 'ellipse, en nous réservant de démontrer plus tard son identité avec l’ellipse définie au n° 973.

Si les deux couples de rayons parallèles sont réels, la courbe a deux points à l’infini ; nous lui donnerons le nom d’hyperbole, et nous démontrerons plus tard son identité avec l’hyperbole définie au n° 999.

Enfin, si les deux couples de rayons parallèles coïncident, la courbe a deux points à l’infini confondus en un seul, et, par suite, elle est tangente à la droite de V infini; nous lui donnerons le nom de parabole , et nous démontrerons plus tard son identité avec la parabole définie au n° 1027.

Tels sont les trois genres de coniques- Comme variétés de ces courbes, on peut avoir :

i° Beux droites (réelles, coïncidentes ou imaginaires), lorsque les deux faisceaux sont concentriques (1109), ou lorsque la droite qui unit leurs centres est un rayon homologue commun (1108);

2° Deux points (réels, coïncidents ou imaginaires), lorsque les deux divisions ont la même base (1 101), ou lorsque le point d’intersection des deux bases est un point homologue commun (1103).

1134. On dit qu’une courbe est algébrique ou transcendante suivant que son équation en coordonnées rectilignes x et y est algébrique ou transcendante. On appelle ordre d’une courbe algébrique le degré en x et y de son équation préalablement rendue rationnelle et entière patrapport à ces variables. Pour que cette définition no soit pas contradictoire, il faut montrer que le degré do l’équation est indépendant de la position de la courbe par rapport aux axes de coordonnées. C’est ce que nous allons établir.

Considérons une droite située d’une manière quelconque par rapport aux axes coordonnés ox et oy. Soient M, M', M", . . ., divers points de cette droite, P, P' P", . . . , les extrémités de leurs abscisses, et Q, Q',Q", . . . ,

GÉOMÉTRIE DANS L’ESPACE

les extrémités de leurs ordonnées comptées sur oy. Les deux division^ PP'P", . . . , QQ'Q", . . . , sont homographiques et semblables, car chacune d’elles est évidemment semblable ( 1 102) à la division MM' JM", . . il y a donc entre x = oP et j = oQ une relation Pornographique privée de termes en xy, c’est-à-dire que les coordonnées d’un point quelconque JM de la droite sont liées constamment par une équation du premier degré.

L’équation d’une ligne droite étant du premier degré, quelle que soit la situation de cette droite par rapport aux axes coordonnés, il faut nécessairement que, si x et y sont les coordonnées d’un point par rapport à certains axes yox, et x' et y' les coordonnées du môme point par rapport à d’autres axes y'ox\ x ai y soient des fonctions du premier degré de x' et y1. Par suite, la substitution de ces valeurs de x et y dans une équation algébrique en x et y n’altérera pas le degré de cette équation. En d’autres termes, l’ordre de la courbe représentée par cotte équation sera le même, quels que soient les axes auxquels on la rapporte.

Une courbe algébrique d’ordre n est coupée en n points ( réels ou imaginaires ) par une droite quelconque. En effet, en prenant cette droite pour axe des .r, l’équation de la courbe sera toujours du degré n d’après ce cpii précède; et, si l’on fait y — o, P équation se réduira à une équation du degré n en x, qui donnera les abscisses des points communs à la courbe et à la droite; or, on sait par l’Algèbre qu’une équation algébrique rationnelle et entière du degré n à n racines réelles ou imaginaire. Ainsi, l'ordre d’une courbe algébrique exprime le [nombre des points suivant lesquels cette courbe est rencontrée par une droite quelconque.

Les coniques sont donc des courbes du second ordre (1131). Inversement, toute courbe du second ordre est une conique ; car, l'équation générale du second degré à deux variables x et y ne renfermant que cinq coefficients arbitraires, on voit que cinq points déterminent une courbe du second ordre; mais, par ces cinq points, on peut faire passer une conique et une seule (1132); et, comme cette conique est du second ordre, elle ne diffère pas de la courbe proposée,

J 135. Les théorèmes de Pascal (328) et de Desargues (1121 ), les propositions corrélatives ainsi que leurs corollaires sont applicables aux coniques; les démonstrations données aux nos 328, 329, 1121, 1122, subsistent sans modification.

Le théorème de Desargues a été généralisé par Simm (A finales de Gergonne , t. XVII). Considérons unesuite de coniques circonscritesà unmême quadrilatère : soient aa', bh\ cc\ ... , les segments que ces coniques interceptent sur une transversale quelconque L, et pp', qq\ les segments de cette même droite compris entre les deux couples decôtés opposés du quadrilatère. Les deux couples de points (/?,//), (7, q') déterminent sur la droite L une involution à laquelle appartient, en vertu du théorème de Desargucs,