Il ne s'agit pas de Thalés, masi de Pythagore.
Ona QUELQUE SOIT le nombre n l'égalité (n²+1)²=n^4+2n²+1
et aussi (n²-1)²=n^4-2n²+1
donc, toujours sans hypthese sur n, (n²+1)²-(n²-1)² vaut 4n²
en divisant par 4 cela dit que ((n²+1)/2)²-((n²-1)/2)² vaut n²
Ainsi le triangle verifie la reciproque de Pythagore AC²=AB²+BC²
