有理数的平方总是什么数