I98 SI* LA DÉMONSTRATION DBS THÉORÈMES DE GÉOMÉTRIE

parties de l'hypothèse des conséquences successives jusqu'à ce qu'on soit arrivé à la conclusion demandée.

Par exemple, soit à démontrer ce théorème : Étant donné un quadrilatère ABCD (Jtg. a8), si fon décrit des cercles tangents à trois côtés

consécutifs , les centres des quatre cercles ig. io. qu'on obtient forment un quadrilatère inscrip-

tible.

On voit que l'hypothèse se compose de cinq parties. On donne : i°un quadrilatère ; a° quatre cercles assujettis à certaines conditions.

Considérons d'abord ces quatre cercles et désignons par E le centre du cercle tangent aux côtés A6, BC, CD ; par F le centre du cercle tangent aux côtés BC, CD, DÂ; par G le centre du cercle tangent aux côtés CD, DA, AB; par H le centre du cercle tangent aux côtés DA, AB, BC.

De ce que le point E est le centre du cercle tangent aux trois côtés AB, BC, CD, il s'ensuit que E est le point d'intersection des bissectrices des angles ABC, BCD du quadrilatère, et de même les points F, G, H sont respectivement les points d'intersection des bissectrices CF et DF, DG et AG, AH et BH. Donc la question revient à démontrer que les quatre bissectrices des angles d'un quadrilatère ABCD forment par leurs intersections un quadrilatère inscriptible.

Pour cela il suffit de faire voir que deux angles opposés FEH, HGF du quadrilatère EFGH sont supplémentaires (c'est la question 41 de ce Recueil). Alors, de ce que ABCD est un quadrilatère, la demi-somme de ses angles est égale à deux droits; ainsi Ton a

|ÀH-iB-4-iC-MD=a* r ; d'ailleurs les deux triangles EBC, GAD donnent

BEC + £B -r^C -+- AGD -r- ^D -h 1 A = 4* ; donc on a

BEC + AGD^a* ou FEH -+- HGF = a dr .

Remarque. — Ce théorème présente des particularités qu'il est bon de constater. D'abord, si l'on voulait construire la figure proposée, elle serait trèscompliquée et, en général, il faut autant que possible éviter cet inconvénient ; on y est arrivé en remarquant que les centres des quatre cercles, donnés par hypothèse, sont les points d'intersection des bissectrices des angles du quadrilatère considérées deux à deux.

Cela fait, on a substitué à la conclusion demandée une égalité entre deux angles et l'on a démontré cette égalité, en ayant égard à la cinquième partie de l'hypothèse.

Assez souvent la substitution d'une conclusion à une autre peut être trèsutile.

Théorème de Thaïes. — Ce théorème : Deux triangles équiangles -entre eux ABC, abc ont leurs côtés /tomologues proportionnels, fournit un exemple très-simple d'une démonstration sans construction.

En eflet, l'hypothèse se compose de trois parties

A = «, B = b, C = Cj

•dont Tune est d'ailleurs une conséquence des deux autres. Or, de ce que B = b, on a l'égalité