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

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

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

, 
где 

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

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