|
图片见hi.baidu.com/geebox119
x2^2-x1^2=C。(此时n=2)若在两条曲线之间平行插入有理数长度的线段L,卡住的两端是x1,x2。用x1+L代替x2,并且分解,最终得到x1=(C-L^2)/2*L。根据x2^2-x1^2=C画出的图形如图1。
为了使x2^2成为直线,我将y=1的虚线处开始向后翻折,如图2。这样,从正面看去(角度垂直于原来的xy平面,也是从z轴看去),就是一条直线和一条越来越接近直线的曲线。L的位置只是拉底了,(小于1处的n=2的小于n=1的y),两端的x并未改变。如果x1x2和C为有理数,点(x1,y1)和点(x2,y2)将布满第一象限x为有理数y为有理数的点,这和n=1一样。(称为有理数点)
当n=1,在x等于1的虚线处向后翻折(翻折面垂直于xz面),从正面来看,此时是x2^2-x1^2=C,C没变。点(x1,y1)和点(x2,y2)如果x1x2为有理数那么分布的位置和n=2的相同。那么在第二段写的翻折过的图像的正面再次用这段所写的方式翻折,翻折前后的C未变,翻折后的有理数点的位置和n=2一样。而翻折前是n=2的变形,那么翻折后就是n=4
n=4,C=有理数,在两条曲线之间平行插入有理数长度的线段L,卡住的两端是x1,x2,那么x1,x2都是有理数。若C=无理数,插入有理数长度的线段,为了使C是无理数,两端自然不能为有理数,只能是无理数。
继续像上面这么求,可以求出n=2^m,(m=大于1的有理数),C=有理数(是所有),x1x2可以等于有理数。
有理数和整数的转化比较容易,这里不写了,最终是费马猜想,不过只证明n=2^m
|
|