Pertama, karena
dan
adalah dua persegi panjang kongruen, maka panjang
dan
.
Selanjutnya, karena
siku-siku, maka dengan menggunakan Tripel Pythagoras
diperoleh panjang sisi siku-siku
, dan mengakibatkan panjang
.
Perhatikan juga bahwa
juga siku-siku dan memiliki ukuran yang sama dengan
. Maka
dan
kongruen. Sebagai akibatnya, panjang
.
Berikutnya, misalkan panjang
, maka panjang
.
Perhatikan gambar berikut:

Perhatikan dua segitiga siku-siku
dan
. Pada kedua segitiga terdapat sisi yang sama panjang, yaitu
, dan terdapat satu sisi yang berhimpit, yaitu sisi
. Berdasarkan postulat sisi-sudut-sisi, diperoleh bahwa segitiga siku-siku
dan
kongruen, sehingga bangun datar
adalah sebuah layang-layang. Akibatnya, panjang
.
Perhatikan bahwa

sehingga

Akibatnya

Karena
adalah diagonal layang-layang, maka pastilah panjang FC positif, yaitu
.
Selanjutnya

Karena
juga merupakan diagonal layang-layang, maka pastilah panjang
positif, yaitu
.
Dengan demikian, luas layang-layang tersebut sama dengan
