一个n维空间中的几何物体，它的每一点的坐标可以用(x_1,x_2,...,x_n)表示。
如果所有x_i都是有理数，则称该点为有理点。


费马大定理就是要证明曲线：x^n+y^n=1上没有有理点。

圆x^2+y^2=1上的有理点都可以写为(x,y)=(2t/(1+t^2,(1-t^2)/(1+t^2)),t取遍所有有理数。