求方程x^2+ax+1=0的两实数根的平方和大于3的充要条件并证明