求助一个关于二分的问题

一般求$f(x)$的零点时，二分代码都是通过检验$f(a)*f(b)<0$来判断$[a,b]$中是否有零点的。

然而$f(x)=x^2$满足$f(-a)*f(a)>0(a>0)$，但显然在$[-a,a]$中有一零点$x=0$。

那么为何二分法还能成立呢？