Rectangle et diagonales

On veut démontrer: 
Egalité de longueurs
hypothèse: 

Si un quadrilatère est un rectangle

conclusion: 

alors il a ses diagonales de même longueur