Qua E kẻ đường thẳng song song SD cắt SC tại G \(\Rightarrow\dfrac{GC}{GS}=\dfrac{EC}{ED}\) (Talet)
Mặt khác theo định lý phân giác: \(\dfrac{EC}{ED}=\dfrac{AC}{AD}\Rightarrow\dfrac{GC}{GS}=\dfrac{AC}{AD}=\dfrac{AB}{SA}\) (do AC=AB và AD=SA)
Theo định lý phân giác: \(\dfrac{AB}{SA}=\dfrac{FB}{FS}\Rightarrow\dfrac{GC}{GS}=\dfrac{FB}{FS}\Rightarrow FG||BC\Rightarrow FG||AD\)
\(\Rightarrow\left(EFG\right)||\left(SAD\right)\Rightarrow EF||SAD\)