Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Лекции танкеева

.pdf
Скачиваний:
16
Добавлен:
22.03.2015
Размер:
458.18 Кб
Скачать

АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ

С.Г.Танкеев

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

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.