Posté par
raymond raymond 
Bonjour.
Voilà ce que je te propose.
Appelons O le centre du cercle inscrit, I, J et K les projetés orthogonaux de O sur (AB), (AC), (BC) et r le rayon de ce cercle.
On sait que O est le point de rencontre des trois bissectrices intérieures du triangle (ABC).
1°) Appelons b la mesure de l'anble (BO,BK) et c la mesure de l'angle (CO,CK).
alors, b + c =

.
Donc :
 = 1 = \fra{\fra{r}{KB}+\fra{r}{KC}}{1-\fra{r^2}{KB.KC}})
.
On en déduit que : KB.KC = r(r + KB + KC)
2°) Ajoutons quelques aires. Rappelons que CK = CJ, AI = AJ, BK = BI.

(ABC) =

(OBC) +

(OBA) +

(OCA)
2.

(OBC) = r.KC + r.KB
2.

(OAB) = r.KB + 2.

(OAI)
2.

(OAC) = r.KC + 2.

(OAJ)
Mais,

(OAI) +

(OAJ) = r².
Donc :

(ABC) = r(r + KB + KC)
En rapprochant 1°) et 2°) :
(ABC) = KB.KC
Je ne connaissais pas ce résultat. Peut-être existe-t-il une méthode moins lourde que celle que je te poste ?