Annales de mathématiques pures et appliquées/Tome 10/Géométrie mixte, article 1
# Annales de mathématiques pures et appliquées/Tome 10/Géométrie mixte, article 1

## GÉOMÉTRIE MIXTE.

### Solution nouvelle du problème où il s’agit d’inscrire à un triangle donné quelconque trois cercles tels que chacun d’eux touche les deux autres et deux côtés du triangle ;

En donnant, dans votre estimable recueil, l’historique du curieux problème dont je vais avoir l’honneur de vous entretenir, et en faisant connaître la solution extrêmement simple qui en a été donnée par un célèbre géomètre italien ; vous avez témoigné le regret qu’on en fût réduit à justifier à posteriori la formule finale de Malfatti, en prouvant qu’elle satisfait aux équations qu’il s’agit de résoudre ; sans qu’on aperçoive comment, à l’aide de ces seules équations, on pourrait parvenir à cette même formule, si elle était inconnue, ou du moins à toute autre équivalente et d’une facile construction.

Cette considération m’ayant déterminé à revenir de nouveau et tout récemment sur ce singulier problème ; j’ai été assez heureux pour en obtenir une solution que sa simplicité et son élégance vous feront peut-être juger de nature à ne point déparer votre recueil ; et qu’en conséquence je vais exposer brièvement.

Soient A, B, C les trois sommets d’un triangle quelconque ; soit O le centre du cercle inscrit, dont nous prenons le rayon pour unité. De ce centre, soient abaissées respectivement, sur les côtés BC, CA, AB, les perpendiculaires OA′=OB′=OC′=1; et soient de plus menées du même point aux sommets les droites OA, OB, OC.

Soient faits

Ang.AOB′=Ang.AOC′=α, Ang.BOC′=Ang.BOA′=β, Ang.COA′=Ang.COB′=γ,

nous aurons

AB′=AC′=Tang.α, OA=Sec.α, BC′=BA′=Tang.β, OB=Sec.β, CA′=CB′=Tang.γ, OC=Sec.γ,

Nous aurons de plus, parce que 2α+2β+2γ vaut quatre angles droits,

Tang.γ=−Tang.(α+β)=−(Tang.α+Tang.β)/1−Tang.αTang.β ;

ou bien, en chassant le dénominateur et transposant

Tang.α+Tang.β+Tang.γ=Tang.αTang.βTang.γ.

Il s’agit donc d’inscrire à ce triangle trois cercles tels que chacun d’eux touche les deux autres et deux côtés du triangle ; et il est d’abord clair que les centres de ces cercles devront être situés sur les droites OA, OB, OC qui divisent ces angles en deux parties égales. Soient respectivement X, Y, Z ces centres, et x, y, z, les rayons qui leur correspondent.

Si l’on projette orthogonalement les centres X, Y sur le côté AB=AC′+BC′=Tang.α+Tang.β, leurs projections diviseront ce côté en trois segmens dont les extrêmes seront évidemment xTang.α, yTang.β. Quant au segment intermédiaire, il ne sera autre chose que la projection de la distance des centres XY=x+y, et sera conséquernment

√((x+y)²−(x−y)²)=√(4xy)=2√(xy);

égalant donc la somme de ces trois parties à la première expression du côté AB, on aura

xTang.α+2√(xy)+yTang.β=Tang.α+Tang.β.

La considération des deux autres côtés donnera des équations analogues, de sorte qu’en faisant, pour abréger,

Tang.α=a, Tang.β=b, Tang.γ=c;

tout se trouvera réduit à résoudre, par rapport à x, y, z, les trois équations

ax+2√(xy)+by=a+b, (1)by+2√(yz)+cz=b+c, (2)cz+2√(zx)+ax=c+a, (3)

avec la condition

a+b+c=abc.

En multipliant en croix les équations (2, 3) et réduisant, on a

(b+c)(ax+2√(xz))−(a+c)(bx+2√(yz))=c(a−b)z;

mais l’équation (4) donne

c=−(a+b)/ab−1,

d’où

b+c=(a(1+b²))/ab−1, a+c=(b(1+a²))/ab−1 ;

substiluant donc, et supprimant le dénominateur commun, on aura

