(https://geomania.org/forum/index.php?action=dlattach;topic=3882.0;attach=15684;image)
$\angle BFC = 90^\circ$ olduğu için $ABFC$ kirişler dörtgenidir. $BF=FC$ olduğu için de $AF$, $\angle BAC$ nin iç açıortayıdır. Açıortay teoremi gereği
$$\begin{array}{rcl}
BG &=& \dfrac {BC}{AB + AC} \cdot AB \\
&=& \dfrac{4}{2+2\sqrt3}\cdot 2 = 6-2\sqrt3
\end{array}$$ elde edilir.