
y
M
∆
y
M
0
∆
x
ϕ
(x
0
)
ϕ
(
∆
x)
x
0
x
0
+
∆
x x
соответствует значению аргумента
x
0
∈(a,b),а точка M- (x=x
0
+∆x∈(a,b)),
где
∆x - некоторое приращение
аргумента. Прямая, проходящая через
точки М
0
, М, называется секущей.
Обозначим через
ϕ(∆x) угол, который
образует секущая М
0
М с
положительным направлением оси Оx.
Определение. Касательной к графику функции y=f(x) в точке М
0
называется
предельное положение секущей М
0
М при стремлении точки М к точке М
0
по
графику (или при
∆x→0 вследствие непрерывности y=f(x)).
Очевидно, что
x
xfxxf
x
y
xtg
∆
=
∆
∆
=∆
)()(
)(
00
ϕ
.
Докажем следующую лемму.
Лемма. Пусть функция y=f(x) имеет производную в точке x=x
0
, тогда
справедливы следующие два утверждения:
1) график функции y=f(x) имеет касательную в точке М
0
, соответствующей
значению аргумента x
0
;
2) угловой коэффициент касательной равен
)(
0
xf
.
Доказательство.
Пусть
∆x - любое, достаточно малое и отличное от нуля значение приращения
аргумента x в точке x
0
, тогда
x
y
arctgx
∆
=∆ )(
ϕ
. Так как )(lim
0
0
xf
x
y
x
′
=
∆
→∆
и функция
u=arctgx непрерывна в любой точке
x
∈(-∞,+∞), - ))((limlim)(lim
0
000
xfarctg
x
y
arctg
x
y
arctgx
xxx
′
=
∆
=
∆
∆
=∆
→∆→∆→∆
ϕ
, т.е. существует
предельное значение (при
∆x→0) угла наклона секущей М
0
М, что доказывает
существование касательной в точке М
0
.
Обозначим, далее, угол наклона касательной к оси Оx через
ϕ
0
, тогда
)(
00
xfarctg
′
=
, откуда tg )(
00
xf
′
=
.
5.3. Дифференциируемость функции
Пусть функция y=f(x) определена на (a,b), x - некоторое фиксированное
значение аргумента x
∈(a,b), ∆x - любое приращение аргумента такое, что (x+∆x)
∈ (a,b).
Определение. Функция y=f(x) называется дифференцируемой в точке x, если
приращение
∆y этой функции в точке x, соответствующее приращению аргумента
∆x, может быть представлено в виде
∆y=А∆x+α⋅∆x, (1)
где А - некоторая константа, не зависящая от
∆x, а α- функция от ∆x (α(∆x)),
являющаяся бесконечно малой при
∆x→0.
Замечание 1. При
∆x=0 функция α(∆x), вообще говоря, не определена, поэтому в
этой точке для удобства припишем значение
α(0), равное нулю. В этом случае