According to IVT f(x) is continuous over interval if

Bisection method allows us to split this interval into 2 to shorten the interval to find where f(x) equals 0

divides OG interval into 2 sub-intervals and

If then root in

If then root is