科学空间|Scientific Spaces

刘徽

话说当年我国古代数学家刘徽创立“割圆术”计算圆周率的事迹，在今天已被不少学生知晓；虽不能说家喻户晓，但是也为各教科书以及老师津津乐道。和古希腊的“数学之神”阿基米德同出一辙，刘徽也是使用圆的内接、外切正多边形来逼近圆形的；不一样的是，刘徽使用的方法是计算半径为1的圆的内接、外切正多边形的面积，而阿基米德计算的则是直径为1的圆的内接、外切正多边形的周长。两者的计算效果有什么区别呢？其实阿基米德的方法应该更快一点，阿基米德算到正n边形所得到的值，相当于刘徽算到正2n边形了。

在此我们不再对两者的计算方法进行区分，因为两者的本质都是一样的。按照现代数学的写法，“割圆术”的理论依据是
$$lim_{n\to \infty} n \sin(\frac{\pi}{n})=\pi\tag{1}$$
当然，刘徽不可能有现代计算正弦函数值的公式（现在计算正弦函数值一般用泰勒级数展开，而泰勒级数展开需要用到$\pi$的值），甚至在他那个时代就连笔墨也没有，据我所知即使是后来的祖冲之推算圆周率时，唯一的计算工具也只是现在称为“算筹”的小棍。不过刘徽还是凭借着超强的毅力，利用递推的方法逐步求圆周率。

点击阅读全文...

莱昂哈德·欧拉

作为数学史上最高产的数学家（似乎没有之一），欧拉的研究几乎涉及了所有数学领域，包括数论、图论、微积分等，同时他还是一个物理学家，他与拉格朗日首创的变分法使得经典力学的研究达到了一个新的高度。欧拉具有惊人的计算能力和数学直觉，这对他的数学研究帮助极大。现在在很多领域，我们都可以看到不少以欧拉命名的公式、定理。欧拉在数学上极为高产，而且得出了相当多的正确结论，但其中有相当多的结论只是来源于他的数学直觉（创造性思维）以及类比推理，这并非欧拉不追求严谨，而是由于当时数学知识的局限性，难以严密化。还有，研究的顺序是：先得出答案，然后才论证答案！

再者，创造性思维往往令人叫绝，能更加促进我们的思维能力。过多地考虑严格性和技术细节，通常都妨碍了我们得出正确的答案。正如《解题的艺术》中说道：粗略而有灵感的思想可能会引出严格证明；而有时，严格的证明会完全淡化论证的精髓。因此，我们不必在意欧拉证明的不严谨，反而，它是一次完美的视觉与思维享受。正因如此，一些绝妙、非严密、（在某种程度上）不正确的但同时得出了正确结果的数学论证，就被称为“欧拉数学”。事实上，任何人、任何研究都必须经过“欧拉数学”这一不严密的早期阶段。

------------华丽的分割线----------------

下面是一条关于凸多面体的面、顶、棱公式，它属于拓扑学的内容，我们称之为“欧拉公式”。（当然，公式是欧拉的，论证过程只是笔者粗糙地给出的）。

点击阅读全文...

其中前六题是选择题，具体情况记不起来了，其实也是挺简单的。不过有兴趣的朋友可以在本文的PDF附件查阅到试题（来自“空念远兮”数学网站）。

对了这个PDF文件的参考答案之后，BoJone发现我的选择题全对。而后三道大题我只做了最后两道，解法也和PDF中的不大一样，在此写出来与大家讨论。

1、求证：内角相等的圆内接五边形是正五边形。

这道题是我在最后十五分钟做出来的。一开始想到很多复杂的定理方法，后来发现它可以很简单证明。

如图是一个满足题目条件的五边形。

五边形

点击阅读全文...

方轮自行车

你见过正方形轮子的自行车吗？一般认为，只有圆形的车轮才能使我们的车子平稳向前移动，但这只是针对平直道路而言的。谁规定路一定是平的？只要铺好一条适当的道路，正方形车轮的自行车照样可以平稳前行！本文就让我们为方轮自行车铺一条路。

其实，方轮自行车已经不是新鲜玩意了，它早已出现在不少科技馆中。从图片中可以看到，它的特殊轨道是有许多段弧组成的，每一段弧的长度等于正方形的边长。车轮前行时，正方形会保持与弧形相切（确保不会打滑）。这样的路的形状是什么曲线呢？很幸运，它并不十分复杂，而且让人意外的是，它就是我们之前已经研究过的“悬链线”！原来，要设计这样的一个曲线的轨道，不需要多么高深的设计师，只需要我们手拿一条铁链，让它自由垂下......

