则有p^2=aq^2，说明p能被a整除
—————— 这一步是错误的推理。 正确的推理是：p^2=aq^2 结合 p,q互质，说明 p^2是a的倍数。 当a是质数，比如2，那么用p^2是a的倍数推出p=a*m。

也就是说 证明根号2或者根号某个质数（或者 多个互质质数相乘）是无理数的的方法 对应的关键步骤是：
p^2=aq^2
因为p,q互质，所以 p^2是a的倍数。 即存在某个自然数m,使得p^2=a*m
假设a=2. p^2必须是2的平方的倍数。 即p=2m
假设a是质数，p^2必须是p的平方的倍数，
假设a是多个互质质数相乘，同样的思路。





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