matrix67的专栏

原创 寻找1/5 + 1/25 + 1/125 + .. = 1/4的图形证明

      前段时间，网上涌现出一大批关于1/4 + 1/16 + 1/64 + ... = 1/3的图形证明(1) (2)。不过，有多少人想过，为什么这些图形都是证明底数为1/4的情况呢？同样是几何级数求和，能否构造一个图形来证明1/5 + 1/25 + 1/125 + .. = 1/4呢？      无妨让我们来尝试一下。绝大多数人的第一想法便是画一个正五边形，然后把它分

原创 经典证明：一组凸集中任三个的交非空，则所有凸集的交非空

    今天看到一本巨爽的电子书，里面介绍了很多离散几何的神奇结论和美妙证明。我一口气看了将近十个小节，期间不停地被那些天才的数学证明所震撼。电子书的第一节介绍了一个非常初等的东西——Helly定理。从这里大家足以领略到凸集理论的奇妙。    Helly定理是说，如果一组凸图形中任意三个都有公共区域，那么所有这些凸图形也一定有一个公共区域。注意，这个结论并不是显然的。如果把“任意三

原创 爱情究竟是什么？

原创 Scarky：发布你自己的OI/ACM题

出了一道好题目却不知道该怎样投递到各大OJ上？现在不用担心这个问题了，因为你可以直接把自己的Blog变成一个OJ。Scarky是一个建立在SPOJ系统上的OJ平台。所不同的是，任何人无需注册便可以编写自己的题目并发在自己的网站上与网友分享，并且网友们提交答案时也不需要进行注册。这个网站的功能还在不断扩充中，但目前就Programming Challenge模块看来，这个网站已经很强大

原创 祝大家七夕情人节快乐

上面这张图片里隐藏了不少与爱情相关的单词，你能找出几个来？图片来源：http://www.bantjes.com/index.php?id=221

原创 勾股定理的两个物理证明

    说勾股定理是一切科学的基础恐怕一点也不夸张。一些最基本的物理定律就与勾股定理之间产生了完美的对应。在我初三学到动能的公式时，我就想到，动能与速度的平方成正比是有内在原因的，这正是由数理科学中最基本的定理——勾股定理——决定的。考虑一个质量为1的物体向正北方向运动，如果它的速度为a，那么所需要的能量就是(a^2)/2；类似地，让同一个物体以b的速度向正东方向运动，所需要的能量应

原创 两段人生的交集

原创 聆听排序算法的声音

在网上偶然看到这篇文章，决定把之前创作排序算法内存状态演示图所用的Mathematica程序修改一下，于是搞出来5个midi音乐。这些midi文件用音高来表示内存状态，初始时的音都是乱的，然后声音渐渐变得有序，最后就成了从低到高的一串音符。http://www.matrix67.com/data/bubble_8_elements.midhttp://www.matrix67.c

原创 留心观察身边的事物：生活中的FAIL

留心观察身边的事物，你会发现各种荒唐搞笑的事情——或者是马大虎手下那些令人啼笑皆非的Bug，或者是一群傻子突然异想天开却弄巧成拙，或者是脑子不好使的设计师弄出来的“杰作”。最近N82的储存空间不够了，于是开始清理N82上的照片，整理了一系列我亲自抓拍到的FAIL图，在这里和大家分享一下。2008年7月22日摄于重庆某书店在书店看到一本巨牛的书，全书讲了十余个几何命题的解析证明，

原创 Pick定理的几个出人意料的应用

       考虑直线x+y=n，其中n是一个素数。这条直线将恰好通过第一象限里的n-1个格点（如上图，图中所示的是n=11的情况）。将这n-1个点分别和原点相连，于是得到了n-2个灰色的三角形。仔细数数每个三角形内部的格点数，你会发现一个惊人的事实：每个三角形内部所含的格点数都是一样多。这是为什么呢？       Pick定理是说，在一个平面直角坐标系内，如果一个多边形的顶

原创 趣题：用松了的圆规作给定一端点的指定长度线段

    《几何原本》的命题1是“作以给定线段为边的等边三角形”，其做法也正如大家所料：以AB为半径，分别以A、B为圆心作圆，交点C就是等边三角形的第三个顶点，于是连接AC和BC即可。《几何原本》的命题2则是一个看似更加简单的作图问题：给定点A和线段BC，作以A为其中一个端点的、长度等于BC的线段。我原以为《几何原本》的做法也和我们平常的做法一样——以A为端点向任意方向作一射线，再用圆

原创 Image Functions：在线绘制颜色分布图

    Image Functions是最近web 2.0上谈论很多的一个在线小程序。你可以在输入框里输入一个关于x、y、r、g、b的函数，系统将给出对应的图像并储存在画册里。你可以试着输入0.2*(x+y)或者sin(x)*cos(y)试试。没事可以点随机查看，偶尔你将会看到一些牛人绘制的牛图：floor(3/(x*x*50+(y+6)**2+1))+floor(1/((x-2