- •1.3 Определение предела функции (для конечной и бесконечно удалённой точек)
- •1.7. Первый замечательный предел (с выводом)
- •1.11 Точки разрыва ф-ции.
- •1 .15 Определение производной и её геометрический смысл.
- •1.19 Дифференцируемость ф-ции. Теорема о необходимом и достаточном условии дифференцируемости.
- •1.23 Теоремы Ферма и Ролля
- •1.25 Правило Лопиталя и его приложение…
- •1.27 Необходимый и достаточный признак экстремума. Схема исследования на экстремумы
- •2.2 Определение неопределённого интеграла
- •2.6 Методы интегрирования простейших алгебраических дробей
- •2 .10 Определённый интеграл и его геометрический смысл.
- •2.14 Теорема о замене переменной под знаком определённого интеграла.
- •2.18 Длина дуги плоской кривой.
1 .15 Определение производной и её геометрический смысл.
П.1 Определение
Рассмотрим y=f(x)
рассмотрим x0 ∈ X и предадим приращение аргументу ∆x
Составим ∆f = f(x0 + ∆x) – f(x0) и рассмотрим отношение ∆y/∆x = ∆f/∆x. Устремим ∆x –> 0, если
∃ lim [∆x –> 0]∆y/∆x = lim [f(x0 + ∆x) – f(x0)]/x, то его н/з производной от f(x0)
Если сущ. конечный предел этого отнощения и он конечен, то его н/з производной от f(x0) и обозначают символом f’(x0) или dy/dx = df/dx
Замечание: если предел равен ∞, то говорят, что в т. x0 производная бесконечна.
M(x;y); M’(x0 + ∆x; y0 + ∆y) Обозначим через Φ – угол между секущей и положительным направлением оси Ox и вычислим tg Φ = KM’/MK = [f(x0 + ∆x) – f(x0)]/x =∆y/∆x
Рассмотрим lim [∆x –> 0] tg Φ = lim [∆x –> 0] ∆y/∆x = f’(x) (1)
С другой стороны при ∆x –> 0 M’ M, а секущая MM’ стремится занять положение касательной MT к графику функции в т. M. Обозначим через α угол между касательной и положительным направлением оси Ox. lim [∆x –> 0] tg Φ = tg lim [∆x –> 0] Φ = tg α (2). Из (1) и (2) => tg α = f’(x)
П.2 Ур-е касательной к графику ф-ции.
Составим Ур-е касательной MT к y = f(x) в т. (x0;y0)
При условии, что ∃f’(x0) < ∞. Воспользуемся Ур-ем прямой, проведённой через т. M0 с условным коэффициентом k = f’(x0)
y=kx + b = f’(x0)x +b
b = y0 - f’(x0)*(x0)
y = f’(x0)x + y0 - f’(x0)*(x0)= f’(x0)(x-x0) + y0 – ур-е касательной к гр. Функции.
Через т. M можно провести нормаль MN. K1 = -1/K =-1/ f’(x0) при условии f’(x0) ≠ 0; y= -1/ f’(x0)* (x-x0) + y0, Если касательная горизонтальна (y= y0), то нормаль вертикальна (x=x0)
Если в т. x0 f’(x0) = 0 => y= y0, - касательная, x=x0 – нормаль
Если в т. x0 f’(x0)=∞ => y= y0, - нормаль, x=x0 – касательная.
Теорема о необходимом условии существования производной.
Если в т. x0 ∃f’(x0) => f(x) непрерывна в этой точке
Док-во: ∃f’(x0) = lim [∆x –> 0]∆f/∆x => по теореме о представлении ф-ции, имеющей предел (смотри основные теоремы теории пределов) имеет место равенство ∆f/∆x = f’(x0) + α(∆x), где α(∆x) 0 при ∆x –> 0; ∆f = f’(x0) *∆x + α(∆x) * ∆x => f(x) непрерывно в x0.
Таким образом св-ва непрерывности являются необходимым условием существования производной, но недостаточным.
1.19 Дифференцируемость ф-ции. Теорема о необходимом и достаточном условии дифференцируемости.
п.1 дифференциал ф-ции.
Определение: ф-ция y= f(x) дифференцируема в т. x0, если в окрестности этой т. её приращение имеет вид (1) ∆y = A* ∆x + 0 (∆x), где A зависит только от x0 и не зависит от ∆x. Т.е. A (x0) – фиксированная величина, а 0 (∆x) << ∆x; 0 (∆x) – бесконечно малая более высокого порядка малости, чем ∆x [ 0(∆x)/ ∆x] 0 при ∆x 0 В р-ве 1, слагаемое A*∆x н/з главной частью приращения ф-ции, линейной относительно приращения аргумента. y = kx + b. Второе слагаемое – малая часть приращения ф-ции. Теорема о необходимом и достаточном условии дифференцируемости ф-ции. Для того, чтобы f(x) была дифференцируема в т. x0 необходимо и достаточно существование производной в этой т.
Док-во: достаточность Пусть y= f(x) имеет производ. В т.x0 ∃ f’(x0) = lim [∆x –> 0]∆f/∆x, тогда по теореме о представлении ф-ции, имеющей предел ∆f/∆x = f’(x0) + α(∆x). α(∆x) –> 0 [∆x –> 0] => f’(x0) *∆x + α(∆x)* ∆x [f’(x0) *∆x – главная часть приращения, α(∆x)* ∆x -0(∆x)], α(∆x)* ∆x/∆x 0 [∆x 0] Следовательно р-во (1) выполняется и функция f(x)дифференцируема в т. x0 Необходимость: Пусть y= f(x) дифференцируема в т. x0. Покажем, что в т. x0. существует её производная. ∆y = A* ∆x + 0 (∆x)| : ∆x; ∆y/∆x = A + 0 (∆x)/ ∆x; lim [∆x –> 0]∆y/∆x = A + lim [∆x –> 0] 0(∆x)/ ∆x
∃ f’(x0) = A(x0) Для дифференцируемой ф-ции коэеффициент A является произвольным в т. x0
