Дифференцирование тригонометрических функций

Материал из testwiki
Перейти к навигации Перейти к поиску

Шаблон:Значимость

Функция синуса и косинуса в единичном круге
Функция Производная
sin(x) cos(x)
cos(x) sin(x)
tan(x) sec2(x)
cot(x) csc2(x)
sec(x) sec(x)tan(x)
csc(x) csc(x)cot(x)
arcsin(x) 11x2
arccos(x) 11x2
arctan(x) 1x2+1
arccot(x) 1x2+1
arcsec(x) 1|x|x21
arccsc(x) 1|x|x21

Дифференцирование тригонометрических функций — математический процесс нахождения производной тригонометрической функции или скорости её изменения по отношению к переменной. Например, производная функции синуса записывается как sin′(a) = cos(a), что означает, что скорость изменения sin(x) под определённым углом x = a задаётся косинусом этого угла.

Все производные круговых тригонометрических функций могут быть найдены из производных sin(x) и cos(x) с помощью Шаблон:Нп5, применяемого к таким функциям, как tan(x) = sin(x)/cos(x). Зная эти производные, можно производные от обратных тригонометрических функций найти с помощью неявного дифференцирования.

Все указанные функции непрерывны и дифференцируемы в своей области определения[1].

Доказательства производных тригонометрических функций

Предел sin(θ)/θ при стремлении θ к 0

Круг с центром O и радиусом r
(r = OK = OA)

На диаграмме справа показан круг с центром O и радиусом r = 1. Пусть два радиуса OA и OK образуют дугу в θ радиан. Поскольку мы рассматриваем предел, когда θ стремится к нулю, мы можем предположить, что θ — это небольшое положительное число, скажем, 0 < θ < ½ π в первом квадранте.

На схеме пусть R1 будет треугольником OAK, R2круговым сектором KOA и R3 — треугольником OAL. Тогда площадь треугольника OAK:

Area(R1)=12 |OA| |OK|sinθ=12sinθ.

Площадь кругового сектора OAK — это Area(R2)=12θ, а площадь треугольника OAL определяется как

Area(R3)=12 |OA| |AL|=12 |AL|=12tanθ.

Поскольку каждый объект содержится в следующем, мы имеем:

Area(R1)<Area(R2)<Area(R3)12sinθ<12θ<12tanθ.

Более того, поскольку Шаблон:Nowrap в первом квадранте, мы можем разделить на ½ Шаблон:Nowrap, получив:

1<θsinθ<1cosθ1>sinθθ>cosθ.

На последнем этапе мы взяли обратно три положительных члена, изменив неравенство.


Мы пришли к выводу, что для 0 < θ < ½ π выражение Шаблон:Ы будет всегда меньше 1 и всегда больше cos(θ). Таким образом, чем ближе θ к 0, тем сильнее Шаблон:Ы становится "сжатым" между потолком на высоте 1 и полом на высоте Шаблон:Ы, который стремится к 1; следовательно, sin(θ)/θ стремится к 1, когда θ стремится к 0 с положительной стороны:

limθ0+sinθθ=1.

Для случая, когда θ — это небольшое отрицательное число -½ π <θ <0, мы используем тот факт, что синус — это нечётная функция:

limθ0sinθθ = limθ0+sin(θ)θ = limθ0+sinθθ = limθ0+sinθθ = 1.

Предел (cos(θ)-1)/θ при стремлении θ к 0

Последний раздел позволяет нам относительно легко рассчитать этот новый предел. Это делается простым трюком. В этом расчёте знак θ неважен.

limθ0cosθ1θ = limθ0(cosθ1θ)(cosθ+1cosθ+1) = limθ0cos2θ1θ(cosθ+1).

С использованием Шаблон:Ы факт, что предел произведения является произведением пределов, а предельный результат из предыдущего раздела, мы находим, что:

limθ0cosθ1θ = limθ0sin2θθ(cosθ+1) = (limθ0sinθθ)(limθ0sinθcosθ+1) = (1)(02)=0.

Предел tan(θ)/θ при стремлении θ к 0

Используя предел для функции синуса и то, что функция тангенс нечётна и предел произведения является произведением пределов, мы находим:

limθ0tanθθ = (limθ0sinθθ)(limθ01cosθ) = (1)(1) = 1.

Производная функции синуса

Из определения производной

Мы рассчитываем производную функции синуса из определения предела:

ddθsinθ=limδ0sin(θ+δ)sinθδ.

