From 91494ed36734ea2a7c626ef6fbb4528c5c20d1cb Mon Sep 17 00:00:00 2001 From: justanothercatgirl Date: Wed, 15 Jan 2025 13:48:28 +0300 Subject: commit 7 finished math document! --- 2025math.tex | 368 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 359 insertions(+), 9 deletions(-) (limited to '2025math.tex') diff --git a/2025math.tex b/2025math.tex index ac16933..e10f50d 100644 --- a/2025math.tex +++ b/2025math.tex @@ -1,5 +1,6 @@ \documentclass[12pt]{article} \usepackage{fontspec} +\usepackage{stackengine} \usepackage{amsmath} \usepackage{amssymb} \usepackage{amsfonts} @@ -18,6 +19,7 @@ \newcommand{\exclreg}[2]{\overset\circ\Omega_{#1}({#2})} \newcommand{\mrx}[1]{\begin{pmatrix}#1\end{pmatrix}} \newcommand{\system}[1]{\left\{\begin{aligned}#1\end{aligned}\right.} +\newcommand{\vsystem}[2]{\left#1\begin{aligned}#2\end{aligned}\right.} \newcommand{\at}[2]{\left.{#1}\right|_{#2}} \newcommand{\from}[3]{\left.{#1}\right|_{#2}^{#3}} \newcommand{\reg}[2]{\Omega_{#1}({#2})} @@ -39,12 +41,14 @@ \renewcommand{\ss}[1]{\{{#1}\}} \setmainfont{FreeSans} \graphicspath{ {../images} } +\stackMath \hypersetup { colorlinks, linkcolor=blue, } % \everymath{\displaystyle} \DeclareMathOperator{\sgn}{sgn} +\DeclareMathOperator{\arctg}{arctg} \title {Экзамен по матеше, 2025, I семестр} \author {\texttt{justanothercatgirl}} @@ -106,7 +110,7 @@ $(\all \reg \eps p \exists \; \infty x \in \ss{x_n}) \lor (\exists \ss{x_{n_i}} \e c: \forall k\; c \in I_k$. Так же: $\all \eps > 0 \exists I_k : |I_k| < \eps \implies \e! c: \all k \; c \in I_k$ (знаком модуля обозначается длина отрезка) \\ -Больцмана-Вейштрасса: $\exists \sup \ss{x_n} \implies \exists \ss{x_{k_i}}: \ss{x_{k_i}}\to a$ (если ограничена, есть сход. подпосл.) +Больцмана-Вейерштрасса: $\exists \sup \ss{x_n} \implies \exists \ss{x_{k_i}}: \ss{x_{k_i}}\to a$ (если ограничена, есть сход. подпосл.) \\ Критерий Коши: последовательность сходится тогда и только тогда, когда она фундаментальна. @@ -123,7 +127,7 @@ $\all \eps > 0 \exists I_k : |I_k| < \eps \implies \e! c: \all k \; c \in I_k$ ( -\eps &< a_n - b_2 &< \eps \\ \end{aligned}\right. \implies \] -\centerline{[ Возьмём $N = \max {N_1, N_2};\;\varepsilon = \frac{b_2-b_1}2 > 0$ ]} +\centerline{[ Возьмём $N = \max {N_1, N_2};\;\eps = \frac{b_2-b_1}2 > 0$ ]} \[ \implies \left\{\begin{aligned} a_n - b_1 &< \frac{b_2-b_1}2 \\ @@ -195,7 +199,7 @@ c \in [a_n, b_n]$ \\ Пункт b: $\lim_{x\to\infty} a_n = \lim_{x\to\infty} b_n \land \all n \in N\; a_n \leq c \leq b_n \implies \exists!c$ (по 2 полицейским) -\item Больцано-Вейштрасса. +\item Больцано-Вейерштрасса. $a:=\inf\ss{x_n},b:=\sup\ss{x_n}$. пусть $x_1$ - первый элемент подпосл. Разобъём $[a,b]$ пополам, выберем ту половину, где бесконечно много членов $\ss{x_n}$, оттуда выберем $x_2$. По аксиоме выбора составляем бесконечную посл-ть $\ss{x_{k_i}}$, повторяя это действие. $\all i \in \s N \; x_{k_i} \in [a_i, b_i] \supset [a_{i+1}, b_{i+1}] \land |b_i-a_i| @@ -211,7 +215,6 @@ x_{N+1} - \eps < x_n < x_{N+1} + \eps. \] Что формирует определение ограниченной последовательности -\newpage \item Критерий коши \begin{itemize} \item фундаментальность $\implies$ сходимость (достаточность): \\ @@ -494,11 +497,11 @@ $\system { $\system { &\exists \delta': \all x \in \exclreg {\delta'} b: f(x) \in \reg{\eps'}{f(b)} \\ &\exists \delta: \all t \in \exclreg {\delta} a: \ph(t) \in \reg {\eps := \delta'} {\ph(a)=:b}\\ -} \implies \all t \in \exclreg \delta a: f(\ph(t)) \in \reg{\eps'}(f(\ph(a))) \equiv \\ +} \implies \all t \in \exclreg \delta a: f(\ph(t)) \in \reg{\eps'}{f(\ph(a))} \equiv \\ \equiv \lim_{t\to a} f(\ph(t)) = f(\ph(a))$ -\item О прохождении непр. на пром. ф-ии через $\all$ промеж. знач. \\ +\item \hypertarget{funcvalpass}{О прохождении непр. на пром. ф-ии через $\all$ промеж. знач.} \\ Докажем утверждение о прохождлении ф-ии черещ $0$: \\ Пусть $\s X:= \{x \in [a,b] \;|\; f(x) < 0 \}$ - ограничено $\implies \e \sup \s X =: c$ \\ \begin{enumerate} @@ -528,8 +531,8 @@ $g(c') = 0 \implies f = g + c = c$ y_1 > y_2 \land f(f^{-1}(y_1)) \leq f(f^{-1}(y_2)) \equiv y_1 \leq y_2 $ - противоречие, тогда обратное верно, тогда $f^{-1}$ строго монотонна \item $f^{-1}$ непрерывна \\ - $y_0 \in (f(a), f(b)), f(a) < y_0 < f(b), f^{-1} \text { возрастает } \implies a < x_0 < y_0;\; - \epsilon: \reg \eps x_0 \subsetneq [a,b] \\ + $y_0 \in (f(a), f(b)), f(a) < y_0 < f(b), f^{-1} \text { возрастает } \implies a < x_0 < b;\; + \eps: \reg \eps {x_0} \subsetneq [a,b] \\ f(x_0 - \eps) =: y_1 \leq f(x_0) \leq f(x_0 + \eps) =: y_2 \implies x_0 -\eps \leq f^{-1}(y_0) \leq x_0 + \eps \\ \all y \in (y_1, y_2) : f^{-1}(y) \in (x_0 - \eps, x_0 + \eps) = \reg\eps {x_0} \\ \delta: (y_1, y_2) \supseteq \exclreg\delta y_0 \\ @@ -759,8 +762,355 @@ F(\ph(\alpha)) - F(\ph(\beta)) =\\= F(a) - F(b) = \int_a^bf(x)dx$ \end{enumerate} \section{Теоремы о диф. ф-ях} +\subsection{Определения} +Ограниченная функция: $\e c \in \s R\; \all x \in \s X : |f(x)| \leq c$ +\\ +Точная верхняя грань функции: $\rab S = \sup_{[a,b]}f(x) := (\all x \in \s X: |f(x)| \leq \rab S) \land (\all S' < \rab S \e x \in \s X: S' < |f(x)| \leq \rab S)$ +\\ +Равномерно непрер.: $\all \eps > 0 \e \delta > 0, \all x_1, x_2 \in \s X (|x_1 - x_2| < \delta \implies |f(x_1) - f(x_2)| < \eps)$ +\\ +Возрастание в точке: $\e \reg {} c\: \all x \in \reg {} c\; (x \lessgtr c \implies f(x) \lessgtr f(c))$. +\\ +Убывание: $(x \lessgtr c \implies f(x) \gtrless f(c))$ + +\subsection{Теоремы (без док-ва)} +о локальной ограниченности: Если $f$ непрерывна в точке, то она локально ограничена в ней +\\ +Об устойчивости знака $f$: $f(c) \lessgtr 0 \implies \e \reg {} c, \all x \in \reg {} c\; f(x) \lessgtr 0$ +\\ +I Вейерштрасс: Если функция непрерывна, то она ограничена +\\ +II Вейерштрасс: Непрерывная на сегменте функция достигает своих $\sup, \inf$ +\\ +Кантора: Непрерывная функция на сегменте равномерно непрерывна +\\ +Ролля: Пусть $f$ опр, непр на $[a,b]$, дифф на $(a,b)$, тогда $\e c \in (a,b) : f'(c) = 0$ +\\ +Формула конечных приращ-ий Лагранжа: непр, дифф $\implies \exists c \in (a,b): f(b) - f(a) = f'(c)(b-a)$ +\\ +Достаточное усл-е возрастания (в точке): $f'(c) > 0 \implies$ ф-я возрастает +\\ +Необх. усл. неубывания: ф-я неубывает $\implies f'(c) \geq 0$ +\\ +Дост. усл-я возрастания (на интр-ле): хз +\\ +Формула Коши: $f, g$ непр, дифф-мы, $g \neq 0 \implies \e c \in (a,b) : + \frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(c)}{g'(c)}$ +\\ +Формула Тейлора: \\ +$\dst f(x) = P_n(x) + R_{n+1}(x), +\ntab P_n = \sum_{k=0}^n\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k, +\quad R_{n+1} = \vsystem [ { + &\frac 1 {n!} \int_{x_0}^xf^{(n+1)}(t)(x-t)^ndt \text{ - Интегральная}\\ + &\frac 1 {(n+1)!}f^{(n+1)}(\xi)(x-x_0)^{n+1}, \xi \in [x_0, x] \text{ - Лагранжа} \\ + &o((x-x_0)^n) \text{ - Пеано} +}$ + +\subsection{Теоремы (с док-вом)} +\begin{enumerate} + +\item О локальной огр-сти ф-ии, имеющей предел в точке: \\ + $\all \eps > 0 \e \delta > 0, (\all x \in \reg\delta a \implies f(x) \in \reg\eps b), \reg\eps b = (b-\eps, b+\eps)$ - ограничено +\item Об устойчивости знака непр-ой ф-ии: \\ + $\all \eps > 0 \e \delta > 0 (\all x \in \reg\delta a \implies f(x) \in \reg\eps {f(a)}) \implies f(a) - \eps < f(x) < f(a) + \eps \\ + \eps := \frac{f(a)}2 \implies \frac{f(a)}2 < f(x) < \frac{3f(a)}2. f(a) > 0 \implies f(x) > 0\;\all x \in \reg\delta a$ +\item Непр. ф-ии с разными знаками на концах отрезка: См. \hyperlink{funcvalpass}{2.3.11} +\item I Вейерштрасс: непрерывность $\implies$ ограниченность \\ + Пусть f не ограничена. Тогда по аксиоме выбора $\e \ss{x_n}: |f(x_n)| > n$. $x_n$ ограничена $[a,b]$, + $\exists \ss{x_{n_k}} \to c \in [a,b]$ (Больцано-Вейерштрасса). $\lim |f(x_{n_k})| \to \infty$. Итак, + мы нашли подпосл-ть, которая не сходится, при том что подпосл-ть сходится, что противоречит + определению предела по гейне: $\exists \ss{x_n} \to c : \ss{f(x_n)} \not \to f(c)$ +\item II Вейерштрасс: достигаютс спермумы и инфанты \\ + $(\e M : \all x \; f(x) \leq M) \land (\all \eps := \frac 1 n > 0 \e x_\eps : M - \eps < f(x_\eps) < M)$. + По аксиоме выбора строим $\ss{x_n}: \all \eps := \frac 1 n,\; f(x_n) > M-\eps.$ \\ + $M - \frac 1 n < f(x_n) \leq M \longrightarrow \frac 1 n > M - f(x_n) \geq 0\\ + |f(x_n) - M| < \frac 1 n < \frac 1 N < \eps \implies \lim f(x_n) = M$. То есть есть: + $\system { + &a \leq \ss{x_n} \leq b \\ + &\ss{f(x_n)} \to M + }, \e \ss{x_{n_k}} \to c \implies \\ \implies \ss{f(x_{n_k})} \to M$, + По определению непрерывности по Гейне: $\all \ss{x_{n_k}} (\ss{x_{n_k}} \to c \implies \ss{f(x_{n_k}} \to M) + \implies \lim_{x \to c} f(x) = M$, а по определению непрерывности $M = f(c)$, то есть \\ + $\dst \e c \in [a, b] : f(c) = M =: \sup_{[a,b]}f(x)$ +\item Кантора-Гейне: Непрерывность = равномерная непрерывность \\ + Непрерывность: $\all c \all \ss{x_n} \to c : \ss{f(x_n)} \to f(c)$. Предположим, $f$ не равномерно непрерывная. Тогда: \\ + $\e \eps > 0\; \all \delta > 0\; \e x_1, x_2 \in \s X (0 < |x_1 - x_2| < \delta \implies |f(x_1) - f(x_2)| > \eps)$. Выделим $\ss{x_{n1}}, \ss{x_{n2}} : |x_{n1} - x_{n2}| < \delta = \frac 1 n; |f(x_{n1}) - f(x_{n2})| \geq \eps$. \\ + По Больцано-Вейштрассу, $\ss{x_{n1, n2}}$ ограничены, тогда $\e \ss{x_{n1_k}} \to c_1, \ss{x_{n2_k}} \to c_2$. Сделаем вид, что мы расписали что-то: + $|x_{n2_k} - c| \leq \underbrace{|x_{n2_k} - x_{n1_k}|}_{< \eps /3} + \underbrace{|x_{n1_k} - c|}_{< \eps /3} \leq \frac 2 3\eps < \eps \implies \ss{x_{n1_k}}, \ss{x_{n2_k}} \to c$. \\ + Из определения непрерывности по гейне: $\ss{f(x_{n1_k})}, \ss{f(x_{n2_k})} \to f(c)$, но это противоречит $|f(x_n1) - f(x_n2)| \geq \eps$, тогда + Верно предположение, обратное нашему +\item Дост. усл-е возрастания: если $f'(c) > 0$, то $f$ возрастает. Для производной пусть $x := \Dx + c$ \\ + $\all \eps > 0 \e \delta > 0, \all x \in \reg \delta c : \left|\frac{f(x) - f(c)}{x-c} - f'(c)\right| < \eps \implies -\eps + f'(c) < \frac{f(x) - f(c)}{x - c} < \eps + f'(c)$. Пусть \\ + $\eps := f'(c)$, тогда $0 < \frac{f(x) - f(c)}{x - c} \implies \vsystem \{ { + &f(x) > f(c) \quad (x > c) \\ + &f(x) < f(c) \quad (x < c) \\ + }$ +\item Дост. и Необх. усл-я неубывания: Буквально из определения неубывания составляем определение предела и по теореме о переходе в неравенство $f'(c) \geq 0$ +\item Ролль: $f$ определена, непрерывна, дифференцируема, $f(a) = f(b)$. Тогда $\e c \in (a,b) : f'(c) = 0$ \\ + по II теореме Вейерштрасса $\dst \exists m := \inf_{[a,b]}f(x), M := \sup_{[a,b]}f(x)$ + \begin{enumerate} + \item $m = M: f(x) = const \implies \all c \in (a,b): f'(c) = 0$ + \item $M > f(a): \all x \in [a,b] f(x) < f(c) \implies c$ - точка локального максимума, $f'(c) = 0$ (по теореме Ферма ещё кст) + \item $m < f(a)$: аналогично + \end{enumerate} +\item Конечные приращения Лагранжа: \\ + Уравнение касательной: $f'(x_0)(x-x_0) + f(x_0)$, Секущей: $\frac{f(x_2) - f(x_1)}{x_2 - x_1} (x-x_1) + f(x_1)$ \\ + Сама теорема: $f$ непрерывна, дифференцируема, тогда $\e c: f(b) - f(a) = f'(c)(b-a)$. \\ + Рассмотрим функцию $F(x) = f(x) - y_\text{сек.} = f(x) - \frac{f(b) - f(a)}{b-a}(x-a) - f(a); f(a)=f(b)=0 \implies + \e c: F'(c) = 0 = f'(c) - \frac{f(b) - f(a)}{b-a} \implies f(b)-f(a) = f'(c)(b-a), c \in [a,b]$ +\item Формула Коши: пусть $F(x) = f(x) - \frac{f(b) - f(a)}{g(b) - g(a)}(g(x) - g(b)).\; F(a) = f(a) = F(b) \implies + \e c: F'(c) = 0 = f'(c) - g'(x)\frac{f(b) - f(a)}{g(b) - g(a)} \implies \frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}$ +\item Формула тейлора с интегральным членом: \\ + $\dst f(x) - f(x_0) = \int_{x_0}^xf'(t)dt \implies \\ f(x) = + f(x_0) - \int_{x_0}^xf'(t)d(x-t) = f(x_0) - \from{f'(t)(x-t)}{x_0}x + \int_{x_0}^xf''(x)(x-t)dt = \\ = + f(x_0) + f'(x_0)(x-x_0) - \int_{x_0}^xf''(x)d\left(\frac{(x-t)^2}2\right) = \\ = + f(x_0) + f'(x_0)(x-x_0) - \from{\frac{f''(t)(x-t)^2}2}{x_0}{x} + \frac 1 2\int_{x_0}^xf'''(t)(x-t)^2dt = \\ = + f(x_0) + \frac{f'(x_0)(x-x_0)}{1!} + \frac{f''(x_0)(x-x_0)^2}{2!} - \frac 1 {3!}\int_{x_0}^xf'''(t)d((x-t)^3) = \\ = + \dots = \sum_{k=0}^n \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n + \frac 1 {n!} \int_{x_0}^xf^{(n+1)}(t)(x-t)^ndt$ +\item Тейлор с Лагранжем: \\ + $\dst R_{n+1} = \frac 1 {n!}\int_{x_0}^xf^{(n+1)}(t)(x-x_0)^ndt \overset{\text{т-ма о среднем}} + = \frac 1 {n!} f^{(n+1)}(\xi)\int_{x_0}^x(x-t)^ndt = \from{\left(\frac 1 {(n+1)!} f^{(n+1)}(\xi)(x-t)^{n+1}\right)}{x_0}x + = \frac{(x-x_0)^{n+1}}{(n+1)!}f^{(n+1)}(\xi) + $ +\item Тейлор с Пеано: \\ + $\dst f(x) = P_n(x) + \bar o((x-x_0)^n) \implies \lim_{x\to x_0}\frac{f(x) - P_n(x)}{(x-x_0)^n} + = \lim_{x\to x_0}\frac{f(x) - f'(x_0)(x-x_0) - \dots}{(x-x_0)^n} + \overset{\text{ L'Hôpital }} =\\\overset{\text{ L'Hôpital }}= + \lim_{x\to x_0} \frac{f'(x) - f'(x_0) - f''(x_0)(x-x_0) - \dots - \frac{f^{(n-1)}(x_0)}{(n-1)!}(x-x_0)^{n-1}}{n(x-x_0)^{n-1}} = \dots + =\\= \lim_{x\to x_0}\frac{f^{(n)}(x) - f^{(n)}(x_0)}{n!} = 0 \implies f(x) - P_n(x) = o((x-x_0)^n) + $ +\item Единственность разложения Тейлора: Пусть у нас есть 2 разложения: \\ + $\dst \underbrace{\system {a = \{a_0, a_1, \dots\, a_n, \alpha(x)\} \\ b = \{b_0, b_1, \dots, b_n, \beta(x)\}}, + \hspace{1cm} \vsystem \downarrow { + &f(x_0): a = a_0, b = b_0 \implies a_0 = b_0 \\ + &f'(x_0): a = a_1, b= b_1 \implies a_1 = b_1 \\ + &\hspace{1cm}\vdots \\ + &f^{(n)}(x_0): a_n = b_n \\ + &\alpha = \beta + }}_{\stackunder{\Downarrow}{a = b}}$ +\item теорема о правиле L'Hôpital-я: $\lim_{x\to x_0} \frac {f(x)} {g(x)} = \frac 0 0 = (*) \\ + \frac{f(x)}{g(x)} \overset{f(a), g(a) := 0;\; \e c \in (x, x_0)}= \frac{f(x) - f(x_0)}{g(x) - g(x_0)} = \frac{f'(c)}{g'(c)} + = [с \to x \text{ по 2 милицционерам}] = \frac{f'(x)}{g'(x)} \implies \\$ + $\dst \lim_{x\to x_0}\frac{f(x)}{g(x)} = \lim_{x\to x_0}\frac{f'(x)}{g'(x)}$ +\end{enumerate} + \section{Построение Графиков} +\subsection{Определения} +Точка локального минимума: $\e \exclreg \delta c \subset \s X: \all x \in \exclreg \delta c : f(x) > f(c)$ +\\ +Направление выпуклости вверх: $(a,b) \subset \s X: \all x_0 \in (a,b): f(x_0)$ не выше касательной в $(x_0, f(x_0))$ +\\ +Точка перегиба: $\e$ касательная, $\e \delta > 0: \system { + & \all x \in \exclreg {\delta^-} x_0 : \text{ выпуклость одна} \\ + & \all x \in \exclreg {\delta^+} x_0 : \text{ выпуклость другая} +}$ +\\ +Наклонная асимптота: $y = kx + b$ - ассимптота, если $f(x) = kx + b + o(1), x\to\infty$ +\\ +Вертикальная асимптота: $x = a$ - ассимптота, если $\dst\vsystem [ { + \lim_{x\to a-0} = \pm \infty \\ + \lim_{x\to a+0} = \pm \infty \\ +}$ +\\ +Локальный экстремум: точка, которая либо локальный минимум, либо локальный максимум -$\texttt{curl https://trust-me-bro.com | sudo bash}$ +\subsection{Теоремы (без док-ва)} +Необх. и Дост. усл-я локального экстремума: +\ntab Необходимое: если $x_0$ - экстремум, то $f'(x_0) = 0 (\lor f'(x_0\text{ не сущ.}))$ +\ntab Достаточное: $\sgn f_-'(x_0) \neq \sgn f_+'(x_0)$ +\\ +Дост. усл-я экстремума с дважды дифф-емой ф-ей: +$f'(x_0) = 0 \land f''(x_0) \neq 0$ +\\ +Необх. и Дост. усл-я $\e$ накл. асимптоты: $y = kx+b$ - ассим. $\Longleftrightarrow +\dst \lim_{x\to\infty}\frac{f(x)}x = k \land \lim_{x\to\infty}(f(x) -kx) = b$ +\\ +Необх. и Дост. усл-я перегиба: +\ntab Необходимое: $f''(x_0) = 0$ +\ntab достаточное: $\sgn f_-''(x_0) \neq \sgn f_+''(x_0)$ +\\ +Дост. усл-я перегиба с 3-ей пр-ой: +$f''(x_0) = 0;\; f'''(x_0) \neq 0 +\ntab \all n (n \bmod 2 = 1), \all k := \overline{2,n-1}\; f^{(k)}(x_0) = 0, f^{(n)} \neq 0$ +\subsection{Теоремы (с док-вом)} +\begin{enumerate} +\item Необх. усл-е экстремума (I): Пусть $f'(x) > 0$, но тогда функция возрастает (теорема о связи знака производной с возрастанием), тогда $f'(x) \leq 0$. +Аналогично, $f'(x) \geq 0 \implies f'(x) = 0$ +\item Дост. усл-е экстремума (I): Дано: $f_-'(x_0) < 0, f_+'(x_0) > 0$, по т-ме Лагранжа: + $\all x \in \exclreg \delta c : x \gtrless c \implies f'(x) \gtrless 0, f(x) - f(c) = f'(\xi)(x-c) \implies \system { + &(x < c) \implies \xi \in (x, c) \implies f'(\xi) < 0 \implies f(x) > f(c) \\ + &(x > c) \implies \xi \in (c, x) \implies f'(\xi) > 0 \implies f(x) > f(c)\\ + } \implies\\\implies c$ - точка локального максимума +\item Дост. усле- экстремума (II): $f'' < 0 \implies \e \reg \delta c: x\lessgtr c \implies f'(x) \gtrless f'(c) \implies$ по достаточному условию, доказанному выше, + $c$ - тока локального максимума +\item $f''(x) < 0 \implies $ выпуклость вверх/вниз: $\system { + &g(x) = f'(x_0)(x-x_0) + f(x_0) \\ + &f(x) = f(x_0) + f'(x_0)(x-x_0) + \frac 1 2 f''(\xi)(x-x_0)^2, \xi \in (x, x_0) \\ + } \\ + f(x) - g(x) = \frac 1 2 f''(\xi)(x-x_0)^2 \implies \system{ + &f'' > 0 \implies f(x) > g(x) \implies \text{выпуклость вниз} \\ + &f'' < 0 \implies f(x) < g(x) \implies \text{выпуклость вверх} \\ + }$ +\item Необх. усл-е перегиба (II): Пусть Есть перегиб в точек $c \\\system{ + &f''(c) < 0 \implies \e \reg \delta c: \all x \in \reg\delta c f''(x) < 0, \text{противоречит прошлой теореме} \\ + &f''(c) > 0 \implies \e \reg \delta c: \all x \in \reg\delta c f''(x) > 0, \text{противоречит прошлой теореме} \\ +} \implies f''(c) = 0$ +\item Дост. усл-е перегиба (II): из теоремы о связи знаков следует разная выпуклость на $(c-\delta, c)$ и $(c, c+\delta) \implies c$ - точка перегиба +\item Дост. усле- перегиба (III): из теоремы о связи знака производной с возрастанием следует, что $f'''(c) \neq 0 \implies \sgn f_-''(c) \neq \sgn f_+''(c)$, + Из прошлой теоремы $c$ - точка перегиба + +\end{enumerate} + +\section{Консультация} +\begin{itemize} +\item +Теорема о формуле Коши: $f, g$ на $[a,b]$, дифференц., непрерывная, $g'(x) \neq 0\\$ +$\exists c \in [a,b]: \frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(c)}{g'(c)}$ + +\item +Теорема о правиле Лопитяля: $\e \lim_{x \to x_0} f(x) = 0, \lim_{x \to x_0} g(x) = 0.\\ +\e f'(x), g'(x)$ в проколотой окресности, значит $f, g$ непрерывны в $\exclreg \eps {x_0}\\ +g'(x) \neq 0, \;\e \lim_{x\to x_0} \frac{f'(x)}{g'(x)}$, +Тогда $\e \lim_{x\to x_0} \frac{f(x)}{g(x)} = \lim_{x \to x_0} \frac{f'(x)}{g'(x)}$ \\\\ +Доказательство: \\ +Доопределим $f,g$ в точке $x_0$ для применения формулы Коши: +$\all x \in \exclreg \eps {x_0}\;f(x), g(x)$ непрерывны\\ +Тогда $\e c \in (x, x_0): \frac{f(x) - f(x_0)}{g(x) - g(x_0)} = \frac{f'(c)}{g'(c)} \implies +\lim_{x\to x_0}$ + +\item 117 +$f(x)$ дифф-ма на $(-a, a);\; f'(0) = 1;\;, \all x, y \in (-a, a) : f(x+y) = \frac{f(x) + f(y)}{1 - f(x)f(y)}\\$ +Доказать: $f'(x) = 1 + f^2(x)$ \\ +$f'(x) = \dlim x \frac{f(x+\Dx) - f(x)}{\Dx} = \dlim x \frac 1 \Dx \left(\frac{f(x) + f(\Dx)}{1 - f(x)f(\Dx)} - f(x)\right) += \\ = \dlim x \frac 1 \Dx \frac{f(\Dx) + f^2(x)f(\Dx)}{1 - f(x)d(\Dx)} += (1 + f^2(x))\dlim x \frac{f(\Dx)}{\Dx}\frac 1 {1 - f(x)f(\Dx)} += \\ = \left[f'(0) = \dots = (1 + f^2(0))\dlim x \frac{f(\Dx)}{\Dx(1 - f(0)f(\Dx))}= 1 +\overset{\text{из сущ. предела}}\implies f(0) = 0 \right] += $ короче нихуя она не дорешала + +\item 132 +$f(x+y)$ дифф $x \in \s R, \all x,y : f(x+y) = f(x)f(y)$. Доказать, что $\e C: f'(x) = Cf(x)$ \\ +$f'(x) = \dlim x \frac{f(x+\Dx) - f(x)}{\Dx} = \dlim x \frac{f(x)f(\Dx) - f(x)} \Dx += f(x)\dlim x \frac{f(\Dx) - 1}{\Dx}. \\ +f(0) = f^2(0) \implies f(0) = 0 | 1 \\ +\dst f(0) = 1: f(x)\dlim x \frac{f(\Dx) - 1}{\Dx} = f(x)\dlim x \frac{f(0 + \Dx) - f(0)}{\Dx} += f(x)f'(0) = cf(x)$ - доказано \\ +$f(0) = 0$ - $C$ любой + +\item вернёмся к 117 +$f(xy) = f(x) + f(y). x = y = 0 \implies f(0) = 2f(0) \implies f(0) = 0 \\ +\dlim x \frac{f(x+\Dx) - f(x)} \Dx = (1 + f^2(x))\dlim x \frac{f(\Dx)}\Dx \frac{}{}$... +ЛЕВАШОВА НЕ ДОКАЗЫВАЕТ!!!!!!!!!!!! + +\item 81, 93 \\ +Дано: $f^{(I-IV)}(x_0) = 0, f^{(V)}(x_0) \neq 0$ \\ +Док-ть: $\e \Sigma(x_0): f(x) = f(x_0)$ имеет единственное решение \\ +По условию: $\e f^{(n)}(x_0), 0 \leq n \leq 5$ \\ +$f(x) = f(x_0) + \frac{f^{(5)}(x_0)}{5!}(x-x_0)^5 + o\left((x-x_0)^5\right) \implies +\frac{5!}{f^{(5)}(x_0)}f(x) - f(x_0) = (x-x_0)^5 \cdot \left(1 + \frac{o(x-x_0)^5}{(x-x_0)^5} =: \alpha(x)\right) \\ +\left[\alpha \to 0 (x\to 0): \all \eps > 0 \e \delta_{1/2} ( 0 < |x-x_0| < \delta_{1/2} \implies |\alpha(x)| < \frac 1 2=: \eps\right] \\ +\implies x_0$ - решение \\ +По сути: сначала мы разложением в ряд доказали, что решение есть, а потом +мы выбрали $\eps$-окресность, в которой один множитель не превосходит $\frac 1 2$, +поэтому получили, что решение единственное + +\item 90: $f''(x_0) = 0; f'''(x_0) > 0 \implies f(x)$ не имеет лок. экстремума в $x_0$ \\ +По Тейлору: $f(x) = f(x_0) + f'(x_0)(x-x_0) + \frac 1 2 f''(x_0)(x-x_0)^2 + \frac 1 6 f'''(x_0)(x-x_0)^3 + o(x-x_0)^3 \\$ +Если $f'(x_0) = 0, f'(x_0) \neq 0 \implies$ не выполнено необходимое условие экстремума \\ +$f(x) - f(x_0) = \frac 1 6 f'''(x_0)(x-x_0)^3 + o(x-x_0)^3 = (x-x_0)^3\frac{f'''(x_0)}{3!}\left(1 + \alpha(x)\right), \alpha(x) > 0 \implies +\\\implies (x > x_0 \implies f(x) - f(x_0) > 0 \land x < x_0 \implies f(x) - f(x_0) < 0) $ - отрицание локального экстремума! :0 \\ +(разумеется всё в окресности) + +\item 39: $f(x)$ непр. на $\dst [a, +\infty), \e \lim_{x\to+\infty}f(x)=b, f(a)=b$, доказать, что $\dst\e c: f(c) = \sup_{[a,+\infty)}f(x)$ \\ +док-во: +\begin{enumerate} + \item $f(x) = b = const$, всё норм + \item $f(x) \neq const, \all x\;f(x) \leq b \implies \sup = f(a)$ + \item $\e x_0 \in [a,+\infty) : f(x_0) > b$ \\ + $\all \eps > 0 \e A: \all x \in \s X (x > A \implies |f(x) - b| < \eps := \frac{f(x_0) - b}2) \\ + \e A_\eps: \frac{b - f(x_0)}2 + b < f(x) < \frac{f(x_0) - b}2 + b \implies f(x) < \frac{b + f(x_0)}2 < f(x_0) \\ + x \in \left[a, \max(A_\eps, x_0)\right], + \quad x > \max(a_\eps, x_0) \implies f(x) < f(x_0),\quad + \sup_{[a, \max(\dots)]} + $ ОПЯТЬ КОНЦОВКУ НЕ ПОНЯЛ БЛЯТЬ +\end{enumerate} + +\item 9, $\dst\all n \geq 0, \all x \in [0, 2]:\left|e^x - \sum_{k=0}^n\frac{x^k}{k!}\right| < \frac{10\cdot 2^{n+1}}{(n+1)!}$\\ +У нас типа есть многочлен тейлора??? $e^x = P_n(x) + R_{n+1}(x) \implies \left|e^x - P_n(x)\right| = |R_{n+1}(x)| += \left|\frac{f^{(n+1)}(\xi)}{(n+1)!}x^{n+1}\right| \overset{[f^{(n+1)}(\xi) < 10, e^\xi (\xi \in [0, 2]), x \leq 2]} +< \frac{10 \cdot 2^{n+1}}{(n+1)!}$ + +\item Теорема Кантора: Надо всё-таки доказательство выучить + +\item 105: $f(x)$ непр., $\dst\e \lim_{x\to+\infty}f(x)=b \implies f(x)$ равномерно непрерывна \\ +$\all \eps > 0 \e A, \all x > A_\eps : |f(x) - b| < \eps \implies \all x', x'' > A_\eps: |f(x') - b| < \frac \eps 2 \land |f(x'') - b| < \frac \eps 2 \implies \\ +\implies |f(x') - f(x'')| = |f(x') - b - f(x'') + b| \leq |f(x') - b| + |f(x'') - b| < \eps \\ +\all \eps \e \delta, \all x', x'' > A_\eps, 0 < |x' - x''| < \delta : |f(x') - f(x'')|< \eps$, +а на отрезке $[a, A_\eps+1]$ по теореме Кантора р. непрерывна, на отрезке $[A_\eps+1, +\infty]$ мы доказали\\ + +А теперь надо соединить два куска!!!!!! \\ +Пусть $x' < A_\eps + 1, x'' > A_\eps + 1, |x' - x''| < \delta$. \\ +Рассмотрим $|f(x') - f(x'')| = |f(x') - f(A_\eps + 1) + f(A_\eps + 1) - f(x'')| +< \eps$\\ +Она снова концовку смазала я не могу... + +\item 11 +Дано: $P_n(x) = \sum_{k=0}^n\frac{f^{(k)(x_0)}}{k!}(x-x_0)^k$\\ +Док-ть: $P^{(k)}(x_0) = f^{(k)}(x_0), k = \overline{0, n}$ +Эээээм... ну она чё-то сказала, но я ничё не понял)))))))))) + +\item 135: $\dst\lim_{x\to\infty}\left(\frac{\ln n}{n^\alpha} =: x_n\right) = 0, \alpha > 0\\ +\lim_{x\to\infty} \frac 1{\alpha x^\alpha} =0$ (по лопиталю) +А потом она минут 10 чё-то про Гейне говорила иииИИИИИИИИИиииии, кто +бы мог подумать, я снова нихуя не понял))))) +\item $f(x) = \arctg\sqrt[3]{x}$ р.н. на $(0, +\infty)$ \\ +1) $\arctg\sqrt[3]{x}$ (тоже скипнул) +2) скипнул случайно, сорян +3) Если $\dst x \in [1, +\infty), f'(x) = \frac 1 {3x^{\frac 2 3}(1 + x^{\frac 2 3})} < \frac 1 6 \\ +\all \eps > 0 \e \delta = 6\eps, \all x', x'' (x', x'' < \delta \implies |f(x') - |f(x'')| < \eps)$ +- выполнены условия теоремы Лагранжа на $[x', x'']$ - $|f(x') - f(x'')| < |f'(\xi)||x'-x''| < \frac 1 6 \cdot 6 \eps$ +4) Док-ть равномерн. непрерывность на объединении интервалов + +\item Задачи вида: +$f(x) = P_n(x) + o(x^n) \left(e^x = \sum_{k=0}^n\frac{x^k}{k!} + o(x^n)\right)$ - +См. Лекция 17 док-во формулы Тейлора с остаточным членом + + +\item 57: $\dst \lim_{n \to \infty} \sum_{k=0}^n (-1)^n\frac{x^{2k+1}}{(2k+1)!} = \sin x\\ +\all \eps > 0 \e N' \in \s N, \all n \left(n > N' \implies \left|\sum_{k=0}^n (-1)^n\frac{x^{2k+1}}{(2k+1)!} - \sin x\right| < \eps\right) \equiv \\ +\equiv \left|R_{N'+1}:=\frac{\sin^{(N'+1)}(\xi)}{(2N'+1)!}x^{2N'+1}\right| < +\left|\frac{x^{2N+3}}{(2N+3)!}\right| < \eps$ \\ +(Вроде можно доказать, что $\frac{x^n}{n!} \to 0, x \to \infty$) \\ +$|P_{N+1}| < \left|\frac{x^{2N+3}}{(2N+3)!}\right| < \eps$ - по индукции вроде можно доказать... + +\item А теперь реально докажем, что $\frac{x^n}{n!} \to 0, x \to \infty$ \\ +$\frac{x_{n+1}}{x_n} = \frac n {a^n} = \frac{a}{n+1} < 1$ - монотонно убывает \\ +ограничена, так как $>0$, тогда по теореме кого-то там $\e \lim = 0$ + +\item 171 - реально сложная по словам Левашовой, найдите все $p$ такие, что + $\dst \lim_{n\to+\infty}\frac{p^nn!}{n^n} = 0$ \\ +Делаем через рекуррентное соотнощ +$\dst x_n = \frac{p^nn!}{n^n}, \frac{x_{n+1}}{x_n} = \frac{p(n+1)}{n+1}\left(\frac{n}{n+1}\right)^n += p \frac 1 {(1 + \frac 1 n)^n}\\ +p < e: \e N: \all n > N\; \left(\frac{x_{n+1}}{x_n} < 1\right), x_n > 0 \implies \e C = \lim_{x\to\infty}x_{n+1} = C\frac p e\implies C = 0 \\ +P > e: $ посл-ть мон-но возрастает, $x_{n+1} > \frac{P^NN!}{N^N} \implies C = \lim\ss\dots \neq 0$ + +\item Та самая задачка: $f(x) = e^{-x^2}$, найти $f^{(n)}(0)$ +1) $\dst f(x) = \sum_{k=0}^n\frac{(-x^2)^k}{k!} + o(x^{2k}) = \sum_{k=0}^{2n}\frac{f^{(k)}(0)}{k!} + o(x^{2n}) \\ +\frac{f^{(n)}(0)}{n!} = \frac{(-1)^{n/2}}{(n/2)!}$ \\ +2) Способ (как для арктангенса) $f' = -2xe^{-x^2}$, а потом по формуле ЛЕЙБНИЦА берём $n-1$-ую производную: +$f^{(n)} = -2(n-1)f^{n-2}(0)$ + +\item 99: Сами решите))) + + + + + + + + + +\end{itemize} \end{document} -- cgit v1.2.3-70-g09d2