反证法

利用反证法证明:

对于所有实数 x 和 y, 如果x + y  2, 则 x  或者 y  1.

答: 假定 x 和 y均为实数,然后假定结论为假,即 ¬(x ≥ 1  y ≥ 1) 为真.

根据 De Morgan 定律, ¬(p ν q) ≡ ¬p Λ ¬q, 得 ¬(x ≥ 1 ν y ≥ 1)  ≡ ¬x ≥ 1 Λ ¬y ≥ 1 ≡ x ≤ 1 Λ y ≤ 1.

使用前面的定理,将不等式相加, x + y < 1 + 1 = 2堆出了矛盾 p Λ ¬p.

所以原题设成立.

反证法和逆否命题

利用反证法证明:对于所有的整数X,若 为奇数,则 X为奇数.

答:先将X看成所有整数,命题

若x2为奇数,则 x为奇数

的逆否命题为

若则 x不为奇数,则 x2不为奇数,

等价于

若则 x 为偶数,则 x为偶数,

因此

假定x为偶数,则 x=2k,其中k为某个整数.于是x2 = (2*k)2 = 2*2k2.由于x2可以写成2*某个整数(整数位2k2的形式,所以x2为偶数.

时间: 2024-10-26 16:56:24

反证法的相关文章

ZOJ-2091-Mean of Subsequence (反证法的运用!!)

ZOJ Problem Set - 2091 Mean of Subsequence Time Limit: 2 Seconds      Memory Limit: 65536 KB Given N numbers in a line, we can determine a continuous subsequence by giving its start position and its length. PMH and Roy played a game the other day. Ro

Java编程思想之-反证法

众所周之,java中子类在覆盖父类方法时,如果父类抛出了异常,子类必须也必须抛出父类的异常或者异常的子类. 下面用用代码来证明这一结论: package cn.itcast.exception; //下面定义三个自定义异常类,它们之间的关系如下: /* Exception |--AException |--BException |--CException */ class AException extends Exception { public AException(String msg) {

假设检验

假设检验分参数假设和非参数假设. 假设 先假设原假设H0,对应的反面叫做备择假设H1.SAS一般沿用的规则是NEYMAN和PEARSON提出的:在控制犯第一类错误的原则下,是犯第二类错误的概率尽量小(即,原假设受到保护,不能轻易否定.若原假设被否定了,其理由一定是充分的).反过来思考,若为了是假设更加有说服力,可是让本猜想本身作为H1,得到的结论为否定H0,就能更加充分证明原本的猜想(类似反证法). 假设检验判断原则以犯第一类错误概率为判断依据: P>=α,则接收H0:P<α,则拒绝H0. 检

Dijkstra 算法

最短路径算法的基础知识,参见 http://blog.csdn.net/pacosonswjtu/article/details/49894021 Dijkstra算法 涉及到的 优先队列的操作实现(该优先队列的数据类型不是 int , 而是 Distance),详情参见http://blog.csdn.net/pacosonswjtu/article/details/49923389 [1]Dijkstra 算法相关 1.1)贪婪算法一般分阶段去求解一个问题, 在每个阶段它都把当前出现的当做是

hdu3501 Calculation 2 欧拉函数

//求小于n且和n不互质的所有数之和 //若gcd(n , i) == 1 那么 gcd(n , n-i) == 1 //可以用反证法 //设gcd(n , n-i) != 1; //那么可以有 n = k1*a //n - i = k2*a ; //i = (k1-k2)*a //gcd(n ,i) != 1 //那么 ans = n*(n-1)/2 - n*euler(n)/2 #include<cstdio> #include<cstring> #include<ios

最小生成树 Prim(普里姆)算法和Kruskal(克鲁斯特尔)算法

Prim算法 1.概览 普里姆算法(Prim算法),图论中的一种算法,可在加权连通图里搜索最小生成树.意即由此算法搜索到的边子集所构成的树中,不但包括了连通图里的所有顶点(英语:Vertex (graph theory)),且其所有边的权值之和亦为最小.该算法于1930年由捷克数学家沃伊捷赫·亚尔尼克(英语:Vojtěch Jarník)发现:并在1957年由美国计算机科学家罗伯特·普里姆(英语:Robert C. Prim)独立发现:1959年,艾兹格·迪科斯彻再次发现了该算法.因此,在某些场

编程内功修炼 - 算法

编程内功讲什么? 主要讲解以下算法: 分治法 堆排序 二叉树 动态规划 贪心算法 图 算法的作用: 算法解决了哪些问题? 互联网信息的访问检测,海量数据的管理 在一个交通图中,寻找最近的路 人类基因工程,dna有10万个基因,处理这些基因序列需要复杂的算法支持 上面的算法是我们没有接触到,或者是封装到底层的东西,那么作为程序员,在日常编码过程中会在什么地方使用算法呢? 在你利用代码去编写程序,去解决问题的时候,其实这些编码过程都可以总结成一个算法,只是有些算法看起来比较普遍比较一般,偶尔我们也会

线性基小节

1.线性基的异或集合中每个元素的异或方案唯一. 2.线性基二进制最高位互不相同. 3.线性基中元素互相异或,异或集合不变. 摘自百度文库 线性基能相互异或得到原集合的所有相互异或得到的值. 线性基是满足性质1的最小的集合 线性基没有异或和为0的子集. 证明: 反证法:设线性基S={a1,a2...,an}: 若有子集a1^a2^...^at=0,则a1=a2^a3^...^at,则舍弃a1后一定能通过剩余的元素异或出所有需要a1参与异或的值.设Y=a1^X,因为{a1,a2,...,an}是一组

SVM学习笔记-线性支撑向量机

最大间隔超平面 线性分类器回顾 当数据是线性可分的时候,PLA算法可以帮助我们找到能够正确划分数据的超平面hyperplane,如图所示的那条线. 哪一条线是最好的? 对于PLA算法来说,最终得到哪一条线是不一定的,取决于算法scan数据的过程. 从VC bound的角度来说,上述三条线的复杂度是一样的  Eout(w)≤Ein0+Ω(H)dvc=d+1 直观来看,最右边的线是比较好的hyperplane. 为什么最右边的分隔面最好? 对于测量误差的容忍度是最好的.例如对于每