Trong mp (SAC), nối MN kéo dài cắt AC tại D
\(\left\{{}\begin{matrix}D\in AC\in\left(ABC\right)\\D\in MN\in\left(OMN\right)\end{matrix}\right.\)
\(\Rightarrow DO\in\left(OMN\right)\)
Trong mp (ABC), nối DO cắt BC tại F
\(\left\{{}\begin{matrix}F\in DO\in\left(OMN\right)\\F\in BC\end{matrix}\right.\)
\(\Rightarrow F=BC\cap\left(OMN\right)\)
