直接证明与间接证明laotou3.doc 中的 演示文稿.ppt.ppt

§3 数学中的推理与证明 六、证明的意义和结构 1.证明：用某个（一些）真实判断确定另一判断真实性的思维过程。 2.证明的结构： （1）论题：需要确定其真实性的判断。 （2）论据：用来证明论题的那些已知为真的判断。 （3）论证：阐明论题与论据之间逻辑联系的过程。 注：证明与推理的区别与联系： 从结构上看：推理由前提与结论组成，证明由论题、论据和论证组成； 从思维顺序看：在推理中，前提已知，结论未知；证明中，论题已知，论据未知； 从目的看：证明的目的是要找出命题成立的依据，而推理的主要目的是发现新判断，其次才是作为证明的工具。 * §3 数学中的推理与证明 3.证明的规则： （1）论题必须明确。 例1 连接四边形四边的中点成一平行四边形。 （论题不明确。应当是：顺次连接四边形四边的中点成一平行四边形） 例2 等底的两个三角形面积的比等于高的比。 （论题不明确。应当是：等底的两个三角形面积的比等于该底上两个高的比） （2）不能偷换论题。 例3 求证：凸四边形的内角和等于360°。 证明：矩形ABCD是一个凸四边形，且∠A=∠B=∠C=∠D=90°， 所以， ∠A+∠B+∠C+∠D=360°，即凸四边形的内角和等于360°。 （偷换论题：证明的是矩形内角和等于360°。） * §3 数学中的推理与证明 （3）论据必须真实。 （论据：“两个无理数的和是无理数”不真实。） （4）论据的真实性不能依靠论题本身来证明。 例5 已知在△ABC中，∠C=90°，求证：a2+b2=c2。 证明：因为 a=csinA，b=ccosA，所以，a2+b2=c2(sin2A+cos2A) 又因为 sin2A+cos2A=1，所以，a2+b2=c2。 （论据“sin2A+cos2A=1”的真实性依据了“勾股定理”本身） * §3 数学中的推理与证明 （5）论据必须能推出论题。 * §3 数学中的推理与证明 4.证明的种类： （1）根据推理的方向不同：分为演绎证明和归纳证明； （2）根据证明方式不同：分为直接证明和间接证明； （3）根据证明的出发点不同：分为综合法和分析法。 * §3 数学中的推理与证明 七、直接证明和间接证明。 1.直接证明：由命题的题设出发，以有关的定义、公理、定理为前提，通过若干次推理得到题断（即直接证明原命题）。 例1 圆内接正五边形一边的平方等于内接正十边形一边的平方与内接正六边形一边的平方和。 证明：如图，设BD=a5，BA=a10。 作OE ?AB交AB于E，交BD于F。则BE=EA，BF=FA。 ?AFB??DAB。所以，FB:BA=BA:BD，即AB2=FB?BD ① 又：?ODB=?OBD=54°， ?EOD=?EOA+?AOD=18°+36°=54°， 所以，?OBD??FOD，所以BD:OD=OD:FD，即OD2=BD?FD ② ①+ ②，得 AB2+OD2=BD(FB+FD)=BD2， 即 a102+R2=a52。 (本题是“五等分圆周”作法的根据。) A O D B E F * “五等分圆周”的作法： 作圆的两条互相垂直的直径AB和CD； 取半径OB的中点E； 以E为圆心，EC为半径画弧交OA于F； 则CF=a5。 这是因为： OC=R； OF=a10， 故CF=a5。 a10 R a5 A F E C D O B * §3 数学中的推理与证明 2.间接证明： 通过证明反论题的虚假性，或者通过证明论题的等价命题来确定论题真实性的证明方法，叫做间接证明。 （1）反证法： 从题断的反面出发，根据数学中已知真命题和推理规则导出与已知真命题或已知条件相矛盾的结论，或者推导出自相矛盾的结论，从而确立论题的真实性。 反证法的结构：肯定“题设”而否定“题断”（临时假设） →导致逻辑矛盾 →否定临时假设 →肯定原命题为真。 * §3 数学中的推理与证明 归谬法：若原命题结论的否定事项只有一种情形。 例2 圆内两条非直径的相交弦必不能互相平分。 例3 设a1，a2，a3，…，a7是整数，b1，b2，b3，…，b7是它们的一个排列，证明：数(a1-b1)(a2-b2) …(a7-b7)是偶数。 证明：假设(a1-b1)(a2-b2) …(a7-b7)是奇数，则(a1-b1)，(a2-b2)， …，(a7-b7)全是奇数， 而七个奇数的和必为奇数， 于是 奇数=(a1-b1)+(a2-b2)+ …+(a7-b7)=0（偶数） 矛盾。 所以数(a1-b1)(a2-b2) …(a7-b7)是偶数。