Gọi D là giao điểm MN với EF.
Đường thẳng qua A vuông với SO cắt (O) tại T \neq A, cắt EF tại G.
Ta thấy (AT,BC)=-1 nên A(AT,BC)=-1 \Rightarrow A(SG,EF)=-1
Lại có OA \perp AS, OD \perp AG, OM \perp AE, ON \perp AF nên O(AD,MN)=-1
Giả sử AO cắt MN tại J thì (DJ,MN)=-1.
\Rightarrow A(DJ,MN)=-1...