求证!设k>0为常数,验证方程x^2+4x^6-k=0恰有两个实根!