結局
{x|2x^2+kx+4=0}={x|x=○∨x=■}
{x|f(x)=0∧g(x)}={x|x=△∨x=□∨…}
という条件の変形に何の問題があるのか的な…何の問題もなかったな