Atrisinājums

No dotā \(\triangle ACG=\triangle BEF\) \((\ell m \ell)\). Tāpēc \(\sphericalangle AGC=\sphericalangle BFE\) un \(\mathbf{AG}=\mathbf{BF}\). No šīs leņķu vienādības seko \(\sphericalangle FGD=\sphericalangle GFD\). Tāpēc \(\triangle FDG\) ir vienādsānu un \(\mathbf{DG}=\mathbf{DF}\). Saskaitot abas izceltās vienādības, iegūstam vajadzīgo.