Раздел II. Дифференциальное исчисление функций одной переменной§ 1. Производная явной функции

Демидович — задача 922

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Найти производную функции

Задача 922

y=arccos(cos2x)y=\arccos(\cos^2x)
Ответ:Область определения функции — R\mathbb R. При
xπZx\notin\pi\mathbb Zy=2cosxsgn(sinx)1+cos2xy'=\frac{2\cos x\,\operatorname{sgn}(\sin x)}
{\sqrt{1+\cos^2x}}
В точках x=kπx=k\pi, kZk\in\mathbb Z, производная не существует.

Решение

Идея

Здесь и далее под производной понимаем обычную двустороннюю
производную. Односторонние производные в концах области определения
указываем отдельно.
Функция определена при всех действительных xx, поскольку
0cos2x10\leqslant\cos^2x\leqslant1. Для
sinx0\sin x\ne0 применяем правило дифференцирования сложной функции:y=(cos2x)1cos4x=2sinxcosx1cos4xy'=-\frac{(\cos^2x)'}{\sqrt{1-\cos^4x}}
=\frac{2\sin x\cos x}{\sqrt{1-\cos^4x}}
Разложим выражение под корнем:1cos4x=(1cos2x)(1+cos2x)=sin2x(1+cos2x)1-\cos^4x=(1-\cos^2x)(1+\cos^2x)
=\sin^2x(1+\cos^2x)
Поэтому1cos4x=sinx1+cos2x\sqrt{1-\cos^4x}=|\sin x|\sqrt{1+\cos^2x}и при xπZx\notin\pi\mathbb Zy=2cosxsgn(sinx)1+cos2xy'=\frac{2\cos x\,\operatorname{sgn}(\sin x)}
{\sqrt{1+\cos^2x}}
В частности, в точках x=π2+kπx=\frac\pi2+k\pi эта формула даёт
y=0y'=0.

Проверка

Отдельно проверим точки x=kπx=k\pi. Формула производной сложной функции
в этих точках неприменима, поскольку её знаменатель обращается в нуль.
Сначала рассмотрим окрестность точки x=0x=0. Положимq=arccos(cos2h)q=\arccos(\cos^2h)Тогда q[0,π2]q\in\left[0,\frac\pi2\right], и из
cosq=cos2h\cos q=\cos^2h получаем2sin2q2=1cosq=sin2h2\sin^2\frac q2=1-\cos q=\sin^2hСледовательно,q=2arcsinsinh2q=2\arcsin\frac{|\sin h|}{\sqrt2}Используя предел limz0arcsinzz=1\lim_{z\to0}\frac{\arcsin z}{z}=1, находимlimh0+qh=2limh0qh=2\lim_{h\to0^+}\frac qh=\sqrt2
\qquad
\lim_{h\to0^-}\frac qh=-\sqrt2
Функция f(x)=arccos(cos2x)f(x)=\arccos(\cos^2x) имеет период π\pi, поэтому её
поведение в окрестности каждой точки x=kπx=k\pi совпадает с поведением
в окрестности нуля. Следовательно, при x=kπx=k\pi производная не
существует.
Демидович № 922 — решение и ответ