1、从 一 个 小 学 四 年 级 的 故 事 说起 。 。 。已知：求证：证明：它是比任何弈法更为精妙的弃子取胜法：棋手可能牺牲一只卒子甚至更大的棋子以取胜，而数学家则牺牲整个棋局。数学方式解析“道旁苦李”哈代在他的一个数学家的自白这本书中概括了反证法的精髓：“欧几里得如此深爱的反证法是数学家最精妙的武器之一。反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。数学方式解析“道旁苦李”它是比任何弈法更为精妙的弃子取胜法：棋手可能牺牲一只卒子甚至更大的棋子以取胜，而数学家则牺牲整个棋局。反证法是属于“间接证明法”一类，是从反面的角度思考问
2、题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。漫步历史比萨斜塔实验数学方式解析“道旁苦李”等到小朋友们摘了李子一尝，原来是苦的！假设命题的结论不成立；由矛盾判定假设不正确，从而肯定命题的结论正确。中国古人相信人死后会变鬼。王充在论衡中用反证法进行了论证，证明世上无鬼神。假设人死后变成鬼，那死去的人累积起来千千万，现在应该全世界满坑满谷里都塞满了鬼才对。等到小朋友们摘了李子一尝，原来是苦的！反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。中国古人相信人死后会变鬼。一天，他们发现路边的一棵树上结满了李子，小朋友一哄而上，
3、去摘李子，独有王戎没动。古希腊的科学家亚里士多德，他提出：物体下落的快慢是由物体本身的重量决定的，物体越重，下落得越快；等到小朋友们摘了李子一尝，原来是苦的！数学方式解析“道旁苦李”具体地讲，反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛盾，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。等到小朋友们摘了李子一尝，原来是苦的！而这树上却结满了李子，所以李子一定是王戎小时候，爱和小朋友在路上玩耍。假设人死后变成鬼，那死去的人累积起来千千万，现在应该全世界满坑满谷
4、里都塞满了鬼才对。但凡是声称见鬼了的人，都说见到的只有一两只鬼呢？它是比任何弈法更为精妙的弃子取胜法：棋手可能牺牲一只卒子甚至更大的棋子以取胜，而数学家则牺牲整个棋局。它是比任何弈法更为精妙的弃子取胜法：棋手可能牺牲一只卒子甚至更大的棋子以取胜，而数学家则牺牲整个棋局。反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。命题：同一平面内，过一点有且只有一条直线与已知直线垂直.求证：在三角形的内角中，至少有一个角大于或等于 60。一天，他们发现路边的一棵树上结满了李子，小朋友一哄而上，去摘李子，独有王戎没动。假设命题的结论不成立；一天，
5、他们发现路边的一棵树上结满了李子，小朋友一哄而上，去摘李子，独有王戎没动。假设命题的结论不成立；王充在论衡中用反证法进行了论证，证明世上无鬼神。反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。从这个假设出发，经过推理论证，得出矛盾；数学方式解析“道旁苦李”假设命题的结论不成立；王充在论衡中用反证法进行了论证，证明世上无鬼神。等到小朋友们摘了李子一尝，原来是苦的！数学方式解析“道旁苦李”而这树上却结满了李子，所以李子一定是
6、从这个假设出发，经过推理论证，得出矛盾；由矛盾判定假设不正确，从而肯定命题的结论正确。假设人死后变成鬼，那死去的人累积起来千千万，现在应该全世界满坑满谷里都塞满了鬼才对。漫步历史比萨斜塔实验反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。它是比任何弈法更为精妙的弃子取胜法：棋手可能牺牲一只卒子甚至更大的棋子以取胜，而数学家则牺牲整个棋局。反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。等到小朋友们摘了李子一尝，原来是苦的！“假如李子不苦的话，早被路人摘光了，古希腊的科学家亚里士多德，他提出：物体下落的快慢是由物体本身的重量决定的，物体越重，下落得越快；直到两千多年后，物理学家伽利略当年在有其他教授、哲学家和全体学生在场的情况下，从比萨斜塔的最高层重复做过多次试验，证明轻重物体同时落地。假设命题的结论不成立；一天，他们发现路边的一棵树上结满了李子，小朋友一哄而上，去摘李子，独有王戎没动。感 谢 聆 听
