Réciproque du théorème de Pythagore

On veut démontrer: 
Perpendicularité de deux droites
hypothèse: 

Si dans un triangle ABC on a BC²=AB²+AC²

conclusion: 

alors le triangle ABC est rectangle en A