毕达哥拉斯说任何数都可以用分数或整数表示，但直到有人(Eudox)指出：单位正方形对角线长度怎么表示呢？它重创了毕哥的信念，现在我们再打击他老人家一次^_^

    假设存在这样一个有理数p, p^2 = 2.
    再设p = a/b， a、b是两正整数，且既约，就是没有除1外的共因子，使得(a/b)^2 = 2；
    变形以后得a^2 = 2 * b^2，推出a^2是个偶数，同时为了满足a^2是个平方数，那b^2必须包含一个因子2，所以a^2 / b^2不是既约的，那a/b也不是既约的啦！与前提矛盾，证得单位正方形对角线长度不是有理数！