取AB中点C
过点P做AB平行线,交MC延长线于点D
过P做AB垂直线,交AB于E
过M做OA垂直线,交OA于F
ON+1/2AB
= ON + AC
= ON + AE + EC
= ON + NA + AF
= 2
其中AE = AN 很好证明
EC = AF是因为 EC = DP,然后用全等三角形证明DP = AF
（角DMP = 角AMC - 角OMA = 45度 - 角OMA = 角OMF - 角OMA = 角AMF）
取AB中点C
过点P做AB平行线,交MC延长线于点D
过P做AB垂直线,交AB于E
过M做OA垂直线,交OA于F
ON+1/2AB
= ON + AC
= ON + AE + EC
= ON + NA + AF
= 2
其中AE = AN 很好证明
EC = AF是因为 EC = DP,然后用全等三角形证明DP = AF
（角DMP = 角AMC - 角OMA = 45度 - 角OMA = 角OMF - 角OMA = 角AMF）