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):
(https://geomania.org/forum/index.php?action=dlattach;topic=6745.0;attach=15321;image)
$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 (http://www.cip.ifi.lmu.de/~grinberg/geometry2.html)'in sayfasında pdf olarak mevcuttur. Fakat ondan önce de 2003'te aynı problem burada (https://artofproblemsolving.com/community/c6h1439) sorulup çözülmüş. (O problemin de daha eski bir geçmişi olabilir.) İlgilenenler için bağlantıları sunmuş olalım.