Merci pour l'entraînement de Term S, un peu de Chasles ça fait du bien...
Déjà, j'ai transformé les égalités du début, j'ai :
AE + AB = 2AC
AB = AE - 2AC
AC = 1/2(AE-AB)
Et là, démonstration longue...
AF = AB + BF
= AB + 2/3(BC)
= AB + (2/3)(BA + AC)
= AB -(2/3)AB + (2/3)AC
= AB -(2/3)AR + (4/3)AC + (2/3)(1/2)AE -(2/3)(1/2)AB
= AB - 2/3(AE) + (4/3)AC + (1/3)AE -(1/3)(AB)
=(2/3)AB -(1/3)AE + (4/3)AC
=(2/3)AB -(1/3)AB - (2/3)AC + (4/3)AC
=(1/3)AB + (2/3)AC
Je trouve ça long, mais je suis une quiche, et puis ça fonctionne