# Annales de mathématiques pures et appliquées/Tome 15/Géométrie élémentaire, article 11
## GÉOMÉTRIE ÉLÉMENTAIRE.
### Démonstration des propriétés des quadrilatères à la fois inscriptibles et circonscriptibles au cercle ;

Les principales propriétés des quadrilatères inscrits ou circonscrits au cercle sont connues depuis long-temps : mais quelques-unes seulement ont été introduites dans les traités élémentaires de géométrie. Les autres se trouvent reléguées dans quelques ouvrages particuliers que consultent rarement ceux qui ne font pas une étude spéciale de la géométrie ; et il en résulte que la connaissance de ces dernières propriétés n’est pas assez généralement répandue. Ces propriétés peuvent pourtant être assez simplement démontrées, en appliquant, comme je l’ai déjà fait, dans quelques articles des Annales, les principes sur les contacts des cercles ; principes qui m’ont toujours paru d’un facile secours dans toutes les recherches de ce genre.
Je me propose de compléter ici ce que j’ai déjà publié sur cette matière, en présentant la démonstration des propriétés des quadrilatères qui sont à la fois inscrits à un cercle et circonscrits à un autre, propriétés dont la découverte est due à M. Poncelet, qui les a fait connaître dans son Traité des propriétés projectives des figures (pag. 283 et 360) ; et elles ne sont pas la partie la moins curieuse de l’excellent ouvrage de ce géomètre.
Si je me permets de revenir sur un sujet déjà traite par M. Poncelet, ce n’est, certes, pas que j’aie la prétention de faire mieux que lui ; mais, comme les démonstrations qu’il donne des propositions dont il va être question reposent sur des considérations qui n’ont point encore obtenu et pourront même ne pas obtenir de long-temps encore l’assentiment universel des géomètres, j’ai pensé faire une chose agréable à ceux qui ne connaissent pas encore les propriétés dont il s’agit, ou qui ne les croiraient pas suffisamment établies par les doctrines particulières à ce savant estimable, en les leur démontrant ici par les principes rigoureux de l’ancienne géométrie ; persuadé que M. Poncelet lui-même me pardonnera volontiers une excursion sur son domaine qui n’a d’autre but que de répandre davantage, en les rendant plus accessibles, les découvertes dont il a enrichi la géométrie.
Les considérations employées par M. Poncelet, et qui ne paraissent pas de nature à satisfaire pleinement les amateurs zélés de la géométrie Euclidienne, sont, d’une part, celles qu’il déduit de la loi de continuité, et d’une autre, celles qui se rapportent aux droites variables de situation considérées comme s’éloignant à l’infini de certains points ou de certaines autres droites.
On a vu, par le rapport de M. Cauchy à l’Institut, sur l’ouvrage de M. Poncelet, ce que pense cet habile professeur du principe de continuité, qu’il regarde seulement comme une forte induction et comme une méthode de recherche. M. Poncelet lui-même n’a pu le considérer autrement, puisqu’il ne l’a proprement démontré nulle part. Ainsi, tant que ce principe n’aura pas reçu la sanction qu’une démonstration rigoureuse peut seule lui faire acquérir, les géomètres, jaloux de conserver à la science cette antique prérogative de certitude qui la caractérise, rejetteront ces principes métaphysiques qui, après avoir bouleversé toutes les sciences où ils se sont introduits, ne manqueraient pas de porter le désordre dans celle qui a traversé les siècles sans recevoir aucune atteinte.
En accordant à M. Poncelet que son principe de continuité paraît empreindre de son caractère tous les faits géométriques connus, on n’en sera pas moins fondé à lui en demander la démonstration ; et je ne la croîs pas facile à donner, précisément parce que ce principe érigé en loi n’est pas une propriété positive, susceptible de tel ou tel genre de démonstration, mais bien plutôt le résumé général d’une multitude de faits connus, lequel, par sa trop grande généralité même, ne semble devoir se dérober à tous les efforts que l’on voudrait faire dans la vue de le démontrer.
Ce que je viens de dire semble pouvoir être également appliqué à on autre genre de considération dont l’auteur fait aussi un usage très-fréquent, et qui consiste à supposer que des droites passent à l’infini. Ce principe, comme le précédent, employé avec trop de précipitation, semblerait de nature à légitimer beaucoup d’erreurs ; et c’en est assez pour que ceux qui attachent encore quelque prix à l’ancienne manière de procéder en géométrie répugnent à en faire usage.
Ce n’est pas pourtant que je pense qu’on ne puisse démontrer rigoureusement les propositions dont la géométrie se compose qu’en s’astreignant à suivre servilement la marche tracée par les anciens. Ce que j’ai dit ailleurs de la manière large dont je voudrais que l’on traitât présentement la géométrie pure semble devoir me justifier suffisamment de ce reproche. Mais je ne pense pas non plus qu’il doive être permis de s’écarter aussi essentiellement de cette marche qu’a tenté de le faire l’estimable auteur du Traité des propriétés projectives.
Mon but étant de compléter la théorie élémentaire des propriétés des quadrilatères inscrits et circonscrits au cercle, j’ai pensé qu’il convenait d’abord d’offrir un résumé de ces propriétés, en rassemblant ici tout ce qu’on a trouvé de plus intéressant sur cette matière.
Les propriétés les plus élémentaires du quadrilatère inscrit au cercle, démontrées dans les élémens, sont les suivantes :
THÉORÈME I. Dans tout quadrilatère inscrit au cercle, la somme de deux angles opposés est égale à la somme des deux autres.
Et réciproquement, tout quadrilatère dans lequel les sommes d’angles opposés sont égales est par là même inscriptible au cercle.
THÉORÈME II. Dans tout quadrilatère inscrit au cercle, le rectangle des segmens de l’une des diagonales est égal au rectangle des segmens de l’autre diagonale.
Et réciproquement, tout quadrilatère dans lequel les rectangles des segmens des deux diagonales sont égaux est par là même inscriptible au cercle.
THÉORÈME III. Dans tout quadrilatère inscrit, le rectangle des diagonales est égal à la somme des rectangles des côtés opposés.
THÉORÈME IV. Dans tout quadrilatère inscrit, les diagonales sont entre elles comme les sommes des rectangles des côtés qui partent de leurs extrémités.
À ces propriétés on peut encore ajouter les propriétés des quadrilatères inscrits à diagonales orthogonales découvertes par Archimède, et étendues à la sphère par Carnot.
THÉORÈME V. Dans tout quadrilatère inscrit, à diagonales orthogonales, 1.$^o$ la somme des carrés des quatre côtés est double du carré du diamètre ; 2.$^o$ la somme des carrés des quatre segmens des diagonales est égale au carré du diamètre ; 3.$^o$ enfin, la somme des carrés des deux diagonales est égale au carré du diamètre, moins le quadruple du carré de la distance de leur point de concours au centre du cercle.
Passons actuellement aux propriétés des quadrilatères circonscrits.
THÉORÈME VI. Dans tout quadrilatère circonscrit au cercle, la somme de deux côtés opposés est égale à la somme des outres.
Et réciproquement, tout quadrilatère dans lequel les sommes de côtés opposés sont égales est circonscriptible au cercle.
Je me suis occupé de cette réciproque à la page 49 du VI.e volume des Annales, et j’ai fait voir (page 50, note) comment elle pouvait être démontrée par la théorie des contacts des cercles.
THÉORÈME VII. Dans tout quadrilatère circonscrit, la somme de deux angles opposés quelconques est égale à la somme des angles opposés aux sommets formés par les droites qui joignent les points de contact des côtés opposés ; pourvu que l’on prenne ceux qui regardent les deux angles restans du quadrilatère.
Ce théorème, dont la démonstration est fort simple, est dû à M. Poncelet, (Propriétés projectives, pag. 284).
THÉORÈME VIII. Dans tout quadrilatère circonscrit, la droite qui joint les milieux des diagonales passe par le centre du cercle.
Ce beau théorème est dû à Newton ; mais il n’avait pas encore été démontré, pour le cercle en particulier, d’une manière élémentaire. Je l’ai démontré par la théorie des contacts (Annales, tom. XIV, pag. 309).
Si l’on considère deux quadrilatères dont l’un soit inscrit et l’autre circonscrit à un même cercle, et qui soient en outre inscrits l’un à l’autre, on aura le théorème suivant, que j’ai aussi démontré par la théorie des contacts (Annales, tom. XIII, pag. 305, et tom. XIV, pag. 43.
THÉORÈME IX. Si deux quadrilatères sont l’un inscrit et l’autre circonscrit à un même cercle, de telle sorte que les sommets de l’inscrit soient les points de contact du circonscrit, 1.$^o$ les diagonales des deux quadrilatères se couperont toutes quatre au même point ; 2.$^o$ les points de concours des directions des côtés opposés des deux quadrilatères appartiendront tous quatre à une même ligne droite ; 3.$^o$ le point de concours des quatre diagonales sera le pôle de la droite qui contiendra les points de cours des directions des côtés opposés.
Occupons-nous présentement des propriétés des quadrilatères à la fois inscriptibles et circonscriptibles au cercle et que nous avons annoncé avoir ici principalement en vue.
Soient $\mathrm {O}$ et $\mathrm {I}$ (fig. 1) les centres des deux cercles, et $\mathrm {ABCD}$ un quadrilatère à la fois inscrit au premier et circonscrit au dernier, de manière que ses côtés consécutifs $\mathrm {AB,BC,CD,DA}$ touchent ce dernier en $\mathrm {E,F,G,H} .$ Soient menées $\mathrm {EF,FG,GH,HE} ,$ formant un nouveau quadrilatère inscrit au cercle $\mathrm {I} .$ Les diagonales $\mathrm {AC,BD,EG,FH}$ des deux quadrilatères se couperont toutes quatre en un même point $\mathrm {P}$ (Théor. IX). En outre, les trois droites $\mathrm {AD,BC}$ et $\mathrm {EG}$ concourront en un même point $\mathrm {M} ,$ les trois droites $\mathrm {AB,DC}$ et $\mathrm {HF}$ en un même point $\mathrm {N} ,$ les trois droites $\mathrm {EF,HG}$ et $\mathrm {AC}$ en un même point $\mathrm {R} ,$ et enfin les trois droites $\mathrm {EH,FG}$ et $\mathrm {BD}$ en un même point $\mathrm {S} ,$ et les quatre points $\mathrm {M,N,R,S}$ appartiendront à une même ligne droite dont le point $\mathrm {P}$ sera le pôle.
Désignons par $r$ le rayon du cercle inscrit, par $\mathrm {R}$ le rayon du cercle circonscrit, et par $a,b,c,d$ respectivement, les tangentes $\mathrm {AE=AH} ,$$\mathrm {BF=BE,\ CG=CF,\ DH=DG} .$
THÉORÈME X. Dans tout quadrilatère à la fois inscrit à un cercle et circonscrit à un autre, les droites qui joignent les points de contact des côtés opposés du quadrilatère avec le cercle inscrit divisent en deux parties égales les quatre angles formés par les deux diagonales, et sont par conséquent perpendiculaires l’une à l’autre.
Démonstration. En effet, le quadrilatère $\mathrm {ABCD}$ étant inscrit au cercle $\mathrm {O} ,$ les deux angles $\mathrm {CAD,CBD}$ sont égaux comme inscrits au même arc. Les deux angles $\mathrm {AHF,BFH}$ sont aussi égaux, comme formés par une même corde $\mathrm {FH}$ et les tangentes à ses deux extrémités. Donc les deux triangles $\mathrm {APH}$ et $\mathrm {BPF}$ sont équiangles ; d’où il suit que $\operatorname {Ang} .\mathrm {APH} =\operatorname {Ang} .\mathrm {BPF} \,;$ mais on a $\operatorname {Ang} .\mathrm {BPF} =\operatorname {Ang} .\mathrm {DPH}$ comme opposés au sommet ; donc, $\operatorname {Ang} .\mathrm {APH} =\operatorname {Ang} .\mathrm {DPH} \,;$ donc la droite $\mathrm {PH}$ divise en deux parties égales l’angle $\mathrm {APD} \,;$ et on prouvera, d’une manière semblable, que la droite $\mathrm {PE}$ divise en deux parties égales l’angle $\mathrm {APR} \,;$ donc les deux droites $\mathrm {EG}$ et $\mathrm {FH,}$ qui divisent en deux parties égales les angles adjacens $\mathrm {APB}$ et $\mathrm {APD,}$ sont perpendiculaires l’une à l’autre.
THÉORÈME XI. Réciproquement, si, dans un quadrilatère circonscrit au cercle, les droites qui joignent les points de contact des côtés opposés sont perpendiculaires l’une à l’autre, ce quadrilatère sera inscriptible à un autre cercle.
Démonstration. En effet, dans les deux quadrilatères $\mathrm {AEPH,CFPG,}$ les angles en $\mathrm {P}$ sont égaux comme droits ; de plus, il est aisé de voir que les angles $\mathrm {E}$ et $\mathrm {H}$ du premier sont les supplémens respectifs des angles $\mathrm {G}$ et $\mathrm {F}$ du second ; donc leurs angles $\mathrm {A}$ et $\mathrm {C}$ sont aussi supplément l’un de l’autre ; ce qui prouve que le quadrilatère $\mathrm {ABCD,}$ déjà circonscrit à un cercle, est inscriptible à un autre cercle.
THÉORÈME XII. Dans tout quadrilatère à la fois inscrit à un cercle et circonscrit à un autre, les centres des deux cercles et le point de concours des diagonales appartiennent tous trois à une même ligne droite.
Démonstration. En effet, le point $\mathrm {P}$ étant le pôle commun de la droite $\mathrm {MN,}$ par rapport aux deux cercles, leurs centres $\mathrm {O}$ et $\mathrm {I}$ doivent se trouver tous deux sur la perpendiculaire $\mathrm {PQ}$ abaissée de ce point sur cette droite.
THÉORÈME XIII. Dans tout quadrilatère à la fois inscriptible et circonscriptible, les distances des sommets au point de concours des diagonales sont proportionnelles aux tangentes menées de ces sommets au cercle inscrit et terminées à ce cercle. Les diagonales de ce même quadrilatère sont proportionnelles aux sommes de tangentes menées de leurs extrémités au même cercle.
Démonstration. En effet, le triangle $\mathrm {APB,}$ dans lequel la droite $\mathrm {PE}$ divise l’angle $\mathrm {APB}$ en deux parties égales donne $\mathrm {PA:PB::EA:EB} ::a:b.$ Les triangles $\mathrm {BPC,CPD,DPA}$ donnent, pour les mêmes raisons, $\mathrm {PB:PC} ::b:c,\ \mathrm {PC:PD} ::c:d$ et $\mathrm {PD:PA} ::d:a\,;$ d’où on conclut
$\mathrm {PA:PB:PC:PD} ::a:b:c:d.$
De cette suite de rapports égaux, on conclut ensuite sans difficulté
$\mathrm {AC:BD} ::a+c:b+d.$
THÉORÈME XIV. Dans tout quadrilatère à la fois inscripttille et circonscriptible, le produit des tangentes menées de deux sommets opposés et terminées à leurs points de contact est constant et égal au carré du rayon du cercle inscrit.
Démonstration. En effet, menons les droites $\mathrm {AI,BI,CI,DI,}$ des sommets du quadrilatère au centre du cercle inscrit, et les rayons $\mathrm {IE,IF,IG,IH,}$ aux points de contact des côtés de ce quadrilatère ; les deux triangles $\mathrm {AIE,CIF}$ seront semblables. En effet, ils sont d’abord rectangles, l’un en $\mathrm {E}$ et l’autre en $\mathrm {F} \,;$ de plus, leurs angles en $\mathrm {A}$ et $\mathrm {C}$ sont les moitiés des angles de même dénomination du quadrilatère ; et, puisque ces derniers sont supplément l’un de l’autre, les autres seront complément l’un de l’autre. On aura donc $Ang.\mathrm {AIE} =Ang.\mathrm {ICF}$ et $Ang.\mathrm {IAE} =Ang.\mathrm {CIF} .$ Ces deux triangles semblables donnent ainsi $\mathrm {AF:IE::IF:CF}$ ou $a:r::r:c,$ d’où $ac=r^{2}.$ On trouverait pareillement $bd=r^{2}\,;$ ainsi
$ac=bd=r^{2},$
Ce théorème, assez remarquable, n’était point encore connu.
Corollaire I. Le quadrilatère $\mathrm {ABCD}$ étant inscrit au cercle, on doit avoir $\mathrm {AC\times BD=AB\times CD+AD\times BC} =(a+b)(c+d)+(a+d)(b+c)$
$=ac+ad+bc+bd+ab+ac+bd+cd=(ab+bc+cd+ad)+4r^{2}$
$=(a+c)(b+d)+4r^{2}.$
II. On a aussi $\mathrm {AC:BD} ::(a+c):(b+d).$ De là on tire
${\overline {\mathrm {AC} }}^{2}={\frac {(a+c)\left\{(a+c)(b+d)+4r^{2}\right\}}{b+d}},$
${\overline {\mathrm {BD} }}^{2}={\frac {(b+d)\left\{(a+c)(b+d)+4r^{2}\right\}}{a+c}}.$
III. On a encore
$\mathrm {AP:BP:CP:DP:AC:BD} ::a:b:c:d:(a+c):(b+d)$
d’où l’on tire
${\begin{array}{ll}{\overline {\mathrm {AP} }}^{2}={\cfrac {a^{2}\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}},&{\overline {\mathrm {BP} }}^{2}={\cfrac {b^{2}\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}},\\\\{\overline {\mathrm {CP} }}^{2}={\cfrac {c^{2}\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}},&{\overline {\mathrm {DP} }}^{2}={\cfrac {d^{2}\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}}.\end{array}}$
IV. Du centre $\mathrm {O}$ du cercle circonscrit abaissons des perpendiculaires $\mathrm {OK}$ et $\mathrm {OL}$ sur les diagonales $\mathrm {AC}$ et $\mathrm {BD}$ du quadrilatère ; les points $\mathrm {K}$ et $\mathrm {L}$ seront les milieux de ces diagonales ; et la droite $\mathrm {KL}$ qui les joint passera (Théor. VIII) par le centre $\mathrm {I}$ du cercle inscrit. Le quadrilatère $\mathrm {OLPK,}$ ayant deux angles droits opposés $\mathrm {K}$ et $\mathrm {L,}$ sera inscriptible (Théor. I) ; et l’on aura par conséquent (Théor. II) $\mathrm {IO\times IP=IK\times IL} .$
Cela posé, on aura, d’après un théorème d’Euler $\mathrm {{\overline {AC}}^{2}+{\overline {BD}}^{2}+4{\overline {KL}}^{2}}$ ou bien $\mathrm {{\overline {AC}}^{2}+{\overline {BD}}^{2}+4{\overline {IK}}^{2}+8IK\times IL} =(a+b)^{2}+(b+c)^{2}+(c+d)^{2}$ $+(d+a)^{2}.$ Mais on tire des triangles $\mathrm {AIC,BID}$
$2\mathrm {{\overline {IK}}^{2}={\overline {AI}}^{2}+{\overline {CI}}^{2}-{\frac {{\overline {AB}}^{2}}{2}},\qquad 2{\overline {IL}}^{2}={\overline {BI}}^{2}+{\overline {DI}}^{2}-{\frac {{\overline {BD}}^{2}}{2}}} \,;$
substituant donc, il viendra
$\mathrm {2\left({\overline {AI}}^{2}+{\overline {BI}}^{2}+{\overline {CI}}^{2}+{\overline {DI}}^{2}\right)+8IK\times IL}$
$=\left(a^{2}+b^{2}+c^{2}+d^{2}\right)+2(a+c)(b+d)\,;$
substituant enfin pour $\mathrm {{\overline {AI}}^{2},{\overline {BI}}^{2},{\overline {CI}}^{2},{\overline {DI}}^{2}}$ leurs valeurs respectives $a^{2}+r^{2},\ b^{2}+r^{2},\ c^{2}+r^{2},\ d^{2}+r^{2},$ il viendra, toutes réductions faites,
$4\mathrm {IK\times IL} =(a+c)(b+d)-4r^{2}.$
V. Le triangle $\mathrm {AIP}$ donne $\mathrm {{\overline {IP}}^{2}={\overline {AI}}^{2}+{\overline {AP}}^{2}-2AI\times AP} Cos.\mathrm {IAP} .$ Le triangle $\mathrm {AIC}$ donne d’ailleurs
$Cos.\mathrm {IAC} =\mathrm {\frac {{\overline {AI}}^{2}+{\overline {AC}}^{2}-{\overline {CI}}^{2}}{2AI\times AC}} \,;$
donc
$\mathrm {{\overline {IP}}^{2}={\overline {AI}}^{2}+{\overline {AP}}^{2}-AP.{\frac {{\overline {AI}}^{2}+{\overline {AC}}^{2}-{\overline {CI}}^{2}}{AC}}} =$
$\mathrm {{\overline {AI}}^{2}+{\overline {AP}}^{2}-AP\times AC-{\frac {AP}{AC}}\left({\overline {AI}}^{2}-{\overline {CI}}^{2}\right)}$
substituant donc pour $\mathrm {{\overline {AI}}^{2},{\overline {AP}}^{2},AP\times AC,{\frac {AP}{AC}},CI} ,$ leurs valeurs, il viendra
${\overline {\mathrm {IP} }}^{2}=a^{2}+r^{2}+{\frac {a^{2}\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}}$
$-{\frac {a(a+c)\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}}-{\frac {a\left(a^{2}-c^{2}\right)}{a+c}}\,;$
ou bien
${\overline {\mathrm {IP} }}^{2}=2r^{2}-{\frac {r^{2}\left\{(a+c)(b+d)+4r^{2}\right\}}{(a+c)(b+d)}}=r^{2}-{\frac {4r^{4}}{(a+c)(b+d)}}\,;$
d’où
$(a+c)(b+d)={\frac {4r^{2}}{r^{2}-{\overline {\mathrm {IP} }}^{2}}}\,;$
donc
$\mathrm {IK\times IL} ={\frac {r^{2}.{\overline {\mathrm {IP} }}^{2}}{r^{2}-{\overline {\mathrm {IP} }}^{2}}}\,;$
donc aussi
$\mathrm {OI} ={\frac {r^{2}.\mathrm {IP} }{r^{2}-{\overline {\mathrm {IP} }}^{2}}}.$
THÉORÈME XV. Les quadrilatères circonscrits à un même cercle de telle sorte que leurs diagonales se coupent au même point, et qu’en outre les droites qui joignent les points de contact des côtés opposés soient rectangulaires, sont tous inscriptibles à un même cercle.
Démonstration. En effet, les quadrilatères étant tels qu’il vient d’ètre dit, il résulte du Théorème XI que ces quadrilatères sont inscriptibles, chacun en particulier, et du Théorème XII que les centres des cercles circonscrits sont sur la droite $\mathrm {IP}$ qui passe par le centre du cercle inscrit et par le point où concourent toutes les diagonales. Il résulte enfin de tout ce que nous venons de prouver que la distance du centre de chacun des cercles circonscrits au centre du cercle inscrit est ${\frac {r^{2}.\mathrm {IP} }{r^{2}-{\overline {\mathrm {IP} }}^{2}}},$ et que, par conséquent, cette distance est constante ; d’où il suit d’abord que les centres des cercles circonscrits se confondent tous au point $\mathrm {O}$ de $\mathrm {IP}$ tel que $\mathrm {OI} ={\frac {r^{2}.\mathrm {IP} }{r^{2}-{\overline {\mathrm {IP} }}^{2}}}.$ Mais le point $\mathrm {P}$ devant être le pôle d’une même droite, relativement au cercle $\mathrm {I}$ et à chacun de ces cercles circonscrits, et ce point étant déjà le pôle de la droite $\mathrm {MN}$ relativement au cercle $\mathrm {I,}$ on aura aussi $\mathrm {OP\times OQ=R^{2}} \,;$ donc, puisque le point $\mathrm {O}$ est le même pour tous ces cercles, $\mathrm {OP}$ et $\mathrm {OQ}$ étant constans, tous ces cercles auront le même centre et le même rayon, et conséquemment tous nos quadrilatères seront inscrits à un même cercle.
THÉORÈME XVI. Si un quadrilatère est à la fois inscrit à un cercle et circonscrit à un autre cercle, il y aura une infinité d’autres quadrilatères qui seront aussi inscrits au premier cercle et circonscrits au second, dont les diagonales passeront toutes par un même point, et dont les points de concours des directions des côtés opposés seront sur une même droite, polaire de ce point par rapport à l’un et à l’autre cercles.
Démonstration. En effet, par le point de concours des diagonales de notre quadrilatère, menons deux cordes orthogonales quelconques du cercle inscrit, et circonscrivons à ce cercle un quadrilatère dont les points de contact soient les extrémités de ces cordes ; il résulte du précédent théorème que ce quadrilatère et le premier devront être inscrits au même cercle ; mais le premier est déjà inscrit à un cercle, auquel le second devra conséquemment être aussi inscrit ; il y aura donc une infinité d’autres quadrilatères jouissant de la même propriété que le premier.
Je dis de plus que tous ces quadrilatères que l’on circonscrirait au cercle auquel est circonscrit le premier, en prenant trois de ses sommets sur la circonférence du cercle auquel celui-là est inscrit, se trouverait également inscrit à ce cercle. Cela est évident, par ce qui vient d’être dit plus haut.
Considérant présentement, en particulier, deux des quadrilatères en nombre infini qui peuvent être à la fois inscrits à l’un de nos cercles et circonscrits à l’autre, les points de concours des diagonales de l’un et de l’autre doivent coïncider. En effet, chacun de ces points doit être le pôle d’une même droite relativement aux deux cercles ; ils doivent donc être situés tous deux sur la droite $\mathrm {OI}$ qui joint leurs centres. Soient $\mathrm {P}$ l’un de ces points et $\mathrm {Q}$ le pied de la perpendiculaire $\mathrm {OI}$ à la polaire de $\mathrm {P} \,;$ on aura, relativement au cercle inscrit, $\mathrm {IP\times IQ} =r^{2},$ et relativement au cercle circonscrit $\mathrm {OP\times OQ=R^{2}}$ ou $\mathrm {(OI+IP)\times (OI+IQ)=R^{2}} ,$ d’où $\mathrm {{\overline {OI}}^{2}+OI(IP+IQ)=R^{2}} -r^{2},$ et $\mathrm {IP+IQ} ={\frac {\mathrm {R} ^{2}-r^{2}-{\overline {\mathrm {OI} }}}{\mathrm {OI} }}.$ Le rectangle des deux droites $\mathrm {IP}$ et $\mathrm {IQ}$ est donc donné, ainsi que leur somme ; ces deux droites sont donc données elles-mêmes ; la situation du point P est donc constante sur la droite $\mathrm {OI} \,;$ ce point est donc commun à toutes les diagonales, ainsi que nous l’avions annoncé.
PROBLÈME. Deux cercles étant donnés de grandeur, quelle doit être la distance entre leurs centres pour qu’un même quadrilatère puisse à la fois être circonscrit au plus petit et inscrit au plus grand ?
Solution. Soient $\mathrm {R}$ le rayon du plus grand cercle, $r$ le rayon du plus petit, et $x$ la distance cherchée entre leurs centres qui résout le problème.
Supposons les deux cercles disposés l’un par rapport à l’autre de la manière que l’exige le problème ; comme alors une des diagonales du quadrilatère pourra être prise arbitrairement, nous pourrons prendre pour cette diagonale le diamètre du cercle circonscrit qui contient le centre de l’inscrit. Soit donc $\mathrm {AC}$ ce diamètre (fig. 2) et $\mathrm {B}$ un troisième sommet ; et soient menées sur $\mathrm {BA}$ et $\mathrm {BC}$ les perpendiculaires $\mathrm {IE}$ et $\mathrm {IF} .$ On aura $\mathrm {AE} =a,$ $\mathrm {CF} =c,$ $\mathrm {IE=IF} =r,$ $\mathrm {AI} =R+x,$ $\mathrm {CI} =R-x,$ et par suite
$ac=r^{2},\qquad a^{2}=(\mathrm {R} +x)^{2}-r^{2},\qquad c^{2}=(\mathrm {R} -x)^{2}-r^{2},$
d’où
$a^{2}-c^{2}=4\mathrm {R} x,\qquad a^{2}+c^{2}=2x^{2}+2\left(\mathrm {R} ^{2}-r^{2}\right)\,;$
ajoutant et retranchant tour à tour à cette dernière équation, l’équation $2ac=2r^{2},$ il viendra
${\begin{aligned}&(a+c)^{2}=2x^{2}+2R^{2},\\&(a-c)^{2}=2x^{2}+2\left(R^{2}-2r^{2}\right)\end{aligned}}$
d’où, en multipliant,
$\left(a^{2}-c^{2}\right)^{2}=4\left\{x^{4}+\left(\mathrm {R} ^{2}-2r^{2}\right)x^{2}+\mathrm {R} ^{2}\left(\mathrm {R} ^{2}-2r^{2}\right)\right\}.$
Mais on a, d’un autre côté,
$\left(a^{2}-c^{2}\right)^{2}=4\mathrm {R} x\,;$
égalant donc ces deux valeurs, transposant et réduisant, on aura finalement
$x^{4}-2\left(\mathrm {R} ^{2}+r^{2}\right)x^{2}+\mathrm {R} ^{2}\left(\mathrm {R} ^{2}-2r^{2}\right)=0\,;$
d’où
$x={\sqrt {\mathrm {R} ^{2}+r^{2}\pm {\sqrt {4\mathrm {R} ^{2}+r^{2}}}}}.$
On lèvera l’ambiguïté du signe en observant que lorsque $\mathrm {R} ^{2}=2r^{2}$ la valeur de $x$ doit être nulle, ce qui prouve que c’est le signe inférieur qui doit être admis.