Bile E noktasını birleştirelim ve AC'yi kestiği noktaya F diyelim. O zaman ABF üçgeni ile ACB üçgeni (A,A,A) benzerdir. İlgili uzunlukları yazıp orantılarsak,
|AB||AC|=|AF||AB|⇒4x=|x−44⇒x2−4x−16=0 bulunur. BU denklemin çözüm kümesi {2+2√5,2−2√5} olup pozitif olan uzunluk x=2+2√5 olur.