||
刘瑞祥
【错误点】本附注是关于“角平分线上的点到角两边距离相等的逆定理”的证明,原证明用到了结论,属于循环论证。
【更正】
利用本命题容易证明角平分线上的点到角两边距离相等: 在左图中,设AD是角BAC的平分线,过点D作DB垂直AB于B,DC垂直AC于C。 因为角BAD等于角CAD,角ABD和角ACD都是直角,AD是公共的, 所以三角形ABD全等于三角形ACD,BD等于CD。【本命题】 这一命题的逆命题也成立,即若点D到AB、AC两边距离相等,则AD是角BAC的平分线。证明这一点需要斜边直角边定理或者以下方法: 在右图中,设BD垂直AB于B,DC垂直AC于C,且BD等于CD。 连接BC。 则因为BD等于CD,所以角DBC等于角DCB。【I.5】 又因为角ABD和角ACD都是直角,二者相等, 所以角ABC等于角ACB。【公理3】 所以AB等于AC。【I.6】 又已知BD等于CD,AD是公共的, 所以角BAD等于CAD,即AD是角BAC的平分线。【I.8】 得证。 以上未证明BC一定与线段AD相交,但这不影响结论。 (刘注) |
【说明】前面提到的“本命题”系指几何原本第一卷第26命题,即三角形全等判定定理角边角和角角边。
【I.5】等边对等角。
【I.6】等角对等边。
【I.8】三角形全等判定命题边边边。
【公理3】等量之差相等。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-4-20 12:23
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社