Dots trijstūris \(ABC\), kurā \(\sphericalangle A<\sphericalangle C\). Uz malas \(BC\) pagarinājuma izvēlēts punkts \(D\) tā, ka \(B\) atrodas starp \(C\) un \(D\) un \(BD=AB\). Uz leņķa \(ABC\) bisektrises izvēlēts punkts \(E\) tā, ka \(\sphericalangle BAE=\sphericalangle ACB\). Nogriežņi \(BE\) un \(AC\) krustojas punktā \(F\). Taisne, kas novilkta caur punktu \(E\) paralēli \(CD\), krusto nogriežņi \(AD\) punktā \(G\). Pierādīt, ka \(AG=BF\).