选修2-2第二章推理与证明知识方法总结

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第二章推理与证明知识复习

1.

用.为

介«11理吋分为W 纳»«和类比推art 类* <1)irifrtjtiTi ®分対整体•特侏列•« (2)类比桂理.特1*到«姝

商积—>线用长:

«二)nw 诚*

加认< » *;?.: tfjA ・•娥沙・:♦法・•唉Zb 除址*—**1'力2

▼■几n

宜》几何 ilJUl 平分《k 二面角及兔平分面 AAMitWI tts 的«n7分面 三A*n 三«Ha

四面体的W 个面 ▼行DttWMAIM 交一<.井貝■村 T 拧六交于一戌・并n ■平分

*

■心卑 9:(*■«)中 onsas* 于

9

轨■■■■(不 fii±«Q)■于•*" 与■OJEXM 需的两体隹M9 境♦的两个•■■的■和19

■的・长 €■* (dAlft)

Q 关于类比.(«je> 姜面休—♦娄垃 du *—►边 S

的矣比)

⑧1[箱三角悬与亶角DBf 体的类比2

(anaBt». nfi •用戎反也的脚网见訓 嘩n.棘理n 面休戍为n 角列面体)

U $ 乂+$ *+£ g + S 心 内切*住_ E7

■««刘{4}(公 e 为 d) 9比

tt 刿(M (公比为G 過 rt : On = Ol + 0—Ijrf

通加z 札=“•了) J —几《阿一刑d

ftn ■ ■ -=于•

to = 6 r f 足吒不«第的Nfftt. W'Jff tJ-l)fl,=(r-l|

K m+rt^p+r, K*t* m. n, p. ft N*. lHg + 6 = %+6 打朋+rt ・p+几 IVP nt' A, p ・

rfrH*. HI 供・ b. i\ m+A=2p- KWm 、"• pfcN*- o«*a… = 20, r m+**2p ・ K'PE 、!>• pt=H•- £•入 =V

■的DB 积S ・ir2 "为林)

理的啊IV ■評9心为琮皐轻》(tt —点不

ton MCA0 中.zc=»(r -

teffl.

心■*+"

COi^A4-tOS*fl = l

云Fa 亠cai ,岁+c«"*=i ««、队 #4fl (fc ']比山1 斤 成的角〉

?*P+?

外按1#和"勿dWd

内咖畑e£_p=悬

2 •演绎推理

-般到轄殊權鋼一般性的11命《IB出篥niM胁再林■»为演埠《9・

是Africa 的主

构成包括三*分

⑴大«»•已知的一fittJRa:

⑵小«♦•所研宪的特n情况,

⑴ft论一•拥一砂理,幷杯倩祝傲出的弭》■

符号农示:如果b =>Ct a =>bt贝ija nc

MF (MW

S 二M(SQO(*»*)

Sh (S是P)

(»*

*»»»与險伶笊《鈴区的

• 1 WA ①归"A* 怜*>1—碱

:

<3K*ff*n«A ・一Mtxe 琢的 fta

-2从擔理的績如■:

A-JCMi,优 BKV1;

■停>4旳细e —尢正・

(MU 有个小《1冷»察面«作ftoFMir ;足宾的*娥机.«« •定ftJC 它山F ・#. ftC 它 fPfT.原以它的戒険机.MHii

<

r tt#tt ««.由B9* «fttt 足山嵐结K 的tf ・]力法.£fti>Hfie*fljfctt«nt«hrtk7:iE 义.公n ・

电理

彎.经过・«”的AH 论证.IHitt#出fli 婪址明的站论A 立的tfRq 方i£・ @旳广0包”0 P ・罚

r 别律 Sll ・ MJR«B 分析法足从€tf 明的怙论出发.暹步寻求Ilif 过W 中.ttftj •步论分条ft.

fl

定 4咱》成*的*ft (i2te*ft ・ «*•公ff ・

sgtf 即)hiMm 力也.

3.反证法

(1)否定性命fl

WI 结论以“沙ft••••••”■不岸•••••••“不tt ……"工彤式出规的金《• n«tf 比一 股不舅入而反址法右•冷®成功.

(2>限定式命题

即轄论中金有“至《”• -^少-.”不tU"或xfl$・等词语的命«・ 第见的・tt 论

*j •反仪词-如F 札

A £繭《 B.小确K

二、1»迁明与间»证明 D ・以上»不足

n»1£明,V反旺法> 是摘从否定的结论出发.創2楚・推・・•出矛«• 2 实tt 论的S定是篇《的・从而肯定JRtt伦是正廉的怔勇方法•

反证法步・

<1)反设2 n设所Sif明的皓论不成立.面设伟论的反ini成址I

<2)归谗:由•反a-出发.以通过止附的推理-#出彳《—b已知条件. 已知的公理.电理.定文.反设及的事实才廣或hm«:

(3)粘论* W为推无正确.产住不祈的KWff F”反诰"的》i貝.蚯然姑论的反

Illi不成忆・从向背定了怙论成孔

*niZ;a{piii|}«: ZfilSttH咲的金«*含血和1進購老亀金《R(或pJJAMRAin设P.成0的询«卜・成立.pizO对沏iE9tt祁仪立•

ft学归纳法法

4. ft学归桶步■:

®证当n取第一个值no时命■成立<

②e« n=* U>r>o> JteW)时創■成立.证明当*1时•■也成立.只S丸成这两个步■,

就可以»«命■对从%开始的所有正都成立.

>«: WftAJaJF-V^, (*«)

(**》

WWWIRAMJt. (■*)

、何«段兗

1. tt学啊績址的U」纳««中no 址好r丄吗?

2>为什么町以先nfft・k(lcglK N・)时命«rA丸>“»设” 么nj以作为JtftWtlMiT

二、息・沒区

17证« n.k4i 6須用上Mh时的««•否不妙肪催I

的依《•燈样《««从zed的式子申分M出"-h时的或子.zk"的情况用,“ 的W况表示. 人有关"WA-与*«3£\ -«» •»«-是多少項的和喰积.以正《»«1定n-l时及Mh交化到皿"1 rr或■枳・的倩况.

as用ft学归M法证明恒等戎