bJr
en voici une solution (sauf erreur)
les triangles EAB et DCF sont égaux
----------------------------------------------------------------------
EB²+AE²=12²+5²=13²=AB²----->EAB est rectangle en E
de meme DCF est rectangle en F
------------------------------------------------------------------------
soit O le centre du carré: (* vecteurs)
EO*=EA*+AO*
OF*=OC*+CF*
EAB et DCF sont égaux et (AB)//(DC)
alors EA*=CF* et on a : AO*=OC*(O le milieu de [AC]
donc EO*=OF*
d'où O le milieu de [EF]----->EF=2EO
------------------------------------------------------------
calculons alors EO:
considerons le triangle EAB:
AEB est rectangle en E:
cosB=EB/AB=5/13---->B=EBA=67.4° (1)(valeur approximative)
----------------------------------------------------------
on a :(l'angle)ABO=45° (2)
--------------------------------------------------
depuis (1) et (2) on a :
EBO=EBA+ABO=67.4°+45°=112.4°
donc cosEBO=-0.37(valeur approximative)
------------------------------------------------------
calculons BO=1/2BD=1/2V(13²+13²)=9.9(valeur approximative)
-------------------------------------------------------------
considerons le triangle EBO:
d'apres El.Kashi on a :
EO²=EB²+BO²-2EB.BO.cosEBO=5²+9.9²+2x5x9.9x0.37
<=>EO²=159.5(valeur approximative)
<=>EO=12.4(valeur approximative)
------------------------------------------------------
et on a EF=2EO
alors EF=2x12.4=24.8(valeur approximative)