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\left\{{}\begin{matrix}OD\in\left(OMN\right)\\OD\in\left(ABC\right)\end{matrix}\right.\)
Trong mp (ABC), nối OD kéo dài cắt AB tại E
\(\left\{{}\begin{matrix}E\in OD\in\left(OMN\right)\\E\in AB\end{matrix}\right.\)
\(\Rightarrow E=AB\cap\left(OMN\right)\)