反正法在数学中的应用.doc

　　在数学题目的求解中,当直接证明一个命题感到困难, 甚至不能证明时,我们可以采用反证法。所谓反证法,就是 从否定结论(作出相反判断) 出发,把相反的判断作为已知条 件,在正确逻辑的推理下,导致逻辑矛盾,根据(逻辑学) 矛盾 律,得知想法判断是错误的,再根据(逻辑学上的) 排中律,而 肯定原命题的判断本身是正确的,其逻辑上的理论依据是形 式逻辑中的两个基本规律———矛盾律和排中律。下面我们 首先来谈谈反证法的证题步骤。 反证法的步骤是: 1) 反设:作出与求证的结论相反的假定。 2) 归谬:由反设出发,推出了与公理、定义、定理或题设 相矛盾的结果。 3) 结论:由于“矛盾”证明了反设不成立,从而肯定了原 求证结论的正确。 值得注意的是反设要十分准确,若命题结论的反面是多 种情形或比较隐晦时,就不太容易作出反设。现将常用的互 为否定形式的词语列表: 原结 论词 是都大于小于 至少有 一个 至少有 n 个 至多有 一个 有限存在 反设词不是不都不大于不小于 一个也 没有 至多有 二个 至多有 n 个 无限不存在 　　至于什么问题宜用反证法? 这是很难确切回答的问题。 因为数学问题是多种多样的,尽管大量问题一般使用直接证 明,但有的问题直接证明难度较大,而用反证法证明,却能迎 刃而解。因此,应当重视反证法。下面我们就结合实例归纳 几种常使用反证法的情况。 1 　基本定理或初始命题的证明 在数学中,许多基本定理是使用反证法来证明的,例如 “关于过直线外一只有该直线的一条平行线”,“过平面外一 点只有平面的一条垂线”,直线和平面平行的判定定理就是 使用反证法来证明的,因为在证明这种基本定理时,由于除 已经学过的公理及其推论外,在此之前所导出的定理不多或 者与此命题相关的定理不多,这时常用反证法。 例1 :证明勾股弦定理: 已知:ABC 的三边长分别为:a、b、c , ∠C = 90°,求证:c2 = a2 + b2 证明:假设a2 + b2 ≠c2 ,因为a2 + b2 0 ,故可令a2 + b2 ≠ c′2 ,则c′ 0 , 显然c′ a 0 ,c′ b 0 ,而且(a + b) 2 = a2 + 2ab + b2 = 2ab 　c′2 c′2 , 从而a + b c′,于是a、b、c′中任意两个数之和必大于第 三个数, 因此可以作一个△A′B′C′,使其三边之长为a、b、c′, 即B′C′= a ,C′A′= b ,A′B′= c′, 因为c′为最大边,故∠C′是△A′B′C′中的最大角。 于是,在Rt △ABC 和△A′B′C′中,一个三角形的两边与 另一个三角形的两边对应相等,而第三边不相等(c ≠c′) ,第 三边大的所对的角也较大,因此∠C ≠∠C′,这就说明A′B′C′ 不是直角三角形,所以当a2 + b2 ≠c2 时, △ABC 不是直角三 角形,这与已知矛盾。 故:c2 = a2 + b2 2 　存在性问题的证明 在数学中,证明“存在”的问题很多,这种情况下,往往使 用反证法。 例2 、已知△ABC 的三边满足b = (a + b) / 2 , 求证: △ABC 中至少有两个角不超过60° 证明:设至少有两个角超过60°, 　　∵∠A + ∠B + ∠C = 180° 　　∴△ABC 中至多有两个角超过60°, 即所设等价于“ △ABC 中有两个角超过60°” 我们不妨设∠A 60°、∠c 60°则: 　　cosa 1/ 2 、cosc 1/ 2 由余弦定理:c2 = b2 + a2 - 2bacosC b2 + a2 - ba ① a2 = b2 + c2 - 2bccosA b2 + c2 - bc ② ①+ ②得:2b2 ba + bc 即:b (a + c) / 2 与已知矛盾 故假设错误,即: △ABC 中至少有两个角不超过60°。 3 　无限性命题的证明 在求证的命题中含有“无穷”、“无限”等概念时,从正面 证明往往无从下手,这时,我们常使用反证法。 例3 :求证在0 与1 之间有无穷个有理数。 证明:假设在0 与1 之间的有理数只有(有限的) n 个: a1 ,a2 , .,an - 1 ,an 。根据有理数之积仍为有理数,于是得到一 个与a1 ,a2 , .,an - 1 ,an 都不相同的有理数p = a1·a2·.·an - 1· an ∵a1 ,a2 , .,an - 1 ,an 都为小于1 的正有理数, ∴0 p 1. 故在0 与1 之间至少有n + 1 个有理数。 这与假设只有限个有理数相矛盾, ∴原命题成立。 4 　唯一性命题的证明 例:有⊙O 和弦CD ,延长弦CD 到A ,过A 作直线AB 交 ⊙O 于B ,使AB2 = AD·AC ,求证:AB 是⊙O 的