pr l'exo de géo:
soit T,T',T'' les points de contacts de (C) respectivement avec (BC),(AB),(AC) , il est facile de montrer que t=BT' et t'=CT'' et AT'=AT''=r
or 2S=AB*AC= (t+r)*(t'+r)= t*t'+t*r+r*t'+r²
donc il suffit de prouver que S= t*r+r*t'+r²
ona: t*r+r*t'+r²=r(t+t'+r)= 1/2 *r ( t+t'+t'+r+r+t)= 1/2*r*(AB+AC+BC)= p*r=S d'ou le résultat
pr l'exo d'arithmétique je crois que c deja posté ( une disjonction des cas suffit)