Материал · математический анализ, 1 курс
Шпора: математический анализ, 1 семестр
Даниил Фомин · определения, теоремы и приёмы первого семестра одной страницей · 2026
Плюс вся школьная база, которая в нём нужна. От обозначений до графиков функций. Определения — дословно, как спрашивают.
1 Обозначения и логика
Кванторы и связки
∀ \forall ∀ — для любого∃ \exists ∃ — существует∃ ! \exists! ∃ ! — существует единственный⇒ \Rightarrow ⇒ — следует⇔ \Leftrightarrow ⇔ — равносильно: : : или ∣ \mid ∣ — такой, что∧ \wedge ∧ — и∨ \vee ∨ — или¬ \neg ¬ — не
Отрицание кванторов: ¬ ( ∀ x P ) ⟺ ∃ x ¬ P \neg(\forall x\ P)\iff\exists x\ \neg P ¬ ( ∀ x P ) ⟺ ∃ x ¬ P ; ¬ ( ∃ x P ) ⟺ ∀ x ¬ P \quad\neg(\exists x\ P)\iff\forall x\ \neg P ¬ ( ∃ x P ) ⟺ ∀ x ¬ P . Меняешь квантор, отрицание идёт внутрь.
Числовые множества
N = { 1 , 2 , 3 , … } \mathbb N=\{1,2,3,\dots\} N = { 1 , 2 , 3 , … } (ноль не входит) ⊂ Z ⊂ Q ⊂ R ⊂ C \subset\mathbb Z\subset\mathbb Q\subset\mathbb R\subset\mathbb C ⊂ Z ⊂ Q ⊂ R ⊂ C .
Q = { p / q ∣ p ∈ Z , q ∈ N } \mathbb Q=\{p/q\mid p\in\mathbb Z,\ q\in\mathbb N\} Q = { p / q ∣ p ∈ Z , q ∈ N } ; иррациональные — R ∖ Q \mathbb R\setminus\mathbb Q R ∖ Q (2 , π , e \sqrt2,\ \pi,\ e 2 , π , e ).
Промежутки: [ a , b ] [a,b] [ a , b ] , ( a , b ) (a,b) ( a , b ) , [ a , b ) [a,b) [ a , b ) , ( a , + ∞ ) (a,+\infty) ( a , + ∞ ) . R = ( − ∞ , + ∞ ) \mathbb R=(-\infty,+\infty) R = ( − ∞ , + ∞ ) .
Окрестность: U ε ( a ) = ( a − ε , a + ε ) = { x : ∣ x − a ∣ < ε } U_\varepsilon(a)=(a-\varepsilon,a+\varepsilon)=\{x:|x-a|<\varepsilon\} U ε ( a ) = ( a − ε , a + ε ) = { x : ∣ x − a ∣ < ε } ; проколотая U ˙ ε ( a ) = U ε ( a ) ∖ { a } \dot U_\varepsilon(a)=U_\varepsilon(a)\setminus\{a\} U ˙ ε ( a ) = U ε ( a ) ∖ { a } .
Множества
x ∈ A x\in A x ∈ A A ⊂ B A\subset B A ⊂ B — подмножествоA ∪ B A\cup B A ∪ B A ∩ B A\cap B A ∩ B A ∖ B A\setminus B A ∖ B A ‾ = U ∖ A \overline A=U\setminus A A = U ∖ A ∅ \varnothing ∅ A × B = { ( a , b ) } A\times B=\{(a,b)\} A × B = {( a , b )}
Де Морган: A ∪ B ‾ = A ‾ ∩ B ‾ \overline{A\cup B}=\overline A\cap\overline B A ∪ B = A ∩ B , A ∩ B ‾ = A ‾ ∪ B ‾ \overline{A\cap B}=\overline A\cup\overline B A ∩ B = A ∪ B .
A = B ⟺ A ⊂ B ∧ B ⊂ A A=B\iff A\subset B\ \wedge\ B\subset A A = B ⟺ A ⊂ B ∧ B ⊂ A — так доказывают равенство множеств.
Модуль
∣ x ∣ = { x , x ≥ 0 − x , x < 0 ∣ x ∣ = x 2 |x|=\begin{cases}x,&x\ge0\\-x,&x<0\end{cases}\qquad |x|=\sqrt{x^2} ∣ x ∣ = { x , − x , x ≥ 0 x < 0 ∣ x ∣ = x 2
∣ x ∣ < a ⟺ − a < x < a |x|<a\iff -a<x<a ∣ x ∣ < a ⟺ − a < x < a ; ∣ x ∣ > a ⟺ x < − a ∨ x > a \quad|x|>a\iff x<-a\ \vee\ x>a ∣ x ∣ > a ⟺ x < − a ∨ x > a .
∣ a b ∣ = ∣ a ∣ ∣ b ∣ |ab|=|a||b| ∣ ab ∣ = ∣ a ∣∣ b ∣ , ∣ a + b ∣ ≤ ∣ a ∣ + ∣ b ∣ \ |a+b|\le|a|+|b| ∣ a + b ∣ ≤ ∣ a ∣ + ∣ b ∣ (треугольник), ∣ ∣ a ∣ − ∣ b ∣ ∣ ≤ ∣ a − b ∣ \ \big||a|-|b|\big|\le|a-b| ∣ a ∣ − ∣ b ∣ ≤ ∣ a − b ∣ .
∣ x − a ∣ |x-a| ∣ x − a ∣ — расстояние от x x x до a a a . Это язык всех ε \varepsilon ε -определений.
2 Школьная алгебра
Степени и корни
a m a n = a m + n a^m a^n=a^{m+n} a m a n = a m + n , a m a n = a m − n \ \dfrac{a^m}{a^n}=a^{m-n} a n a m = a m − n , ( a m ) n = a m n \ (a^m)^n=a^{mn} ( a m ) n = a mn , ( a b ) n = a n b n \ (ab)^n=a^nb^n ( ab ) n = a n b n , a − n = 1 a n \ a^{-n}=\dfrac1{a^n} a − n = a n 1 , a 0 = 1 \ a^0=1 a 0 = 1 .
a m / n = a m n a^{m/n}=\sqrt[n]{a^m} a m / n = n a m ; a b = a b \ \sqrt{ab}=\sqrt a\sqrt b ab = a b (при a , b ≥ 0 a,b\ge0 a , b ≥ 0 ); a 2 = ∣ a ∣ \ \sqrt{a^2}=|a| a 2 = ∣ a ∣ , а не a a a .
Логарифмы (a > 0 , a ≠ 1 , x , y > 0 a>0,\ a\ne1,\ x,y>0 a > 0 , a = 1 , x , y > 0 )
log a x = y ⟺ a y = x \log_a x=y\iff a^y=x log a x = y ⟺ a y = x ; a log a x = x \ a^{\log_a x}=x a l o g a x = x ; log a 1 = 0 , log a a = 1 \ \log_a1=0,\ \log_aa=1 log a 1 = 0 , log a a = 1 .
log a ( x y ) = log a x + log a y \log_a(xy)=\log_ax+\log_ay log a ( x y ) = log a x + log a y ; log a x y = log a x − log a y \ \log_a\frac xy=\log_ax-\log_ay log a y x = log a x − log a y ; log a x p = p log a x \ \log_ax^p=p\log_ax log a x p = p log a x .
Переход: log a x = log b x log b a = ln x ln a \log_ax=\dfrac{\log_bx}{\log_ba}=\dfrac{\ln x}{\ln a} log a x = log b a log b x = ln a ln x ; log a k x = 1 k log a x \ \log_{a^k}x=\frac1k\log_ax log a k x = k 1 log a x ; a x = e x ln a \ a^x=e^{x\ln a} a x = e x l n a .
Сокращённое умножение
( a ± b ) 2 = a 2 ± 2 a b + b 2 (a\pm b)^2=a^2\pm2ab+b^2 ( a ± b ) 2 = a 2 ± 2 ab + b 2 ; a 2 − b 2 = ( a − b ) ( a + b ) \ a^2-b^2=(a-b)(a+b) a 2 − b 2 = ( a − b ) ( a + b ) ;
( a ± b ) 3 = a 3 ± 3 a 2 b + 3 a b 2 ± b 3 (a\pm b)^3=a^3\pm3a^2b+3ab^2\pm b^3 ( a ± b ) 3 = a 3 ± 3 a 2 b + 3 a b 2 ± b 3 ; a 3 ± b 3 = ( a ± b ) ( a 2 ∓ a b + b 2 ) \ a^3\pm b^3=(a\pm b)(a^2\mp ab+b^2) a 3 ± b 3 = ( a ± b ) ( a 2 ∓ ab + b 2 ) ;
a n − b n = ( a − b ) ( a n − 1 + a n − 2 b + ⋯ + b n − 1 ) a^n-b^n=(a-b)(a^{n-1}+a^{n-2}b+\dots+b^{n-1}) a n − b n = ( a − b ) ( a n − 1 + a n − 2 b + ⋯ + b n − 1 ) .
Бином: ( a + b ) n = ∑ k = 0 n C n k a n − k b k (a+b)^n=\sum_{k=0}^n C_n^k a^{n-k}b^k ( a + b ) n = ∑ k = 0 n C n k a n − k b k , C n k = n ! k ! ( n − k ) ! \ C_n^k=\dfrac{n!}{k!(n-k)!} C n k = k ! ( n − k )! n ! .
Квадратный трёхчлен
a x 2 + b x + c = 0 ax^2+bx+c=0 a x 2 + b x + c = 0 : D = b 2 − 4 a c \ D=b^2-4ac D = b 2 − 4 a c , x 1 , 2 = − b ± D 2 a \ x_{1,2}=\dfrac{-b\pm\sqrt D}{2a} x 1 , 2 = 2 a − b ± D . D < 0 D<0 D < 0 — корней в R \mathbb R R нет.
Виет: x 1 + x 2 = − b a x_1+x_2=-\frac ba x 1 + x 2 = − a b , x 1 x 2 = c a \ x_1x_2=\frac ca x 1 x 2 = a c . Разложение: a x 2 + b x + c = a ( x − x 1 ) ( x − x 2 ) ax^2+bx+c=a(x-x_1)(x-x_2) a x 2 + b x + c = a ( x − x 1 ) ( x − x 2 ) .
Вершина параболы: x 0 = − b 2 a x_0=-\frac b{2a} x 0 = − 2 a b . Выделение квадрата: x 2 + p x + q = ( x + p 2 ) 2 + q − p 2 4 x^2+px+q=(x+\frac p2)^2+q-\frac{p^2}4 x 2 + p x + q = ( x + 2 p ) 2 + q − 4 p 2 .
Метод интервалов
( x − a ) ( x − b ) ( x − c ) ≷ 0 \dfrac{(x-a)(x-b)}{(x-c)}\gtrless0 ( x − c ) ( x − a ) ( x − b ) ≷ 0 : корни и точки разрыва на прямую, знак справа «+» (если все коэффициенты при x x x положительны), при переходе через корень нечётной кратности знак меняется, чётной — нет. Точки, где знаменатель = 0 =0 = 0 , всегда выколоты.
Прогрессии, суммы, факториал
Арифм.: a n = a 1 + ( n − 1 ) d a_n=a_1+(n-1)d a n = a 1 + ( n − 1 ) d , S n = a 1 + a n 2 n \ S_n=\dfrac{a_1+a_n}2n S n = 2 a 1 + a n n . Геом.: b n = b 1 q n − 1 b_n=b_1q^{n-1} b n = b 1 q n − 1 , S n = b 1 q n − 1 q − 1 \ S_n=b_1\dfrac{q^n-1}{q-1} S n = b 1 q − 1 q n − 1 , S ∞ = b 1 1 − q \ S_\infty=\dfrac{b_1}{1-q} S ∞ = 1 − q b 1 при ∣ q ∣ < 1 |q|<1 ∣ q ∣ < 1 .
1 + 2 + ⋯ + n = n ( n + 1 ) 2 1+2+\dots+n=\frac{n(n+1)}2 1 + 2 + ⋯ + n = 2 n ( n + 1 ) ; 1 2 + ⋯ + n 2 = n ( n + 1 ) ( 2 n + 1 ) 6 \ 1^2+\dots+n^2=\frac{n(n+1)(2n+1)}6 1 2 + ⋯ + n 2 = 6 n ( n + 1 ) ( 2 n + 1 ) ; 1 3 + ⋯ + n 3 = ( n ( n + 1 ) 2 ) 2 \ 1^3+\dots+n^3=\big(\frac{n(n+1)}2\big)^2 1 3 + ⋯ + n 3 = ( 2 n ( n + 1 ) ) 2 .
n ! = 1 ⋅ 2 ⋯ n n!=1\cdot2\cdots n n ! = 1 ⋅ 2 ⋯ n , 0 ! = 1 \ 0!=1 0 ! = 1 , ( n + 1 ) ! = ( n + 1 ) n ! \ (n+1)!=(n+1)\,n! ( n + 1 )! = ( n + 1 ) n ! .
Неравенства
О средних (a i ≥ 0 a_i\ge0 a i ≥ 0 ): a 1 + ⋯ + a n n ≥ a 1 ⋯ a n n \ \dfrac{a_1+\dots+a_n}n\ge\sqrt[n]{a_1\cdots a_n} n a 1 + ⋯ + a n ≥ n a 1 ⋯ a n , равенство при всех равных. Частный: a + b ≥ 2 a b a+b\ge2\sqrt{ab} a + b ≥ 2 ab , x + 1 x ≥ 2 \ x+\frac1x\ge2 x + x 1 ≥ 2 при x > 0 x>0 x > 0 .
Бернулли: ( 1 + x ) n ≥ 1 + n x (1+x)^n\ge1+nx ( 1 + x ) n ≥ 1 + n x при x ≥ − 1 x\ge-1 x ≥ − 1 , n ∈ N n\in\mathbb N n ∈ N .
Коши–Буняковский: ( ∑ a i b i ) 2 ≤ ∑ a i 2 ∑ b i 2 (\sum a_ib_i)^2\le\sum a_i^2\sum b_i^2 ( ∑ a i b i ) 2 ≤ ∑ a i 2 ∑ b i 2 .
Индукция
Чтобы доказать P ( n ) ∀ n ≥ n 0 P(n)\ \forall n\ge n_0 P ( n ) ∀ n ≥ n 0 : (1) база — P ( n 0 ) P(n_0) P ( n 0 ) верно; (2) шаг — из P ( k ) P(k) P ( k ) следует P ( k + 1 ) P(k+1) P ( k + 1 ) . Всё. Типичные ошибки: забыть базу; в шаге доказывать P ( k + 1 ) P(k+1) P ( k + 1 ) , не используя P ( k ) P(k) P ( k ) .
3 Тригонометрия
Определения (единичная окружность)
Точка на окружности, повёрнутая на угол t t t : ( cos t , sin t ) (\cos t,\ \sin t) ( cos t , sin t ) . tg t = sin t cos t \ \operatorname{tg}t=\dfrac{\sin t}{\cos t} tg t = cos t sin t (cos t ≠ 0 \cos t\ne0 cos t = 0 ), ctg t = cos t sin t \ \operatorname{ctg}t=\dfrac{\cos t}{\sin t} ctg t = sin t cos t .
Периоды: sin , cos \sin,\cos sin , cos — 2 π 2\pi 2 π ; tg , ctg \operatorname{tg},\operatorname{ctg} tg , ctg — π \pi π . Чётность: cos \cos cos чётный, остальные нечётные.
Радианы: π = 18 0 ∘ \pi=180^\circ π = 18 0 ∘ , 1 рад ≈ 57 , 3 ∘ \ 1\text{ рад}\approx57{,}3^\circ 1 рад ≈ 57 , 3 ∘ , x ∘ = π x 180 \ x^\circ=\frac{\pi x}{180} x ∘ = 180 π x .
Знаки по четвертям
I II III IV
sin \sin sin + + − −
cos \cos cos + − − +
tg , ctg \operatorname{tg},\operatorname{ctg} tg , ctg + − + −
0 π / 6 \pi/6 π /6 (30°)π / 4 \pi/4 π /4 (45°)π / 3 \pi/3 π /3 (60°)π / 2 \pi/2 π /2 (90°)π \pi π 3 π / 2 3\pi/2 3 π /2 2 π 2\pi 2 π
sin \sin sin 0 1 2 \frac12 2 1 2 2 \frac{\sqrt2}2 2 2 3 2 \frac{\sqrt3}2 2 3 1 0 −1 0
cos \cos cos 1 3 2 \frac{\sqrt3}2 2 3 2 2 \frac{\sqrt2}2 2 2 1 2 \frac12 2 1 0 −1 0 1
tg \operatorname{tg} tg 0 1 3 \frac1{\sqrt3} 3 1 1 3 \sqrt3 3 — 0 — 0
ctg \operatorname{ctg} ctg — 3 \sqrt3 3 1 1 3 \frac1{\sqrt3} 3 1 0 — 0 —
Запомнить синусы:
0 2 , 1 2 , 2 2 , 3 2 , 4 2 \frac{\sqrt0}2,\frac{\sqrt1}2,\frac{\sqrt2}2,\frac{\sqrt3}2,\frac{\sqrt4}2 2 0 , 2 1 , 2 2 , 2 3 , 2 4 для
0 , 30 , 45 , 60 , 90 0,30,45,60,90 0 , 30 , 45 , 60 , 90 . Косинусы — те же в обратном порядке.
Основные тождества
sin 2 t + cos 2 t = 1 \sin^2t+\cos^2t=1 sin 2 t + cos 2 t = 1 ; 1 + tg 2 t = 1 cos 2 t \ 1+\operatorname{tg}^2t=\dfrac1{\cos^2t} 1 + tg 2 t = cos 2 t 1 ; 1 + ctg 2 t = 1 sin 2 t \ 1+\operatorname{ctg}^2t=\dfrac1{\sin^2t} 1 + ctg 2 t = sin 2 t 1 ; tg t ⋅ ctg t = 1 \ \operatorname{tg}t\cdot\operatorname{ctg}t=1 tg t ⋅ ctg t = 1 .
Сложение
sin ( α ± β ) = sin α cos β ± cos α sin β \sin(\alpha\pm\beta)=\sin\alpha\cos\beta\pm\cos\alpha\sin\beta sin ( α ± β ) = sin α cos β ± cos α sin β
cos ( α ± β ) = cos α cos β ∓ sin α sin β \cos(\alpha\pm\beta)=\cos\alpha\cos\beta\mp\sin\alpha\sin\beta cos ( α ± β ) = cos α cos β ∓ sin α sin β
tg ( α ± β ) = tg α ± tg β 1 ∓ tg α tg β \operatorname{tg}(\alpha\pm\beta)=\dfrac{\operatorname{tg}\alpha\pm\operatorname{tg}\beta}{1\mp\operatorname{tg}\alpha\operatorname{tg}\beta} tg ( α ± β ) = 1 ∓ tg α tg β tg α ± tg β
Двойной угол, понижение степени
sin 2 t = 2 sin t cos t \sin2t=2\sin t\cos t sin 2 t = 2 sin t cos t ; cos 2 t = cos 2 t − sin 2 t = 2 cos 2 t − 1 = 1 − 2 sin 2 t \ \cos2t=\cos^2t-\sin^2t=2\cos^2t-1=1-2\sin^2t cos 2 t = cos 2 t − sin 2 t = 2 cos 2 t − 1 = 1 − 2 sin 2 t ; tg 2 t = 2 tg t 1 − tg 2 t \ \operatorname{tg}2t=\dfrac{2\operatorname{tg}t}{1-\operatorname{tg}^2t} tg 2 t = 1 − tg 2 t 2 tg t .
sin 2 t = 1 − cos 2 t 2 \sin^2t=\dfrac{1-\cos2t}2 sin 2 t = 2 1 − cos 2 t , cos 2 t = 1 + cos 2 t 2 \ \cos^2t=\dfrac{1+\cos2t}2 cos 2 t = 2 1 + cos 2 t .
Половинный: tg t 2 = sin t 1 + cos t = 1 − cos t sin t \operatorname{tg}\frac t2=\dfrac{\sin t}{1+\cos t}=\dfrac{1-\cos t}{\sin t} tg 2 t = 1 + cos t sin t = sin t 1 − cos t .
Сумма ↔ произведение
sin α ± sin β = 2 sin α ± β 2 cos α ∓ β 2 \sin\alpha\pm\sin\beta=2\sin\frac{\alpha\pm\beta}2\cos\frac{\alpha\mp\beta}2 sin α ± sin β = 2 sin 2 α ± β cos 2 α ∓ β
cos α + cos β = 2 cos α + β 2 cos α − β 2 \cos\alpha+\cos\beta=2\cos\frac{\alpha+\beta}2\cos\frac{\alpha-\beta}2 cos α + cos β = 2 cos 2 α + β cos 2 α − β , cos α − cos β = − 2 sin α + β 2 sin α − β 2 \ \cos\alpha-\cos\beta=-2\sin\frac{\alpha+\beta}2\sin\frac{\alpha-\beta}2 cos α − cos β = − 2 sin 2 α + β sin 2 α − β
sin α cos β = 1 2 [ sin ( α − β ) + sin ( α + β ) ] \sin\alpha\cos\beta=\frac12[\sin(\alpha-\beta)+\sin(\alpha+\beta)] sin α cos β = 2 1 [ sin ( α − β ) + sin ( α + β )] ; cos α cos β = 1 2 [ cos ( α − β ) + cos ( α + β ) ] \ \cos\alpha\cos\beta=\frac12[\cos(\alpha-\beta)+\cos(\alpha+\beta)] cos α cos β = 2 1 [ cos ( α − β ) + cos ( α + β )] ; sin α sin β = 1 2 [ cos ( α − β ) − cos ( α + β ) ] \ \sin\alpha\sin\beta=\frac12[\cos(\alpha-\beta)-\cos(\alpha+\beta)] sin α sin β = 2 1 [ cos ( α − β ) − cos ( α + β )]
Формулы приведения
Правило: для π ± t , 2 π ± t \pi\pm t,\ 2\pi\pm t π ± t , 2 π ± t функция не меняется; для π 2 ± t , 3 π 2 ± t \frac\pi2\pm t,\ \frac{3\pi}2\pm t 2 π ± t , 2 3 π ± t — меняется на кофункцию (sin ↔ cos \sin\leftrightarrow\cos sin ↔ cos , tg ↔ ctg \operatorname{tg}\leftrightarrow\operatorname{ctg} tg ↔ ctg ). Знак — тот, который имеет исходная функция в этой четверти (считая t t t острым).
Частые: sin ( π 2 − t ) = cos t \sin(\frac\pi2-t)=\cos t sin ( 2 π − t ) = cos t , cos ( π 2 − t ) = sin t \ \cos(\frac\pi2-t)=\sin t cos ( 2 π − t ) = sin t , sin ( π − t ) = sin t \ \sin(\pi-t)=\sin t sin ( π − t ) = sin t , cos ( π − t ) = − cos t \ \cos(\pi-t)=-\cos t cos ( π − t ) = − cos t , sin ( t + π ) = − sin t \ \sin(t+\pi)=-\sin t sin ( t + π ) = − sin t , cos ( t + π ) = − cos t \ \cos(t+\pi)=-\cos t cos ( t + π ) = − cos t .
Обратные функции
функция область опр. значения
arcsin x \arcsin x arcsin x [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] [ − π 2 , π 2 ] [-\frac\pi2,\frac\pi2] [ − 2 π , 2 π ]
arccos x \arccos x arccos x [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] [ 0 , π ] [0,\pi] [ 0 , π ]
arctg x \operatorname{arctg}x arctg x R \mathbb R R ( − π 2 , π 2 ) (-\frac\pi2,\frac\pi2) ( − 2 π , 2 π )
arcctg x \operatorname{arcctg}x arcctg x R \mathbb R R ( 0 , π ) (0,\pi) ( 0 , π )
arcsin ( − x ) = − arcsin x \arcsin(-x)=-\arcsin x arcsin ( − x ) = − arcsin x , arccos ( − x ) = π − arccos x \ \arccos(-x)=\pi-\arccos x arccos ( − x ) = π − arccos x , arcsin x + arccos x = π 2 \ \arcsin x+\arccos x=\frac\pi2 arcsin x + arccos x = 2 π , arctg x + arcctg x = π 2 \ \operatorname{arctg}x+\operatorname{arcctg}x=\frac\pi2 arctg x + arcctg x = 2 π .
Простейшие уравнения (n ∈ Z n\in\mathbb Z n ∈ Z )
sin x = a ( ∣ a ∣ ≤ 1 ) \sin x=a\ (|a|\le1) sin x = a ( ∣ a ∣ ≤ 1 ) : x = ( − 1 ) n arcsin a + π n \ x=(-1)^n\arcsin a+\pi n x = ( − 1 ) n arcsin a + πn
cos x = a ( ∣ a ∣ ≤ 1 ) \cos x=a\ (|a|\le1) cos x = a ( ∣ a ∣ ≤ 1 ) : x = ± arccos a + 2 π n \ x=\pm\arccos a+2\pi n x = ± arccos a + 2 πn
tg x = a \operatorname{tg}x=a tg x = a : x = arctg a + π n \ x=\operatorname{arctg}a+\pi n x = arctg a + πn
ctg x = a \operatorname{ctg}x=a ctg x = a : x = arcctg a + π n \ x=\operatorname{arcctg}a+\pi n x = arcctg a + πn
Частные: sin x = 0 ⇒ x = π n \sin x=0\Rightarrow x=\pi n sin x = 0 ⇒ x = πn ; sin x = 1 ⇒ x = π 2 + 2 π n \ \sin x=1\Rightarrow x=\frac\pi2+2\pi n sin x = 1 ⇒ x = 2 π + 2 πn ; cos x = 0 ⇒ x = π 2 + π n \ \cos x=0\Rightarrow x=\frac\pi2+\pi n cos x = 0 ⇒ x = 2 π + πn ; cos x = 1 ⇒ x = 2 π n \ \cos x=1\Rightarrow x=2\pi n cos x = 1 ⇒ x = 2 πn .
Гиперболические (встретятся в производных и Тейлоре)
sh x = e x − e − x 2 \operatorname{sh}x=\dfrac{e^x-e^{-x}}2 sh x = 2 e x − e − x , ch x = e x + e − x 2 \ \operatorname{ch}x=\dfrac{e^x+e^{-x}}2 ch x = 2 e x + e − x , th x = sh x ch x \ \operatorname{th}x=\dfrac{\operatorname{sh}x}{\operatorname{ch}x} th x = ch x sh x ; ch 2 x − sh 2 x = 1 \ \operatorname{ch}^2x-\operatorname{sh}^2x=1 ch 2 x − sh 2 x = 1 ; ( sh x ) ′ = ch x \ (\operatorname{sh}x)'=\operatorname{ch}x ( sh x ) ′ = ch x , ( ch x ) ′ = sh x \ (\operatorname{ch}x)'=\operatorname{sh}x ( ch x ) ′ = sh x .
4 Множества чисел, sup и inf
Ограниченность. X X X ограничено сверху
⟺ ∃ M ∀ x ∈ X : x ≤ M \iff\exists M\ \forall x\in X:\ x\le M ⟺ ∃ M ∀ x ∈ X : x ≤ M . Снизу —
∃ m ∀ x ∈ X : x ≥ m \exists m\ \forall x\in X:\ x\ge m ∃ m ∀ x ∈ X : x ≥ m . Ограничено
⟺ ∃ C ∀ x ∈ X : ∣ x ∣ ≤ C \iff\exists C\ \forall x\in X:\ |x|\le C ⟺ ∃ C ∀ x ∈ X : ∣ x ∣ ≤ C .
Точная верхняя грань. M = sup X M=\sup X M = sup X , если (1)
∀ x ∈ X : x ≤ M \forall x\in X:\ x\le M ∀ x ∈ X : x ≤ M и (2)
∀ ε > 0 ∃ x ′ ∈ X : x ′ > M − ε \forall\varepsilon>0\ \exists x'\in X:\ x'>M-\varepsilon ∀ ε > 0 ∃ x ′ ∈ X : x ′ > M − ε . Иначе: наименьшая из верхних границ.
Точная нижняя грань. m = inf X m=\inf X m = inf X , если (1)
∀ x ∈ X : x ≥ m \forall x\in X:\ x\ge m ∀ x ∈ X : x ≥ m и (2)
∀ ε > 0 ∃ x ′ ∈ X : x ′ < m + ε \forall\varepsilon>0\ \exists x'\in X:\ x'<m+\varepsilon ∀ ε > 0 ∃ x ′ ∈ X : x ′ < m + ε .
Не ограничено сверху — пишут
sup X = + ∞ \sup X=+\infty sup X = + ∞ ; снизу —
inf X = − ∞ \inf X=-\infty inf X = − ∞ .
Теорема о гранях (полнота R \mathbb R R ). Всякое непустое ограниченное сверху множество
X ⊂ R X\subset\mathbb R X ⊂ R имеет
sup X ∈ R \sup X\in\mathbb R sup X ∈ R (аналогично снизу —
inf \inf inf ). В
Q \mathbb Q Q неверно:
{ x ∈ Q : x 2 < 2 } \{x\in\mathbb Q: x^2<2\} { x ∈ Q : x 2 < 2 } .
max X \max X max X — элемент множества;
sup X \sup X sup X — число, которое может в
X X X не лежать. Есть
max ⇒ sup = max \max\Rightarrow\sup=\max max ⇒ sup = max .
X = ( 0 , 1 ) X=(0,1) X = ( 0 , 1 ) :
sup = 1 \sup=1 sup = 1 ,
max \max max нет. Конечное множество:
max = sup \max=\sup max = sup ,
min = inf \min=\inf min = inf всегда.
5 Последовательности
Предел (ε \varepsilon ε –N N N ). lim n → ∞ x n = a ⟺ ∀ ε > 0 ∃ N ∀ n > N : ∣ x n − a ∣ < ε \lim\limits_{n\to\infty}x_n=a\iff\ \forall\varepsilon>0\ \ \exists N\ \ \forall n>N:\ \ |x_n-a|<\varepsilon n → ∞ lim x n = a ⟺ ∀ ε > 0 ∃ N ∀ n > N : ∣ x n − a ∣ < ε .
Словами: какую бы окрестность
a a a ни взять, все члены, начиная с некоторого номера, в ней.
Отрицание (
a a a — не предел):
∃ ε > 0 ∀ N ∃ n > N : ∣ x n − a ∣ ≥ ε \exists\varepsilon>0\ \forall N\ \exists n>N:\ |x_n-a|\ge\varepsilon ∃ ε > 0 ∀ N ∃ n > N : ∣ x n − a ∣ ≥ ε .
Бесконечный предел: x n → + ∞ ⟺ ∀ E ∃ N ∀ n > N : x n > E x_n\to+\infty\iff\forall E\ \exists N\ \forall n>N:\ x_n>E x n → + ∞ ⟺ ∀ E ∃ N ∀ n > N : x n > E . Такая последовательность —
расходящаяся , но говорят «стремится к бесконечности».
Бесконечно малая: α n → 0 \alpha_n\to0 α n → 0 .
Бесконечно большая: ∣ x n ∣ → + ∞ |x_n|\to+\infty ∣ x n ∣ → + ∞ . Связь:
x n → a ⟺ x n = a + α n x_n\to a\iff x_n=a+\alpha_n x n → a ⟺ x n = a + α n ,
α n → 0 \alpha_n\to0 α n → 0 ;
x n \ x_n x n б.б.
⟺ 1 / x n \iff 1/x_n ⟺ 1/ x n б.м. (для
x n ≠ 0 x_n\ne0 x n = 0 ).
Монотонность. Возрастает:
x n + 1 ≥ x n ∀ n x_{n+1}\ge x_n\ \forall n x n + 1 ≥ x n ∀ n (строго:
> > > ). Убывает —
≤ \le ≤ . Проверять: знак
x n + 1 − x n x_{n+1}-x_n x n + 1 − x n или (для положительных) сравнение
x n + 1 / x n x_{n+1}/x_n x n + 1 / x n с 1.
Подпоследовательность: x n k x_{n_k} x n k , где
n 1 < n 2 < … n_1<n_2<\dots n 1 < n 2 < … .
Частичный предел — предел какой-нибудь подпоследовательности.
lim ‾ x n \overline{\lim}\,x_n lim x n — наибольший частичный предел,
lim ‾ x n \underline{\lim}\,x_n lim x n — наименьший. Предел существует
⟺ lim ‾ = lim ‾ \iff\overline{\lim}=\underline{\lim} ⟺ lim = lim .
Теоремы
Единственность. Предел, если существует, один.
Ограниченность. Сходящаяся последовательность ограничена. Обратно неверно:
( − 1 ) n (-1)^n ( − 1 ) n .
Арифметика. x n → a , y n → b ⇒ x n ± y n → a ± b x_n\to a,\ y_n\to b\Rightarrow x_n\pm y_n\to a\pm b x n → a , y n → b ⇒ x n ± y n → a ± b ,
x n y n → a b x_ny_n\to ab x n y n → ab ,
x n / y n → a / b x_n/y_n\to a/b x n / y n → a / b (
b ≠ 0 b\ne0 b = 0 ).
Предельный переход в неравенстве. x n ≤ y n ∀ n x_n\le y_n\ \forall n x n ≤ y n ∀ n , пределы есть
⇒ a ≤ b \Rightarrow a\le b ⇒ a ≤ b . Строгое неравенство может стать нестрогим:
1 / n > 0 1/n>0 1/ n > 0 , но предел
= 0 =0 = 0 .
О двух милиционерах (зажатая). x n ≤ z n ≤ y n x_n\le z_n\le y_n x n ≤ z n ≤ y n ,
x n → a x_n\to a x n → a ,
y n → a ⇒ z n → a y_n\to a\Rightarrow z_n\to a y n → a ⇒ z n → a .
Вейерштрасс. Монотонная и ограниченная последовательность сходится (возрастающая — к
sup \sup sup , убывающая — к
inf \inf inf ).
Больцано–Вейерштрасс. Из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность.
Критерий Коши. x n x_n x n сходится
⟺ ∀ ε > 0 ∃ N ∀ n , m > N : ∣ x n − x m ∣ < ε \iff\forall\varepsilon>0\ \exists N\ \forall n,m>N:\ |x_n-x_m|<\varepsilon ⟺ ∀ ε > 0 ∃ N ∀ n , m > N : ∣ x n − x m ∣ < ε . (Фундаментальность.)
Штольц. y n ↑ + ∞ y_n\uparrow+\infty y n ↑ + ∞ строго,
x n + 1 − x n y n + 1 − y n → L ⇒ x n y n → L \dfrac{x_{n+1}-x_n}{y_{n+1}-y_n}\to L\ \Rightarrow\ \dfrac{x_n}{y_n}\to L y n + 1 − y n x n + 1 − x n → L ⇒ y n x n → L . Дискретный Лопиталь.
Число e e e . ( 1 + 1 n ) n \big(1+\frac1n\big)^n ( 1 + n 1 ) n возрастает, ограничена,
→ e ≈ 2 , 71828 \to e\approx2{,}71828 → e ≈ 2 , 71828 . Общее:
( 1 + a n ) n → e a \big(1+\frac{a}{n}\big)^n\to e^a ( 1 + n a ) n → e a ;
( 1 + 1 x n ) x n → e \ \big(1+\frac1{x_n}\big)^{x_n}\to e ( 1 + x n 1 ) x n → e при
x n → ∞ x_n\to\infty x n → ∞ .
Табличные пределы
1 n α → 0 ( α > 0 ) \dfrac1{n^\alpha}\to0\ (\alpha>0) n α 1 → 0 ( α > 0 )
q n → 0 ( ∣ q ∣ < 1 ) q^n\to0\ (|q|<1) q n → 0 ( ∣ q ∣ < 1 )
a n → 1 ( a > 0 ) \sqrt[n]{a}\to1\ (a>0) n a → 1 ( a > 0 )
n n → 1 \sqrt[n]{n}\to1 n n → 1
n k a n → 0 ( a > 1 ) \dfrac{n^k}{a^n}\to0\ (a>1) a n n k → 0 ( a > 1 )
a n n ! → 0 \dfrac{a^n}{n!}\to0 n ! a n → 0
n ! n n → 0 \dfrac{n!}{n^n}\to0 n n n ! → 0
log a n n α → 0 ( α > 0 ) \dfrac{\log_a n}{n^\alpha}\to0\ (\alpha>0) n α log a n → 0 ( α > 0 )
n n ! n → e \dfrac{n}{\sqrt[n]{n!}}\to e n n ! n → e
( 1 + 1 n ) n → e \Big(1+\dfrac1n\Big)^n\to e ( 1 + n 1 ) n → e
Иерархия роста при n → ∞ n\to\infty n → ∞ : log n ≪ n α ≪ a n ≪ n ! ≪ n n \ \log n\ \ll\ n^\alpha\ \ll\ a^n\ \ll\ n!\ \ll\ n^n log n ≪ n α ≪ a n ≪ n ! ≪ n n (α > 0 , a > 1 \alpha>0,\ a>1 α > 0 , a > 1 ). Что правее — «сильнее», отношение левого к правому → 0 \to0 → 0 .
Многочлены: a k n k + … b m n m + … → { 0 , k < m a k / b m , k = m ∞ , k > m \dfrac{a_kn^k+\dots}{b_mn^m+\dots}\to\begin{cases}0,&k<m\\ a_k/b_m,&k=m\\ \infty,&k>m\end{cases} b m n m + … a k n k + … → ⎩ ⎨ ⎧ 0 , a k / b m , ∞ , k < m k = m k > m — делить на старшую степень.
Разность корней: n + 1 − n = 1 n + 1 + n → 0 \sqrt{n+1}-\sqrt n=\dfrac1{\sqrt{n+1}+\sqrt n}\to0 n + 1 − n = n + 1 + n 1 → 0 — умножить на сопряжённое.
6 Предел функции
По Коши (ε \varepsilon ε –δ \delta δ ). lim x → a f ( x ) = A ⟺ ∀ ε > 0 ∃ δ > 0 ∀ x : 0 < ∣ x − a ∣ < δ ⇒ ∣ f ( x ) − A ∣ < ε \lim\limits_{x\to a}f(x)=A\iff\forall\varepsilon>0\ \exists\delta>0\ \forall x:\ 0<|x-a|<\delta\Rightarrow|f(x)-A|<\varepsilon x → a lim f ( x ) = A ⟺ ∀ ε > 0 ∃ δ > 0 ∀ x : 0 < ∣ x − a ∣ < δ ⇒ ∣ f ( x ) − A ∣ < ε .
По Гейне. lim x → a f ( x ) = A ⟺ \lim\limits_{x\to a}f(x)=A\iff x → a lim f ( x ) = A ⟺ для любой последовательности
x n → a x_n\to a x n → a ,
x n ≠ a x_n\ne a x n = a :
f ( x n ) → A f(x_n)\to A f ( x n ) → A . Определения эквивалентны. Гейне — чтобы доказывать, что предела
нет : две последовательности с разными пределами
f ( x n ) f(x_n) f ( x n ) .
Односторонние: f ( a − 0 ) = lim x → a − f f(a-0)=\lim_{x\to a^-}f f ( a − 0 ) = lim x → a − f ,
f ( a + 0 ) = lim x → a + f f(a+0)=\lim_{x\to a^+}f f ( a + 0 ) = lim x → a + f . Предел существует
⟺ \iff ⟺ оба односторонних существуют и равны.
На бесконечности: lim x → + ∞ f = A ⟺ ∀ ε ∃ E ∀ x > E : ∣ f ( x ) − A ∣ < ε \lim_{x\to+\infty}f=A\iff\forall\varepsilon\ \exists E\ \forall x>E:\ |f(x)-A|<\varepsilon lim x → + ∞ f = A ⟺ ∀ ε ∃ E ∀ x > E : ∣ f ( x ) − A ∣ < ε .
Свойства те же, что для последовательностей: единственность, арифметика, зажатая, локальная ограниченность, предельный переход в неравенстве. Плюс: предел сложной функции — если
g ( x ) → b g(x)\to b g ( x ) → b при
x → a x\to a x → a и
f f f непрерывна в
b b b , то
f ( g ( x ) ) → f ( b ) f(g(x))\to f(b) f ( g ( x )) → f ( b ) .
Замечательные пределы
lim x → 0 sin x x = 1 \lim\limits_{x\to0}\dfrac{\sin x}{x}=1 x → 0 lim x sin x = 1
lim x → 0 ( 1 + x ) 1 / x = e \lim\limits_{x\to0}(1+x)^{1/x}=e x → 0 lim ( 1 + x ) 1/ x = e , lim x → ∞ ( 1 + 1 x ) x = e \quad\lim\limits_{x\to\infty}\Big(1+\dfrac1x\Big)^x=e x → ∞ lim ( 1 + x 1 ) x = e
Следствия: lim x → 0 ln ( 1 + x ) x = 1 \lim\limits_{x\to0}\dfrac{\ln(1+x)}x=1 x → 0 lim x ln ( 1 + x ) = 1 , lim x → 0 e x − 1 x = 1 \ \lim\limits_{x\to0}\dfrac{e^x-1}x=1 x → 0 lim x e x − 1 = 1 , lim x → 0 a x − 1 x = ln a \ \lim\limits_{x\to0}\dfrac{a^x-1}x=\ln a x → 0 lim x a x − 1 = ln a , lim x → 0 ( 1 + x ) α − 1 x = α \ \lim\limits_{x\to0}\dfrac{(1+x)^\alpha-1}x=\alpha x → 0 lim x ( 1 + x ) α − 1 = α .
Степенно-показательные: f g = e g ln f f^g=e^{g\ln f} f g = e g l n f ; при f → 1 , g → ∞ f\to1,\ g\to\infty f → 1 , g → ∞ : lim f g = e lim g ( f − 1 ) \ \lim f^g=e^{\lim g(f-1)} lim f g = e l i m g ( f − 1 ) .
Эквивалентности при x → 0 x\to0 x → 0
sin x ∼ x \sin x\sim x sin x ∼ x tg x ∼ x \operatorname{tg}x\sim x tg x ∼ x arcsin x ∼ x \arcsin x\sim x arcsin x ∼ x arctg x ∼ x \operatorname{arctg}x\sim x arctg x ∼ x
1 − cos x ∼ x 2 2 1-\cos x\sim\dfrac{x^2}2 1 − cos x ∼ 2 x 2 e x − 1 ∼ x e^x-1\sim x e x − 1 ∼ x a x − 1 ∼ x ln a a^x-1\sim x\ln a a x − 1 ∼ x ln a
ln ( 1 + x ) ∼ x \ln(1+x)\sim x ln ( 1 + x ) ∼ x log a ( 1 + x ) ∼ x ln a \log_a(1+x)\sim\dfrac{x}{\ln a} log a ( 1 + x ) ∼ ln a x ( 1 + x ) α − 1 ∼ α x (1+x)^\alpha-1\sim\alpha x ( 1 + x ) α − 1 ∼ αx
1 + x n − 1 ∼ x n \sqrt[n]{1+x}-1\sim\dfrac xn n 1 + x − 1 ∼ n x sh x ∼ x \operatorname{sh}x\sim x sh x ∼ x ch x − 1 ∼ x 2 2 \operatorname{ch}x-1\sim\dfrac{x^2}2 ch x − 1 ∼ 2 x 2
Вместо x x x можно подставлять любую б.м. α ( x ) \alpha(x) α ( x ) : sin 3 x 2 ∼ 3 x 2 \sin 3x^2\sim3x^2 sin 3 x 2 ∼ 3 x 2 .
Заменять эквивалентными можно
множители и делители , но не слагаемые:
sin x − x x 3 ≠ x − x x 3 \dfrac{\sin x-x}{x^3}\ne\dfrac{x-x}{x^3} x 3 sin x − x = x 3 x − x . Для сумм — Тейлор.
o o o -малое и O O O -большое
f = o ( g ) f=o(g) f = o ( g ) при x → a ⟺ f / g → 0 x\to a\iff f/g\to0 x → a ⟺ f / g → 0 . f ∼ g ⟺ f / g → 1 ⟺ f = g + o ( g ) \ f\sim g\iff f/g\to1\iff f=g+o(g) f ∼ g ⟺ f / g → 1 ⟺ f = g + o ( g ) . f = O ( g ) ⟺ ∣ f ∣ ≤ C ∣ g ∣ \ f=O(g)\iff |f|\le C|g| f = O ( g ) ⟺ ∣ f ∣ ≤ C ∣ g ∣ в окрестности.
Правила: o ( x n ) ± o ( x n ) = o ( x n ) o(x^n)\pm o(x^n)=o(x^n) o ( x n ) ± o ( x n ) = o ( x n ) ; x m ⋅ o ( x n ) = o ( x m + n ) \ x^m\cdot o(x^n)=o(x^{m+n}) x m ⋅ o ( x n ) = o ( x m + n ) ; o ( x n ) = o ( x m ) \ o(x^n)=o(x^m) o ( x n ) = o ( x m ) при m < n m<n m < n (можно «огрубить»); C ⋅ o ( x n ) = o ( x n ) \ C\cdot o(x^n)=o(x^n) C ⋅ o ( x n ) = o ( x n ) .
Порядок малости: f f f — б.м. порядка k k k относительно x x x , если f ∼ C x k f\sim Cx^k f ∼ C x k .
7 Непрерывность
Непрерывность в точке. f f f непрерывна в
a ⟺ lim x → a f ( x ) = f ( a ) a\iff\lim\limits_{x\to a}f(x)=f(a) a ⟺ x → a lim f ( x ) = f ( a ) , то есть
∀ ε > 0 ∃ δ > 0 ∀ x : ∣ x − a ∣ < δ ⇒ ∣ f ( x ) − f ( a ) ∣ < ε \forall\varepsilon>0\ \exists\delta>0\ \forall x:\ |x-a|<\delta\Rightarrow|f(x)-f(a)|<\varepsilon ∀ ε > 0 ∃ δ > 0 ∀ x : ∣ x − a ∣ < δ ⇒ ∣ f ( x ) − f ( a ) ∣ < ε . Равносильно:
f ( a − 0 ) = f ( a + 0 ) = f ( a ) f(a-0)=f(a+0)=f(a) f ( a − 0 ) = f ( a + 0 ) = f ( a ) . Равносильно:
Δ y → 0 \Delta y\to0 Δ y → 0 при
Δ x → 0 \Delta x\to0 Δ x → 0 .
Точки разрыва.
I рода: оба односторонних предела конечны.
Устранимый — они равны, но
≠ f ( a ) \ne f(a) = f ( a ) или
f ( a ) f(a) f ( a ) не определено (
sin x x \frac{\sin x}x x s i n x в 0).
Скачок — не равны (
sgn x \operatorname{sgn}x sgn x ,
[ x ] [x] [ x ] ).
II рода: хотя бы один односторонний предел бесконечен или не существует (
1 x \frac1x x 1 ,
sin 1 x \sin\frac1x sin x 1 в 0).
Арифметика. Сумма, произведение, частное (знаменатель
≠ 0 \ne0 = 0 ) и композиция непрерывных непрерывны. Все элементарные функции непрерывны в своей области определения.
Вейерштрасс. Непрерывная на
[ a , b ] [a,b] [ a , b ] функция ограничена и достигает
max \max max и
min \min min .
Больцано–Коши. Непрерывная на
[ a , b ] [a,b] [ a , b ] ,
f ( a ) f ( b ) < 0 ⇒ ∃ c ∈ ( a , b ) : f ( c ) = 0 f(a)f(b)<0\Rightarrow\exists c\in(a,b):\ f(c)=0 f ( a ) f ( b ) < 0 ⇒ ∃ c ∈ ( a , b ) : f ( c ) = 0 . Общее: принимает все значения между
f ( a ) f(a) f ( a ) и
f ( b ) f(b) f ( b ) .
Обратная функция. Непрерывная строго монотонная на промежутке имеет непрерывную строго монотонную обратную.
Равномерная непрерывность (Кантор). Непрерывная на
[ a , b ] [a,b] [ a , b ] равномерно непрерывна:
∀ ε ∃ δ ∀ x ′ , x ′ ′ : ∣ x ′ − x ′ ′ ∣ < δ ⇒ ∣ f ( x ′ ) − f ( x ′ ′ ) ∣ < ε \forall\varepsilon\ \exists\delta\ \forall x',x'':\ |x'-x''|<\delta\Rightarrow|f(x')-f(x'')|<\varepsilon ∀ ε ∃ δ ∀ x ′ , x ′′ : ∣ x ′ − x ′′ ∣ < δ ⇒ ∣ f ( x ′ ) − f ( x ′′ ) ∣ < ε —
δ \delta δ одна на весь отрезок.
8 Производная
Определение. f ′ ( x 0 ) = lim Δ x → 0 f ( x 0 + Δ x ) − f ( x 0 ) Δ x = lim x → x 0 f ( x ) − f ( x 0 ) x − x 0 f'(x_0)=\lim\limits_{\Delta x\to0}\dfrac{f(x_0+\Delta x)-f(x_0)}{\Delta x}=\lim\limits_{x\to x_0}\dfrac{f(x)-f(x_0)}{x-x_0} f ′ ( x 0 ) = Δ x → 0 lim Δ x f ( x 0 + Δ x ) − f ( x 0 ) = x → x 0 lim x − x 0 f ( x ) − f ( x 0 ) .
Дифференцируемость: Δ y = A Δ x + o ( Δ x ) \Delta y=A\Delta x+o(\Delta x) Δ y = A Δ x + o ( Δ x ) ; тогда
A = f ′ ( x 0 ) A=f'(x_0) A = f ′ ( x 0 ) ,
d y = f ′ ( x ) d x dy=f'(x)\,dx d y = f ′ ( x ) d x . Дифференцируема
⇒ \Rightarrow ⇒ непрерывна; обратно нет (
∣ x ∣ |x| ∣ x ∣ в 0).
Геометрия: f ′ ( x 0 ) = tg f'(x_0)=\operatorname{tg} f ′ ( x 0 ) = tg угла наклона касательной. Касательная:
y = f ( x 0 ) + f ′ ( x 0 ) ( x − x 0 ) y=f(x_0)+f'(x_0)(x-x_0) y = f ( x 0 ) + f ′ ( x 0 ) ( x − x 0 ) . Нормаль:
y = f ( x 0 ) − 1 f ′ ( x 0 ) ( x − x 0 ) y=f(x_0)-\frac1{f'(x_0)}(x-x_0) y = f ( x 0 ) − f ′ ( x 0 ) 1 ( x − x 0 ) .
Физика: скорость
v = s ′ ( t ) v=s'(t) v = s ′ ( t ) , ускорение
a = v ′ ( t ) = s ′ ′ ( t ) a=v'(t)=s''(t) a = v ′ ( t ) = s ′′ ( t ) .
Таблица производных
C C C 0 0 0 x α x^\alpha x α α x α − 1 \alpha x^{\alpha-1} α x α − 1
x \sqrt x x 1 2 x \dfrac1{2\sqrt x} 2 x 1 1 x \dfrac1x x 1 − 1 x 2 -\dfrac1{x^2} − x 2 1
e x e^x e x e x e^x e x a x a^x a x a x ln a a^x\ln a a x ln a
ln x \ln x ln x 1 x \dfrac1x x 1 log a x \log_ax log a x 1 x ln a \dfrac1{x\ln a} x ln a 1
sin x \sin x sin x cos x \cos x cos x cos x \cos x cos x − sin x -\sin x − sin x
tg x \operatorname{tg}x tg x 1 cos 2 x \dfrac1{\cos^2x} cos 2 x 1 ctg x \operatorname{ctg}x ctg x − 1 sin 2 x -\dfrac1{\sin^2x} − sin 2 x 1
arcsin x \arcsin x arcsin x 1 1 − x 2 \dfrac1{\sqrt{1-x^2}} 1 − x 2 1 arccos x \arccos x arccos x − 1 1 − x 2 -\dfrac1{\sqrt{1-x^2}} − 1 − x 2 1
arctg x \operatorname{arctg}x arctg x 1 1 + x 2 \dfrac1{1+x^2} 1 + x 2 1 arcctg x \operatorname{arcctg}x arcctg x − 1 1 + x 2 -\dfrac1{1+x^2} − 1 + x 2 1
sh x \operatorname{sh}x sh x ch x \operatorname{ch}x ch x ch x \operatorname{ch}x ch x sh x \operatorname{sh}x sh x
th x \operatorname{th}x th x 1 ch 2 x \dfrac1{\operatorname{ch}^2x} ch 2 x 1 ∣ x ∣ |x| ∣ x ∣ sgn x , x ≠ 0 \operatorname{sgn}x,\ x\ne0 sgn x , x = 0
Правила
( u ± v ) ′ = u ′ ± v ′ (u\pm v)'=u'\pm v' ( u ± v ) ′ = u ′ ± v ′ ; ( C u ) ′ = C u ′ \ (Cu)'=Cu' ( C u ) ′ = C u ′
( u v ) ′ = u ′ v + u v ′ (uv)'=u'v+uv' ( uv ) ′ = u ′ v + u v ′ ; ( u v w ) ′ = u ′ v w + u v ′ w + u v w ′ \ (uvw)'=u'vw+uv'w+uvw' ( uv w ) ′ = u ′ v w + u v ′ w + uv w ′
( u v ) ′ = u ′ v − u v ′ v 2 \Big(\dfrac uv\Big)'=\dfrac{u'v-uv'}{v^2} ( v u ) ′ = v 2 u ′ v − u v ′
Сложная: ( f ( g ( x ) ) ) ′ = f ′ ( g ( x ) ) ⋅ g ′ ( x ) \big(f(g(x))\big)'=f'(g(x))\cdot g'(x) ( f ( g ( x )) ) ′ = f ′ ( g ( x )) ⋅ g ′ ( x ) — «внешняя по внутренней, умножить на внутреннюю».
Обратная: ( f − 1 ) ′ ( y ) = 1 f ′ ( x ) (f^{-1})'(y)=\dfrac1{f'(x)} ( f − 1 ) ′ ( y ) = f ′ ( x ) 1 , x y ′ = 1 y x ′ \ x_y'=\dfrac1{y_x'} x y ′ = y x ′ 1 .
Параметрическая x = x ( t ) , y = y ( t ) x=x(t),\ y=y(t) x = x ( t ) , y = y ( t ) : y x ′ = y t ′ x t ′ \ y_x'=\dfrac{y_t'}{x_t'} y x ′ = x t ′ y t ′ , y x x ′ ′ = ( y x ′ ) t ′ x t ′ \ y_{xx}''=\dfrac{(y_x')_t'}{x_t'} y xx ′′ = x t ′ ( y x ′ ) t ′ .
Логарифмическая (для u v u^v u v , длинных произведений): ( ln y ) ′ = y ′ y ⇒ y ′ = y ( ln y ) ′ \ (\ln y)'=\dfrac{y'}y\Rightarrow y'=y\,(\ln y)' ( ln y ) ′ = y y ′ ⇒ y ′ = y ( ln y ) ′ . Пример: ( x x ) ′ = x x ( ln x + 1 ) (x^x)'=x^x(\ln x+1) ( x x ) ′ = x x ( ln x + 1 ) .
Неявная: дифференцируешь F ( x , y ) = 0 F(x,y)=0 F ( x , y ) = 0 по x x x , считая y = y ( x ) y=y(x) y = y ( x ) , и выражаешь y ′ y' y ′ .
Высшие: f ( n ) = ( f ( n − 1 ) ) ′ f^{(n)}=(f^{(n-1)})' f ( n ) = ( f ( n − 1 ) ) ′ . Лейбниц: ( u v ) ( n ) = ∑ k = 0 n C n k u ( n − k ) v ( k ) (uv)^{(n)}=\sum_{k=0}^nC_n^ku^{(n-k)}v^{(k)} ( uv ) ( n ) = ∑ k = 0 n C n k u ( n − k ) v ( k ) . ( sin x ) ( n ) = sin ( x + π n 2 ) \ (\sin x)^{(n)}=\sin(x+\frac{\pi n}2) ( sin x ) ( n ) = sin ( x + 2 πn ) , ( e a x ) ( n ) = a n e a x \ (e^{ax})^{(n)}=a^ne^{ax} ( e a x ) ( n ) = a n e a x , ( 1 x ) ( n ) = ( − 1 ) n n ! x n + 1 \ \big(\frac1{x}\big)^{(n)}=\frac{(-1)^nn!}{x^{n+1}} ( x 1 ) ( n ) = x n + 1 ( − 1 ) n n ! .
Дифференциал
d y = f ′ ( x ) d x dy=f'(x)\,dx d y = f ′ ( x ) d x ; приближённо f ( x 0 + Δ x ) ≈ f ( x 0 ) + f ′ ( x 0 ) Δ x f(x_0+\Delta x)\approx f(x_0)+f'(x_0)\Delta x f ( x 0 + Δ x ) ≈ f ( x 0 ) + f ′ ( x 0 ) Δ x . Инвариантность формы: d y = f ′ ( u ) d u dy=f'(u)\,du d y = f ′ ( u ) d u и для зависимой u u u . d 2 y = f ′ ′ ( x ) d x 2 \ d^2y=f''(x)\,dx^2 d 2 y = f ′′ ( x ) d x 2 (только для независимой x x x ).
9 Теоремы о среднем, Лопиталь
Ферма. Если
x 0 x_0 x 0 — точка экстремума и
f ′ ( x 0 ) f'(x_0) f ′ ( x 0 ) существует, то
f ′ ( x 0 ) = 0 f'(x_0)=0 f ′ ( x 0 ) = 0 . (Необходимое условие; обратно нет:
x 3 x^3 x 3 в 0.)
Ролль. f f f непрерывна на
[ a , b ] [a,b] [ a , b ] , дифференцируема на
( a , b ) (a,b) ( a , b ) ,
f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) ⇒ ∃ c ∈ ( a , b ) : f ′ ( c ) = 0 \Rightarrow\exists c\in(a,b):\ f'(c)=0 ⇒ ∃ c ∈ ( a , b ) : f ′ ( c ) = 0 .
Лагранж. f f f непрерывна на
[ a , b ] [a,b] [ a , b ] , дифференцируема на
( a , b ) (a,b) ( a , b ) ⇒ ∃ c ∈ ( a , b ) : f ( b ) − f ( a ) = f ′ ( c ) ( b − a ) \Rightarrow\exists c\in(a,b):\ f(b)-f(a)=f'(c)(b-a) ⇒ ∃ c ∈ ( a , b ) : f ( b ) − f ( a ) = f ′ ( c ) ( b − a ) . Следствие:
f ′ ≡ 0 ⇒ f = const f'\equiv0\Rightarrow f=\text{const} f ′ ≡ 0 ⇒ f = const ;
f ′ > 0 ⇒ f f'>0\Rightarrow f f ′ > 0 ⇒ f возрастает.
Коши. Те же условия для
f , g f,g f , g ,
g ′ ≠ 0 g'\ne0 g ′ = 0 ⇒ ∃ c : f ( b ) − f ( a ) g ( b ) − g ( a ) = f ′ ( c ) g ′ ( c ) \Rightarrow\exists c:\ \dfrac{f(b)-f(a)}{g(b)-g(a)}=\dfrac{f'(c)}{g'(c)} ⇒ ∃ c : g ( b ) − g ( a ) f ( b ) − f ( a ) = g ′ ( c ) f ′ ( c ) .
Лопиталь. Неопределённость
0 0 \frac00 0 0 или
∞ ∞ \frac\infty\infty ∞ ∞ при
x → a x\to a x → a (в т.ч.
∞ \infty ∞ ),
f , g f,g f , g дифференцируемы в проколотой окрестности,
g ′ ≠ 0 g'\ne0 g ′ = 0 , и существует
lim f ′ g ′ \lim\dfrac{f'}{g'} lim g ′ f ′ ⇒ lim f g = lim f ′ g ′ \Rightarrow\ \lim\dfrac fg=\lim\dfrac{f'}{g'} ⇒ lim g f = lim g ′ f ′ .
Другие неопределённости сводить:
0 ⋅ ∞ → 0 1 / ∞ 0\cdot\infty\to\frac{0}{1/\infty} 0 ⋅ ∞ → 1/∞ 0 ;
∞ − ∞ \ \infty-\infty ∞ − ∞ — к общему знаменателю;
1 ∞ , 0 0 , ∞ 0 \ 1^\infty,\ 0^0,\ \infty^0 1 ∞ , 0 0 , ∞ 0 — через
e g ln f e^{g\ln f} e g l n f .
Лопиталь применим, только если предел отношения производных
существует .
lim x → ∞ x + sin x x = 1 \lim\limits_{x\to\infty}\frac{x+\sin x}{x}=1 x → ∞ lim x x + s i n x = 1 , а отношение производных
1 + cos x 1+\cos x 1 + cos x предела не имеет. И не забывать проверять, что это действительно
0 0 \frac00 0 0 или
∞ ∞ \frac\infty\infty ∞ ∞ .
10 Формула Тейлора
Тейлор в точке x 0 x_0 x 0 :
f ( x ) = f ( x 0 ) + f ′ ( x 0 ) ( x − x 0 ) + f ′ ′ ( x 0 ) 2 ! ( x − x 0 ) 2 + ⋯ + f ( n ) ( x 0 ) n ! ( x − x 0 ) n + R n ( x ) . f(x)=f(x_0)+f'(x_0)(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+\dots+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n+R_n(x). f ( x ) = f ( x 0 ) + f ′ ( x 0 ) ( x − x 0 ) + 2 ! f ′′ ( x 0 ) ( x − x 0 ) 2 + ⋯ + n ! f ( n ) ( x 0 ) ( x − x 0 ) n + R n ( x ) .
Остаток в форме
Пеано :
R n = o ( ( x − x 0 ) n ) R_n=o((x-x_0)^n) R n = o (( x − x 0 ) n ) — для пределов. В форме
Лагранжа :
R n = f ( n + 1 ) ( c ) ( n + 1 ) ! ( x − x 0 ) n + 1 R_n=\dfrac{f^{(n+1)}(c)}{(n+1)!}(x-x_0)^{n+1} R n = ( n + 1 )! f ( n + 1 ) ( c ) ( x − x 0 ) n + 1 ,
c c c между
x 0 x_0 x 0 и
x x x — для оценки погрешности. При
x 0 = 0 x_0=0 x 0 = 0 — формула
Маклорена .
Разложения при x → 0 x\to0 x → 0
e x = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ + x n n ! + o ( x n ) e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\dots+\dfrac{x^n}{n!}+o(x^n) e x = 1 + x + 2 ! x 2 + 3 ! x 3 + ⋯ + n ! x n + o ( x n )
sin x = x − x 3 3 ! + x 5 5 ! − ⋯ + ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! + o ( x 2 n + 2 ) \sin x=x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\dots+(-1)^n\dfrac{x^{2n+1}}{(2n+1)!}+o(x^{2n+2}) sin x = x − 3 ! x 3 + 5 ! x 5 − ⋯ + ( − 1 ) n ( 2 n + 1 )! x 2 n + 1 + o ( x 2 n + 2 )
cos x = 1 − x 2 2 ! + x 4 4 ! − ⋯ + ( − 1 ) n x 2 n ( 2 n ) ! + o ( x 2 n + 1 ) \cos x=1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\dots+(-1)^n\dfrac{x^{2n}}{(2n)!}+o(x^{2n+1}) cos x = 1 − 2 ! x 2 + 4 ! x 4 − ⋯ + ( − 1 ) n ( 2 n )! x 2 n + o ( x 2 n + 1 )
ln ( 1 + x ) = x − x 2 2 + x 3 3 − ⋯ + ( − 1 ) n − 1 x n n + o ( x n ) \ln(1+x)=x-\dfrac{x^2}2+\dfrac{x^3}3-\dots+(-1)^{n-1}\dfrac{x^n}n+o(x^n) ln ( 1 + x ) = x − 2 x 2 + 3 x 3 − ⋯ + ( − 1 ) n − 1 n x n + o ( x n )
( 1 + x ) α = 1 + α x + α ( α − 1 ) 2 ! x 2 + ⋯ + α ( α − 1 ) ⋯ ( α − n + 1 ) n ! x n + o ( x n ) (1+x)^\alpha=1+\alpha x+\dfrac{\alpha(\alpha-1)}{2!}x^2+\dots+\dfrac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}x^n+o(x^n) ( 1 + x ) α = 1 + αx + 2 ! α ( α − 1 ) x 2 + ⋯ + n ! α ( α − 1 ) ⋯ ( α − n + 1 ) x n + o ( x n )
1 1 − x = 1 + x + x 2 + ⋯ + x n + o ( x n ) \dfrac1{1-x}=1+x+x^2+\dots+x^n+o(x^n) 1 − x 1 = 1 + x + x 2 + ⋯ + x n + o ( x n ) , 1 1 + x = 1 − x + x 2 − … \quad\dfrac1{1+x}=1-x+x^2-\dots 1 + x 1 = 1 − x + x 2 − …
1 + x = 1 + x 2 − x 2 8 + x 3 16 + o ( x 3 ) \sqrt{1+x}=1+\dfrac x2-\dfrac{x^2}8+\dfrac{x^3}{16}+o(x^3) 1 + x = 1 + 2 x − 8 x 2 + 16 x 3 + o ( x 3 ) , 1 1 + x = 1 − x 2 + 3 x 2 8 + o ( x 2 ) \quad\dfrac1{\sqrt{1+x}}=1-\dfrac x2+\dfrac{3x^2}8+o(x^2) 1 + x 1 = 1 − 2 x + 8 3 x 2 + o ( x 2 )
tg x = x + x 3 3 + 2 x 5 15 + o ( x 6 ) \operatorname{tg}x=x+\dfrac{x^3}3+\dfrac{2x^5}{15}+o(x^6) tg x = x + 3 x 3 + 15 2 x 5 + o ( x 6 ) , arctg x = x − x 3 3 + x 5 5 + o ( x 6 ) \quad\operatorname{arctg}x=x-\dfrac{x^3}3+\dfrac{x^5}5+o(x^6) arctg x = x − 3 x 3 + 5 x 5 + o ( x 6 ) , arcsin x = x + x 3 6 + 3 x 5 40 + o ( x 6 ) \quad\arcsin x=x+\dfrac{x^3}6+\dfrac{3x^5}{40}+o(x^6) arcsin x = x + 6 x 3 + 40 3 x 5 + o ( x 6 )
sh x = x + x 3 3 ! + x 5 5 ! + … \operatorname{sh}x=x+\dfrac{x^3}{3!}+\dfrac{x^5}{5!}+\dots sh x = x + 3 ! x 3 + 5 ! x 5 + … , ch x = 1 + x 2 2 ! + x 4 4 ! + … \quad\operatorname{ch}x=1+\dfrac{x^2}{2!}+\dfrac{x^4}{4!}+\dots ch x = 1 + 2 ! x 2 + 4 ! x 4 + …
Как считать предел через Тейлора: раскладывать до того порядка, в котором числитель и знаменатель впервые дают ненулевой член; всё остальное —
o ( ⋅ ) o(\cdot) o ( ⋅ ) . Пример:
sin x − x x 3 = − x 3 / 6 + o ( x 3 ) x 3 → − 1 6 \dfrac{\sin x-x}{x^3}=\dfrac{-x^3/6+o(x^3)}{x^3}\to-\dfrac16 x 3 sin x − x = x 3 − x 3 /6 + o ( x 3 ) → − 6 1 .
11 Исследование функции
Монотонность и экстремумы
f ′ > 0 f'>0 f ′ > 0 на промежутке ⇒ \Rightarrow ⇒ возрастает; f ′ < 0 ⇒ f'<0\Rightarrow f ′ < 0 ⇒ убывает.
Критические точки: f ′ = 0 f'=0 f ′ = 0 или f ′ f' f ′ не существует. Экстремумы — только среди них.
1-й достаточный признак: f ′ f' f ′ меняет знак с + + + на − - − — максимум, с − - − на + + + — минимум, не меняет — нет экстремума.
2-й признак: f ′ ( x 0 ) = 0 f'(x_0)=0 f ′ ( x 0 ) = 0 , f ′ ′ ( x 0 ) < 0 f''(x_0)<0 f ′′ ( x 0 ) < 0 — max, f ′ ′ ( x 0 ) > 0 f''(x_0)>0 f ′′ ( x 0 ) > 0 — min, = 0 =0 = 0 — неясно, смотри выше.
Наибольшее/наименьшее на [ a , b ] [a,b] [ a , b ] : значения в критических точках внутри и на концах, выбрать.
Выпуклость, перегиб
f ′ ′ > 0 f''>0 f ′′ > 0 — выпукла вниз (∪ \cup ∪ , «вогнутая» в другой терминологии), f ′ ′ < 0 f''<0 f ′′ < 0 — выпукла вверх (∩ \cap ∩ ).
Точка перегиба: f ′ ′ f'' f ′′ меняет знак (и f f f непрерывна там). Необходимо: f ′ ′ ( x 0 ) = 0 f''(x_0)=0 f ′′ ( x 0 ) = 0 или не существует.
Неравенство Йенсена для выпуклой вниз: f ( x + y 2 ) ≤ f ( x ) + f ( y ) 2 f\big(\frac{x+y}2\big)\le\frac{f(x)+f(y)}2 f ( 2 x + y ) ≤ 2 f ( x ) + f ( y ) .
Асимптоты
Вертикальная x = a x=a x = a : хотя бы один односторонний предел = ± ∞ =\pm\infty = ± ∞ (точки разрыва II рода, границы области определения).
Наклонная y = k x + b y=kx+b y = k x + b при x → + ∞ x\to+\infty x → + ∞ (и отдельно − ∞ -\infty − ∞ ):
k = lim x → ∞ f ( x ) x k=\lim\limits_{x\to\infty}\dfrac{f(x)}x k = x → ∞ lim x f ( x ) , b = lim x → ∞ ( f ( x ) − k x ) \quad b=\lim\limits_{x\to\infty}\big(f(x)-kx\big) b = x → ∞ lim ( f ( x ) − k x ) . Оба предела должны быть конечны. k = 0 k=0 k = 0 — горизонтальная.
Схема исследования
Область определения; чётность/нечётность; периодичность.
Точки разрыва, вертикальные асимптоты; нули функции, знак.
Наклонные/горизонтальные асимптоты.
f ′ f' f ′ : монотонность, экстремумы (таблица знаков).
f ′ ′ f'' f ′′ : выпуклость, перегибы.
Значения в характерных точках; график.
12 Неопределённый интеграл (задел на второй семестр)
Первообразная: F ′ = f F'=f F ′ = f .
∫ f d x = F ( x ) + C \int f\,dx=F(x)+C ∫ f d x = F ( x ) + C . Линейность:
∫ ( α f + β g ) = α ∫ f + β ∫ g \int(\alpha f+\beta g)=\alpha\int f+\beta\int g ∫ ( α f + β g ) = α ∫ f + β ∫ g .
Таблица
∫ x α d x \int x^\alpha dx ∫ x α d x x α + 1 α + 1 + C \dfrac{x^{\alpha+1}}{\alpha+1}+C α + 1 x α + 1 + C , α ≠ − 1 \alpha\ne-1 α = − 1
∫ d x x \int\dfrac{dx}x ∫ x d x ln ∣ x ∣ + C \ln|x|+C ln ∣ x ∣ + C
∫ e x d x \int e^xdx ∫ e x d x , ∫ a x d x \int a^xdx ∫ a x d x e x + C e^x+C e x + C , a x ln a + C \dfrac{a^x}{\ln a}+C ln a a x + C
∫ sin x d x \int\sin x\,dx ∫ sin x d x , ∫ cos x d x \int\cos x\,dx ∫ cos x d x − cos x + C -\cos x+C − cos x + C , sin x + C \sin x+C sin x + C
∫ d x cos 2 x \int\dfrac{dx}{\cos^2x} ∫ cos 2 x d x , ∫ d x sin 2 x \int\dfrac{dx}{\sin^2x} ∫ sin 2 x d x tg x + C \operatorname{tg}x+C tg x + C , − ctg x + C -\operatorname{ctg}x+C − ctg x + C
∫ d x 1 + x 2 \int\dfrac{dx}{1+x^2} ∫ 1 + x 2 d x arctg x + C \operatorname{arctg}x+C arctg x + C
∫ d x a 2 + x 2 \int\dfrac{dx}{a^2+x^2} ∫ a 2 + x 2 d x 1 a arctg x a + C \dfrac1a\operatorname{arctg}\dfrac xa+C a 1 arctg a x + C
∫ d x 1 − x 2 \int\dfrac{dx}{\sqrt{1-x^2}} ∫ 1 − x 2 d x arcsin x + C \arcsin x+C arcsin x + C
∫ d x x 2 ± a 2 \int\dfrac{dx}{\sqrt{x^2\pm a^2}} ∫ x 2 ± a 2 d x ln ∣ x + x 2 ± a 2 ∣ + C \ln\big|x+\sqrt{x^2\pm a^2}\big|+C ln x + x 2 ± a 2 + C
∫ d x x 2 − a 2 \int\dfrac{dx}{x^2-a^2} ∫ x 2 − a 2 d x 1 2 a ln ∣ x − a x + a ∣ + C \dfrac1{2a}\ln\Big|\dfrac{x-a}{x+a}\Big|+C 2 a 1 ln x + a x − a + C
Методы
Подведение под дифференциал: ∫ f ( φ ( x ) ) φ ′ ( x ) d x = ∫ f ( u ) d u \int f(\varphi(x))\varphi'(x)dx=\int f(u)du ∫ f ( φ ( x )) φ ′ ( x ) d x = ∫ f ( u ) d u , u = φ ( x ) u=\varphi(x) u = φ ( x ) . Пример: ∫ 2 x d x 1 + x 2 = ln ( 1 + x 2 ) + C \int\dfrac{2x\,dx}{1+x^2}=\ln(1+x^2)+C ∫ 1 + x 2 2 x d x = ln ( 1 + x 2 ) + C .
Замена: x = ψ ( t ) x=\psi(t) x = ψ ( t ) , d x = ψ ′ ( t ) d t dx=\psi'(t)dt d x = ψ ′ ( t ) d t .
По частям: ∫ u d v = u v − ∫ v d u \int u\,dv=uv-\int v\,du ∫ u d v = uv − ∫ v d u . Кого брать за u u u : ln , arcsin , arctg \ln,\ \arcsin,\ \operatorname{arctg} ln , arcsin , arctg , многочлен (если рядом e x , sin , cos e^x,\sin,\cos e x , sin , cos ).
Рациональные дроби: выделить целую часть, разложить на простейшие A x − a \dfrac A{x-a} x − a A , B x + C x 2 + p x + q \dfrac{Bx+C}{x^2+px+q} x 2 + p x + q B x + C .
Если что-то из этого не идёт — напишите, разберём: @DaniilFomin