si FER est rectangle en R => hypoténuse = FE
et donc si FER est rectangle en R alors
FE² = ER² + FR²
on vérifie
FE² = (a² + b²)² = a⁴ + 2a²b² + b⁴
ER² + FR² = (a² - b²)² = a⁴ - 2a²b² + b⁴ + 4a²b² = a² + 2a²b² + b⁴
donc comme FE² = ER² + FR² alors FER est rectangle en R
