8.1: Функція арктангенса
Для будь-якого, якийx∈R, ми телефонуємо
arctan(x)=∫x011+t2dt
арктангенсx.
Арктангенс функція диференційовна на кожномуx∈R.
Більш того, якщоf(x)=arctan(x), тоді
f′(x)=11+x2.
- Доказ
-
Результат випливає відразу з теореми7.5.4. Q.E.D.
Арктангенс збільшується наR.
- Доказ
-
Результат випливає відразу з попереднього пропозиції і того, що
11+x2>0
для кожногоx∈R. Q.E.D.
π=2lim
Зауважте, що0<\pi<4 за прикладом7.7 .1 .
Наступна пропозиція говорить про те, що функція арктангенса є непарною функцією.
Для будь-якогоx \in \mathbb{R}, арктана(x)=-\arctan (-x).
- Доказ
-
Використовуючи підстановку уt=-u, нас
\begin{aligned} \arctan (x)=\int_{0}^{x} \frac{1}{1+t^{2}} d t=-\int_{0}^{-x} \frac{1}{1+u^{2}} d u=-\arctan (-x). & \end{aligned}
Q.E.D.
Тепер випливає, що
\lim _{x \rightarrow-\infty} \arctan (x)=-\lim _{x \rightarrow-\infty} \arctan (-x)=-\frac{\pi}{2}.
Звідси діапазон функції арктангенса є\left(-\frac{\pi}{2}, \frac{\pi}{2}\right).
Якщоx>0, тоді
\arctan (x)+\arctan \left(\frac{1}{x}\right)=\frac{\pi}{2}.
- Доказ
-
Використовуючи підстановку уt=\frac{1}{u}, нас
\begin{aligned} \arctan \left(\frac{1}{x}\right) &=\int_{0}^{\frac{1}{x}} \frac{1}{1+t^{2}} d t \\ &=\int_{+\infty}^{x} \frac{1}{1+\frac{1}{u^{2}}}\left(-\frac{1}{u^{2}}\right) d u \\ &=-\int_{+\infty}^{x} \frac{1}{1+u^{2}} d u \\ &=\int_{x}^{+\infty} \frac{1}{1+u^{2}} d u \\ &=\frac{\pi}{2}-\int_{0}^{x} \frac{1}{1+u^{2}} d u \\ &=\frac{\pi}{2}-\arctan (x). \end{aligned}
Q.E.D.
Якщоx<0, то
\arctan (x)+\arctan \left(\frac{1}{x}\right)=-\frac{\pi}{2}.
- Доказ
-
Результат випливає відразу з попереднього пропозиції і того факту, що арктангенс є непарною функцією.
Покажіть, що арктин(1)=\frac{\pi}{4} і\arctan (-1)=-\frac{\pi}{4}.