Qual o método que consiste em dividir o intervalo [a, b] ao meio sistematicamente até que, para um dado ε > 0, o critério de parada seja satisfeito?

Consideremos uma função f e um intervalo [a, b] para o qual f é contínua em todos os pontos do intervalo e f(a)·f(b) < 0.