O que se aprende sobre Geometria, em particular sobre triângulos, é, em geral, tão pouco que, contando só com isso, a maioria dos problemas propostos ficaria sem solução. Quem imaginaria, por exemplo, que a área de um triângulo é dada pelo produto do semi-perímetro p pelo raio r do círculo inscrito?!
E afinal até é fácil demonstrá-lo:
Unamos I a A, a B, a C. A área do triângulo [ABC] é a soma das áreas dos três triângulos [IAB], [IAC] e [IBC]:
Do mesmo modo se demonstra que a área de um triângulo [ABC] também é dada por:
em que p é o semiperímetro, a,b e c lados do triângulo e ra, rb e rc raios das exinscritas
De facto, área[ABC] = área[ABIa]+área[ACIa]-área[BCIa], todos triângulos de altura ra e bases, respectivamente c, b e a.
Logo, área[ABC]=(c.ra+b.ra-a.ra)/2 =[(1/2)[(a+b+c)] -a].ra=(p-a).ra
Aurélio Fernandes ainda lembrou que, designando por I' e I'a os pés das perpendiculares a AB tiradas por I e por Ia (projecções sobre AB de I e Ia, ou pontos de tangência de AB com as circunferências inscrita e exinscrita...), é verdade que
|AI'a|=p
|AI'| =p-a.