点击阅读全文...

最近在浏览“数学研发论坛”的时候，发现了一系列不等式手册，感觉是挺宝贵的资源，就把它转载到这里来了。

当然，里边的内容难度不一，很多东西我自己也未必用得上，甚至不能弄懂，不过还是放在这里保存，并与大家分享。

原文链接：http://bbs.emath.ac.cn/thread-1549-1-1.html

文件包内容：

152个未解决的问题.pdf
HLODER 与 MINKOWSKI不等式.pdf
不等式常用证法50种.pdf
不等式基本性质.pdf
单调函数不等式.pdf
调和函数不等式.pdf
多边形与多面体不等式.pdf
反三角函数不等式.pdf
级数不等式.pdf
数论不等式.pdf

点击阅读全文...

分类：资源共享 标签：转载, 书籍 阅读全文 抢沙发

本文的最新版本位于：http://kexue.fm/archives/2208/

亲爱的读者朋友们，科学空间版的理解矩阵已经来到了BoJone认为是最激动人心的部分了，那就是关于行列式的叙述。这部分内容没有在孟岩的文章中被谈及到，是我自己结合了一些书籍和网络资源而得出的一些看法。其中最主要的书籍是《数学桥》，而追本溯源，促进我研究这方面的内容的是matrix67的那篇《教材应该怎么写》。本文包含了相当多的直观理解内容，在我看来，这部分内容也许不是正统的观点，但是至少在某种程度上能够促进我们对线性代数的理解。

大多数线性代数引入行列式的方式都是通过讲解线性方程组的，这种方式能够让学生很快地掌握它的计算，以及给出了一个最实际的应用（就是解方程组啦）。但是这很容易让读者走进一个误区，让他们认为线性代数就是研究解方程组的。这样并不能让读者真正理解到它的本质，而只有当我们对它有了一个直观熟练的感觉，我们才能很好地运用它。

行列式的出现其实是为了判断一个矩阵是否可逆的，它通过某些方式构造出一个“相对简单”的函数来达到这个目的，这个函数就是矩阵的行列式。让我们来反思一下，矩阵可逆意味着什么呢？之前已经提到过，矩阵是从一个点到另外一个点的变换，那么逆矩阵很显然就是为了把它变换回来。我们还说过，“运动是相对的”，点的变换又可以用坐标系的变换来实现。但是，按照我们的直觉，不同的坐标系除了有那些运算上的复杂度不同（比如一般的仿射坐标系计算点积比直角坐标系复杂）之外，不应该有其他的不同了，用物理的语言说，就是一切坐标系都是平权的。那么给出一个坐标系，可以自然地变换到另外一个坐标系，也可以自然地将它变换回来。既然矩阵是这种坐标系的一个描述，那么矩阵不可逆的唯一可能性就是：

这个$n$阶矩阵的$n$个列向量根本就构不成一个$n$维空间的坐标系。

点击阅读全文...

这篇文章估计是这个系列最后一篇了，也许以后会继续谈到线性代数，但是将会独立开来讲述。本文主要讲的是相似矩阵的一些事情，本文的观点很是粗糙，自己感觉都有点模糊，因此请读者细细阅读。在孟岩的文章里头，它对矩阵及其相似有了一个非常精彩的描述：

“矩阵是线性空间中的线性变换的一个描述。在一个线性空间中，只要我们选定一组基，那么对于任何一个线性变换，都能够用一个确定的矩阵来加以描述。”

同样的，对于一个线性变换，只要你选定一组基，那么就可以找到一个矩阵来描述这个线性变换。换一组基，就得到一个不同的矩阵。所有这些矩阵都是这同一个线性变换的描述，但又都不是线性变换本身。

点击阅读全文...

也许当我们从小学数学进入中学数学的过程中，让我们最郁闷的事情就是课本上把用的好好的角度制改为弧度制了，那个好好的360°的周角无端端变成了一个无理数$2\pi$，为此还多了一堆转换公式，那时这可把我折腾了好一阵子。为什么一个完美的360°不用，反而转向一个无理数$2\pi$？这里边涉及到了相当多的原因，在这些原因中，重新体现了数学体系的一致与简约。当然，文章里的观点只是我自己的看法，仅供大家参考。

弧度制：简约的要求

如果读者已经学过了极限理论，那么我就可以直接说，引入弧度制，是为了在这样的一种角的度量体制下，满足：
$$\lim_{x\to 0} \frac{\sin x}{x}=1$$

点击阅读全文...