Bon, j´ai de petits soucis.
A mon avis il suffit de montrer que AI ( médiane en A de ADE) est orthogonal à BF ( qui est orthogonal à la hauteur en A de ABF)
Donc il faut montrer que le produit scalaire AI.BF = 0
on pose a = AE = AF = EF, b = BE = BF ( pas des vecteurs mais des longueurs ici) et on a AB = AD = BD = a+b car AEF et ABD sont équilatéraux.
De plus on sait que les angles EAF, AFE, FEA, FDB et DBE sont égaux à 60° ( triangles équilatéraux).
Enfin on sait que le produit scalaire de 2 vecteurs a et b est : a.b = ab cos ( a,b) ( à gauche a et b sont des vecteurs et à droite a et b sont les normes des 2 vecteurs.
NB : cos 60° = 1/2
AI.BF = ( AE + EI).(BE + EF) = ( AE + ED/2).(BE + EF)
= AE.BE + AE.EF + ED.BE/2 + ED.EF/2
= AE.BE + AE.EF + EF.BE/2 + FD.BE/2 + EF.EF/2 + FD.EF/2
-ab -a²/2 + ab/4 -b²/4 + a²/2 + ab/4
C´est là que ça coince car je trouve pas 0...