以B点为平面直角坐标系坐标原点,建立直角坐标系,
设A﹙0,a﹚,C﹙c,0﹚,D﹙b,d﹚,
则由两点坐标易求得各直线方程为：
①BD：y=﹙d／b﹚x,
②AC：y=﹙－a／c﹚x＋a,
③DC：y=[d／﹙b－c﹚]x－cd／﹙b－c﹚,
∵BF⊥AC,∴
④BF：y=﹙c／a﹚x,
而DM∥BF,∴易得
⑤DM：y=﹙c／a﹚x＋d－bc／a,
则由两条直线方程可求得交点坐标：
⑥AB与DM得：M﹙0,d－bc／a﹚,
⑦AC与BD得：O﹙abc／﹙ab＋cd﹚,acd／﹙ab＋cd﹚﹚,
⑧BF与DC得：F﹙acd／﹙ad－bc＋c²﹚,c²d／﹙ad－bc＋c²﹚﹚,
由⑥、⑦两点坐标得MO的一次函数解析式的K值为：
K1=[acd／﹙ab＋cd﹚－d＋bc／a]／[abc／﹙ab＋cd﹚],
由⑥、⑧两点坐标得MF的一次函数解析式的K值为：
K2=[c²d／﹙ad－bc＋c²﹚]／[acd／﹙ad－bc＋c²﹚],
由分析法令K1=K2,
展开化简得：这是一个恒等式.
∴M、O、F三点共线.