Используя формулы сложения углов Шаблон:Ы, мы имеем:

ddθsinθ=limδ0sinθcosδ+sinδcosθsinθδ=limδ0(sinδδcosθ+cosδ1δsinθ).

Использование пределов для функций синуса и косинуса:

ddθsinθ=(1)cosθ+(0)sinθ=cosθ.

Из производной гиперболических функций

Если использовать гиперболические функции, то формально можно получить, что:

ddxsin(x)=ddxish(ix)=ch(ix)=cos(x),

т.к.

sin(x)=exp(ix)exp(ix)2i=sh(ix)i=ish(ix);

cos(x)=exp(ix)+exp(ix)2=ch(ix)

Производная функции косинуса

Из определения производной

Мы снова вычисляем производную функции косинуса из определения предела:

ddθcosθ=limδ0cos(θ+δ)cosθδ.

Используя формулу сложения углов Шаблон:Ы, мы имеем:

ddθcosθ=limδ0cosθcosδsinθsinδcosθδ=limδ0(cosδ1δcosθsinδδsinθ).

Использование пределов для функций синуса и косинуса:

ddθcosθ=(0)cosθ(1)sinθ=sinθ.

Из производной гиперболических функций

Если использовать гиперболические функции, то формально можно получить, что:

ddxcos(x)=ddxich(ix)=ish(ix)=sin(x)

Из цепного правила

Чтобы вычислить производную функции косинуса из цепного правила, сначала обратите внимание на три следующих факта:

cosθ=sin(π2θ)
sinθ=cos(π2θ)
ddθsinθ=cosθ

Первое и второе — это тригонометрические тождества, а третье доказано выше. Используя эти три факта, мы можем написать следующее:

ddθcosθ=ddθsin(π2θ)

Мы можем дифференцировать это, используя цепное правило. Положив f(x)=sinx,  g(θ)=π2θ, мы имеем:

ddθf(g(θ))=f(g(θ))g(θ)=cos(π2θ)(01)=sinθ.

Таким образом, мы доказали, что

ddθcosθ=sinθ.

Производная функции тангенса

Из определения производной

Чтобы вычислить производную функции тангенса tan θ, мы используем первые принципы. По определению:

ddθtanθ=limδ0(tan(θ+δ)tanθδ).

Используя известную формулу угла Шаблон:Ы, мы имеем:

ddθtanθ=limδ0[tanθ+tanδ1tanθtanδtanθδ]=limδ0[tanθ+tanδtanθ+tan2θtanδδ(1tanθtanδ)].

Используя тот факт, что предел произведения является произведением пределов:

ddθtanθ=limδ0tanδδ×limδ0(1+tan2θ1tanθtanδ).

Используя предел для функции тангенса и тот факт, что tan δ стремится к 0, поскольку δ стремится к 0:

ddθtanθ=1×1+tan2θ10=1+tan2θ.

Сразу видим, что:

ddθtanθ=1+sin2θcos2θ=cos2θ+sin2θcos2θ=1cos2θ=sec2θ.

Из производной гиперболических функций

ddxtan(x)=iddxth(ix)=iich2(ix)=1ch2(ix)=1cos2(x)

Из правила частного

Также можно вычислить производную функции тангенса, используя правило частного:

ddθtanθ=ddθsinθcosθ=(sinθ)cosθsinθ(cosθ)cos2θ=cos2θ+sin2θcos2θ

Числитель можно упростить до 1 с помощью пифагорового тождества, что даёт нам:

1cos2θ=sec2θ

Следовательно,

ddθtanθ=sec2θ

Доказательства производных обратных тригонометрических функций

Следующие производные можно найти, установив переменную y равной обратной тригонометрической функции, от которой мы хотим взять производную. Используя неявное дифференцирование и затем решая для dy/dx, производная обратной функции будет найдена в терминах y. Чтобы преобразовать dy/dx обратно в термины x, мы можем нарисовать эталонный треугольник на единичной окружности, положив θ равным y. Используя теорему Пифагора и определение обычных тригонометрических функций, мы наконец можем выразить dy/dx через x.

Дифференцирование функции арксинуса

Пусть

y=arcsinx ,

где

π2yπ2.

Тогда

siny=x .

Взяв производную по x с обеих сторон и решив для dy/dx, имеем:

ddxsiny=ddxx,
cosydydx=1 .

Подставляя сверху cosy=1sin2y, имеем:

1sin2ydydx=1

