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

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

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

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

Задача 953

y=arcsin⁡sin⁡asin⁡x1−cos⁡acos⁡xy=\arcsin\frac{\sin a\sin x}{1-\cos a\cos x}
Ответ:При sin⁡a≠0\sin a\ne0y′=sin⁡a1−cos⁡acos⁡xsgn⁡(cos⁡x−cos⁡a),cos⁡x≠cos⁡ay'=\frac{\sin a}{1-\cos a\cos x}
\operatorname{sgn}(\cos x-\cos a),
\qquad \cos x\ne\cos aВ точках cos⁡x=cos⁡a\cos x=\cos a производной нет. При sin⁡a=0\sin a=0
производная равна нулю во всех точках области определения. При
a=2πna=2\pi n исключаются точки x=2πkx=2\pi k, а при
a=(2n+1)πa=(2n+1)\pi — точки x=(2k+1)πx=(2k+1)\pi, где
n,k∈Zn,k\in\mathbb Z.

Решение

Идея

Сначала рассмотрим невырожденный случай sin⁡a≠0\sin a\ne0. Тогда
∣cos⁡a∣<1|\cos a|<1, поэтому1−cos⁡acos⁡x⩾1−∣cos⁡a∣>01-\cos a\cos x\geqslant1-|\cos a|>0Из тождества, которое будет получено ниже, следует ∣u∣⩽1|u|\leqslant1.
Значит, арксинус определён при всех xx, и в этом случаеD=RD=\mathbb RОбозначимu=sin⁡asin⁡x1−cos⁡acos⁡xu=\frac{\sin a\sin x}{1-\cos a\cos x}Непосредственное вычисление даётu′=sin⁡a(cos⁡x−cos⁡a)(1−cos⁡acos⁡x)2u'=\frac{\sin a(\cos x-\cos a)}
{(1-\cos a\cos x)^2}При этом1−u2=(1−cos⁡acos⁡x)2−sin⁡2asin⁡2x(1−cos⁡acos⁡x)2==(cos⁡x−cos⁡a)2(1−cos⁡acos⁡x)2\begin{aligned}
1-u^2
&=\frac{(1-\cos a\cos x)^2-\sin^2a\sin^2x}
{(1-\cos a\cos x)^2}=\\
&=\frac{(\cos x-\cos a)^2}
{(1-\cos a\cos x)^2}
\end{aligned}Следовательно, при cos⁡x≠cos⁡a\cos x\ne\cos a1−u2=∣cos⁡x−cos⁡a∣1−cos⁡acos⁡x\sqrt{1-u^2}
=\frac{|\cos x-\cos a|}{1-\cos a\cos x}иy′=sin⁡a1−cos⁡acos⁡xsgn⁡(cos⁡x−cos⁡a)y'=\frac{\sin a}{1-\cos a\cos x}
\operatorname{sgn}(\cos x-\cos a)Здесьsgn⁡z={−1,z<00,z=01,z>0\operatorname{sgn}z=
\begin{cases}
-1, & z<0\\
0, & z=0\\
1, & z>0
\end{cases}В точках cos⁡x=cos⁡a\cos x=\cos a аргумент арксинуса равен 11 или
−1-1. Пусть x0x_0 — одна из таких точек. Поскольку
sin⁡x0=±sin⁡a≠0\sin x_0=\pm\sin a\ne0, выражение cos⁡x−cos⁡a\cos x-\cos a меняет знак
при переходе через x0x_0. Функция непрерывна в x0x_0 и
дифференцируема по обе стороны от него. По теореме о пределе производной
односторонние производные равны односторонним пределам найденной
формулы. Эти пределы конечны и противоположны. Следовательно, обычной
производной в точке x0x_0 нет.

Проверка

Если sin⁡a=0\sin a=0, то числитель дроби равен нулю. При условии1−cos⁡acos⁡x≠01-\cos a\cos x\ne0имеем y=0y=0 и, следовательно, y′=0y'=0. Точки, в которых
исходная дробь не определена, удобно указать явно. Если a=2πna=2\pi n,
тоD=R∖{2πk:k∈Z}D=\mathbb R\setminus\{2\pi k:k\in\mathbb Z\}Если a=(2n+1)πa=(2n+1)\pi, тоD=R∖{(2k+1)π:k∈Z}D=\mathbb R\setminus\{(2k+1)\pi:k\in\mathbb Z\}Здесь n∈Zn\in\mathbb Z.
Демидович № 953 — решение и ответ