已知$a>0$,则$x_0$满足关于$x$的方程$ax=b$的充要条件是( )
A.$\exists x\in\mathcal{R}$,$\dfrac 12ax^2-bx\geqslant \dfrac 12ax_0^2-bx_0$
B.$\exists x\in\mathcal{R}$,$\dfrac 12ax^2-bx\leqslant \dfrac 12ax_0^2-bx_0$
C.$\forall x\in\mathcal{R}$,$\dfrac 12ax^2-bx\geqslant \dfrac 12ax_0^2-bx_0$
D.$\forall x\in\mathcal{R}$,$\dfrac 12ax^2-bx\leqslant \dfrac 12ax_0^2-bx_0$