Пусть на интервале заданы функции
(1) |
и
(2) |
. Предположим, что функция строго монотонна на . Тогда она имеет обратную функцию
,
которая является строго монотонной на промежутке . Рассмотрим функцию
, | (3) |
называемую функцией, заданной параметрически уравнением (1) и (2). При этом, отметим, параметром называют переменную функций и .
Теорема. Пусть функции и определены на интервале и дифференцируемы в точке , причем функция строго монотонна на и . Тогда функция , заданная параметрически уравнениями (1) и (2), дифференцируема в точке и
(4) |
Д о к а з а т е л ь с т в о. Дифференцируемость функции в точке имеет место в силу теоремы о дифференцируемости обратной функции и теоремы о дифференцируемости сложной функции. Из тех же теорем вытекает и формула (4). Действительно, по теореме о дифференцируемости сложной функции
, | (5) |
а по теореме о дифференцируемости обратной функции
(6) |
Из (5) и (6) имеем (4)