正十七边形的尺规作图
By 苏剑林 | 2009-08-28 | 40960位读者 | 引用为何正17边形能够用尺规作出来?要如何作?先别急,请看下面的解释:
一个正质数多边形可以用标尺作图的充分和必要条件是,该多边形的边数必定是一个费马质数。换句话说,只有正三边形、正五边形、正十七边形、正257边形和正63357边形可以用尺规作出来,其它的正质数多边形就不可以了。(除非我们再发现另一个费马质数。)
正17边形的尺规作法是高斯在1796年得出的,他也因此决心要成为数学家。关于费马质数,是指形如$2^{2^n}+1$的质数,一开始费马认为对于所有的n,这种形式的数都是质数。可是这似乎是上天的玩笑,目前只发现了当n=0,1,2,3,4的时候$2^{2^n}+1$是质数,其余都是合数。
几何-算术均值不等式的一般证明
By 苏剑林 | 2009-08-24 | 44997位读者 | 引用本证明是站长经过很长时间独立研究得出,望转载者要注明原作者和出处,否则定追究版权责任! (公式很多,推荐使用火狐浏览器)
关于这个不等式由来已久,从$\frac{a+b}{2} \geq \sqrt{ab}$开始,人们逐渐地发现,只要$a_1,a_2,...,a_n \geq 0$,那么就一定会有$\frac{a_1+a_2+...+a_n}{n} \geq \sqrt[n]{a_1 a_2...a_n}$。对于比较小的n,人们已经可以证明上式成立,但是,一般形式的证明则是近年来的事情。
我自己很早就接触到了这个不等式(好像是3年前,我读六年级),从那个时候开始,我就一直寻找这个不等式的证明,但是除了n=2的情况外,其余一直未果。直到三个月前的一节数学课,在发愣之余就想出来了(^_^)。一开始证明了n=3的情况,然后就势如破竹,证明了对于任何的n,这条不等式都成立。
关于a,b的极限证明题目
By 苏剑林 | 2009-08-24 | 27222位读者 | 引用微积分学习(一):极限
By 苏剑林 | 2009-08-16 | 27052位读者 | 引用本文不是微积分教程,而是发表自己学习中的一些看法,以及与同好们讨论相关问题。
拿起任何一本“微积分”教程,都可以看见那专业而严格的数学语言,因此很多人望而生畏。的确,由于牛顿和莱布尼茨创立的微积分是不严格的,因此引发了第二次数学危机。经过法国数学家柯西和德国数学家魏尔斯特拉斯的努力,使得微积分有了前所未有的严密化,克服了第二次数学危机。加之后来的第三次数学危机,数学就更加严密了。
但是对于初学者,严密化的微积分令人十分费解。因此,我们不妨按照微积分的创立顺序,即“不严密——严密”的顺序来学习。这样不仅能够让我们更高效率地学习,而且增加学习数学的兴趣。
无穷级数求和的积分审敛法
By 苏剑林 | 2009-08-12 | 42613位读者 | 引用2009年5月22日,对于很多人来说并不是什么特别的日志,不过数学界这边又传来了一个“喜讯”:我们已经找到了第47个梅森素数,即$2^{42643801}-1$是一个素数!新的素数已于6月12日通过法国的Tony Reix的验证,这是目前的第二大素数,有12,837,064位数字!这是通过参加一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目而发现的。让我们来共同回顾这一素数之旅!
素数/梅森素数
素数,现在课本上都已经成为“质数”了,不过目前很多数学家、爱好者都还是将其称为素数(也许这个名字好听)。这是指一些不可分解成两个比它本身小的两个整数相乘的形式的数,如2、3、5、7等。除了2外,所有的素数都是奇数。
最近评论