已知a>0,则x 0 满足关于x的方程ax=b的充要条件是(  ) A. ∃x∈R, 1 2 a x 2 -bx≥ 1