a(1+b²)(ax+2√(xz)−b(1+a²)(bx+2√(yz))=(a²−b²)z,

ou encore

a(1+b²)(ax+2√(xz)−b(1+a²)(by+2√(yz))

={(1+a²)−(1+b²)}z;

ou, en transposant,

(1+b²)(a²x+2a√(xz)+z)=(1+a²)(b²y+2b√(yz)+z),

ou encore

(1+b²)(a√x+√z)²=(1+a²)(b√y+√z)²;

ou, en extrayant les racines et divisant,

(a√x+√z)/(√(1+a²))=(b√y+√z)/(√(1+b²)).

Nous ne donnons pas de double signe au second membre de cette équation, parce qu’ici nous n’avons simplement en vue que les cercles intérieurs au triangle, se touchant extérieurement.

Par une simple permutation de lettres, on conclura de là

(b√y+√x)/(√(1+b²))=(c√z+√x)/(√(1+c²)), (c√z+√y)/(√(1+c²))=(a√x+√y)/(√(1+a²)) ;

ajoutant ces deux dernières membre à membre, z disparaîtra, et il viendra

{ 1/(√(1+b²))−a/(√(1+a²))−1/(√(1+c²)) }√x

={ 1/(√(1+a²))−b/(√(1+b²))−1/(√(1+c²)) }√y;

mais, à cause de

c=(a+b)/ab−1,

on a

1/(√(1+c²))=ab−1/(√((1+a²)(1+b²))) ;

substituant donc, et chassant les dénominateurs, il viendra

{1−ab+√(1+a²)−a√(1+b²)}√x={1−ab+√(1+b²)−b√(1+a²)}√y.

Les coefficiens des deux membres peuvent d’abord être écris ainsi

(1−a+√(1+a²))+a(1−b−√(1+b²)),

(1−b+√(1+b²))+b(1−a−√(1+a²));

en considérant ensuite que

a=1/2.2a=−1/2 {(1−a)²−(1+a²)}

=−1/2 (1−a+√(1+a²))(1−a−√(1+a²)),

b=1/2.2b=−1/2 {(1−b)²−(1+b²)}

=−1/2 (1−b+√(1+b²))(1−b−√(1+b²)),

ils prendront cette nouvelle forme

(1−a+√(1+a²)){1−1/2 (1−a−√(1+a²))(1−b−√(1+b²))};

(1−b+√(1+b²)){1−1/2 (1−a−√(1+a²))(1−b−√(1+b²))};

c’est-à-dire, qu’ils ont un facteur commun ; en supprimant donc ce facteur, l’équation deviendra simplement

(1−a+√(1+a²))√x=(1−b+√(1+b²))√y.

En posant donc ; pour abréger,

(1−a+√(1+a²))=A, (1−b+√(1+b²))=B, (1−c+√(1+c²))=C,

on tirera de là, par une simple permutation de lettres,

B√y=C√z, C√z=A√x.

d’où

√x=C/A √z, √y=C/B √z

Retournons présentement à nos équations primitives ; si de la somme des équations (2, 3) nous retranchons l’équation (1), en supprimant le facteur 2, commun à tous les termes de l’équation résultante ; elle deviendra

cz+√(xz)+√(yz)−√(xy)=c;

mettant dans celle-ci pour √x et √y leurs valeurs (5), elle deviendra

(c+C/A+C/B−C²/AB )z=c,

ou

{cAB+C(A+B−C)}z=cAB.

Or, on a, d’après les valeurs de A, B, C

cAB=c(1−a)(1−b)+c(1−b)√(1+a²)+c(1−a)√(1+b²)

+c√((1+a²)(1+b²)),

ou bien, en remplaçant √((1+a²)(1+b²)) par son égal (ab−1)√(1+c²)

cAB=c(1−a)(1−b)+c(1−b)√(1+a²)+c(1−a)√(1+b²)

+c(ab−1)√(1+c²).

On a ensuite

A+B−C=1−a−b+c+√(1+a²)+√(1+b²)−√(1+c²);

d’où, en multipliant par C=1−c+√(1+c²), et remplaçant respectivement √((1+a²)(1+c²)) et √((1+b²)(1+c²)) par (ac−1)√(1+b²) et (bc−1)√(1+a²),

C(A+B−C)=−(1−c)(a+b)−2c²−c(1−b)√(1+a²)

−(a+b−2c)√(1+c²)−c(1−a)√(1+b²)

donc, en ajoutant et réduisant,

cAB+C(A+B−C)=c−a−b+abc−2c²+(c−a−b+abc)√(1+c²).

En remplaçant abc par son équivalent a+b+c, cela deviendra

cAB+C(A+B−C)=2c(1−c+√(1+c²))=2cC;

substituant donc celle valeur dans l’équation (6), et supprimant le facteur c, commun aux deux membres, elle deviendra simplement

2Cz=AB.

Par une simple permutation de lettres, on obtiendra les équations en x, y; de sorte qu’on a finalement

x=BC/2A, y=CA/2B, z=AB/2C.

Cela posé, soient prolongés AO, BO, CO, jusqu’à ce qu’ils rencontrent de nouveau la circonférence du cercle insciit en A″, B″, C″; puis des sommets A, B, C, pris respectivement pour centres, et avec les rayons AB′=AC′, BC′=BA′, CA′=CB′, soient décrits des arcs coupant respectivement AO, BO, CO en A‴, B‴, C‴; nous aurons ainsi

A″A‴=AO+OA″−AB′=OA″−AB′+AO=1−Tang.α+Sec.α=AB″B‴=BO+OB″−BC′=OB″−BC′+BO=1−Tang.β+Sec.β=BC′C‴=CO+OC″−CA′=OC″−CA′+CO=1−Tang.γ+Sec.γ=C

Les trois longueurs A, B, C étant ainsi déterminées, on en pourra conclure, par une construction unique, les trois rayons cherchés x, y, z. Pour cela, on construira un triangle DEF, dont les trois côtés EF, FD, DE, soient respectivement égaux à ces trois longueurs ; par les sommets D, E, F, on mènera des droites se terminant aux côtés opposés en D′, E′, F′, et tellement dirigées qu’on ait

Ang.FDD′=Ang.E, Ang.DEE′=Ang.F, Ang.EFF′=Ang.D;

alors, en vertu de la proportionnalité des côtés homologues des triangles semblables, les longueurs DD′, EE′, FF′ seront les diamètres des cercles cherchés, ayant respectivement leurs centres en X, Y, Z.

Ces expressions des rayons des cercles une fois trouvées, rien de plus facile que de leur substituer telles autres inconnues qu’on voudra. En prenant, par exemple, pour inconnues les distances des sommets auxquelles les cercles cherchés touchent les côtés du triangle, ces inconnues seront xTang.α=ax, yTang.β=by zTang.γ=cz, et l’on aura

ax=aBC/2A, by=bCA/2B, cz=cAB/2C.

Or, d’après les valeurs trouvées ci-dessus pour cAB et C(A+B−C), on a

cAB=C{2c−(A+B−C)};

donc

cz=cAB/2C=1/2 {2c−(A+B−C)};

c’est-à-dire,

cz=1/2 (a+b+c−1+√(1+c²)−√(1+a²)−√(1+b²)),

ou encore

cz=1/2 (AB′+BC′−CA′−OC′+OC−OA−OB)

ce qui revient exactement à la construction de Malfalti. (Voyez l’article cité, tom. I, pag. 347).

Si l’on voulait prendre pour inconnues les distances AX, BY, CZ des sommets aux centres correspondans, ces inconnues seraient respectivement x√(1+a²), y√(1+b²), z√(1+c²); et l’on trouverait, par exemple, d’après ce qui précède,

z√(1+c²)=cz.(√(1+c²))/c

=(√(1+c²))/2c (a+b+c−1+√(1+c²)−√(1+a²)−√(1+b²).)

Si enfin on voulait prendre pour inconnues les distances OX, OY, OZ, ces inconnues seraient respectivement (1−x)√(1+a²), (1−y)√(1+b²), (1−z)√(1+c²); et l’on trouverait, par exemple,

(1−z)√(1+c²)=(c−cz) (√(1+c²))/c

=(√(1+c²))/2c (1−a−b+c+√(1+a²)+√(1+b²)−√(1+c²).)

En variant les signes des radicaux d’une manière convenable, et en substituant au cercle inscrit, proprement dit, chacun des trois autres cercles qui peuvent toucher à la fois les trois côtés du triangle, on obtiendra toutes les solutions dont le problème peut être susceptible.

* ↑ Voyez tom. I, pag. 343 ; tom. II, pag. 60 et 65.
* ↑ La simplicité de cette solution engagera peut-être quelqu’un à tenter celle au problème analogue pour le tétraèdre, qui a été proposé à la page 287 du II.ᵉ volume de ce recueil. J. D. G.
