– długość boku kwadratu
Co kończy dowód.
Zauważ, że czworokąt KLMN jest rombem o przekątnych długości
i
, gdzie a to długość boku kwadratu.