趣题：空间四边形外切于给定球，求证四切点共面
考虑一个空间四边形A1A2A3A4，它的四条边A1A2, A2A3, A3A4, A4A1都与一个给定的球相切。求证，这四个切点共面。
为了更好地理解这个问题，考虑一个菱形的钢架沿对角线折叠，或者一个正四面体钢架去掉相对的两条棱。把这个空间四边形当成一个碗去接一个球，你会发现这个球卡在空间四边形中掉不下去了，此时它与四条边都相切。凭借我们的生活经验，我们很容易提出这个猜想：四个切点是共面的。
最小作用量原理与物理之美4——力学
就像最小作用量原理可以推导出所有几何光学定律一样，力学中也存在一个最
小作用量原理的特例可以推导出整个牛顿力学。今天我们就来研究研究这个。
有这样一个事实：假定有一个质点在引力场中通过自由运动从某处移动至另一处——你把它抛出去，他就会上升又落下。如果画出x-t图（为了简化，只考虑一维的运动，设x轴是竖直的轴），那么运动图像是一条抛物线。你可以尝试着通过起点和终点画一些别的曲线，如果计算出经历整条路径期间动能减重力势能对时间的积分，你会发现所获得的数值比实际运动所获得的要大。如果我们设作用量S为
那么上面的事实换句话说就是作用量
S在实际运动中取得最小值。对上面字母的解释：t1、t2表示运动的起点和终点时刻，1/2*m*v^2是研究物体的动能，V(x)是其势能（这里把它写成是随x变化的函数）。当物体只受重力的时候，V(x)=mgx。我们在上一篇文章中说过，一个泛函取得极值可以令其变分等于0，所以在力学中，最小作用量原理的特例就写作：
Read more
一个超级赖皮的数学证明方法——例证法
今天看到《数学家的眼光》（张景中著）写到了一个巨赖皮的数学证明方法，叫例证法，看完我都惊得不行了，就写到这里来和大家分享一下。
为了说明例证法，我们举一个简单的例子。试证明：(x+1)(x-1)=x^2-1。我们假设我们不会做（这不是在贬低你的智商阿）。现在我就讲一个所有人都肯定能学会的方法，用例证法来证明！
证明：令x=1代入原式，发现等式成立。
令x=2代入原式，发现等式成立。
令x=3代入原式，发现等式成立。
所以原式恒成立。
你看了可能会狂笑不止，有种想揍我的冲动，这什么东西，举了3个例子就说证明了原式？证明等式成立可必须是所有x都满足才行啊！可是，且慢，我可以告诉你，这样证明是严谨的。不信就听我仔细分析。 Read more
一个有趣的级数
估计有不少人知道这样一个公式，1-1/3+1/5-1/7+1/9-…=π/4
我很小的时候就见过这个，貌似叫莱布尼茨公式，觉得相当有意思，一些自然数的加减乘除居然出现了π！之后我对这个公式思考了好长时间，总是想不出来怎么来证明。我一直把这个问题记在心里，期盼着那一天能找到他的证法。
我曾经专门找过微积分的书和有关级数的数，遗憾的是，这么经典的一个无穷级数求和居然都没有写到。我近日在数学吧问了一下，好象没有初等数学的证明，有人贴出来了一个不过我没看明白。
有意思的是，今天在读《费曼物理学讲义》有关谐波的章节时，居然看到了这个等式的证法！呵呵，我都惊喜得不行了，居然在经典物理书里面看到了有意思的数学证明！我想把这个证法贴出来，供大家欣赏，相当精彩啊，不过没学过微积分的就不用看了。 Read more
一张图证明著名等式
如图，从内到外各圈正方形的边长依次是1，2，3，4……通过面积的两种表达形式，就可以证明结论中的著名等式！
解释一下：第一个算式是把面积一圈一圈加起来，第二个是总边长的平方。
