log(1/2)[x^2-2kx+k],值域是全体实数
x^2-2kx+k>0
f(x)=x^2-2kx+k的图像开口向上
b^2-4ac