又到一年高考时，考完语文大家热烈讨论一番作文题，下午一考数学就没人说话了？没关系，让动图帮你回忆高考数学吧~
（好消息是，相比其他动图，数学动图比较不费流量）
椭圆为何是椭圆
“椭圆”是什么？小时候，我将它直观地理解成一个“压扁”或“拉长”的圆。因此，当我第一次在解析几何课本中看到椭圆的定义的时候，感觉世界观被颠覆了：平面上到两个定点的距离之和为一定值的点的轨迹……这是什么鬼？
接下来，课本就从这个定义出发，推出了椭圆的方程：我们熟悉的
。这个方程和圆的方程很像，非常符合“拉长的圆”的感觉。方程推出来，自然是对的，但推导的过程不太直观，结果也有点反直觉。我还是会问自己：为什么会这样呢？
直到我看到了一张类似这样的图片（当然，当年看到的不是动图）：
图片来源：怎样得到一个“拉长的圆”？很简单，找一个圆柱体，然后斜着一刀切下去。接下来，我们从斜面的上方和下方分别塞进一个球，它们与圆柱相切，同时也与截面相切。我们把球与截面相切的两个点分别记作F1和F2——这两个点也就是椭圆的两个焦点。于是，如图，由于F1X和AX是X这个点到蓝色球的两条切线，因此它们的长度也相等。同理，XF2=XB。因此，F1X+XF2=AX+XB=AB，而AB的长度是一个定值。就这样，我们把课本上椭圆的定义和“拉长圆”的直觉理解联系了起来。
而且，如果把这里的圆柱换成圆锥，这一点也同样成立：
不过当然，圆锥的截面变化就更多了。在酷炫动图（十三）：数学篇中已经提到，随着角度变化，在圆锥上可以截出圆、抛物线、双曲线、两条相交的直线、两条重合的直接，甚至缩成一个点。因此，椭圆、抛物线和双曲线都被称为圆锥曲线。
图片来源：mathgifs
光线与焦点
上高中时，我们没少对着椭圆做计算，而它的光学性质也很有趣：如果从椭圆的一个焦点发出光线，再经过椭圆的反射，最终光线还会汇聚到椭圆的另一个焦点上。当然，把光换成声波、小球或是别的什么东西也可以。
图片来源：MathGifs
在图中我们还可以看到：这些小球同时以同样的速度向不同的方向出发，又同时汇聚在另一个焦点。这说明它们走过的路程是一样的。为什么？想想椭圆的定义吧。
别的圆锥曲线也有独特的光学性质。比如说，从双曲线的一个焦点处发出的光线，经过双曲线的反射后，看起来会像是从双曲线的另一个焦点发出来的一样。再比如说抛物线，在它的一个焦点处发出的光线经反射后会变成平行线：
图片来源：MathGifs
把抛物线绕对称轴旋转一圈，我们就得到了抛物面。这个抛物面也有同样的光学性质，于是我们就可以用它来把平行的光线汇聚到一点，或者把从一点发出的光线变成平行光。这个性质被应用在天线、望远镜、话筒、灯光设备等各种不同的地方。奥运的圣火也是通过抛物面汇聚的太阳光来点燃的：
希腊演员Eleni Menegaki点燃2010年青年奥运会圣火。图片来源：Wiki Commons
球体切片
还记得课本上是怎样推导球的体积公式的吗？一个常见的方法是祖暅（gèng）原理，下面的动图解释的就是它：
图片来源：Hyrodium's Graphical MathLand
祖暅原理，在西方叫卡瓦列里原理（Principio di Cavalieri）。它说的是如果两个几何体在每一个相同高度处的截面积都相同，则它们的体积也相同。从上面的图中可以看出，如果把底面半径为r、高为2r的圆柱体挖去两个高为r的圆锥，再把剩余部分与半径为r的球体进行逐层比较，可以发现二者在每个高度上的截面积都是相等的。这样一来，用圆柱和圆锥的体积公式就可以推出球体积公式了：
。
学过高等数学的同学可能会发现：这不就是说二重积分能够通过逐次积分来计算吗？的确，这可以看成是微积分的一个“前奏”。在17世纪上半叶，意大利数学家卡瓦列里提出了这条原理，并用它计算了一系列几何体的体积，而在17世纪下半叶，牛顿和莱布尼兹发明了微积分。
祖暅提出同样的原理是在公元5世纪，比卡瓦列里早了一千多年。祖暅是祖冲之的儿子，他是在求球的体积公式的过程中提出这条原理的。但他还不是第一个算出球体积公式的人。早在公元前3世纪，古希腊的阿基米德就给出了球的体积公式。他用一种奇妙的力学方法，算出半径为r的球体积是半径为r、高为2r圆柱体积的三分之二，并用穷竭法给出了证明。阿基米德的方法已经有了微积分思想的雏形，不过没有用上祖暅原理。
阿基米德的成果并没有传到中国。早期的中国数学家也研究过球的体积，但没能得到正确的结果。到了南北朝时期，祖暅终于提出了这条重要的原理：“幂势既同，则积不容异”。
祖冲之、祖暅父子在这条原理的基础上，还得到了“牟合方盖”的体积公式。咦？牟合方盖是啥？
图片来源：Wiki Commons 作者：Van helsing
如上图，把两根半径相等的圆柱垂直地拼在一起，它们的公共部分就是“牟合方盖”了。古人给几何体起的名字，在今天看来往往会有些奇怪，不过在高考考场上你还真有可能遇到它们，比如2015年湖北高考题就出现了“阳马”和“鳖臑”。
余弦定理的无字证明
余弦定理是勾股定理的推广。它和勾股定理一样，都有着很多不同的证明。数学证明是一件非常美妙的事情。不过，证明长了，读起来未免有些枯燥。相比之下，简短巧妙的无字证明就显得格外具有美感。下图就是余弦定理的一个无字证明：
图片来源：Wiki Commons 作者：HB
看明白这个证明要花一点功夫，在这里我就先不剥夺读者思考的乐趣了。
我没能查到这个证明的作者。它的灵感应该是来自欧几里得所给的勾股定理的证明。《几何原本》中第一卷的第47个命题便是勾股定理。只要把动图中的∠ACB改成直角，得到的就是《几何原本》上的证明：
《钦定四库全书》版《几何原本》上的插图。来源：中国哲学书电子化计划
想看更多经典的无字证明，可以点这里：盘点数学里十大不需要语言的证明
杨辉三角
把(x+y)n这样的多项式展开，它各项的系数称为二项式系数。把所有的二项式系数排成一个三角形，得到的就是杨辉三角了。
图片来源：Wiki Commons 作者：Hersfold
杨辉三角有很多有趣的性质，图中显示的大概是其中最重要的一条：三角形中的每个数都是其上方的两个数之和。有了这条性质，我们能轻松地画出杨辉三角：先画出左右两边的1，然后按这条性质填上中间的数字。
杨辉三角画法简单，其背后的二项式定理又是一条极为重要的定理。不难想象，它会在历史上由许多不同年代、不同国家的数学家独立发现，并被冠以许多不同的名字。美国统计学家斯蒂芬·斯蒂格勒（Stephen Stigler），提出过一条“定律”：没有哪条科学发现是由它真正的发现者来命名的。这当然只是玩笑，不过杨辉三角确实给它提供了一个切实的例子：
它在西方被称为帕斯卡三角（Pascal's triangle）。在1653年，法国数学家帕斯卡在他的论文《Traité du triangle arithmétique》中提出了这个三角形。
不过，意大利人把它称为塔塔利亚三角（Triangolo di Tartaglia），因为意大利数学家塔塔利亚早在16世纪就发现了它——顺便提一句，塔塔利亚发明的一元三次方程求根公式被称为卡当公式，这是Stigler定律的另一个例子……
而在中国，它最常用的名字是杨辉三角。杨辉本人并没有发现这个三角，只是在自己的《详解九章算术》一书中引用了贾宪的工作。贾宪是北宋人，活跃在11世纪，不过他的著作没有流传下来。
在伊朗，人们又把它叫做海亚姆三角，纪念的是11世纪波斯数学家、诗人欧玛尔·海亚姆（Omar Khayyám）。海亚姆作出这个发现的年代与贾宪差不多，可能要略晚一些。
不过，无论是贾宪还是海亚姆都不是真正的第一个发现者。早在10世纪，印度数学家Halayudha就发现了这个三角形。幸好，Halayudha将其命名为Meru-prastaara，意为“须弥山的阶梯”。这个名字被印度人沿用至今，成功地避开了Stigler定律的诅咒。
有意思的是，Stephen Stigler 本人也不是第一个提出Stigler定律的人（说明这个定律非常科学……）。更多阅读：别激动，这个定律早被人发现了
最后，再送上另一张动图：
图片来源：Wiki Commons 作者：Juanmacuevas
这个像素风动画其实也是杨辉三角，只不过把三角形里的每个数写成了二进制。确切地说，动图的每一帧代表杨辉三角的一行，每一列代表一个数，黄色代表1，黑色代表0，最下面是个位，越往上代表越高的位数。
（编辑：窗敲雨）
题图来源：123rf.com.cn正版图片库