Orthogonalité des diagonales d'un losange

On veut démontrer: 
Perpendicularité de deux droites
hypothèse: 

Si un quadrilatère est un losange

conclusion: 

il a ses diagonales qui se coupent à angle droit