欢迎来到天天文库
浏览记录
ID:43603971
大小:202.81 KB
页数:19页
时间:2019-10-11
《【精品】论文浅谈反证法》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、华中师范大学高等教育自学考试本科毕业生论文评审表论文题目:浅谈反证法准考证号:姓名:***专业:数学教育学生类型:独立本科段(助学班/独立本科段)2011年12月20日华中师范大学高等教育自学考试办公室印制论文内容摘要摘要:在数学的诸多证明方法中,有一种被称为“数学家最精良的武器之一”的间接证明方法,这就是反证法。它与一般证明方法不同,反证法又可分为归谬反证法和穷举反证法两种。只要抓住要领,反证法就能使一些不易直接证明的问题变得简单、易证,它在数学证题中确有奇效。本文阐述反证法的概念、步骤,依据及分类。反
2、证法如何正确的作出反设及导出矛盾,及何时宜川反证法,反证法在屮学屮最常川的证明的题型展示,反证法的综合思路分析。关键词:反证法归谬法矛盾假设Abstract:Ofthemanywaystoproveinmathematics,thereisaknownasHoneofthemostsophisticatedweaponsmathematiciansHindirectevidencemethod,thisisrequired.Itandgeneralproofmethodisdifferent,cand
3、ivideagaintobeinfallibleexhaustionandtheirdomainsrequiredtwokinds.Aslongastheholdthemainpoint,apagogecanmakesomenoteasydirectproofofthequestionssimple,easycard,itinmathematicscardquestionsdoessurpriseeffect・Thispaperexpoundstheconcept,stepsrequired,basisa
4、ndclassification.Howtomakethereductiontosetandexportcontradictions,andwhenappropriateUSEScounter-evidencemethod,apagogeisthemostcommonlyusedinhighschoolintheproofofthetopicshow,apagogeiscomprehensivethoughtanalysis.Keyword:GuiMiuFacontradictionbehypothesi
5、s(木栏山论文作者填写)1引言32反证法的定义及步骤42.1反证法的定义42.2反证法的步骤43反证法的逻辑依据及分类53」反证法的逻辑依据53.2反证法的分类54反证法如何正确的作岀反设65反证法如何正确的导出矛盾96何时宜用反证法106」基本命题,即学科中的起始性命题106.2命题结构采取否定形式,结论反血却是肯定判断116.3有关唯一性的问题116.4命题结论是“至多”“至少”形式126.5命题结论涉及无限集或数1=1不确定的对象126.6某些起始命题136.7难证的逆命题136.8命题结论的反血较
6、结论本身具体、简单、直接证明难以下手时137在中学数学中常用的反证法思想的题型分析147.1结论木身以否定形式出现的一类命题例147.2有关结论是以“至多…”或“至少…”的形式出现的一类命题例147.3关于存在性、唯一性的命题例147.4结论的反血比原结论更具体更容易研究和掌握的命题例157.5无穷性命题158结论16参考文献171引言南方某风水先生到北方看风水,恰逢天降大雪。乃作一歪诗:“天公下雪不下雨,雪到地上变成雨;早知雪要变成雨,何不当初就下雨。”他的歪诗又恰被一牧童听到,亦作一•打油诗讽刺风水先
7、生:“先生吃饭不吃屎,饭到肚里变成屎;早知饭要变成屎,何不当初就吃屎。[门”实际上,小牧童正是巧妙运用了反证法,驳斥了风水先生否定事物普遍运动的规律,只强调结果,不要变化过程的形而上学的错误观点:假设风水先生说的是真理,只强调变化最后的结果,不耍变化过程也可,那么,根据他的逻辑,即可得岀先生当初就应吃屎的荒唐结论。风水先生当然不会承认这个事实了。那么,显然,他说的就是谬论了。这就是反证法的威力,一个原木复杂难证的哲学问题被牧童运用了“以其人之道,还其人之身”的反证法迎刃而解了。2反证法的定义及步骤2.1反
8、证法的定义先提出于结论和反(相排斥)的假设,然后推导出和已知证明的定理或公理、定义、题设、相矛盾的结果,这样就证明了于结论相反的假设不能成立,从而肯定了原來的结论必定成立,这种间接证明的方法叫反证法⑵。22反证法的步骤用反证法证明一个命题的步骤大体上可以分为三个步骤:(1)反殳——假设待证结论不成立,亦即肯定待证结论的反面,并将其作为增加条件,添加到给定的题设中去。(2)归谬一一从题设和反设出发,通过推理和论证,最终推出孑盾。
此文档下载收益归作者所有