已知k是方程x的平方-2017 1=0