2
Oct
[欧拉数学]素数有无穷多个的两个证明
By 苏剑林 | 2011-10-02 | 72712位读者 | 引用素数是数的基本单元，就如同高楼大厦中的砖块一样。显然，素数有无穷多个是数论研究价值的前提。不然，数的研究就局限在有限个素数之内，那么很多数字就会失去了它们的魅力。就好比只有有限块砖头，就不能创建出建筑的奇迹一般。下面介绍两个关于素数无穷的经典证明，其中一个是欧几里得的证明，这是最原始、最简单的证法，相信很多读者已经学习过了，在此还是要提一下；另外一个是我在《怎样解题》中看到的，原作者是欧拉，也是一个非常美妙的证明。当然，本文强调的思想，论证过程可能会有一些不严谨的地方，请读者完善^_^
一、欧几里得证明
这个证明思想非常简单：若干个素数的积加上1后会产生新的素数因子。要是素数只有n个，那么我们就把它们相乘，然后加上1，得到的将会是什么呢？如果是一个素数，那么将会与素数只有n个矛盾；如果是一个合数，它除以原来的n个素数都不是整数，那么它就会拥有新的素数因子了，这还是和只有n个素数矛盾。不论哪种情况，只有素数有限，就会得出矛盾，于是素数必然是无限的。
12
Sep
数学竞赛广东预赛|组成三角形的概率
By 苏剑林 | 2011-09-12 | 58749位读者 | 引用九月三日BoJone和九个同学到云浮参加了今年广东省的数学竞赛预赛，那一起出发、玩笑、作战、吃饭的情景依然历历在目，让我久久不能忘怀。是呀，能够并肩作战的感觉真好！九日数学成绩出来了，遗憾的是今年政策改变了，我被告知整个市只有三个名额能够参加复赛，于是新兴只有我一个人进入了复赛（另外两个据说是罗定的，我们三个并列第一）。有点无语，我想，大概是要把那些为了功利而参赛的人都给刷下去吧...
今年广东的预赛题前所未有的简单，不论是和全国其他地方相比还是和上一年的题目相比，都简单了不少，但我还是做得不大理想，据我估计，120分的卷子我顶多能够拿个68分，所以BoJone的基本技能实在不容乐观。从云浮考试回来后，和同行的同学讨论试题，得出了一些很有趣的结果，那过程可谓其乐无穷呀！下面是倒数第二题预赛题的几个绝妙解法，供大家欣赏。解法由我和伍泽麒（人称“兔子、神兔”，人如其名，天资聪颖，性格可爱）完成。
题目：
在一条线段中随意选取两个点，把这条线段截成三段，求这三段线段能够组成一个三角形的概率。
21
Aug
有理直角三角形的面积能否为整数？
By 苏剑林 | 2011-08-21 | 38601位读者 | 引用这是一个古老而有趣的问题，但在引入这个问题之前，我们首先来看一个简单的问题：
整数边直角三角形的面积能否为一个完全平方数？
答案是不能。我们可以举一些例子来检验一下，例如边长为3,4,5的直角三角形面积为6，6不是一个平方数；再如边长为5,12,13的直角三角形面积为30，30也不是一个平方数...当然，数学的最近目的是要求严格证明，而不是简单举例，否则就只得称为不完全归纳，这样得出来的是一个猜想，而不是“定理”，就好象著名的“哥德巴赫猜想”...本文我们将试图证明这个命题。
我们稍后还会发现，这个问题和以下问题是等价的：
是否存在一个面积为1的三边长都是有理数的直角三角形？
更让人意外的是，这个问题也等价于方程$x^4+y^4=z^4$并没有整数解，换句话说，我们要证明n=4时的“费马大定理”！
13
Aug
对称多项式不等式的“物理证明”
By 苏剑林 | 2011-08-13 | 36758位读者 | 引用本文将再次谈到对称这个话题，不过这一次的对象不是“等式”，而是“不等式”。
在数学研究中，我们经常会遇到各种各样的函数式子，其中有相当一部分是“对称”的。什么是对称的函数呢？对称有很多种说法，但是针对于多元对称式，我们的定义为满足$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$就是一个三元二次对称多项式。
30
Jul
IMO42-1，我也会做几何题
By 苏剑林 | 2011-07-30 | 28989位读者 | 引用七月再次“农忙”，农村里要插秧了，播下种苗，等待再次收获的季节^_^
我一直觉得我的数学能力偏向于分析计算而不擅长于几何，纵使遇到几何问题，也是满脑子的解析几何做法，没有纯几何的美。而这几天为了加强数学竞赛题目的能力，我一直在看IMO的题目，并且企图独立做出一些题目，但都无果。我比较感兴趣的是不等式，我感觉一道简单的式子，不用太多的文字就可以讲清楚的题目非不等式莫属，但是IMO的不等式题实在高深，我还没有能够独立做出一道来（参考答案可以看懂，只是想不到思路），或许是我在努力追求统一的方法而不肯研究那些特定的技巧的原因吧。不料今天看了一下2001年IMO的几何题目，发现我可能将它做出来，于是研究了一会，最终很幸运地做了出来。虽然不是最简单的方法，但也与大家分享一下。
IMO-42-1
如图，O是锐角三角形ABC的外心，AP是三角形的垂线段，∠B-∠C不小于30°。证明∠BAC+∠BOP < 90°
在农村，7月是忙碌的月份，农民们要忙着收割稻谷，收割完后要晒谷，同时还得准备“下秧”，准备新一轮的耕，BoJone家自然也不例外。不过我家田比较少（1亩左右），收割机几分钟搞定，谷也三两天就晒完了。不过在晒谷的时候，BoJone在考虑一个“收谷”问题：
晒谷时得先把成堆的谷子摊开，薄薄地平铺在平地上，等到傍晚或即将下雨时（这是最惨的情况，搞不好会淋谷）就将其收起来。问题就源于这里，一般来说我们会把谷均匀地铺成矩形，要把所有的谷都推到矩形里或外的哪一点上，才使得我们做功做小？
这个问题还可以推广开来，例如对于一地任意形状的谷子（如三角形），把它集中堆到哪个点最“轻松”？一堆固定质量的谷子，要把它平铺成什么形状，才使得收谷时最“轻松”？当然，这个问题的解不仅仅用于“收谷”，在很多规划建设中也可以应用到，例如要在一个人口大致均匀的城市中建设一个服务中心，这个服务中心应该建在哪里？这有点类似于我们之前讨论过的费马点问题 ，都是费马点只考虑了三个点的距离，而这个问题得考虑所有点的距离。
25
Jul
最近评论