用反证法证明命题：“已知a，b为实数，则方程x²+ax+b=0至少有一个实根”时，要做的假设是（ ）

A．方程x^2+ax+b=0没有实根

B．方程x^2+ax+b=0至多有一个实根

C．方程x^2+ax+b=0至多有两个实根

D．方程x^2+ax+b=0恰好有两个实根