Стандартная процедура такова. Имеет смысл искать погрешность в виде

, поскольку гарантированные корни погрешности нам известны. В самих узлах множитель

не определён, но это не имеет значения. Теперь разводим здесь аргументы -- рассматриваем функцию

,
где

интерпретируется как переменная, а

-- как параметр, не совпадающий ни с одним из узлов. И, поманипулировав с теоремой Ролля, получаем ровно то, что надо. А подробнее -- в любом учебнике по численным методам.