A dan BC ye çizilen paralel ile BH doğrusu J de keşissin.
∠BCA = ∠BAC = ∠HAJ = π/7 dir. HC=BC olduğu için ∠BHC = 3π/7 ve ∠ABH = 2π/7 = ∠BAJ, bu durumda paralellikten dolayı HJ=k ise BJ=AJ=AH=ak=k+1 ⇒ k=1/(a-1) ⇒ ak=a/(a-1) olur.
△ BAC de H ve I noktaları için Stewart'ın özel halini uygularsak;
a2-a.a/(a-1) = 1 ⇒ a2. (a-2)/(a-1) = 1 ⇒ a3-2a2=a-1 ve
a2-(a/(a-1)+a-1).1 = (a3-2a2+a-1)/(a-1) = (a-1+a-1)/(a-1) = 2 = x2 ⇒ x=√2 elde ederiz.