已知一元二次方程X的平方减4X加K等与0有2个不相等的实数根