Morgane :

D(0 ; 5)
E(2.5 ; (5√3)/2)
F((5√3)/2 + 5 ; 2.5) car pour les X, c'est la longueur du carré + la hauteur du triangle si tu regarde bien ton dessin.
F((10+5√3)/2 ; 2.5)

DE(Xe-Xd ; Ye-Yd)
DE(2.5-0 ; (5√3)/2 - 5)
DE(2.5 ; -(10+5√3)/2)

DF(Xf-Xd ; Yf-Yd)
DF((10+5√3)/2 - 0 ; 2.5 - 5)
DF((10+5√3)/2 ; -2.5)

Xde/Xdf = 2.5 / ((10+5√3)/2) = 2-√3
Yde/Ydf = ((-10+5√3)/2) / -2.5 = 2-√3

Donc DE = 2-√3DF
Les vecteurs sont donc colinéaires et tout le baratin après.