1302
правки
Изменения
м
{{В разработке}}
{{TODO| t=нормальный значок дуги}} <tex>\sin x = |BC| \leq AB < \brevebuildrel \smile \over{AB} = x</tex>
Обозначим за Площадь сектора <tex>SECT_{AOB}</tex> площадь сектора равна <tex>\frac{x}2</tex>,а <tex>S_{AOB\triangle AOD}= \frac12 \operatorname{tg}x</tex>. Тогда
→Первый замечательный предел: \frac12
== Вычисление некоторых пределов ==
воспользуемся геометрическим смыслом синуса.
Рассмотрим радианную меру угла <tex>\alpha</tex>, равную отношению длины дуги к радиусу окружности.
В частности, при <tex>r = 1</tex>, длина дуги совпадает с величиной угла.
<tex>0 \leq x \le \frac\pi2</tex>
Сектор <tex>ADB AOB \subset \triangle AOD</tex>
<tex>\sin x < x \Rightarrow \frac{\sin x}x < 1</tex>. Запомним этот факт.
Тогда<tex>\frac{SECT_{AOB}x}{x/2} \leq S_{\triangle AOD}</tex>,= <tex>\frac12 \operatorname{tg } x = \frac12 \frac{\sin x}{\cos x} \Rightarrow \cos x \leq \frac{\sin x}{x}</tex>
Но тогда, <tex>\cos x \leq \frac{\sin x}{x} \leq 1</tex>.
}}
=== (1 + 1/n)^n Второй замечательный предел ===
{{Определение
|definition=
<texdpi=150>e = \lim\limits_{n \to \infty} \left(1 + \frac1n \right) ^ n</tex>
}}
Из этого, подставив <tex>x = \frac1n</tex> , получим <texdpi= "150">\lim\limits_{x \to 0} (1 + x)^{\frac{1}{x}}= e</tex>
Далее, прологарифмировав последнее равенство, получим:
<tex>\frac{\logln(1 + x)}x</tex> при <tex>x \to 0</tex> стремится к <tex>1</tex>.
=== (e^x - 1)/x ===
{{Утверждение
|statement=
<texdpi= "150">\frac{e^x - 1}x \to 1</tex> при <tex>x \to 0</tex>
|proof=
<texdpi= "150">\frac{e^x - 1}{x}</tex>(подставив <tex>t = e^x - 1</tex>) <tex> = \frac{t}{\ln (1 + t)}</tex>.Однако, по только что доказанному, Тогда <tex>\frac{\ln (1 + x)}{x} \xrightarrow[x \to 0]{} 1 \Rightarrow \frac{t}{\ln (1 + t)} \xrightarrow[t \to 0]{} 1</tex>
}}
Рассмотрим выражение <texdpi= "150">\frac{(1+x)^n m - 1}{mx}, \ x \to 0</tex>. Оно (?)создаёт неопределённость <tex>\frac00</tex>. При этом, предел нельзя
вычислить переходом к нему в числителе и знаменателе по отдельности. Этот предел подстановкой сводится к предыдущим.
==== 1/n; n {{---}} целое ====
{{Утверждение
|statement=
Посчитаем <texdpi= "150">y' = (x^{\frac1n})' = \frac1n x^{\frac1n - 1}, \ n \in \mathbb{N}</tex>
|proof=
Согласно формуле дифференцирования обратной функции, <tex>x' = (y^n)' = n y^{n - 1}</tex>.
<texdpi= "150">y' = \frac{1}{x'} = \frac1{ny^{n - 1}} = \frac1n y_y^{1 - n} = \frac1n \left(x^{\frac1n}\right)^{1 - n} = \frac1n x^{n \frac1n - 1}</tex>
}}
<tex>(x ^ {\alpha})', \ \alpha \in \mathbb{Q}</tex>.
|proof=
<texdpi= "150">(x^{\frac{n}{m}})'</tex>(подставив <tex>t = x^{\frac 1m}</tex>) <tex> = n t^{m n - 1} \frac 1m x ^ {\frac1m - 1} = \frac{n}{m} x ^ {\frac{n}{m} - 1}</tex>
}}
<tex>\Delta y = e^{x + \Delta x} - e^x = e^x(e^{\Delta x} - 1)</tex>
Тогда <texdpi= "150">\frac{\Delta y}{\Delta x} = e^x \cdot \frac{e^{\Delta x} - 1}{\Delta x}</tex>.
Ранее мы доказали, что <tex>\frac{e^x - 1}{x} \xrightarrow[x\to 0]{} 1</tex>.
<tex>x = e^y</tex>. Тогда <tex>x' = e^y</tex>.
<texdpi= "150">y' = \frac{1}{x'} = \frac{1}{e^y} = \frac{1}{e^{\ln x}} = \frac1x</tex>
}}
<tex>\Delta y = \sin(x + \Delta x) - \sin(x) = 2 \sin\left(\frac{\Delta x}{2}\right) \cos\left(x + \frac{\Delta x}{2}\right)</tex>
<texdpi= "150">\frac{\Delta y}{\Delta x} = \frac{\sin\left(\frac{\Delta x}{2}\right)}{\frac{\Delta x}{2}} \cdot \cos\left(x + \frac{\Delta x}{2} \right)</tex>
Первый множитель, равный вычисленному ранее пределу, равен <tex>1</tex>, а второй при <tex>\Delta x \to 0</tex> стремится к <tex>\cos x</tex>.
{{Утверждение
|statement=
<texdpi= "150">\arcsin' x = \frac{1}{\sqrt{1 - x^2}}, \ y \in \left[-\frac{-\pi}{2}; \frac{\pi}{2} \right]</tex>
|proof=
<tex>y = \arcsin x \Rightarrow x = \sin y</tex>. Тогда <tex>x' = \cos x</tex>.
Так как <tex>\cos(\arcsin(x)) \leq geq 0</tex>, то <texdpi= "150">y' = \frac{1}{\cos y} = \frac{1}{\cos \arcsin x} = \frac{1}{\sqrt{1 - \sin^2 (\arcsin x)}} = \frac{1}{\sqrt{1 - x^2}}</tex>
Получаем <texdpi= "150">\arcsin' x = \frac{1}{\sqrt{1 - x^2}}</tex>.
}}
[[Категория:Математический анализ 1 курс]]
