
321
на [0, 2π] своего наименьшего значения. Это наименьшее значе-
ние отлично от нуля. Следовательно, модуль этого квадратного
трехчлена имеет положительное наименьшее значение m:
|A cos
2
ϕ + 2B cosϕ sinϕ + C sin
2
ϕ | ≥ m > 0.
Рассмотрим теперь в т о р о й трехчлен в скобках в правой
части равенства (27.5). Очевидно,
|α
11
cos
2
ϕ + 2α
12
cosϕ sinϕ + α
22
sin
2
ϕ | ≤ |α
11
| + 2|α
12
| + |α
22
|.
Так как α
11
, α
12
, α
22
– бесконечно малые при ∆ x → 0, ∆y → 0, то
при достаточно малых ∆ x и ∆y будет выполняться неравенство
|α
11
| + 2|α
12
| + |α
22
| < m.
Поэтому выражение в скобках в правой части равенства (27.5) бу-
дет сохранять тот же знак, что и первый из трехчленов, т.е. знак А.
Следовательно, и левая часть ∆f = f(x, y)
–
f(x
0
, y
0
) сохраняет знак А.
Итак, если А > 0, то и ∆f > 0, т.е. в точкe (x
0
, y
0
) функция
имеет м и н и м у м; в случае же А < 0 будет ∆ f < 0, т.е. имеется
м а к с и м у м.
2. Пусть теперь AC – B
2
< 0. Рассмотрим отдельно случаи,
когда А ≠ 0 и А = 0.
1) А ≠ 0. Снова воспользуемся преобразованием (27.6). Убе-
димся, что в этом случае в сколь угодно малой близости от рассма-
триваемой точки M
0
(x
0
, y
0
) разность ∆f может быть и положитель-
ной, и отрицательной, т.е. в точке M
0
(x
0
, y
0
) экстремума нет.
Пусть ϕ = ϕ
1
= 0. Тогда в правой части равенства (27.6) выра-
жение в квадратных скобках будет положительно (и равно A
2
).
Если же ϕ = ϕ
2
определить из условия A cos ϕ + B sin ϕ = 0
(т.е.
), то упомянутое выражение будет отрицатель-
ным (и равно (AC – B
2
)sin
2
ϕ
2
).
Как уже отмечалось, второй трехчлен в правой части равенства
(27.5) при достаточно малом r на знак ∆ f не влияет.
Очевидно, мы можем сколь угодно близко к M
0
(x
0
, y
0
) взять
точку M
1
(x
1
, y
1
) так, чтобы отрезок M
0
M
1
образовывал с Ox угол
ϕ = ϕ
1
= 0. Для нее ∆ f > 0. Точно так же мы можем сколь угодно
близко к M
0
(x
0
, y
0
) взять точку M
2
(x
2
, y
2
) так, чтобы отрезок
M
0
M
2
образовывал с Ox угол ϕ = ϕ
2
. Для этой точки будет ∆ f < 0.
Итак, в рассматриваемом случае AC – B
2
< 0, А ≠ 0 в любой
близости от рассматриваемой точки (x
0
, y
0
) разность ∆ f может