Les relations métriques dans le triangle rectangle (démonstration)