20
Jul
“未解之谜”：为何不讲中点矩形法则？
By 苏剑林 | 2012-07-20 | 55455位读者 | 引用前言
在之前的一些文章中，我们已经指出过现行教材的一些毛病。比如主次不当（最明显的是那些一上来就讲线性方程组的线性代数教程）、缺乏直观性、缺少引导性等，我想其中最主要的原因可能是过于随大流了，别人怎么编我们也跟着怎么编，缺乏自己的观点和逻辑，因此导致一些常见的毛病就一直流传了下来。也许正因如此，就导致了有那么一种奇怪的现象——明明有一种计算量少的、精确度高一些的方法，教科书几乎从未提及；另外一种计算量稍大、精确度稍低的方法，但每一本同类教科书都讲述了它。不能不说这是一个“未解之谜”......
本文要讲的就是这样的两种方法，它们分别是用来求定积分近似值的“中点矩形法则”和“梯形法则”。对于后者我想绝大多数学习过微积分的朋友都会有印象，它就是那个几乎出现在了所有微积分教材的方法；而前者我相信不少读者都未曾听闻，但让人意外的是，它的计算量稍低，精确度却稍高。本文就简单介绍这两种方法，并且比较它们的精度。而本文的独特之处在于，证明过程沿用了《复分析:可视化方法》的思路，使用几何方法漂亮地估计误差！
我们的目标是在难以精确计算的情况下，通过一定的方法求出$\int_a^b f(x)dx$的近似值，这些方法基本上都是利用了积分即面积的思想。
两种不同的方法
华南师范大学 校徽
高考早已成为了历史，报考、录取等也已经成为了过去，由于高考发挥不大好，所以最终我进了华南师范大学的数学勷勤创新班，在石牌校区（华师本部）的数学科学院。
有人曾问我考得这样的成绩遗憾吗？我说的确会有些遗憾，毕竟当初很有大志地冲着更加名牌的大学；不过要是问我后不后悔这样过了高三，我会坚决地说绝不后悔，而且我会非常高兴我是这样过了。（备考、研究、玩闹......）不管怎样，我会好好把握在大学的日子，专心研究，细细品味。我不相信一个大学就可以决定我的人生，但我肯定我的大学将会是我人生中重要的一部分。
要问我未来的计划，我只能说没有什么计划。是呀，未来这么远，这么“混沌”，怎么可能预测的了呢？不过还是可以“定性”地估计一下大概方向的，以后就想做研究型的工作，虽然学习的是数学，但还是努力将其结合物理一起来学吧。所以以后可能从事物理或数学相关工作，当然，要是这些都实现不了的话，我还可以去当一个老师，毕竟，教育也是我挺有兴趣的领域（尤其是看了宝莱坞的《三个傻瓜》之后）。如果自己不是人才，就希望能够培养一些人才出来^_^。
设想两个带有等量异号电荷的点电荷，它们之间的距离足够小，这样的一个模型被称为电偶极子（electric dipole）。我们研究电偶极子，主要是研究它在力学方面的性质。很多东西都可以用电偶极子来近似描述，比如一个小磁体周围的磁场，还有地球本身也可以近似看做一个偶极子来描述它的磁力情况，以及一些双原子分子的模型也被可以看做一个电偶极子模型，等等。在电偶极子模型中，两电荷的距离足够小，以至于我们忽略了一些关于距离的高次方项，只保留了线性部分，但对于物理探索来说，它已经足够精确，更重要的是，它足够简单，以至于我们可以容易把它清晰地描述出来。
我们先来研究电偶极子产生的电势。设它们各自的电荷量为q和-q，两者距离为ε，根据库仑定律，一个点电荷产生的电势，正比于该电荷的电荷量，同时反比于到该点电荷的距离。那么，一个电偶极子产生的电势为
$U=C(\frac{q}{r}+\frac{-q}{|\vec{r}-\vec{\varepsilon}|})$————(1)
21
Sep
军训结束了，基本在华师安家了
By 苏剑林 | 2012-09-21 | 17613位读者 | 引用上网的那些事儿
从申请帐号到接通校园网络，昨天晚上我总共花了将近3个小时才实现了在校内上网......
其实这本来不是一件很复杂的事情，但对于我的笔记本就是挺麻烦的。首先是申请，向隔壁师兄咨询了网管所在后，几分钟就申请到了账号，然后回到宿舍配置电脑。按照说明，是需要安装一个锐捷客户端的，通过手机把笔记本连上网络后，花了差不多20M流量下载了这个客户端，然后发现它竟然不能在Windows 8 64bit上运行。这就头疼了，我的笔记本只有Windows8和ubuntu呀，总不能为了上网换回Windows 7吧？就这样在两个系统中来来回回弄了两个小时，期间尝试过用mentohust来替换它，但发现在Windows 8上还是很头疼地不行。最后只能通过兼容模式来解决：
右击“锐捷客户端”的安装程序——属性——兼容性——选择以Windows 7兼容模式
右击“锐捷客户端”的安装程序——以管理员身份运行——安装程序——重新启动
然后就可以启动锐捷客户端了。我们用的是4.31版本。
26
Sep
均值不等式的两个巧妙证明
By 苏剑林 | 2012-09-26 | 54000位读者 | 引用记得几年前，BoJone提供过一个证明均值不等式（代数—几何平均不等式）的方法，但是其中的证明有点长，有点让人眼花缭乱的感觉（虽然里边的思想还是挺简单的）。昨天在上《数学分析》课程的时候，老师讲到了这个不等式，也讲了他的证明，用的是数学归纳法，感觉还是没有那种简洁美和巧妙美。但这让我回想起了之前我研究过的两种巧妙证明方法，可是在昨天划了一整天，都没有把这两种方法回忆起来。直到今天才回想起来，所以就放在这里与大家分享，同时也作备忘之用。
对于若干个非负数$x_i$，我们有
$$\frac{x_1+x_2+...+x_n}{n} \geq \sqrt[n]{x_1 x_2 ... x_n}$$
记为$A_n \geq G_n$
证明1：数学归纳法
这个方法不算简单，但是非常巧妙，它从n递推到n+1的过程让人拍案叫绝。用数学归纳法证明詹森不等式也是同样的递推思路，而均值不等式不过是詹森不等式的一个特例而已。
假设$A_n \geq G_n$成立，要证$A_{n+1} \geq G_{n+1}$。我们有
$$\begin{aligned}&2n A_{n+1}=(n+1)A_{n+1}+(n-1)A_{n+1} \\
=&[x_1 + x_2 +...+x_n]+[x_{n+1}+(n-1)A_{n+1}] \\
\geq &nG_n+n(x_{n+1}\cdot A_{n+1}^{n-1})^{\frac{1}{n}} \\
\geq &2n(G_{n+1}^{n+1}\cdot A_{n+1}^{n-1})^{\frac{1}{2n}}\end{aligned}$$
16
Oct
相对论和量子力学的初探
By 苏剑林 | 2012-10-16 | 34838位读者 | 引用=====大学学习=====
上大学已经一个多月了，除去军训的两周和国庆放假的一周，到现在已经是第三周上课了。我是数学专业的，由于是那个勷勤创新班，它希望我们都向研究型数学的方向发展，所以给我们“更多的自由研究时间”，所以课程比一般的班还少一点。由于高中已经对高等数学有个大概的了解，所以一开始让很多同学都喊苦的数学分析、解析几何于我而言都还是比较容易接受的。但从另外一个角度上来讲，我感觉我学得快的原因，倒不全是以前的积累，而是因为个人的学习方式。我不喜欢跟着老师的步伐走，我喜欢而且需要深入地思考和理解一个问题，希冀达到一理通百理明的效果，而不是做完一题紧接着下一题。因为我认为这种竞赛式的学习不能给我们带来实质性的进步，而且有可能抹杀了我们的创造力。
1979年爱因斯坦邮票
没有应用的数学是很枯燥乏味的，数学不能脱离物理、化学等领域。当然“应用”这个词有很广泛的意思，它不一定在实际生活中起到了立竿见影的作用，而是所有在非数学领域中体现了数学之美的例子都可以叫做数学应用，或者有趣的数学。所以，在经历了一两周纯粹地研究数学之后，我感觉我不能再这样下去了，与其零散地涉猎各个方面的知识，倒不如现在开始就系统地学习一些学科以外的科学知识。于是，我决定重拾高中还没有完成的事情——学习相对论和量子力学——所谓现代物理的两大支柱。
最近评论