Подставляя сверху x=siny, имеем:

1x2dydx=1
dydx=11x2

Из производной обратной гиперболической функции

ddxarcsin(x)=iddxarsh(ix)=ii1+i2x2=11x2

Дифференцирование функции арккосинуса

Пусть

y=arccosx

где

0yπ

Тогда

cosy=x

Взяв производную по x с обеих сторон и решив для dy/dx, имеем:

ddxcosy=ddxx
sinydydx=1

Подставляя сверху siny=1cos2y, получаем:

1cos2ydydx=1

Подставляя сверху x=cosy, получаем:

1x2dydx=1
dydx=11x2

В качестве альтернативы, как только производная от arcsinx установлена, производная от arccosx сразу следует путём дифференцирования тождества arcsinx+arccosx=π/2 так, что (arccosx)=(arcsinx).

Из производной обратной гиперболической функции

ddxarccos(x)=iddxarch(ix)=iii2x21=11x2

Дифференцирование функции арктангенса

Пусть

y=arctanx

где

π2<y<π2

Тогда

tany=x

Взяв производную по x с обеих сторон и решив для dy/dx, имеем:

ddxtany=ddxx

Левая сторона:

ddxtany=sec2ydydx=(1+tan2y)dydx, используя пифагорово тождество

Правая сторона:

ddxx=1

Следовательно,

(1+tan2y)dydx=1

Подставляя сверху x=tany, получаем:

(1+x2)dydx=1
dydx=11+x2

Из производной обратной гиперболической функции

ddxarctan(x)=iddxarth(ix)=ii1i2x2=11+x2

Дифференцирование функции арккотангенса

Пусть

y=arccotx

где 0<y<π Тогда

coty=x

Взяв производную по x с обеих сторон и решив для dy/dx, имеем:

ddxcoty=ddxx

Левая сторона:

ddxcoty=csc2ydydx=(1+cot2y)dydx, используя пифагорово тождество

Правая сторона:

ddxx=1

Следовательно,

(1+cot2y)dydx=1

Подставляя x=coty, получаем:

(1+x2)dydx=1
dydx=11+x2

Из производной обратной гиперболической функции

ddxarccot(x)=iddxarcth(ix)=ii1i2x2=11+x2

Дифференцирование функции арксеканса

Использование неявного дифференцирования

Пусть

y=arcsecx  |x|1

Тогда

x=secy  y[0,π2)(π2,π]
dxdy=secytany=|x|x21

(Абсолютное значение в выражении необходимо, поскольку произведение секанса и тангенса в интервале y всегда неотрицательно, а радикал x21 всегда неотрицателен по определению главного квадратного корня, поэтому оставшийся множитель также должен быть неотрицательным, что достигается за счёт использования абсолютного значения x.)

dydx=1|x|x21

Использование цепного правила

В качестве альтернативы, производная арксеканса может быть получена из производной арккосинуса с использованием цепного правила.

Пусть

y=arcsecx=arccos(1x)

где

|x|1 and y[0,π2)(π2,π]

Тогда, применяя цепное правило к arccos(1x), имеем:

dydx=11(1x)2(1x2)=1x211x2=1x2x21x2=1x2x21=1|x|x21

Дифференцирование функции арккосеканса

Использование неявного дифференцирования

Пусть

y=arccscx  |x|1

Тогда

x=cscy   y[π2,0)(0,π2]
dxdy=cscycoty=|x|x21

(Абсолютное значение в выражении необходимо, поскольку произведение косеканса и котангенса в интервале y всегда неотрицательно, а радикал x21 всегда неотрицателен по определению главного квадратного корня, поэтому оставшийся множитель также должен быть неотрицательным, что достигается за счёт использования абсолютного значения x.)

dydx=1|x|x21

Использование цепного правила

В качестве альтернативы, производная арккосеканса может быть получена из производной арксинуса с использованием цепного правила.

Пусть

y=arccscx=arcsin(1x)

где

|x|1 and y[π2,0)(0,π2]

Тогда, применяя цепное правило к arcsin(1x), имеем:

dydx=11(1x)2(1x2)=1x211x2=1x2x21x2=1x2x21=1|x|x21

См. также

Примечания

Шаблон:Примечания

Литература

  • Шаблон:Нп5, Под редакцией Абрамовица и Стегуна, Национальное бюро стандартов, Серия по прикладной математике, 55 (1964)
  • Шаблон:Книга

Шаблон:Тригонометрия