Le triangle
AMB est rectangle en
M s'il vérifie la réciproque du théorème de Pythagore, il nous faut donc que :
AM2+BM2=AB2Or nous savons que :
AM2=x2+4 ;
BM2=x2−12x+40 et enfin que
AB2=62.
On a donc :
AM2+BM2=AB2 équivaut successivement à :
x2+4+x2−12x+40=362x2−12x+8=0 . On divise tout par
2, ainsi :
x2−6x+4=0 On a bien vérifié que le triangle
AMB est rectangle en
M si et seulement si :
x2−6x+4=0