Процесс нахождения производной функции называется дифференцированием.
Для вычисления производных используют правила дифференцирования, о которых пойдёт речь в этой статье.
Теорема 1
Если функции u и v дифференцируемы в точке x2, то их сумма и разность также дифференцируемы в этой точке, причём:
(u+v)’(x2)=u’(x2)+v’(x2), (u−v)’(x2)=u’(x2)−v’(x2).
Доказательство
Приращение функции u+v в точке x2 при увеличении аргумента на Δx:
Δ(u+v)=[u(x2+Δx)+v(x2+Δx)]−[u(x2)+v(x2)]=Δu+Δv. Тогда:Δx→0limΔxΔ(u+v)=Δx→0lim(ΔxΔu+ΔxΔv).
Поскольку функции u и v дифференцируемы в точке x2, то пределы:
Δx→0limΔxΔu=u’(x2),Δx→0limΔxΔv=v’(x2) существуют.
Следовательно:
(u+v)’(x2)=u’(x2)+v’(x2).
Теорема 2
Если функции u и v дифференцируемы в точке x2, то их произведение также дифференцируемо в этой точке, и:
(uv)’(x2)=u’(x2)⋅v(x2)+u(x2)⋅v’(x2).
Доказательство
Приращение произведения:
Δ(uv)=u(x2+Δx)⋅v(x2+Δx)−u(x2)⋅v(x2)=(u(x2)+Δu)(v(x2)+Δv)−u(x2)v(x2), =u(x2)Δv+v(x2)Δu+Δu⋅Δv. Тогда:Δx→0limΔxΔ(uv)=u(x2)Δx→0limΔxΔv+v(x2)Δx→0limΔxΔu+Δx→0lim(ΔxΔu⋅Δv).
Поскольку u и v дифференцируемы в x2, а значит и непрерывны, получаем:
(uv)’(x2)=u’(x2)v(x2)+u(x2)v’(x2).
Следствие
Если c — постоянное число, а u — дифференцируемая функция в точке x2, то:
(cu)’(x2)=c⋅u’(x2).
Теорема 3Если функции u и v дифференцируемы в точке x2 и v(x2)=0, то:
(vu)’(x2)=v2(x2)u’(x2)v(x2)−u(x2)v’(x2).
Правила дифференцирования:
(u±v)’=u’±v’, (cu)’=cu’, (uv)’=u’v+uv’, (vu)’=v2u’v−uv’. ▶
Пример 1.
Найдите производные:а) f(x)=x+x3;б) f(x)=x4−2x3+x+4.
Решениеа)
f’(x)=(x+x3)’=1−x23=x2x2−3. б)f’(x)=(x4−2x3+x+4)’=4x3−6x2+1.
Ответ:а) x2x2−3;б) 4x3−6x2+1 ▶
Пример 2.
Найдите производную функции:f(x)=(x2−4x+6)(x2+2x+1)
Решение
(f(x))’=(x2−4x+6)’(x2+2x+1)+(x2−4x+6)(x2+2x+1)’. =(2x−4)(x2+2x+1)+(x2−4x+6)(2x+2).
Раскроем скобки:
=2x3+4x2+2x−4x2−8x−4+2x3−8x2+12x+2x2−8x+12=4x3−6x2−2x+8. Ответ: 4x3−6x2−2x+8 ▶
Пример 3.
Найдите значение производной функции f(x)=x+1x3 в точке x=1
Решение
f’(x)=(x+1x3)’=(x+1)23x2(x+1)−x3(1)=(x+1)23x3+3x2−x3=(x+1)22x3+3x2.
Подставим x=1:
f’(1)=(1+1)22⋅13+3⋅12=42+3=45.
Ответ: 45