Основные теоремы о производной

Геометрический смысл производной.

y’(x₀)=lim∆y/∆x – производная функции у(х) и в точке х₀.

^∆х®0

∆y=y(x₀+∆x)-y(x₀)

y’(x₀)=tga_кас где a_кас – угол наклона в точке (х₀;y(x₀)) к оси

Теорема: Пусть $ f’(x) и g’(x), тогда $ [f(x)+g(x)]’= f’(x)+g’(x)

Доказательство: следует непосредственно из определения производной и свойств предела суммы.

Теорема: (связи между непрерывностью функции и существование производной)

Пусть $ f’(x)Þ функция f(x) – непрерывна.

Доказательство: Пусть f(x) определена в О(х₀) и lim[f(x)-f(x₀)]/(x-x₀)=f’(x₀)<¥Þ [f(x)-f(x₀)]/(x-x₀)=f(x₀)+a(x-x₀)[2]

^∆x®x_°

[f(x)-f(x₀)]=f’(x₀)(x-x₀)+a(x-x₀)(x-x₀) при х®х₀

lin[f(x)-f(x₀)]=limf’(x₀)(x-x₀)+lima(x-x₀)(x-x₀)=0+0=0Þlinf(x)=f(x₀) то есть f(x) непрерывна в точки х₀

^x®x_° ^x®x_° ^x®x_° ^x®x_°

Замечание: обратное утверждение неверно, из-за непрерывности функции в точке х₀ не следует существование функции в этой точки.

y=|х

Непрерывна в точки х₀=0

limx, x³0

^x®+0

lim|x|= =0

lim(-x), x<0

^x®-0

y(0)=0

limy(x)=limy(x)=y(0)=0 Û $ limy(x)=y(0)=0 Þ функция непрерывна

^{x®+0 x®-0 x®0}

lim∆y/∆x-не существует, действительно х®+0Þy(x)=x

^x®0

lim[y(x)-y(0)]/x=lim(x-0)/x=1

^{x®+0 x®+0}

x®-0Þy(x)=-x

lim[y(0)-y(x)]/x=lim(0-x)/x=-1 то есть lim∆y/∆x – не существует

^{x®-0 x®-0 х®0}

Теорема: Пусть $ u’(x) и v’(x), тогда $(uv)’=u’v+v’u

Доказательство: Зададим приращение ∆х в точки х. Рассмотрим: lim[∆(uv)]/∆x=

^∆x®0

lim[1/∆x][u(x+∆x)v(x+∆x)-u(x)v(x)]=lim[1/∆x][ u(x+∆x)v(x+∆x)-u(x)v(x+∆x)+u(x)v(x+∆x)-u(x)v(x)=

^{∆x®0 ∆x®0}

lim[(v(x+∆x))(u(x+∆x)-u(x))]/∆x+lim[(u(x))(v(x+∆x)-v(x))]/∆x=v(x)u’(x)+u(x)v’(x)

^{∆x®0 ∆x®0}

Теорема: (о произведение частного)

Пусть $ u’(x) и v’(x), v’(x)¹0 в О(х), тогда $(u/v)’=[u’v-v’u]/v²

Доказательство: (u/v)’=[u(1/v)]’=[u’(1/v)]+[(1/v)’u]. Функция u(x) и v(x) –непрерывны в точки х₀.

lim[∆(1/v)/∆x]=lim[1/∆x][1/(v(x+∆x))-1/v(x)]=lim[[v(x)-v(x-∆x)]/[∆xv(x)x(x+∆x)]]-[v’(x)/v²(x)]

^{∆x®0 ∆x®0 ∆x®0}

(u/v)’=u’(1/v)-(uv)’/v²=[u’v-uv’]/v² что и требовалось доказать

Таблица производных

y=sinx

(sinx)’=lim[sin(x+∆x)-sinx]/∆x=lim[2sin(∆x/2)cos((2x+∆x)/2)]/∆x=lim[2(∆x/2)cos(x+(∆x/2))]/∆x=cosx

^{∆x®0 ∆x®0}

(sinx)’=cosx

где sin(x)

(sin(x))’=cos(x)

y=cos(x)

(cos(x))’=lim[cos(x+∆x)-cos(x)]/∆x=lim[-2sin(∆x/2)sin((2x+∆x)/2)]/∆x=lim[-2(∆x/2)sin(x+(∆x/2))]/∆x=-sinx

^{∆x®0 ∆x®0 ∆x®0}

(cos(x))’=-sinx

где cosx

(cos(x))’=-sin(x)

y=tg(x)

(tg(x))’=(sin(x)/cos(x))’=[(sin(x))’cos(x)-(cos(x))’sin(x)]/cos²x=[cos²x+sin²x]/cos²x=1/cos²x

(tg(x))’=1/cos²x

где tg(x)

(tg(x))’=1/cos²x

[1] На концах отрезка [a,b] и на концах принимает значение разных знаков

[2] a(x-x₀)-бесконечно малое при х®х₀

Дата добавления: 2014-01-14