所有的圆都相似,因此Pi为常数,两个有理数的商是有理数(整数或循环小数),而圆周长与直径中至少有一个不是有理数(可证明).