Giriş kısmıda yukarıda olduğu gibi Stewart teoremi kullanarak bir çözüm bulmuştum. Aynı notasyonları kullanarak devam edelim.
Çözüm 2 (Lokman Gökçe):$a^3-a^2-2a+1=0$ ve $x=1-a^2$ eşitliklerine sahibiz. Buna göre $x=1-a^2=2a-a^3$ yazılırsa $\dfrac{x}{a}=2-a^2$ olur. $2-a^2=x+1=\dfrac{x+1}{1}$ olarak yazılırsa
$$ \dfrac{x}{a}= \dfrac{x+1}{1} \tag{1}$$
olur. Öte taraftan $FB \parallel ED$ çizilirse $FBC \sim EDC$ (açı-açı-açı benzerliği) olur. Buradan
$$ \dfrac{x}{a}= \dfrac{x+1}{|FB|} \tag{2}$$
bulunur. $(1)$ ve $(2)$ eşitliklerinden $|FB|=1$ dir. $m(\widehat{BFE})=m(\widehat{BEF})=2\alpha $ ve $m(\widehat{FBC})=90^\circ + \dfrac{\alpha}2$ olup $FBC$ üçgeninde iç açılar toplamından $2\alpha + \alpha + 90^\circ + \dfrac{\alpha}2 = 180^\circ$ yazılır. Buradan $\alpha=\dfrac{180^\circ}{7}=\dfrac{\pi}7$ elde edilir.
Not: $\dfrac{\pi}7$ açı ölçüsüne sahip bir başka problem de
Darij Grinberg'in sayfasında pdf olarak mevcuttur. Fakat ondan önce de 2003'te aynı problem
burada sorulup çözülmüş. (O problemin de daha eski bir geçmişi olabilir.) İlgilenenler için bağlantıları sunmuş olalım.