首先延长EN交圆O1于点F'
先证明三角形BFD相似于三角形CF‘B
证明如下:首先,角BF'C=角BAC=180度-角BAD=角BFD
而CN/NB=CM/MD=BE/ED 且FK与F'N分别是三角形BFD与三角形CF'B的高线
于是三角形BFD相似于三角形CF'B,这可以由圆O1与O2对应点相应的位似得出来,也可以由尺规作图的唯一性得出(本质上是一样的)
下面再证明三角形ENM相似于三角形MEF 设o1半径为r1,o2半径为r2
注意到EN×KF=EN×NF'×r2/r1=CN×NB×r2/r1=(因为r2/r1=BK/CN)NB×BK=MK×MN
从而EN/NM=MK/KF
又易得角ENM=角FEM 所以三角形ENM相似于三角形MKF
于是角EMF=角NMK-角NME-角FMK=角CBD-角NME-角NEM=角CBD-(180度-角ENM)=角CBD-(角MNB-90度角)=90度
于是所求直线垂直成立
追问为什么CN/NB=CM/MD=BE/ED ?