Раздел I. Введение в анализ§ 5. Предел функции

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

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

Задача 521

limx0(cosxcos2x)1x2.\lim_{x\to0}\left(\frac{\cos x}{\cos 2x}\right)^{\frac1{x^2}}.

Решение

Идея

Преобразуем основание:cosxcos2x=1+cosxcos2xcos2x.\frac{\cos x}{\cos2x}
=
1+\frac{\cos x-\cos2x}{\cos2x}.
Тогда(cosxcos2x)1/x2=[(1+cosxcos2xcos2x)cos2xcosxcos2x]cosxcos2xx2cos2x.\left(\frac{\cos x}{\cos2x}\right)^{1/x^2}
=
\left[
\left(
1+\frac{\cos x-\cos2x}{\cos2x}
\right)^{
\frac{\cos2x}{\cos x-\cos2x}
}
\right]^{
\frac{\cos x-\cos2x}{x^2\cos2x}
}.
Положимt=cosxcos2xcos2x.t=\frac{\cos x-\cos2x}{\cos2x}.При x0x\to0 имеем t0t\to0, поэтому первая скобка имеет вид(1+t)1/te.(1+t)^{1/t}\to e.
Найдем предел показателя. Используем формулу разности косинусов:cosxcos2x=2sin3x2sinx2.\cos x-\cos2x
=
2\sin\frac{3x}{2}\sin\frac x2.
Отсюдаcosxcos2xx2cos2x=32sin3x23x2sinx2x21cos2x32.\frac{\cos x-\cos2x}{x^2\cos2x}
=
\frac32
\cdot
\frac{\sin\frac{3x}{2}}{\frac{3x}{2}}
\cdot
\frac{\sin\frac x2}{\frac x2}
\cdot
\frac1{\cos2x}
\to\frac32.
Поэтомуlimx0(cosxcos2x)1/x2=e3/2.\boxed{
\lim_{x\to0}
\left(\frac{\cos x}{\cos2x}\right)^{1/x^2}
=
e^{3/2}
}.
Демидович № 521 — решение