举例证明有理数不能完整的建立度量理论基础

假设一正方形边长为单位长度，设其对角线长度为L

根据毕达哥拉斯定理(即勾股定理)，L^2必定为2

若L为有理数，则可以表示为p/q，这里p,q均为整数，且约定p,q没有公因子，因为即使有也可以在p/q中约去

则（p/q）^2 = 2

则p^2 = 2 * q^2       （1）

所以p^2为偶数

可以得出p为偶数

这里令p = 2 * p'

则（1）式可得 4 * p' = 2 * q^2

两边约去2

得 2 * p' = q^2

则q^2为偶数

得q为偶数

此时p.q均为偶数，它们有公约数2，与开始约定p,q没有公因子矛盾

因此，有理数并不能完整的建立度量理论基础