则由垂径定理：OPAB，OPCD，则过P有两条直线与OP垂直（矛盾），∴不被P平分.

② 出示例2：求证是无理数. （ 同上分析 → 板演证明，提示：有理数可表示为）

　　证：假设是有理数，则不妨设（m,n为互质正整数），

从而：，，可见m是3的倍数.

设m=3p（p是正整数），则 ，可见n 也是3的倍数.

这样，m, n就不是互质的正整数（矛盾）. ∴不可能，∴是无理数.

③ 练习：如果为无理数，求证是无理数.

　　提示：假设为有理数，则可表示为（为整数），即.

由，则也是有理数，这与已知矛盾. ∴ 是无理数.

3. 小结：反证法是从否定结论入手，经过一系列的逻辑推理，导出矛盾，从而说明原结论正确. 注意证明步骤和适应范围（"至多"、"至少"、"均是"、"不都"、"任何"、"唯一"等特征的问题）

三、巩固练习： 1. 练习：教材P54 1、2题

2. 作业：教材P55 A组3题.

四、教学反思：