Na bokach BC i AC trójkąta ABC zbudowano po jego zewnętrznej stronie trójkąty równoboczne BCD i CAE. Na boku AB zbudowano po wewnętrznej stronie trójkąta ABC taki trójkąta ABF, że: \(\displaystyle{ \sphericalangle BAF= \sphericalangle ABF=30}\). Dowieść że DF=EF