Если препод вводит любые границы, то наверное вам надо сделать следующее:

1. Делите ваш отрезок [a;b] на N (нет, лучше M ) частей. Число это должно быть большим. Получаете нобор точек x[i]. Причем x[0] = a, x[M-1]=b
2. в каждой точке вычисляете значение функции. (Мы решаем уравнение f(x)=0, то есть вы вычисляете значение функции f(x)
3. Дальше все просто: если y[i]*y[i+1]<0, то на интервале [x[i];x[i + 1]] есть ОДИН корень. (На самом деле, это означает, что на это м интервале их нечетное количество, но если M вы возьмете большим, то этим фактом можно пренебречь.) И соответственно для этого отрезка вам надо запустить ваш метод.

Кода дать не могу, т.к. нет времени на его написание. (Да и кроме, того я плохо знаю PASCAL. (Все больше C++ и ASM))

Вот такие дела. Если будут вопросы, милости просим.