2α + 2β + 2γ + 2δ = 360o
α + β + γ + δ = 180o
β + γ + 2δ = 180o ⇒ β + γ = 180o − 2δ, wstawiam to do równania powyżej:
α + 180o − 2δ + δ = 180o ⇒ α − δ = 0 ⇒ α = δ, a zatem trójkąt ACD jest równoramienny:
|AD| = |DC|
Analogicznie pokazujemy równość pozostałych boków, stąd γ = β
Wracając do naszego równania α + β + γ + δ = 180o mamy:
2α + 2β = 180o ⇒ α + β = 90o ⇒ ∡ASD = 90o
Czworokąt o równych bokach i przekątnych przecinających się pod kątem prostym to romb