Теорема 6.2 (остаток в формуле Тейлора в форме Лагранжа) Пусть при всехсуществует
-я производная
. Тогда для любого
существует точка
, лежащая между
и
(то есть
при
), такая что
(Остаточный член формулы Тейлора, представленный в таком виде, называется остаточным членом в форме Лагранжа.)Доказательство. Это доказательство не столь прямолинейное, как в предыдущей теореме. Рассмотрим вспомогательную функцию
переменного
, изменяющегося в рассматриваемой окрестности
точки
. Эта функция будет зависеть также от параметра
:
![]()
Подберём такое значение параметра
, равное
, чтобы при
функция обращалась в 0:
. Фиксируем такое значение
.
Тогда функция
удовлетворяет условиям теоремы Ролля на отрезке
(или
, если
):
, что очевидно по определению функции
;
согласно выбору параметра; дифференцируемость на
и непрерывность в точках
и
следуют из предположенных свойств функции
. По теореме Ролля существует такая точка
, что
![]()
Однако нетрудно подсчитать, находя производные произведений в определении функции
, что
Все слагаемые в начале правой части, включая обозначенные многоточием, взаимно уничтожаются, так что получаем
![]()
Подстановка
даёт
![]()
откуда следует, что
![]()
Теперь вспомним, что значение параметра мы выбрали так, что
. Подставив найденное значение
в выражение для
, получим:
Отсюда получаем, наконец,
![]()
что и требовалось доказать.
Замечание 6.1 Полученную в предыдущей теореме оценку остатка удобно применять для оценки погрешности при замене функции её многочленом Тейлора, если известно, что-я производная при всех
из рассматриваемого интервала ограничена по абсолютной величине некоторым числом:
Тогда
и при каждом фиксированноммы можем узнать оценку погрешности приближённой формулы
.
Замечание 6.2 Мы всюду подчёркивали, что приближённая формулаимеет место только при малых значениях отклонения
. Надежды на то, что при увеличении
интервал, на котором можно будет применять с заданной точностью эту приближённую формулу, будет расширяться, вообще говоря, не оправдываются. Для пояснения сказанного приведём пример.
Пусть рассматривается функция, доопределённая при
по непрерывности:
. Ранее мы уже рассматривали эту функцию и выяснили, что все её производные существуют на всей оси
и при
равны 0:
при всех
. Это означает, что при любом порядке
многочлена Тейлора все его коэффициенты
равны 0, и формула Тейлора сводится к равенству
. Таким образом, любой остаток в формуле Тейлора для этой функции в точке 0 равен одному и тому же, а именно, самой функции
! Поэтому уменьшить остаток за счёт увеличения
здесь никак не возможно: единственным приближением, которое формула Тейлора даёт для функции
, здесь служит тождественный 0.
Компьютерная математика Mathematica электронный учебник
Некоторые правила культурного программирования
Выше мы описали множество методов программирования на языке системы Mathematica. Попробуем сформулировать некоторые общие правила так называемого культурного программирования с учетом специфики систем Mathematica, позволяющие создавать надежные и эффективные программные средства: Предел функции Справочный материал и примеры к выполнению контрольной работы по математике
- Тщательно продумайте алгоритм решения задачи. Порой выбор лучшего алгоритма позволяет кардинально повысить скорость вычислений и упростить программу (впрочем, одновременно это достигается далеко не всегда).
- Используйте прежде всего возможности функционального программирования — из него родились основы языка программирования систем Mathematica. Математика примерывычислений интегралов
Примеры решения задач Геометрические приложения определенного интеграла Интегральное исчисление.
- Разделяйте задачу на малые части и оформляйте их в виде законченных программных модулей — прежде всего функций.
- Pie скупитесь на программные комментарии — чем их больше, тем понятнее программа и тем больше шансов, что она заинтересует пользователей и будет долго жить. Учтите, что ясность программы в большинстве случаев важнее скорости ее работы.
- Тщательно готовьте сообщения об ошибках и диагностические сообщения, а также наименования программных модулей и описания их назначения.
Закон Вина ;Парабола – кривая второго порядка, прямая пересекает ее в двух точках драйверы режима ядра программное обеспечение необходимо для разработки и отладки драйверов Первый способ задания функции: табличный Степенная функция Обратные тригонометрические функции Определение непрерывности функции Оценки ошибок в формулах приближённого дифференцирования Производные функции, заданной параметрически Примеры исследования функций и построения графиков Приближённое нахождение корней уравнений и точек экстремума Тригонометрическая форма комплексного числа Изменить порядок интегрирования Вычислить двойной интеграл Вычисление тройных интегралов Сферические координаты Два основных метода интегрирования Замена переменных в двойном интеграле Дифференцирование интегралов, зависящих от параметра