实数定义要用戴德金分割

或者有理数序列完备性扩域定义才行

  

其实重点在于 引导说有理数和数轴上点不能一一对应

有些长度不能用有理数表达


  
【 在 zl549 (5+4=9) 的大作中提到: 】
:  附件是证明方法，似乎可以推广到任意整数a
:  假设sqrt(a)=p/q(p,q为互质整数)
:  则有p^2=aq^2，说明p能被a整除
:  令p=am，则有a^2*m^2=aq^2
--
FROM 218.80.1.144