科学空间|Scientific Spaces

之前曾在《自然极值》系列文章中提到过均匀重力场下的悬链线形状问题，并且在那文章中向读者提出：在一个质点（地球）引力场中的悬链线形状会是怎么样的。说实话，提出这个问题的时候，我还不懂怎么解答这个问题，不过现在会了，回头一看，已经几个月了，时间过得真快...

与之前的思路一样，我们依旧采用的是“平衡态公理”，即总势能最小。从天体力学中我们知道，任意两个质点间的势能为$-\frac{Gm_1 m_2}{r}$。对于本题的悬链线问题，我们可以把地球放到坐标原点位置，而悬链的两个固定点分别为$(x_1,y_1)$和$(x_2,y_2)$，链的总长度为l。即
$$\int_{x_1}^{x_2} \sqrt{dx^2+dy^2}=l$$

点击阅读全文...

在之前的一篇向量系列的文章中，我们通过结合物理与向量来巧妙地推导出了曲线（包括平面和空间的）的曲率半径为
$$R=\frac{v^2}{a_c}=\frac{|\dot{\vec{r}}|^3}{|\dot{\vec{r}}\times \ddot{\vec{r}}|}\tag{1}$$
曲率则是曲率半径的导数：$\rho=\frac{1}{R}$。我们反过来思考一下：曲率恒定的平面曲线是否只有圆？

答案貌似是很显然的，我们需要证明一下。

由于只是考虑平面情况，我们先设$\dot{\vec{r}}=(v cos\theta,v sin\theta)=z=ve^{i\theta}$，代入(1)得到
$\frac{\dot{\theta}}{v}=\rho$————(2)

点击阅读全文...

BoJone记得自己第一次接触三角函数大概是小学五、六年级的时候，那时候我拿来了表姐的初中数学书来看。看到三角函数一章后，饶有兴致，希望能够找到一个根据角度来求三角函数值的方法，可是书本上只是教我去用计算器算和查表，这让我这个爱好计算的孩子大失所望。这个问题直到高一才得以解决，原来这已经涉及到了微积分中的泰勒级数了...

我记得为了求任意角度的三角函数值，我曾经根据30°、45°和60°的正弦值拟合过一条近似公式出来：
$$\sin A \approx \sqrt{\frac{A}{60}-1/4}$$

其中A以角度为单位，大致适用于25°~60°，精度好像有两位小数。当然，这个结果在今天看来是很粗糙的，但是这毕竟是我的“小学的作品”！在此留念一翻。

点击阅读全文...

我们考虑一个球状的星团，并假设它是各向同性的，即距离球心r处的物质密度ρ只与r有关，ρ=ρ(r)。那么，在半径为r的球形区域内的总质量为：
$$M(r)=\int_0^r 4\pi x^2 \rho(x) dx$$

想象有一颗质量比较小的恒星（其实相对于星团总质量，每一颗恒星的质量都很小）在星团的引力作用下运动（就好像太阳系绕着银河系运动一样），且恒星并没有受到其他物质（如星际尘埃等）的阻力。我们之前已经证明过，各向同性的球壳内部的引力是为0的，那么这种情况下的运动就相当于恒星只受到它到球心处的一个球形区域内的质量的引力吸引。根据万有引力定律，选择星团球心为参考系，可以得出
$$\ddot{\vec{r}}=-GM(r)\frac{\vec{r}}{r^3}$$

点击阅读全文...

在数学竞赛中，很多题目都专门设置了一种技巧，这种技巧在很大程度上是不怎么理所当然的，换句话说，难以“顺理成章”地想下去，或者是说方法不成系统的，这也是我有点不喜欢数学竞赛题目的一个原因。当然，另一方面，个人认为数学竞赛比物理竞赛更能锻炼一个人的思维能力，尤其是在抽象思维以及几何想象能力等，因此做一些这样的题目也会有好处的。

下面就是一道很经典的竞赛题，它是在韩国举行的第42届IMO中的题目：

设a,b,c都是正实数，求证：
$\frac{a}{\sqrt{a^2+8bc}}+ \frac{b}{\sqrt{b^2+8ac}} + \frac{c}{\sqrt{c^2+8ab}} \geq 1$

点击阅读全文...

科学空间曾经提到过$e^{i\pi}+1=0$这条被誉为“数学最卓越的公式的公式之一”的公式，而读者们或许很就之前就已经听说过甚至证明过它了。那么，各位读者是否还知道其他的一些关于e,i,π的轶事呢？例如你知道$i^i$等于多少吗？还有$i^{1//i}$呢？

本文就让我们来欣赏一次数学之美！

点击阅读全文...

素数是数的基本单元，就如同高楼大厦中的砖块一样。显然，素数有无穷多个是数论研究价值的前提。不然，数的研究就局限在有限个素数之内，那么很多数字就会失去了它们的魅力。就好比只有有限块砖头，就不能创建出建筑的奇迹一般。下面介绍两个关于素数无穷的经典证明，其中一个是欧几里得的证明，这是最原始、最简单的证法，相信很多读者已经学习过了，在此还是要提一下；另外一个是我在《怎样解题》中看到的，原作者是欧拉，也是一个非常美妙的证明。当然，本文强调的思想，论证过程可能会有一些不严谨的地方，请读者完善^_^

一、欧几里得证明

这个证明思想非常简单：若干个素数的积加上1后会产生新的素数因子。要是素数只有n个，那么我们就把它们相乘，然后加上1，得到的将会是什么呢？如果是一个素数，那么将会与素数只有n个矛盾；如果是一个合数，它除以原来的n个素数都不是整数，那么它就会拥有新的素数因子了，这还是和只有n个素数矛盾。不论哪种情况，只有素数有限，就会得出矛盾，于是素数必然是无限的。

点击阅读全文...

上一篇文章我通过欧拉数学的方式简单地讲了数论中的“黎曼ζ函数”和“金钥匙”。事实上，这把“金钥匙”与很多问题之间的联系已经被建立了起来，换句话说，“金钥匙”已经插入到了相应的“锁孔”中，数学家的工作就是要把这个金钥匙“拧动”，继而打开数学之门！

接下来我们看看如何证明所有素数的倒数之和发散的。在入正题之前，我们得需要看一个引理：

无限数列${a_n}$的每一项都大于0，那么$\sum\limits_{n=1}^{\infty} a_n$与$\prod\limits_{n=1}^{\infty} \left(1+a_n\right)$的敛散性相同。换句话说，两者互为充分必要条件！

点击阅读全文...