En başta, alttaki 45-45-90 üçgeninin kenar uzunluğunu belirtelim : |BD|=|DC|=4√2
AD doğrusunu uzatırsak ve bu doğrunun tabanı kestiği noktaya F dersek , önümüze bir dik gelecektir (DAC ile DAB eşit, orada da bir ikizkenarlık bulunmakta) (45-45-90 üçgenlerini kullanarak da görebilirsiniz) Aynı şekilde, bu bizim kenarortayımız olacak (İkizkenar üçgende tepe açısından inen dik,kenar ortaydır) |BF|=|FC|=4cm oldu.
Aynı şekilde, m(BDF)=45 olduğundan dolayı oradaki 45-45-90 üçgenini kullanarak , hipotenüs 4√2 ise |DF|=4cm 'dir diyebiliriz.
Şimdi ABF üçgeninde pisagor uygulayalım:
82=42+|AF|2
|AF|2=48,|AF|=4√3 olur.
|AF|=4+x=4√3,
x=4√3−4 olur.