Théorème de Pythagore ; égalité de Pythagore