Réponse :
Bonjour une démonstration de 1ère avec le produit scalaire.
Explications étape par étape :
vecBF*vecAE=(vecBC+vecCF)(vecAD+vecDE)
=vecBC*vecAD+vecBC*vecDE+vecCF*vecAD+vecCF*vecDE
or
vecBC*vecAD=BC²
vecBC*vecDE=0 car ces deux vecteurs sont perpendiculaires
vecCF*vecAD=0 car ces deux vecteurs sont perpendiculaires
vecCF*vecDE=-BC² car ce sont deux vecteurs de sens contraires et de même norme BC
conclusion vecBF*vecAE=BC²+0+0-BC²=0
ces deux vecteurs sont donc perpendiculaires tout comme les droites (BF) et (AE)