数学联邦政治世界观
超小超大

反证法

数学思想

以下是正文:

反证法是一种间接证法,它不直接证明命题为真,而是先假设原命题为假,通过推出矛盾,从而推定原命题为真的证明方法。

〖例1〗证明:函数y=cos√x不是周期函数。

含有“不是”字样,典型的反证法题型。

【证明】

假设函数y=cos√x不是周期函数

即存在T≠0,使cos√(x+T)=cos√x

令x=0,得T=4k²π²

不妨设k>0,令x=4π²,得:

√(4π²+4k²π²)=2mπ(m∈Z)

所以√(1+k²)=m(m∈Z)

但是当k>0时,k<√(1+k²)<k+1,因此√(1+k²)不是整数,矛盾。

假设不成立,故cos√x不是周期函数。

〖例2〗求证:√2是无理数。

因为无理数的定义是“不能写成p/q形式的数”,含有“不能”字样,可以考虑用反证法进行证明。

【证明】

假设√2不是无理数。

则√2是有理数或虚数。

(√2)²=2>0,√2不是虚数。

所以√2是有理数,设√2=p/q

其中,p,q∈Z且p,q互质。

若q=1,则p=√2,此时p不为整数。

若q>1,由√2=p/q得:

2=p²/q²

p²=2q²

∵q为整数

∴q²为整数

∴p²为2的倍数

∵p为整数

∴p为2的倍数

令p=2k(k∈Z)得:

4k²=2q²

∴2q²为4的倍数

∴q²为2的倍数

∴q为2的倍数

∴p,q有公因数2‬

这与“p,q互质”矛盾,假设不成立,故√2不是有理数。

故√2为无理数。

〖例3〗

若p>0,q>0,p³+q³=2,证明:p+q≤2.

此题直接由条件证明p+q≤2比较难,因此用反证法进行证明。

【证明】

假设p+q>2

∵p>0,q>0

∴(p+q)³=p³+3p²q+3pq²+q³>8

又∵p³+q³=2

∴3p²q+3pq²>6

∴3pq(p+q)>6

∴pq(p+q)>2

∵p³+q³=2

∴(p+q)(p²-pq+q²)=2

∴pq(p+q)>(p+q)(p²-pq+q²)

∵p+q>2>0

∴pq>p²-pq+q²

∴(p-q)²<0

这显然不可能,矛盾。

假设不成立,故p+q≤2。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

穿书后恶毒女配只想修仙 连载中
穿书后恶毒女配只想修仙
风亿星辰
顾染考研猝死穿书了,《瑶光修仙记》是一本集‘竹马打不过天降’‘仙门团宠’‘恶毒小师妹’为一体的披着修仙文皮的言情小说。而她自然不是穿成了女主......
35.2万字6个月前
契约的血祭坛(重制版) 连载中
契约的血祭坛(重制版)
心心熠熠
多世界✓主打西幻和科幻✓架空世界宗教有,魔法有伏笔多作者记性不好角色头像来源网络,侵权删(这个tag真的怎么打啊)
1.4万字5个月前
涧春 连载中
涧春
五香瓜子仁
[已签约]一场让所有人匪夷所思的穿书,沐季珠以为的穿书,其实是夜渊一千两百年来的等待。
15.5万字5个月前
落魄小宗竟全是大佬 连载中
落魄小宗竟全是大佬
栖休安
白漠渴望得道长生于是她来到来了一个小宗门(排雷:女主傻白甜,文中有多对楠楠副cp,全员be)
7.9万字2个月前
巫女日記 连载中
巫女日記
Sumphote
架空世界,主角安以琪·苏·图兰,一半萨摩一半库兰,讲述其上大学后发生的一系列事情,不断成长,渐渐明白自己意欲何为,想要坚持父母那个梦想——建......
9.0万字1个月前
穿成海王自救指南 连载中
穿成海王自救指南
忆岱痴
游戏数据出错,一朝被困游戏,如何才能活到最后?且看慕朝朝手把手教你戏精自救。
15.9万字1周前