第17讲：利用解析法解几何题-义

ABEF、ACGH，BG、CE相OA于D，CE⊥OB于E，过D作，求证：MN⊥OC。