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

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

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

Задача 481

Доказать равенства:а) limxasinx=sina;б) limxacosx=cosa;\text{а) }\lim_{x\to a}\sin x=\sin a;\quad
\text{б) }\lim_{x\to a}\cos x=\cos a;
в) limxatgx=tga(a2n12π; n=0,±1,±2,).\text{в) }\lim_{x\to a}\operatorname{tg}x=\operatorname{tg}a
\quad\left(a\ne\frac{2n-1}{2}\pi;\ n=0,\pm1,\pm2,\ldots\right).

Доказательство

  1. 1

    Пункт а)

    Докажем, чтоlimxasinx=sina.\lim_{x\to a}\sin x=\sin a.Рассмотрим разностьsinxsina.\sin x-\sin a.Используем формулуsinαsinβ=2cosα+β2sinαβ2.\sin\alpha-\sin\beta
    =
    2\cos\frac{\alpha+\beta}{2}
    \sin\frac{\alpha-\beta}{2}.
    Отсюдаsinxsina=2cosx+a2sinxa2.\sin x-\sin a
    =
    2\cos\frac{x+a}{2}
    \sin\frac{x-a}{2}.
    При xax\to axa20.\frac{x-a}{2}\to0.Из первого замечательного пределаsintt1\frac{\sin t}{t}\to1следует, чтоsint=tsintt0.\sin t
    =
    t\frac{\sin t}{t}\to0.
    Тогдаsinxa20.\sin\frac{x-a}{2}\to0.При этомcosx+a21.\left|\cos\frac{x+a}{2}\right|\leq1.sinxsina0.\sin x-\sin a\to0.Значит,limxasinx=sina.\boxed{
    \lim_{x\to a}\sin x=\sin a
    }.
  2. 2

    Пункт б)

    Докажем, чтоlimxacosx=cosa.\lim_{x\to a}\cos x=\cos a.Используем формулуcosαcosβ=2sinα+β2sinαβ2.\cos\alpha-\cos\beta
    =
    -2\sin\frac{\alpha+\beta}{2}
    \sin\frac{\alpha-\beta}{2}.
    Тогдаcosxcosa=2sinx+a2sinxa2.\cos x-\cos a
    =
    -2\sin\frac{x+a}{2}
    \sin\frac{x-a}{2}.
    При xax\to axa20,\frac{x-a}{2}\to0,поэтому, как следует из первого замечательного предела,sinxa20.\sin\frac{x-a}{2}\to0.Кроме того,sinx+a21.\left|\sin\frac{x+a}{2}\right|\leq1.cosxcosa0.\cos x-\cos a\to0.Значит,limxacosx=cosa.\boxed{
    \lim_{x\to a}\cos x=\cos a
    }.
  3. 3

    Пункт в)

    Пустьa2n12π,n=0,±1,±2,a\neq\frac{2n-1}{2}\pi,
    \quad
    n=0,\pm1,\pm2,\ldots
    Тогдаcosa0.\cos a\neq0.По определениюtgx=sinxcosx.\operatorname{tg}x=\frac{\sin x}{\cos x}.Из пунктов а) и б) уже доказано, чтоsinxsina,cosxcosa.\sin x\to\sin a,
    \quad
    \cos x\to\cos a.
    Поскольку cosa0\cos a\neq0, по теореме о пределе отношенияlimxatgx=limxasinxcosx=sinacosa.\lim_{x\to a}\operatorname{tg}x
    =
    \lim_{x\to a}\frac{\sin x}{\cos x}
    =
    \frac{\sin a}{\cos a}.

Проверка

limxatgx=tga.\boxed{
\lim_{x\to a}\operatorname{tg}x
=
\operatorname{tg}a
}.

Что и требовалось доказать

Демидович № 481 — решение