一类无理数证明.docVIP

一类无理数的证明 车沙粒 摘要 无理数,这是古希腊毕氏学派的重大发现,更是反证法的典范.本文对前人对是无理数的许多证明方法进行了总结和研究,把证明推广到更一般的对一类数是无理数的证明上去.本文先列举了几种是无理数的证明方法,接着用多种方法证明了这一类无理数,然后,证明了更一般的这一类无理数. 关键词:无理数;证明;根号 ABSTRACT Irrational number is a great discovery of Pythagoras school in ancient Greek, especially is the model of counter-evidence method. This paper has summarized and researched many proofs about that is an irrational number, and extended to more general proofs about a kind of irrational numbers. This paper mainly proves the kind of irrational numbers with radical sign. The paper has firstly enumerated several proofs about that is an irrational number, and used a variety of ways to prove the irrational numbers of , then proved more general irrational numbers of . Keywords: irrational number; proof; radical sign 目 录 第一章 前言 1 第二章 预备知识 3 第三章 是无理数的证明 5 3.1奇偶论证法 5 3.2 无穷下降法 5 3.3 质因子论证法 6 3.4良序性原理 7 3.5几何法 8 第四章 是无理数的证明 10 4.1辗转相除法 10 4.2整除性 10 4.3质因子论证法1 11 4.4质因子论证法2 11 4.5最简分数 11 4.6算术基本定理 12 4.7牛顿有理根定理 12 第五章 是无理数的证明 14 5.1算数基本定理 14 5.2最简分数 14 5.3质因子论证法 15 5.4牛顿有理根定理 15 参考文献 16 致谢 17 第一章　前言 无理数,即非有理数之实数,不能写作两整数之比.若将它写成小数形式,小数点之后的数字有无限多个,并且不会循环. 常见的无理数有大部分的平方根、π和e等.无理数的另一特征是无限的连分数表达式. 公元前500年,古希腊毕达哥拉斯（Pythagoras）学派的弟子希伯 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 索斯（Hippasus）发现了一个惊人的事实,一个正方形的 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 对角线与其一边的长度是不可公度的（若正方形的边长为1,则对角线的长不是一个有理数）,这一不可公度性与毕氏学派的”万物皆数”（指 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 有理数）的哲理大相径庭.这一发现使该学派 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 领导人惶恐,认为这将动摇他们在学术界的统治地位,于是极力封锁该真理的流传,希伯索斯被迫流亡他乡,不幸的是,在一条海船上还是遇到毕氏门徒,于是希伯索斯被残忍地扔进了大海. 希伯索斯的发现,第一次向人们揭示了有理数系的缺陷,证明了它不能同连续的无限 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 直线等同看待,有理数并没有布满 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 数轴上的点,在数轴上存在着不能用有理数表示的”孔隙”.而这种”孔隙”经后人证明简直多得”不可胜数”.于是,古希腊人把有理数视为连续衔接的那种 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 算术连续统的设想彻底地破灭了.不可公度量的发现连同芝诺 HYPERLINK /edit/id=1167subLemmaId=1167dl=3 悖论一同被称为数学史上的第一次数学危机,对以后2000多年数学的发展产生了深远的影响,促使人们从依靠直觉、经验而转向依靠证明,推动了公理 HYPERLINK /edit/i