已知一元二次方程x²-4x+k=0有两个不相等的实数根