Лекции танкеева
.pdfАНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ
С.Г.Танкеев
1. Каноническое уравнение эллипса
Расстояние между двумя точками M(x1; y1), N(x2; y2) на плоскости вычисляется по формуле
p
= (x2 x1)2 + (y2 y1)2:
Фиксируем точки F1 и F2. Эллипсом с фокусами F1; F2 называется множество таких точек (x; y), что сумма расстояний от точки (x; y) до фокусов равна постоянному числу:
|
|
|
1 + 2 = 2a: |
p |
|
|
|
p(x c)2 + y2. Имеем: |
F2 = (c; 0), где c |
|
|
|
|||
|
Возьмем F1 = ( c; 0), |
|
0. Тогда 1 = (x + c)2 + y2, 2 = |
||||
|
|
|
|
|
|
|
|
pp
|
|
|
|
(x + c)2 + y2 + (x c)2 + y2 = 2a; |
|
|
|
||||||||||||||||
( |
+ ) |
|
p |
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
(x + c)2 + y2 = 2a (x c)2 + y2; |
|
|
|
||||||||||||||||
x2 |
+ 2xc + c2 |
= 4a2 |
4dp |
|
|
|
|
+ x2 2xc + c2; |
|||||||||||||||
(x c)2 |
+ y2 |
||||||||||||||||||||||
x c |
2 |
+ y2 |
= 4a2 |
4a (x c)2 |
+ y2 |
+ (x c)2 |
+ y2; |
||||||||||||||||
|
|
|
4 |
= 4 |
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
a2 |
|
|
|
p |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
c)2 + y2; |
|
|
|
|||||||||
|
|
|
|
|
|
xc |
|
|
4a (x |
|
|
|
|
|
p
a(x c)2 + y2 = a2 xc;
a2((x c)2 + y2) = a4 2a2xc + x2c2; a2(x2 2xc + c2 + y2) = a4 2a2xc + x2c2;
x2(a2 c2) + y2a2 = a4 a2c2; x2(a2 c2) + y2a2 = a2(a2 c2):
В нашем случае 1 + 2 = 2a > 2c, поэтому a > c, и можно разделить последнее из уравнений на a2(a2 c2). Получим уравнение
x2 y2
a2 + a2 c2 = 1:
p
Положим b = a2 c2. Получим каноническое уравнение эллипса
x2 |
|
y2 |
|
|
+ |
|
= 1: |
a2 |
b2 |
2. Каноническое уравнение гиперболы
По определению, уравнение гиперболы с фокусами F1; F2 имеет вид
j 1 2j = 2a:
p
Возьмем F1 = ( c; 0), F2 = (c; 0), где c 0. Тогда 1 = (x + c)2 + y2, 2 =
p
(x c)2 + y2. Имеем:
2 |
С.Г.ТАНКЕЕВ |
j 1 2j = 2a;1 2 = 2a;
|
p |
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
(x + c)2 + y2 (x c)2 + y2 = 2a; |
|
|
|
|||||||||||||||||||||||||||
+ 2 + |
p |
|
|
|
|
|
|
|
|
|
|
|
|
p) |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
4 ( |
|
|
|
+ + |
|
|
|
2 + + |
|
|||||||||||||||||
|
|
(x + c)2 + y2 |
= |
2a + (x |
c)2 + y2 |
; |
|
|
|
|||||||||||||||||||||||
x2 xc c2 + y2 |
= 4a2 |
2 |
|
p |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
xc c2 y2; |
|||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||||||||||||||||
|
|
a x |
|
|
c 2 |
|
y2 |
|
|
x2 |
|
|
|
|||||||||||||||||||
|
|
|
|
|
( |
|
|
|
) |
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
4xc = 4a |
|
|
4a (x c) + y ; |
|
|
|
|
|
|
||||||||||||||||||||
|
a (x 2 p |
|
|
|
2 |
a2; |
+ |
|
|
|
|
|
||||||||||||||||||||
|
+ + ) = |
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
a x |
|
c |
|
2 + y2 |
= xc |
|
|
|
|
|
|
|
|||||||||||||||
|
2 2 |
|
|
xc c2 |
|
|
y2 |
|
|
|
|
x2c2 |
|
|
|
a2xc a4; |
||||||||||||||||
|
|
|
x2(c2 a2) y2a2 = a2(c2 a2): |
|
|
|
|
|
|
В этом случае c > a, и можно разделить последнее из уравнений на a2(c2 a2). Получим уравнение
x2 y2
d2 c2 a2 = 1:
p
Положим b = c2 a2. Получим каноническое уравнение гиперболы
x2 |
y2 |
||
|
|
|
= 1: |
a2 |
b2 |
3. Каноническое уравнение параболы
Фиксируем прямую L (директрису) и точку F (фокус). Пусть 1 – расстояние от точки (x; y) до директрисы, 2 – расстояние от точки (x; y) до фокуса. По определению, уравнение параболы имеет вид 1 = 2.
Возьмем в качестве директрисы вертикальную прямую, проходящую через точкуp2 ; 0 , и возьмем фокус F = p2 ; 0 . Тогда
1 |
= r |
x + 2 |
|
2 |
+ (y y)2 |
= r |
x + 2 |
|
|
2 |
|
= x + |
2 ; |
|||||||||||||||||||||||||||||||
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
p |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
p |
2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
2 |
2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
2 = r x |
2 |
+ (y 0) = r x |
2 |
+ y |
; |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
x + 2 = r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
x |
2 |
|
|
+ y2; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
p |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
p |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
x + |
|
|
|
|
|
|
= |
|
x |
|
|
|
|
|
+ y |
; |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
2 |
|
p |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
x2 + px + |
|
|
p |
= x2 px + |
|
|
+ y2; |
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
4 |
|
|
|
4 |
|
|
|
|
|
|
y2 = 2px
– каноническое уравнение параболы.
4. Определители малых порядков и их свойства
Определение. Квадратной матрицей порядка n с вещественными коэффициентами называется таблица чисел типа
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ |
3 |
|||||
A = |
0a21 |
a22 |
: : : a2n1 |
; |
|
|
|
a11 |
a12 |
: : : a1n |
|
|
|
|
Ba: : : |
a: : : |
:: :: :: |
a: : : C |
|
|
|
B n1 |
n2 |
|
nnC |
|
|
|
@ |
|
|
A |
|
|
где aij 2 R, R – множество вещественных (действительных) чисел. Определение. 1) Определителем 1-го порядка называется число det(a11) = a11
(determinant=определитель).
2) Определителем 2-го порядка называется число
det |
a11 |
a12 |
= a11a22 a12a21; |
a21 |
a22 |
где со знаком плюс берутся произведения элементов матрицы, обозначенных символом :
;
со знаком минус берутся произведения элементов матрицы, обозначенных символом
:
:
3) Определителем 3-го порядка называется число
0 1
a11 a12 a13
det @a21 a22 a23A = a31 a32 a33
a11a22a33 + a12a23a31 + a21a32a13 a31a22a13 a21a12a33 a32a23a11;
где со знаком плюс берутся произведения элементов матрицы, обозначенных символом :
|
|
; |
|
|
|
; |
|
|
; |
||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
со знаком минус берутся произведения элементов матрицы, обозначенных символом
:
|
|
; |
|
|
|
; |
|
|
: |
||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n) Определителем n-го порядка называется число
0
a11 a12
Ba21 a22
B
B: : : : : :
det B
Bai1 ai2
B
@: : : : : :
an1 an2
:: : a1j
:: : a2j
:: : : : :
:: : aij
:: : : : :
:: : anj
1
:: : a1n
:: : a2nC
C
:: : : : : C C =
:: : ain C
C
:: : : : : A
:: : ann
4 |
|
|
|
|
С.Г.ТАНКЕЕВ |
|
: : : a2n1 |
|
|
||||||||
|
|
|
0 21 |
a22 |
: : : a2j |
|
|
||||||||||
|
|
|
|
11 |
a12 |
: : : a1j |
: : : a1n |
|
|
||||||||
|
|
( 1)i+1ai1 det B: : : |
: : : |
:: :: :: : : : |
:: :: :: : : : C |
+ |
|
||||||||||
|
|
|
B i1 |
|
i2 |
|
|
ij |
|
|
|
in |
C |
|
|
||
|
|
|
B: : : : : : : : : : : : : : : |
|
: : : C |
|
|
||||||||||
|
|
|
B |
|
|
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
B |
n1 |
a |
n2 |
: : : a |
nj |
: : : a |
|
C |
|
|
||||
|
|
|
B |
|
|
|
|
|
|
nnC |
|
|
|||||
|
|
|
@ |
|
|
|
|
|
: : : a2n1 |
A |
|
|
|||||
|
|
|
0a21 |
22 |
: : : a2j |
|
|
|
|||||||||
|
|
|
a11 |
12 |
: : : a1j |
: : : a1n |
|
|
|
|
|||||||
( |
|
1)i+2ai2 det B: : : |
: : : |
:: :: :: : : : |
:: :: :: |
: : : C |
+ |
|
+ |
||||||||
|
|
B i1 |
|
i2 |
|
|
ij |
|
|
in |
C |
|
|
||||
|
|
|
B: : : : : : : : : : : : : : : |
: : : C |
|
|
|
||||||||||
|
|
|
B |
|
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
|
Ba |
n1 |
|
n2 |
: : : a |
nj |
: : : a |
|
C |
|
|
|
|||
|
|
|
B |
|
|
|
|
|
nnC |
|
|
|
|||||
|
|
|
@ |
|
|
|
|
|
|
|
|
A |
|
|
|
||
|
|
|
0a21 |
a22 |
: : : 2j |
: : : a2n1 |
|
|
|
||||||||
|
|
|
a11 |
a12 |
: : : |
1j |
: : : a1n |
|
|
|
|
||||||
( |
|
1)i+jaij |
det B: : : |
: : : |
:: :: :: : : : |
:: :: :: |
: : : C |
+ |
|
+ |
|||||||
|
|
B i1 |
|
i2 |
|
|
ij |
|
|
in |
C |
|
|
||||
|
|
|
B: : : : : : : : : : : : : : : |
: : : C |
|
|
|
||||||||||
|
|
|
B |
|
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
|
Ba |
n1 |
a |
n2 |
: : : |
|
nj |
: : : a |
|
C |
|
|
|
||
|
|
|
B |
|
|
|
|
|
nnC |
|
|
|
|||||
|
|
|
@ |
|
|
|
|
|
|
|
|
A |
|
|
|
0
a11
Ba21
B
( 1)i+nain det B: : :
B
B i1
B @: : :
an1
a12 a22
:: :
i2
:: :
an2
:: : a1j
:: : a2j
:: : : : :
:: : ij
:: : : : :
:: : anj
1
:: : 1n
:: : 2nC
C
:: : : : : C C;
:: : in C
C
:: : : : : A
:: : nn
где вычеркнуты i-ая строка и последовательно вычеркиваются столбцы с номерами
1; 2; : : : ; j; : : : ; n.
Обозначение. Мы будем обозначать определитель матрицы A через
|
a21 |
a22 |
||||
|
a11 |
a12 |
||||
det A = |
: : : : : : |
|||||
|
|
|
a |
|
||
|
a |
i1 |
i2 |
|||
|
|
|
|
|
||
|
: : : : : : |
|||||
|
|
|
|
|
|
|
|
a |
n1 |
a |
n2 |
||
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
:: : a1j
:: : a2j
:: : : : :
:: : aij
:: : : : :
:: : anj
:: : a1n
:: : a2n
:: : : : :
:
:: : ain
: : : : : :
: : : ann
Свойства определителей. 1) Определитель не меняется при транспонировании матрицы, т.е. при замене строк на столбцы.
Доказательство (в случае n = 2).
a11 |
a21 |
= a11a22 |
a12a21 |
a11 |
a12 |
: |
det a12 |
a22 |
= det a21 |
a22 |
2) Кососимметричность: если в матрице поменять местами две строки, то ее определитель умножится на ( 1).
Доказательство (в случае n = 2).
|
a11 |
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ |
|
|
5 |
||||
det |
a12 |
|
= a21a12 a11a22 |
= det |
a21 |
a22 |
: |
||
|
a21 |
a22 |
|
|
|
a11 |
a12 |
|
|
3) Линейность по строке: a)
det |
a21 + b21 |
a22 + b22 |
|
= det |
a21 |
a22 |
|
+ det |
b21 |
b22 |
|
: |
|
a11 |
a12 |
|
|
a11 |
a12 |
|
|
a11 |
a12 |
|
|
Доказательство.
|
|
|
|
|
a11 |
a12 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
det a21 + b21 a22 + b22 |
|
= |
|
|
|
|
|
|
|||||
|
a11(a22 + b22) a12(a21 + b21) = [a11a22 a12a21] + [a11b22 a12b21] = |
|
|
||||||||||||||
|
|
|
|
det a21 |
a22 |
|
+ det b21 |
b22 |
: |
|
|
|
|
|
|||
|
|
|
|
a11 |
a12 |
|
|
a11 |
a12 |
|
|
|
|
|
|
|
|
b) |
|
|
|
det a21 |
a22 |
|
= det a21 |
a22 |
|
: |
|
|
|
|
|||
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
a11 |
a12 |
|
|
a11 |
a12 |
|
|
|
|
|
|
||
Доказательство. |
|
|
|
|
|
|
|
|
|
|
a21 |
|
|
|
|||
det |
a21 |
a22 |
|
= a11 a22 a12 a21 |
= [a11a22 |
a12a21 |
] = det |
a22 |
: |
||||||||
|
a11 |
a12 |
|
|
|
|
|
|
|
|
|
|
|
a11 |
a12 |
|
|
4) Если в квадратной матрице есть две одинаковые строки, то ее определитель равен нулю.
Доказательство. Обозначим определитель матрицы через d. Если поменять местами две одинаковые строки, то определитель матрицы умножится на ( 1); с другой стороны, он не изменится, потому что матрица не изменилась. Значит, ( 1)d = d, поэтому 2d = 0. Поскольку d 2 R, то мы получаем соотношение d = 0.
5. Правило Крамера
Теорема (правило Крамера). Рассмотрим систему линейных уравнений
8
>a11x1 + a12x2 + + a1nxn = b1
>
>
<a21x1 + a22x2 + + a2nxn = b2
>: : : : : : : : : : : : : : :
>
>
:an1x1 + an2x2 + + annxn = bn:
Если
|
a21 |
a22 |
: : : a2j |
: : : a2n |
|
|||||||||||
|
|
a11 |
a12 |
: : : a1j |
: : : a1n |
|
|
|||||||||
= |
: : : |
: : : |
: : : |
: : : |
: : : : : : |
= 0; |
||||||||||
|
|
|
|
a |
|
: : : a |
|
: : : a |
|
|
||||||
|
a |
i1 |
i2 |
ij |
in |
|
6 |
|||||||||
|
|
|
|
|
|
: : : |
|
|
|
|
|
|||||
|
: : : |
: : : |
: : : |
: : : : : : |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
n1 |
a |
n2 |
: : : a |
nj |
: : : a |
nn |
|
|
||||||
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то система имеет единственное решение ( 1; 2; : : : ; j; : : : ; n), где
6 |
a21 |
С.Г.ТАНКЕЕВ |
: : : a2n |
|
|||||||||||
|
a22 |
: : : |
b2 |
|
|||||||||||
|
|
a11 |
a12 |
: : : |
b1 |
: : : a1n |
|
|
|||||||
|
: : : |
: : : |
: : : |
: : : |
: : : : : : |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
i1 |
a |
i2 |
: : : |
b |
i |
: : : a |
|
|
|||||
|
|
|
|
|
|
: : : |
|
|
|
in |
|
|
|||
|
: : : |
: : : |
: : : |
: : : : : : |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
n1 |
a |
n2 |
: : : |
b |
n |
: : : a |
|
|
|
||||
|
|
|
|
|
|
|
nn |
|
|||||||
j = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство (в случае n = 2). Имеем систему
(
a11x1 + a12x2 = b1 a21x1 + a22x2 = b2:
По условию,
= |
a11 |
a12 |
|
6= 0: |
a21 |
a22 |
|||
|
|
|
|
|
|
|
|
|
|
Из свойств определителей легко следует, что
b2 |
a22 |
= |
a21x1 |
+ a22x2 |
a22 |
= |
|||||||||||||||||||
|
b1 |
a12 |
|
|
|
|
|
a11x1 |
+ a12x2 |
a12 |
|
|
|||||||||||||
|
|
|
a11x1 |
|
a12 |
|
+ |
|
a12x2 |
a12 |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
a22x2 |
a22 |
|
= |
|
|||||||||
|
|
a21x1 |
|
a22 |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
a11 a12 |
|
|
|
|
|
|
|
|
a12 |
a12 |
|
|
|
|||||||||||
|
|
|
|
|
|
|
+ x2 |
|
0 |
a22 |
|
|
|
|
|
= x1 ; |
|||||||||
! |
a21 a22 |
|
|
|
|
! |
a22 |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
{z |
|
|
} |
|
|
|
|
|
|
| |
|
{z |
|
|
|
} |
|
|
поэтому
b1 a12
x1 = b2 a22 :
Аналогично
a11 b1
x2 = a21 b2 :
Теорема Крамера доказана.
6. Векторные пространства. Примеры линейных пространств. Линейно независимые векторы. Базис. Размерность
Определение. Множество E называется векторным (линейным) пространством , на E определены операции сложения и умножения на числа из поля R так, что выполнены следующие аксиомы:
1)~x + (~y + ~z) = (~x + ~y) + ~z,
2)~x + ~y = ~y + ~x,
|
~ |
~ |
|
3) |
90 |
8~x ~x + 0 = ~x, |
~ |
4) |
8~x |
9 ~x ~x + ( ~x) = 0, |
5)1 ~x = ~x,
6)( + )~x = ~x + ~x,
7)( )~x = ( ~x),
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ |
7 |
8) (~x + ~y) = ~x + ~y.
Примеры. 1) E = R с обычными операциями сложения и умножения.
2)E – плоскость с отмеченной точкой 0. В любую точку плоскости из точки 0 можно направить стрелку; сложение определяется по правилу параллелограмма: ~x + ~y – это диагональ параллелограмма со сторонами ~x и ~y.
3)E – трехмерное пространство с отмеченной точкой 0.
~ |
n) E = Rn = f~x = (x1; x2; : : : ; xn) j xi 2 Rg; ~x + ~y = (x1 + y1; x2 + y2; : : : ; xn + yn); |
||||
0 = (0; 0; : : : ; 0); ~x = ( x1; x2; : : : ; xn); ~x = ( x1; x2; : : : ; xn). |
|
|
|||
|
Определение. ~Векторы ~e1; ~e2; : : : ;~en линейно независимы , соотношение |
|
|||
1~e1 + + n~en = 0 возможно лишь в случае, когда 1 = = n = 0. |
|
|
|||
|
~ |
~ |
1 |
, |
|
|
Примеры. 1) E = R, ~e1 6= 0. Предположим, что 1~e1 = 0. Если 1 |
6= 0, то 9 1 |
|||
|
1 |
1~ |
~ |
|
|
|
1 |
( 1~e1) = 1 0 = 0; |
|
|
|
|
|
1jj |
= ~e1; |
|
|
|
( 1 1)~e1 = 1~e1 |
|
|
~ |
= 0, и поэтому |
поэтому ~e1 = 0, что противоречит нашим предположениям. Значит, 1 |
|
вектор ~e1 линейно независим. |
|
2) E – плоскость с отмеченной точкой 0, ~e1; ~e2 не лежат на одной прямой. До- |
кажем, что эти векторы линейно независимы. Пусть Lj – прямая, проходящая через
точку 0 и конец вектора ~ej. |
|
|
|
|
|
|
||
Предположим, что 1~e1 + 2~e2 |
~ |
|
2~e2 2 L2, поэтому |
|||||
= 0. Тогда L1 3 1~e1 = |
||||||||
1~e1 = 2~e2 2 L1 |
|
~ |
~ |
|
|
|
|
|
|
L2 = 0. Значит, 1~e1 = 0. Действуя как в предыдущем при- |
|||||||
мере, мы получим |
соотношение 1 |
= 0. С другой стороны, |
|
~ |
) |
2 = 0. |
||
2~e2 = 0 |
||||||||
T |
|
|
|
|
||||
Следовательно, 1 = 2 = 0, и векторы ~e1; ~e2 линейно независимы. |
|
|
||||||
3) E – трехмерное пространство с отмеченной точкой 0, |
|
|
~e1; ~e2;~e3 |
не лежат на |
одной плоскости. Тогда эти векторы линейно независимы (доказывается аналогично).
Басня Крылова о линейно зависимых векторах. Имеем соотношение
~ ~ ~ |
~ |
Л + Р + Щ = 0; |
|
в котором 1 = 2 = 3 = 1, поэтому векторы |
~ ~ ~ |
Л; Р; Щ линейно зависимы. |
Определение. Система векторов ~e1;~e2; : : : ; ~en называется базисом пространства E , 1) векторы ~e1;~e2; : : : ; ~en линейно независимы;
2) 8~x 2 E 9xi 2 R ~x = x1~e1 + + xn~en.
6 ~
Примеры. 1) E = R, ~e1 = 0. Любой вектор на прямой E пропорционален вектору e1 с коэффициентом пропорциональности x1: ~x = x1~e1. Поскольку ~e1 линейно независим, то он образует базис прямой E.
2) E – плоскость с отмеченной точкой 0, ~e1;~e2 не лежат на одной прямой. Мы уже знаем, что эти векторы линейно независимы. Для любого вектора ~x рассмотрим проекции ~x на оси ~e1; ~e2. Эти проекции равны соответсвенно x1~e1; x2~e2, причем вектор ~x является диагональю в соответствующем параллелограмме, и поэтому ~x = x1~e1 + x2~e2. Значит, ~e1; ~e2 образуют базис плоскости.
3) E – трехмерное пространство с отмеченной точкой 0, ~e1; ~e2;~e3 не лежат на одной плоскости. Тогда эти векторы образуют базис (доказывается аналогично).
n) E = Rn, ~e1 = (1; 0; : : : ; 0); ~e2 = (0; 1; : : : ; 0); : : : ~en = (0; 0; : : : ; 1).
~
Пусть 1~e1 + + n~en = 0. Тогда
8 |
С.Г.ТАНКЕЕВ |
1(1; 0; : : : ; 0) + 2(0; 1; : : : ; 0) + + n(0; 0; : : : ; 1) = (0; 0; : : : ; 0);
т.е. ( 1; 2; : : : ; n) = (0; 0; : : : ; 0) и, следовательно, 1 = 2 = = n = 0. Поэтому векторы ~e1; ~e2; : : : ; ~en линейно независимы.
Сдругой стороны, любой вектор ~x 2 Rn имеет вид
~x = (x1; x2; : : : ; xn) = x1(1; 0; : : : ; 0) + x2(0; 1; : : : ; 0) + + xn(0; 0; : : : ; 1) =
x1~e1 + x2~e2 + + xn~en;
поэтому ~e1; ~e2; : : : ;~en – стандартный базис Rn.
Теорема (без доказательства). В любом линейном пространстве E существует базис (быть может, бесконечный).
Определение. Пространство E называется конечномерным , в E существует конечный базис ~e1; : : : ;~en.
Теорема (без доказательства). Если ~e1; : : : ; ~en – базис E, то любой другой базис пространства E состоит из n элементов. Число n называется размерностью E и обозначается dimR E (или просто через dim E (dimension=размерность)).
Пример. dim Rn = n.
Определение. Пусть ~e1; : : : ; ~en базис E. Тогда 8~x 2 E ~x = x1~e1 + +xn~en. Набор чисел (x1; : : : ; xn) называется набором координат вектора ~x относительно базиса
~e1; : : : ;~en.
Замечание. Координаты (x1; : : : ; xn) определены единственным образом: если (x01; : : : ; x0n) – другой набор координат вектора ~x относительно базиса ~e1; : : : ;~en, то
~x = x1~e1 + + xn~en = x01~e1 + + x0n~en )
0 |
0 |
~ |
(x1 x1)~e1 |
+ + (xn xn)~en = ~x ~x = 0; |
поэтому из линейной независимости базисных векторов ~e1; : : : ; ~en следует, что x1 x01 = = xn x0n = 0, т.е. xj = x0j.
7. Скалярное произведение. Примеры скалярных произведений. Неравенство Коши – Шварца
Определение. Пусть E – линейное пространство над полем R вещественных чисел. Скалярным произведением на пространстве E называется функция E E ! R, которая каждой паре векторов ~x; ~y 2 E ставит в соответствие вещественное число (~x; ~y) 2 R так, что выполняются следующие аксиомы:
1)(~x; ~y) = (~y; ~x);
2)(~x + ~y; ~z) = (~x; ~z) + (~y; ~z);
3)( ~x; ~y) = (~x; ~y);
4)8~x 6= 0 (~x; ~x) > 0.
Примеры. 1) E = R, (~x; ~y) = xy – обычное произведение чисел; аксиома 4 имеет
вид 8x 6= 0 |
nx2 > 0. |
2) E = |
R , ~x = (x1; : : : ; xn); ~y = (y1; : : : ; yn), (~x; ~y) = x1y1 + x2y2 + + xnyn |
–стандартное скалярное произведение в пространстве Rn.
3)E = C(a; b) – пространство функций, непрерывных на отрезке [a; b]. Это пространство не имеет конечного базиса (т.е. является бесконечномерным). Для функций f; g 2 E определим скалярное произведение формулой
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ |
9 |
(f; g) = Zab f(x)g(x)dx: |
|
p
Определение. Число jj~xjj = (~x; ~x) называется нормой (длиной) вектора ~x.
Теорема (неравенство Коши - Шварца). j(~x; ~y)j jj~xjj jj~yjj.
Доказательство. По свойствам 1 - 4 скалярного произведения имеем:
8t 2 R 0 (~x + t~y; ~x + t~y) = (~x; ~x) + 2t(~x; ~y) + t2(~y; ~y) = at2 + 2bt + c = p(t):
|
|
|
=c |
|
|
=b |
=a |
~ |
| {z } |
| {z } |
| {z } |
||||
Если ~y = 0, то |
j(~x; ~y)j jj~xjj jj~yjj; |
|
|||||
|
|
||||||
|
=0 |
|
|
=0 |
|
||
|
| {z } |
|{z} |
|
и неравенство Коши - Шварца в этом случае очевидно.
Если 6 ~, то по свойству 4 скалярного произведения . Поэтому
~y = 0 a = (~y; ~y) > 0
график функции p(t) – это парабола рожками вверх, причем мы уже доказали, что 8t 2 R p(t) 0. Это значит, что график функции p(t) не опускается ниже оси t (иначе p(t) будет принимать отрицательные значения на некотором отрезке). В итоге квадратичный многочлен p(t) либо не имеет вещественных корней (и тогда его
дискриминант |
(2b)2 |
|
4ac < 0 |
), |
либо p(t) имеет совпадающие вещественные корни |
|||||||||||||||||||
|
|
|
|
2 |
4ac = 0 (и график p(t) касается оси t в точке |
|||||||||||||||||||
t1 = t2 и его дискриминант (2b) |
|
|
||||||||||||||||||||||
t1 = t2). В любом случае |
|
|
|
|
(2b)2 4ac 0: |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Подставляя в это неравенство a = (~y; ~y); |
|
b = (~x; ~y); |
|
c = (~x; ~x), получим: |
||||||||||||||||||||
|
|
|
|
4(~x; ~y)2 4(~y; ~y)(~x; ~x) 0: |
||||||||||||||||||||
В итоге |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(~x; ~y)2 (~y; ~y)(~x; ~x); |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
(~x; ~y)2 |
|
(~y; ~y) |
|
(~x; ~x); |
||||||||||||||
|
|
|
|
p |
|
|
|
|
~x; ~y |
) |
|
|
~y |
~x : |
|
|
|
|||||||
|
|
|
|
|
j |
( |
|
|
p |
p |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
j jj jj jj jj |
|
|
|
|
|||||||||
Теорема доказана. |
|
|
~ |
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Следствие. Если ~x 6= 0; |
6= 0, то по неравенству Коши - Шварца |
|||||||||||||||||||||||
|
|
|
~x; ~y |
|
|
|
|
|
|
|
|
|
~x; ~y |
|
|
|
|
|
|
|
||||
|
|
|
( ) |
|
1 ) |
( ) |
2 [ 1; 1] ) |
|||||||||||||||||
|
|
jj~xjj jj~yjj |
jj~xjj jj~yjj |
|||||||||||||||||||||
|
|
|
|
|
|
|
^ |
|
|
|
|
|
|
|
(~x; ~y) |
|
|
|
||||||
|
|
|
|
|
(~x; ~y) = arccos |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
jj jj |
jj |
||||||||||||||||||
|
|
|
|
9 |
|
|
|
|
|
|
|
|
jj |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~x |
|
|
|
~y |
|
|
|
– угол между векторами ~x; ~y.
8. Неравенство треугольника
Теорема (неравенство треугольника). jj~x + ~yjj jj~xjj + jj~yjj.
Доказательство.
10 |
|
|
|
|
|
|
|
|
|
|
|
С.Г.ТАНКЕЕВ |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
( ) + 2 |
|
|
(~x; ~y) |
|
+ (~y;p |
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
= |
|||||||||
|
|
|
) |
|
|
|
|
+ 2 |
|
|
|
|
|
|
|
|||||||||||||||
s |
|
|
|
|
|
|
|
|
|
jj~x + ~yjj = |
|
(~x + ~y; ~x + ~y) = |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
=jj~xjj2 |
j(x;~y)j jj~xjj jj~yjj |
|
=jj~yjj2 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
jj jj |
|
jj |
jj jj |
|
jj |
|
jj |
jj |
|
|
|||||||||||||||||||
|
~x; ~x |
|
|
|
|
|
|
|
|
~y |
|
|
~x |
2 |
|
|
~x |
~y |
|
|
~y |
|
2 |
|
||||||
| |
|
{z |
|
} |
( |
~x |
| {z } |
)2 |
| {z } |
|
+ ~y |
|
= ~x |
|
+ ~y |
|
: |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
p jj |
jj |
jj |
jj |
|
j jj |
jj |
jj jj |
j |
|
jj jj |
jj |
jj |
|
|
|
|
|
Теорема доказана.
Пример. Пусть E = Rn со стандартным скалярным произведением. Тогда (~x; ~y) =
pp
x1y1 + x2y2 + + xnyn, |
jj~xjj = (~x; ~x) = |
x12 + x22 + + xn2 , неравенство Коши - |
|||||||||||
Шварца имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
jx1y1 + x2y2 + + xnynj q |
|
|
|
q |
|
|
; |
||||||
x12 + x22 + + xn2 |
y12 + y22 + + yn2 |
||||||||||||
угол между векторами вычисляется по формуле |
|
|
|
|
|
|
|
||||||
^ |
(~x; ~y) |
|
x1y1 + |
|
+ xnyn |
|
|
||||||
(~x; ~y) = arccos |
|
= arccos |
|
|
|
|
|
: |
|
||||
|
|
|
|
|
|
|
|
|
|||||
|
jj~xjj jj~yjj |
px12 + + xn2 py12 + + yn2 |
|
|
9. Ортогональность векторов. Теорема Пифагора. Ортонормированные базисы. Скалярное произведение в ортонормированном базисе, норма вектора и угол между векторами
Определение. Векторы ~x; ~y называются ортогональными |
, (~x; ~y) = 0. Обо- |
|||||
значение: ~x ? ~y. |
2 |
= jj~xjj |
2 |
|
2 |
. |
Теорема Пифагора. |
Если ~x ? ~y, то jj~x + ~yjj |
|
+ jj~yjj |
Доказательство.
jj~x + ~yjj2 = (~x + ~y; ~x + ~y) = (~x; ~x) + 2(~x; ~y) + (~y; ~y) = jj~xjj2 + jj~yjj2:
|{z}
=0
Теорема доказана.
Определение. Базис ~e1; : : : ;~en называется ортонормированным ,
i j |
|
(0; |
если i = j; |
, |
(~ei |
|
~ej; |
если i = j: |
(~e ;~e |
) = |
1; |
если i = j; |
|
jj~eijj = 1; |
6 |
||
|
|
|
6 |
|
|
? |
|
Пример. Стандартный базис ~e1 = (1; 0; : : : ; 0);~e2 = (0; 1; : : : ; 0); : : : ,
~en = (0; 0; : : : ; 1) пространства Rn является ортонормированным относительно стандартного скалярного произведения (~x; ~y) = x1y1 + + xnyn.
|
Теорема. Пусть ~e1; : : : ;~en – ортонормированный базис, ~x = x1~e1 + |
+ xn~en, |
||||||||||||
|
= y1~e1 + + yn~en. Тогда (~x; ~y) = x1y1 + x2y2 + + xnyn, |
jj~xjj |
|
|
|
|||||||||
~y |
= |
(~x; ~x) = |
||||||||||||
p |
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
x12 + x22 + |
|
+ xn2 , угол между векторами вычисляется по формуле |
|
|
||||||||||
|
|
|
|
|||||||||||
|
|
|
^ |
|
x1y1 + |
|
+ xnyn |
|
|
|
|
|||
|
|
|
(~x; ~y) = arccos |
|
|
|
|
: |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
px12 + + xn2 py12 + + yn2 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
Доказательство.