Ta có:
$OH\perp (ABC)\quad (gt)$
$OH\subset (OMH)$
$\to (OMH)\perp (ABC)$
Trong $mp(ABC)$, gọi $MH\cap AB = \{N'\}$
$\to N' \in MH;\, N'\in AB$
$\to N'\in (OMH)$
$\to (OMN')\perp (ABC)$
Ta lại có: $(OMN)\perp (ABC);\, N\in AB$
$\to N\equiv N'$
$\to N = MH\cap AB$