27
Jul
科学空间：2011年8月重要天象
By 苏剑林 | 2011-07-27 | 17285位读者 | 引用八月一号开始我们这里的高三就正式开学了，以后每周都只能在星期天中午到下午的一小段时间里跟读者们见见面了^_^
高三的生活的确很枯燥、烦闷，特别是老师那句重复了无数遍的话“这个知识点在高考是这样出题的...”让我感觉十分讨厌，难道，学习就为了高考？就算真的是难以改变的现状，我也偏不服从。高考是要准备的，“活”也是要“生”的，为了生活而生存，而不是为了生存而生活。
虽然很忙，但我还是会抽一些时间出来研究自己感兴趣的东西的，如研究一下几何、不等式、多项式、对称等等，还有发一下呆^_^，当然也尽可能抽一些时间来这里写写我的学习心得吧——当然，频率应该会很低。
我相信，一年之后我不会后悔的。
13
Aug
对称多项式不等式的“物理证明”
By 苏剑林 | 2011-08-13 | 35636位读者 | 引用本文将再次谈到对称这个话题，不过这一次的对象不是“等式”，而是“不等式”。
在数学研究中，我们经常会遇到各种各样的函数式子，其中有相当一部分是“对称”的。什么是对称的函数呢？对称有很多种说法，但是针对于多元对称式，我们的定义为满足$f(x_1,x_2,...,x_n)=f(y_1,y_2,...,y_n)$的函数，其中$(y_1,y_2,...,y_n)$是$(x_1,x_2,...,x_n)$的任意一个排列。通俗来讲，就是将式子中任意两个未知数交换位置，得到的式子还是和原来的式子一样。例如$\sin x+\sin y$，把$x,y$交换位置后得到$\sin y+\sin x$，还是和原来的一样；再如$xy+yz+zx$，将y,z互换后可以得到$xz+zy+yx$，结果还是和原式一样；等等。有些对称的函数是一个n次的多项式，那么就叫它为n次对称多项式，上边的例子$xz+zy+yx$就是一个三元二次对称多项式。
27
Aug
科学空间：2011年9月重要天象
By 苏剑林 | 2011-08-27 | 17115位读者 | 引用秋高气爽的九月，天象剧场也逐渐热闹起来。秋分前后的夜晚，是一年中偶发流星出现最为频繁的时段。尤其是到了后半夜，如果赶上晴天，每小时看到二三十颗偶发流星都不成问题。与此同时，秋夜星空也不乏看点，美丽的仙女座星系M31肉眼可见，三角座星系M33等深空天体也是天文爱好者热衷的观测目标。除此之外，天王星将于本月迎来冲日，观测条件较好。
9月12日，我们又会迎来今年最重要的节日之一——中秋节。届时，不论您是身在他乡为“异客”，或是在家陪伴着亲人，BoJone都愿与你一起“举头望明月”。在此提前预祝大家中秋快乐、美满、团圆！
21
Aug
有理直角三角形的面积能否为整数？
By 苏剑林 | 2011-08-21 | 37321位读者 | 引用这是一个古老而有趣的问题，但在引入这个问题之前，我们首先来看一个简单的问题：
整数边直角三角形的面积能否为一个完全平方数？
答案是不能。我们可以举一些例子来检验一下，例如边长为3,4,5的直角三角形面积为6，6不是一个平方数；再如边长为5,12,13的直角三角形面积为30，30也不是一个平方数...当然，数学的最近目的是要求严格证明，而不是简单举例，否则就只得称为不完全归纳，这样得出来的是一个猜想，而不是“定理”，就好象著名的“哥德巴赫猜想”...本文我们将试图证明这个命题。
我们稍后还会发现，这个问题和以下问题是等价的：
是否存在一个面积为1的三边长都是有理数的直角三角形？
更让人意外的是，这个问题也等价于方程$x^4+y^4=z^4$并没有整数解，换句话说，我们要证明n=4时的“费马大定理”！
2
Oct
[欧拉数学]素数有无穷多个的两个证明
By 苏剑林 | 2011-10-02 | 70379位读者 | 引用素数是数的基本单元，就如同高楼大厦中的砖块一样。显然，素数有无穷多个是数论研究价值的前提。不然，数的研究就局限在有限个素数之内，那么很多数字就会失去了它们的魅力。就好比只有有限块砖头，就不能创建出建筑的奇迹一般。下面介绍两个关于素数无穷的经典证明，其中一个是欧几里得的证明，这是最原始、最简单的证法，相信很多读者已经学习过了，在此还是要提一下；另外一个是我在《怎样解题》中看到的，原作者是欧拉，也是一个非常美妙的证明。当然，本文强调的思想，论证过程可能会有一些不严谨的地方，请读者完善^_^
一、欧几里得证明
这个证明思想非常简单：若干个素数的积加上1后会产生新的素数因子。要是素数只有n个，那么我们就把它们相乘，然后加上1，得到的将会是什么呢？如果是一个素数，那么将会与素数只有n个矛盾；如果是一个合数，它除以原来的n个素数都不是整数，那么它就会拥有新的素数因子了，这还是和只有n个素数矛盾。不论哪种情况，只有素数有限，就会得出矛盾，于是素数必然是无限的。
最近评论