B = ( 4 ; 4 )
D = ( ( 4 + 0 ) / 2 ; ( 0 + 4 ) / 2 ) = ( 2 ; 2 )
E = ( ( 4 + 0 ) / 2 ; ( 0 + 0 ) / 2 ) = ( 2 ; 0 )
F = ( ( 2 + 0 ) / 2 ; ( 4 + 2 ) / 2 ) = ( 1 ; 3 )
EF² = ( 2 - 1 )² + ( 0 - 3 )² = 1 + 9 = 10
EF = racine carrée de 10
FB² = ( 4 - 1 )² + ( 4 - 3 )² = 9 + 1 = 10
FB = racine carrée de 10
EF = FB := racine carrée de 10 donc EFB est isocèle
BE² = ( 4 - 2 )² + ( 0 - 4 )² = 2 + 16= 20
BE = racine carrée de 20
on constate que BE² = EF² + FB² = 20
le triangle EFB est rectangle en E par la réciproque du théorème de Pythagore
