Laat A, B, C en D de hoekpunten van ruit ABCD zijn en S het snijpunt van de diagonalen AC en BD. Er geldt:

en
=90^{\circ}-\angle BAS)
, dus
=180^{\circ}-90^{\circ}=90^{\circ})
, dus

, dus

.
__________________
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel