Supposons que le triangle EFG est rectangle en F.
Si c'est le cas on aurait d'après Pythagore la relation suivante :
EG² = EF² + GF²
Vérifions si cette expression est vraie :
EG² = 9
EF²+GF² = (3sin y)² + (3cos y)² = 9 sin²y + 9 cos² y = 9 (sin² y + cos² y) = 9 car cos² y + sin²y = 1
La relation EG² = EF² + GF² est donc vraie. Le triangle EFG est donc rectangle en F .