用反证法
若存在,可知u,v为方程x^2-S*x+S=0的两个解.
因为u,v为有理数,所以,它的判别式S^2-4S是完全平方数.
令a^2=S^2-4S
故有a^2=(S-2)^2-4
可知a为正整数且a