С целью упрощения математических преобразований, рассмотрим функцию двух аргументов
, предполагаю её достаточно гладкой, т.е. имеющей в достаточной окрестности точки (x, y) непрерывные производные первого порядка. Предположим также, что известны абсолютные
,
и относительные
,
погрешности её аргументов. Поставим задачу определить абсолютную
и относительную
погрешности вычисления функции в точке (x, y).
Оценим абсолютную величину погрешности функции. С этой целью, используя теорему Лагранжа, получим
(1.9)
где
.
Используя, далее свойство модуля суммы, имеем
.
И, наконец, исключая зависимость оценки от неизвестных величин
, получим
,
где
,
,
.
Обозначим
.
Если в начале преобразований (1.9) к исходному выражению прибавить
, то в результате аналогичных действий получим вторую оценку
,
где
,
где
,
.
Тогда, очевидно, в качестве
необходимо взять наименьшую из них, т.е. положить
.
Если же допустить, что вполне естественно, достаточную малость абсолютных погрешностей
, то в качестве
можно взять более простую, однако несколько завышенную оценку
. (1.10)
Действительно, в силу
,
, очевидно
и
.
В этом случае из (1.10) для
следует выражение
(1.11)
Аналогичным образом, для функции нескольких переменных
, получим

и
,
где
.






