ABC

= COQSt.

AiB|Ct

Le théorème, aiasi démontré pour deux triangles correspondants, s'étend immédiatement à deux figures rectilignes correspondantes quelconques, car ces figures peuvent éti'e décomposées en triangles correspondants au moyen de diagonales.

Le théorème s'étend aussi aux figures à contour curviligne, puisqu'il est vrai pour toutes les figures rectilignes qu'on peut inscrire ou circonscrire aux curvilignes et dont les aires {)euvent différer aussi peu qu'on voudra des aires de celle-ci.

253. Les figures équivalentes constituent un cas particulier des figures alliées. Deux systèmes plans alliés sont équivalents, quand deux figures homologues quelconques de ces systèmes sont équivalentes.

On doit concevoir ici l'équivalence dans un sens plus restreint qu'en planimétrie. En efiet, deux quadrangles, KLMN, K|LtMiN|, par exemple, ne sont des figures correspondantes de systèmes alliés que si les triangles KLM, KLN, KlilN et LIVIN, contenus dans le quadrangle KLMX, ont des aires respectivement égales à celles des triangles Kj Li Mi, Ki Li Ni , Kj MjKj et LiMjNi.

m. — Courbes correspondantes dans les systèmes alliés.

254. Deux courbes correspondantes y dans deux systèmes alliés, ont le même nombre de points à l'infini et le même nombre d'asymptotes.

En ciret, à tout point à l'infini de l'une des courbes doit correspondre un point à l'infini de l'autre, et à toute tangente en un point à l'infini de la première, une tangente au point à l'infini correspondant de la seconde; donc :

Deux systèmes plans étant alliés, une ellipse, une parabole, une hyperbole de l'un correspondent respectivement à une ellipse, à une parabole, à une hyperbole de l'autre.

Il est aisé de démontrer que, réciproquement :

Deux ellipses, deux paraboles ^ ou deux hyperboles étant données, les points de V une peui*ent être rapportés d'une infinité de manières aux points de l'autre, de façon à fournir deux figures alliées,

255. Pour allier deux paraboles données, il suffit de prendre arbitrairement deux points de l'une et de leur assigner comme correspondants deujc points quelconques de l'autre.