Раздел II. Дифференциальное исчисление функций одной переменной — § 6. Теоремы Ролля, Лагранжа и Коши
Демидович — задача 1264
Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.
Задача 1264
Доказать тождества:а) 2arctgx+arcsin1+x22x=πsgnxпри ∣x∣≥1б) 3arccosx−arccos(3x−4x3)=πпри ∣x∣≤21
Доказательство
- 1
Пункт а)
Рассмотрим функцию f(x)=2arctgx+arcsin1+x22x на открытых интервалах x>1 и x<−1.
Найдём её производную:f′(x)=1+x22+1−(1+x22x)21⋅(1+x22x)′Производная внутренней функции:(1+x22x)′=(1+x2)22(1+x2)−2x⋅2x=(1+x2)22−2x2Преобразуем подкоренное выражение:1−(1+x22x)2=(1+x2)2(1+x2)2−4x2=(1+x2)21+2x2+x4−4x2=(1+x2)2(1−x2)2Корень из этого выражения равен 1+x2∣1−x2∣. Так как мы рассматриваем область ∣x∣>1, то x2>1, следовательно 1−x2<0, и модуль раскрывается с минусом: ∣1−x2∣=x2−1.
Следовательно:1−(1+x22x)21=x2−11+x2Собираем производную:f′(x)=1+x22+x2−11+x2⋅(1+x2)22(1−x2)=1+x22−(x2−1)(1+x2)2(x2−1)=1+x22−1+x22=0Поскольку производная равна нулю, функция постоянна на каждом из интервалов (1,+∞) и (−∞,−1).
Для x>1 найдём предел при x→+∞:f(x)=x→+∞lim(2arctgx+arcsin1+x22x)=2⋅2π+arcsin0=πДля x<−1 найдём предел при x→−∞:f(x)=x→−∞lim(2arctgx+arcsin1+x22x)=2⋅(−2π)+arcsin0=−πВ граничных точках в силу непрерывности получаем: f(1)=2⋅4π+arcsin1=π и f(−1)=2⋅(−4π)+arcsin(−1)=−π.
В итоге, f(x)=π при x≥1 и f(x)=−π при x≤−1, что можно записать одним выражением: f(x)=πsgnx для ∣x∣≥1.
Проверка
б) Рассмотрим функцию g(x)=3arccosx−arccos(3x−4x3) на интервале ∣x∣<21.Найдём её производную:g′(x)=−1−x23−(−1−(3x−4x3)21)⋅(3x−4x3)′g′(x)=−1−x23+1−(3x−4x3)23−12x2Упростим подкоренное выражение:1−(3x−4x3)2=1−9x2+24x4−16x6Заметим, что это выражение раскладывается на множители:(1−x2)(1−4x2)2=(1−x2)(1−8x2+16x4)=1−8x2+16x4−x2+8x4−16x6=1−9x2+24x4−16x6Корень из этого выражения:1−(3x−4x3)2=(1−x2)(1−4x2)2=1−x2∣1−4x2∣Так как по условию ∣x∣<21, то x2<41, откуда 1−4x2>0. Значит, модуль можно опустить:1−(3x−4x3)2=1−x2(1−4x2)Подставим это обратно в производную:g′(x)=−1−x23+1−x2(1−4x2)3(1−4x2)=−1−x23+1−x23=0Так как производная равна нулю на интервале (−21,21), функция g(x) на нём постоянна.
Подставим x=0, чтобы найти эту константу:g(0)=3arccos0−arccos0=3⋅2π−2π=πВ силу непрерывности g(x)=π и на концах отрезка.
Следовательно, тождество доказано для всех ∣x∣≤21.
Что и требовалось доказать