给出下面两个定理:
①线段垂直平分线上的点到这条线段两个端点的距离相等;
②到一条线段两个端点距离相等的点在这条线段的垂直平分线上
.应用上述定理进行如下推理:
如图,直线
l是线段
MN的垂直平分线
.
∵点
A在直线
l上,∴
AM=AN.(
)
∵
BM=BN,∴点
B在直线
l上
.(
)
∵
CM≠
CN,∴点
C不在直线
l上
.这是∵如果点
C在直线
l上,那么
CM=CN, (
)
这与条件
CM≠
CN矛盾
.以上推理中各括号内应注明的理由依次是 (
)
