Есть функция
на интервале
![$[0,\frac{\pi}{4}]$ $[0,\frac{\pi}{4}]$](https://dxdy-04.korotkov.co.uk/f/b/4/4/b4481b07f46adf6c120d5c5d513bb2a482.png)
Необходимо оценить число узлов интерполяции при условии что

Итак нашел следующее:
Остаточный член интерполяции

Потребуем от

иметь

производную
введем функцию

,

,
а k-постоянный коэфф.
Корни функции в

. Подбирая коэфф. к придем к формуле:

Применяя теорему Ролля можно установить что у производной u(x) на отрезке интерполяции [a,b] имеет хотя бы одну точку, где обращается в 0. Если ее обозначить как

, то

, а тогда при

:

Однако , чтобы взять производную n-го порядка нужно знать какой n и сам коэфф. к, а вот здесь уже имеем серьезную проблему.
Более ясное изложение как придти к формуле

в параграфе 14 учебника Демидовича,Марона Основы вычислительной математики М., 1966 год
и
тут