On doit trouver AB/AC = IB/IC
AB est présent dans l'égalité 2, on va donc l'isoler:
BA'/IC=AB/AI
D'où AB= (BA'*AI)/IC
De la même manière, on isole AC dans l'égalité 3:
CA'/IB=AC/AI
D'où AC=(CA'*AI)/IB
On peut maintenant calcul AB/AC:
AB/AC= [(BA'*AI)/IC]*[IB/(CA'*AI)] puisque diviser revient à multiplier par l'inverse
AB/AC= (BA'*IB)/(CA'*IC) en simplifiant par AI
Et si je ne dit pas de bêtise, (AA') est bissectrice de BAC, on a donc BA'=CA'
On en déduit que AB/AC=IC/IC, après simplification.