要证明方程没有有理数根,只需要证明△=(8k)2-16(k2+1)=16(3k2-1)不是完全平方数,也就只需要证明(3k2-1)不是完全平方数。
在k=0时,△=-16,这是没有实数根。
在k是不等于0的整数,△>0,假设(3k2-1)是一个整数m(肯定有m>k)的完全平方数,则3k2-1=m2,即k2=(m2+1)/3
分m=3n,3n+1,3n+2三种情况来分析,m是整数,n也是整数
在m=3n时,k2=3n2+1/3,k不可能是整数,矛盾;
在m=3n+1时,k2=3n2+2n+2/3,k不可能是整数,矛盾;
在m=3n+2时,k2=3n2+4n+5/3,k不可能是整数,矛盾。
所以在k是整数时,3k2-1不可能是完全平方数,△也就不是完全平方数
所以方程没有有理数根