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

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

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

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

Задача 922

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

Решение

Здесь и далее под производной понимаем обычную двустороннюю
производную. Односторонние производные в концах области определения
указываем отдельно.
Функция определена при всех действительных xx, поскольку
0⩽cos⁡2x⩽10\leqslant\cos^2x\leqslant1. Для
sin⁡x≠0\sin x\ne0 применяем правило дифференцирования сложной функции:y′=−(cos⁡2x)′1−cos⁡4x=2sin⁡xcos⁡x1−cos⁡4xy'=-\frac{(\cos^2x)'}{\sqrt{1-\cos^4x}}
=\frac{2\sin x\cos x}{\sqrt{1-\cos^4x}}
Разложим выражение под корнем:1−cos⁡4x=(1−cos⁡2x)(1+cos⁡2x)=sin⁡2x(1+cos⁡2x)1-\cos^4x=(1-\cos^2x)(1+\cos^2x)
=\sin^2x(1+\cos^2x)
Поэтому1−cos⁡4x=∣sin⁡x∣1+cos⁡2x\sqrt{1-\cos^4x}=|\sin x|\sqrt{1+\cos^2x}и при x∉πZx\notin\pi\mathbb Zy′=2cos⁡x sgn⁡(sin⁡x)1+cos⁡2xy'=\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⁡(cos⁡2h)q=\arccos(\cos^2h)Тогда q∈[0,π2]q\in\left[0,\frac\pi2\right], и из
cos⁡q=cos⁡2h\cos q=\cos^2h получаем2sin⁡2q2=1−cos⁡q=sin⁡2h2\sin^2\frac q2=1-\cos q=\sin^2hСледовательно,q=2arcsin⁡∣sin⁡h∣2q=2\arcsin\frac{|\sin h|}{\sqrt2}Используя предел lim⁡z→0arcsin⁡zz=1\lim_{z\to0}\frac{\arcsin z}{z}=1, находимlim⁡h→0+qh=2lim⁡h→0−qh=−2\lim_{h\to0^+}\frac qh=\sqrt2
\qquad
\lim_{h\to0^-}\frac qh=-\sqrt2
Функция f(x)=arccos⁡(cos⁡2x)f(x)=\arccos(\cos^2x) имеет период π\pi, поэтому её
поведение в окрестности каждой точки x=kπx=k\pi совпадает с поведением
в окрестности нуля. Следовательно, при x=kπx=k\pi производная не
существует.
Демидович № 922 — решение и ответ | Высшая математика — Профиматика