МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

РОССИЙСКОЙ ФЕДЕРАЦИИ
Российский химико-технологический университет
имени Д. И. Менделеева

А. Н. Шайкин

ЭЛЕМЕНТЫ АЛГЕБРЫ

Утверждено Редакционным советом

университета в качестве учебного пособия

Москва
2013

3
УДК [512.64+514.12](075)
ББК 22.143+22.151.5
Ш17

Рецензенты:
Доктор технических наук, профессор Российского химико-
технологического университета им. Д. И. Менделеева
Л. С. Гордеев
Кандидат физико-математических наук, доцент Московского
автомобильно-дорожного государственного технического университета
С. А. Изотова

Шайкин А. Н.
Ш17 Элементы алгебры: учеб. пособие / А. Н. Шайкин. – М.: РХТУ им.
Д. И. Менделеева. 2013. – 120 с.
ISBN 978-5-7237-1151-8
Изложен основной материал по алгебре и некоторых тем аналитической
геометрии, читаемых кафедрой высшей математики.
Охватывает векторную алгебру, прямые и плоскости, линии и
поверхности второго порядка, матрицы и определители, системы линейных
уравнений, комплексные числа, многочлены и рациональные дроби, линейные и
евклидовы пространства, линейные операторы и квадратичные формы.
Предназначено для студентов I курса всех факультетов и колледжей
РХТУ им. Д. И. Менделеева.
УДК [512.64+514.12](075)
ББК 22.143+22.151.5

ISBN 978-5-7237-1151-8 © Российский химико-технологический

университет им. Д. И. Менделеева, 2013
© Шайкин А. Н., 2013

2
 ОГЛАВЛЕНИЕ

1. ВЕКТОРНАЯ АЛГЕБРА...........................................................................................5
5
1.1. Определение вектора. Линейные операции над векторами............5
1.2. Скалярное произведение векторов....................................................9
1.3. Векторное произведение векторов...................................................11
1.4. Смешанное произведение векторов.................................................13
1.5. Решение задач на векторы.................................................................15
1.6. Задачи для самостоятельного решения............................................19
1.7. Ответы.................................................................................................21
2. ЛИНИИ И ПОВЕРХНОСТИ..........................................................................22
2.1. Прямая на плоскости..........................................................................22
2.2. Прямая и плоскость в пространстве.................................................24
2.3. Кривые второго порядка....................................................................27
2.4. Поверхности второго порядка...........................................................33
2.5. Решение задач на линии и поверхности...........................................42
2.6. Задачи для самостоятельного решения............................................53
2.7. Ответы.................................................................................................57
3. АЛГЕБРА МНОГОЧЛЕНОВ.........................................................................59
3.1. Комплексные числа...........................................................................59
3.2. Многочлены и рациональные дроби...............................................61
3.3. Решение задач на многочлены.........................................................63
3.4. Задачи для самостоятельного решения...........................................65
3.5. Ответы................................................................................................66
4. МАТРИЦЫ, ОПРЕДЕЛИТЕЛИ, СИСТЕМЫ..............................................68
4.1. Матрицы. Основные определения...................................................68
4.2. Операции над строками матрицы....................................................69
4.3. Ступенчатые матрицы......................................................................69
4.4. Линейная зависимость строк матрицы...........................................72
4.5. Ранг матрицы. Базисные строки......................................................72

3
 4.6. Определители....................................................................................74
4.7. Операции над матрицами.................................................................78
4.8. Обратная матрица.............................................................................80
4.9. Системы линейных уравнений........................................................81
4.10. Специальный случай......................................................................82
4.11. Критерий совместности.................................................................84
4.12. Однородные системы.....................................................................86
4.13. Решение задач на матрицы, определители, системы..................88
4.14. Задачи для самостоятельного решения........................................92
4.15. Ответы.............................................................................................95
5. ЛИНЕЙНЫЕ ПРОСТРАНСТВА..................................................................97
5.1. Понятие линейного пространства...................................................97
5.2. Преобразование координат при смене базиса...............................98
5.3. Евклидовы пространства.................................................................99
5.4. Линейные операторы......................................................................101
5.5. Матрица линейного оператора и ее преобразование при смене
базиса......................................................................................................102
5.6. Собственные векторы и собственные значения линейного
оператора................................................................................................103
5.7. Канонический вид линейных операторов....................................104
5.8. Квадратичные формы.....................................................................105
5.9. Решение задач на линейные пространства...................................108
5.10. Задачи для самостоятельного решения.......................................115
5.11. Ответы............................................................................................118

4
 1. ВЕКТОРНАЯ АЛГЕБРА
1.1. Определение вектора. Линейные операции над векторами
Определение. Направленным отрезком называется упорядоченная пара
точек пространства.
Определение. Началом и концом направленного отрезка называются,
соответственно, первая и вторая точки этой пары.
Определение. Длиной направленного отрезка называется расстояние
между этими точками.
Определение. Направленный отрезок называется нулевым, если его
начало и конец совпадают.
Определение. Два ненулевых направленных отрезка называются
коллинеарными, если прямые, на которых они лежат, параллельны или
совпадают. Нулевой направленный отрезок считается коллинеарным любому
направленному отрезку.
Определение. Два ненулевых направленных отрезка, лежащих на
параллельных прямых, сонаправлены, если их концы лежат по одну сторону от
прямой, соединяющей их начала, и противоположно направлены, если по
разные. Если ненулевые направленные отрезки лежат на одной прямой, то они
сонаправлены между собой, если существует направленный отрезок,
сонаправленный каждому из них, и противоположно направлены в противном
случае.
Определение. Два направленных отрезка равны, если они имеют
одинаковую длину и сонаправлены.
Определение. Вектором называется любой из равных между собой
направленных отрезков.
Итак, вектор  – это множество, состоящее из бесконечного числа 

элементов. Если AB  а , то говорят, что направленный отрезок AB

изображает
 вектор а ; при этом на чертеже рисуется именно направленный
отрезок AB , а говорят про него «вектор». В частности, когда мы говорим

«отложим вектор
 а от точки О», то имеется в виду, что строится направленный

отрезок OA , изображающий вектор а .
После того как дано определение вектора, все понятия, связанные с
направленными отрезками, переносятся на векторы следующим образом:
говорят, что векторы обладают некоторым свойством, если этим свойством
обладают изображающие их направленные отрезки. Например, векторы
называются равными, если равны изображающие их направленные отрезки.
 
Определение. Суммой а  b векторов а и b называется вектор, начало
которого находится в произвольной точке А пространства, а конец строится

следующим образом:
 отложим от точки
 А вектор АВ , равный вектору а , а от
точки В вектор ВС , равный вектору b ; тогда точка С и будет концом вектора
 
а b.
 
Определение. Произведением  а вектора а на действительное число 

5
  
называется вектор длины   а , сонаправленный с вектором а , если  >0, и

направленный противоположно вектору а , если  <0.

Свойства сложения векторов:

     
1. а, b : а  b  b  а (коммутативность сложения).
        
   
2. а, b , с : а  b  с  а  b  с (ассоциативность сложения).
   
3. а : а  0  а .
   
4. а : а    а   0 .
Свойства умножения вектора на число:
  
1. а; ,   R :   а    а  (ассоциативность).
   
2.  а ;   ,   R :     а   а   a (дистрибутивность по
отношению к сложению действительных чисел).
     
3. а , b ;   R :   а  b   а  b (дистрибутивность по
отношению к сложению векторов).
  
4. а :1  а  а .

Дополнительные операции
  
Определение. Разностью а  b векторов а и b называется вектор,
 
равный а   1  b .
 
Определение. Частным а /  от деления вектора а на число  (   0 ),

называется вектор, равный (1 /  )  а .
Определение. Три ненулевых вектора называются компланарными, если
будучи отложенными от одной точки, оказываются лежащими в одной
плоскости. (Нулевой вектор компланарен с любыми двумя векторами).
  
Определение. Линейной комбинацией векторов а1 , а2 ,..., аn называется
  
выражение вида 1а1   2 а2  ...   n an , где коэффициенты 1 , 2 ,..., n –
действительные числа.
Определение. Если вектор представлен как линейная комбинация
некоторых векторов, то говорят, что он разложен по этим векторам.
Определение. Линейная комбинация векторов называется тривиальной,
если все ее коэффициенты равны нулю, и нетривиальной в противном случае.
  
Определение. Набор векторов а1 , а2 ,..., аn называется линейно
зависимым, если существует нетривиальная линейная комбинация этих
векторов, равная нулевому вектору, и линейно независимым в противном
случае.
Теорема. Для того чтобы два вектора были линейно зависимы,
необходимо и достаточно, чтобы они были коллинеарны.

6
  
Доказательство необходимости. Дано: векторы а1 и а2 линейно
 
зависимы. Требуется доказать, что они коллинеарны. Так как векторы а1 и а2
линейно зависимы, то существуют числа 1 и  2 , не равные нулю
  
одновременно, и такие, что 1а1   2 а2  0 . Пусть, например, 1  0 , тогда
   
а1  ( 2 / 1 )  а2 ; отсюда следует, что векторы а1 и а2 коллинеарны.
 
Доказательство достаточности. Дано: векторы а1 и а2 коллинеарны.
Требуется доказать, что они линейно зависимы.
    
Если а1  0 , то имеет место равенство 1  а1  0  а2  0 , а это означает, что
 
векторы а1 и а2 линейно зависимы ( 1  1  0 ).
 
Если же а1  0 , то, беря  в соответствии с определением произведения
     
вектора на число, находим а2    а1 , или   а1  1  а2  0 , значит векторы а1 и

а2 линейно зависимы.
Теорема. Для того чтобы три вектора были линейно зависимы,
необходимо и достаточно, чтобы они были компланарны.
  
Доказательство необходимости. Дано: векторы а1 , а2 , а3 линейно
зависимы. Требуется доказать, что они компланарны.
  
Так как векторы а1 , а2 , а3 линейно зависимы, то существуют числа 1 ,
 2 ,  3 , среди которых есть хотя бы одно, не равное нулю, такие, что
   
1а1   2 а2   3а3  0 . Пусть, например, 3  0 , тогда
  
а3  (1 /  3 )  а1  ( 2 /  3 )  а2 .
 
Векторы (1 /  3 )  а1 и ( 2 /  3 )  а2 коллинеарны соответственно
  
векторам а1 и а2 ; очевидно, сумма таких векторов, то есть вектор а3 будет
 
компланарен с векторами а1 и а2 .
  
Доказательство достаточности. Дано: векторы а1 , а2 , а3 компланарны.
Требуется доказать, что эти векторы линейно зависимы.
 
Если векторы а1 и а2 коллинеарны, то они линейно зависимы (теорема
выше), т. е. найдутся числа 1 и  2 , из которых по крайней мере одно не равно
      
нулю и такие, что 1а1   2 а2  0 , но тогда и 1а1   2 а2  0а3  0 , т. е. векторы
    
а1 , а2 , а3 линейно зависимы. Пусть векторы а1 и а2 неколлинеарны. Отложим
        
векторы а1 , а2 , а3 от одной и той же точки О: ОА1  а1 ; , ОА2  а2 , ОА3  а3 . Так
  
как векторы а1 , а2 , а3 компланарны, то точки О, А1 , А2 , А3 лежат в одной
плоскости. Спроектируем точку А3 на прямую ОА1 параллельно прямой ОА2 ;
       
пусть Р – эта проекция. Тогда ОА3  ОР  РА3 и так как ОР || a1 и а1  0 , РA3 || a2

и а2  0 , то беря 1 и  2 в соответствии с определением произведения вектора
      
на число, находим ОР  1a1 , РA3   2 a2 , так что а3  1а1   2 а2 , т.е. векторы
  
а1 , а2 , а3 линейно зависимы.
Теорема. Всякие четыре вектора в пространстве (R3) линейно зависимы.

7
   
Доказательство. Если векторы а1 , а2 , а3 компланарны, то они линейно
зависимы (теорема выше), т. е. найдутся числа 1 ,  2 ,  3 , из которых по
   
крайней мере одно не равно нулю и такие, что 1а1   2 а2   3а3  0 , но тогда и
        
1а1   2 а2   3а3  0а4  0 , т. е. векторы а1 , а2 , а3 , а4 линейно зависимы. Пусть
      
векторы а1 , а2 , а3 некомпланарны. Отложим все векторы а1 , а2 , а3 , а4 от
       
одной и той же точки О: ОА1  а1 , ОА2  а2 , ОА3  а3 , ОА4  а4 . Пусть Р –
проекция точки А4 на плоскость ОА1 А2 параллельно прямой ОА3 , а Q –
проекция точки Р на прямую ОА1 параллельно прямой ОА2 . Тогда
       
а4  ОА4  ОQ  QP  РА4 . Векторы ОQ, QP, РА4 соответственно коллинеарны
  
векторам а1 , а2 , а3 . Беря 1 ,  2 и  3 в соответствии с определением
     
произведения вектора на число, находим ОQ  1a1 , QP   2 a2 , РA4   3a3 , так
       
что а4  1а1   2 а2   3а3 , т. е. векторы а1 , а2 , а3 , а4 линейно зависимы.
Определение. Базисом называется максимальный набор линейно
независимых векторов, взятых в определенном порядке.
Из доказанных теорем следует, что базисом на плоскости является
 
упорядоченная пара неколлинеарных векторов е1 , е2 , лежащих в этой
плоскости, а базисом в пространстве – упорядоченная тройка некомпланарных
  
векторов е1 , е2 , е3 .
   
Определение. Если вектор а разложен по базису е1 , е2 , е3 , т. е.
    
а  1е1   2е2   3е3 , то числа 1 , 2 , 3 называются координатами вектора а в
  
базисе е1 , е2 , е3 .
Теорема. Всякий вектор в пространстве (R3) может быть и при том
единственным образом разложен по базису в этом пространстве.

Доказательство существования разложения. Пусть есть вектор а и
  
базис е1 , е2 , е3 . Так как всякие четыре вектора в пространстве линейно зависимы,
то найдутся числа  0 , 1 ,  2 ,  3 , из которых по крайней мере одно не равно
        
нулю и такие, что  0 а  1е1   2е2   3е3  0 . Если  0 =0, то 1е1   2е2   3е3  0 ,
  
где хотя бы одно из чисел 1 ,  2 ,  3 не равно нулю. Следовательно, е1 , е2 , е3
линейно зависимы, что противоречит определению базиса. Т. е.  0  0 . Тогда
    
а  (1 /  0 )е1  ( 2 /  0 )е2  ( 3 /  0 )е3 – разложение вектора а по базису
  
е1 , е2 , е3 .
Доказательство единственности разложения. Пусть есть два
       
разложения а  1е1   2е2   3е3 и а  1е1   2 е2   3е3 . Тогда
     
1е1   2е2   3е3  1е1   2е2  3е3 . Следовательно, получаем, что
      
(1  1 )е1  ( 2   2 )е2  ( 31   3 )е3  0 . Так как е1 , е2 , е3 – базис, то векторы
  
е1 , е2 , е3 линейно независимы, т. е. 1  1  0 ,  2   2  0 ,  3  3  0 . Значит,

8
1  1 ,  2   2 ,  3  3 , и разложение единственно.
Координаты вектора в данном базисе определяются однозначно, поэтому
если нам каким-то способом удалось их определить, то можно быть
уверенными, что и любым другим способом получится тот же самый результат.
При этом, конечно, если мы сменим базис, то координаты вектора, вообще
говоря, изменятся.
 
Определение. Пусть даны два направленных отрезка ОА и ОB с общим
началом. Углом между ними назовем   наименьший
  из плоских углов,
образованных лучами ОА и ОВ, если ОА  0 и ОВ  0 . Если же хотя бы один из
этих направленных отрезков нулевой, то угол между ними не определяется.
Определение. Углом между двумя векторами называется угол между
изображающими их направленными отрезками, отложенными от одной точки
пространства. (Обратите внимание на разницу между понятиями угла между
прямыми и угла между векторами: угол между прямыми не может быть тупым,
в то время как угол между векторами – может.)
Определение. Два вектора называются ортогональными, если угол
между ними равен 90о.

1.2. Скалярное произведение векторов

Определение. Скалярным произведением двух ненулевых векторов
называется число, равное произведению их длин на косинус угла между ними.
Если хотя бы один из векторов нулевой, то их скалярное произведение по
определению полагают равным нулю.
   
Скалярное произведение векторов а и b обозначается а  b .

Свойства скалярного произведения:

     
1. а, b : а  b  b  а (коммутативность).
   2  
2. а : а  а  а  0 ; выражение а  а называется скалярным
 
квадратом вектора а и обозначается а 2 .
   
3. Если а  а  0 , то а  0 .
         
4. а , b , с ; ,   R : (  а    b )  с    (а  с )    (b  с )
(линейность).
Теорема. Для того чтобы два ненулевых вектора были ортогональны,
необходимо и достаточно, чтобы их скалярное произведение равнялось нулю.
     
Доказательство необходимости. Дано: а  0 , b  0 , а  b . Требуется
 
доказать, что а  b  0 .
       
 
Действительно, а  b  а  b  cos  a ; b = а  b  cos 90o =0.

9
      
Доказательство достаточности. Дано: а  0 , b  0 , а  b  0 . Требуется
 
доказать, что а  b .
         
 
Так как а  b  0 , то а  b  cos  a; b  0 . Поскольку а  0 , b  0 , то
     
   
cos  a ; b  0 . Следовательно,  a; b  90o , т. е. а  b .
Определение. Базис называется ортогональным, если его векторы
попарно ортогональны.
Определение. Базис называется нормированным, если его векторы имеют
единичную длину.
Определение. Базис называется ортонормированным, если он
ортогональный и нормированный.
Определение. Векторы ортонормированного базиса называются ортами.
Определение. Направляющими косинусами вектора называются
косинусы углов  ,  ,  , образуемых этим вектором с векторами
ортонормированного базиса.
       
а  e1 (а1е1  а2е2  а3е3 )  e1 а1 (е1  e1 ) а1
Замечание. cos           .
| а |  | e1 | |а| |а| |а|
 
Аналогично cos   a2 / | а | , cos   a3 / | а | .
Свойство направляющих косинусов: cos 2   cos 2   cos 2   1 .
 
Определение. Проекцией вектора a на ненулевой вектор b называется

вектор, сонаправленный вектору b и имеющий длину (с учетом знака)
   
 
Прb a = a  cos  a ; b (или, учитывая определение скалярного произведения,
 
 a b
Прb a =  ).
b
Теорема. В ортонормированном базисе скалярное произведение векторов
равно сумме произведений их соответствующих координат.
       
Доказательство. Пусть а  а1е1  а2е2  а3е3 и b  b1е1  b2 е2  b3е3 в
     
ортонормированном базисе е1 , е2 , е3 . Так как е1 , е2 , е3 – ортонормированный
          
базис, то е1  е2  е3  1 ; е1  е2 , е1  е3 , е2  е3 . Следовательно, е1  е1  1 ,
         
е2  е2  1 , е3  е3  1 ; е1  е2  0 , е1  е3  0 , е2  е3  0 . Тогда
       
а  b  (а1е1  а2е2  а3е3 ) (b1е1  b2е2  b3е3 ) =
     
= а1b1 (е1  е1 )  а1b2 (е1  е2 )  а1b3 (е1  е3 ) 
  
1 0
    0 
+ а2b1 (е2  е1 )  а2b2 (е2  е2 )  а2b3 (е2  е3 ) 
  
0 1
     0
+ а3b1 (е3  е1 )  а3b2 (е3  е2 )  а3b3 (е3  е3 ) =
  
0 0 1
= а1b1  а2b2  а3b3 .

10
 1.3. Векторное произведение векторов
Определение. Упорядоченная тройка некомпланарных векторов
называется правой тройкой, если из конца третьего вектора кратчайший
поворот от первого ко второму виден против часовой стрелки (рис. 1). В
противном случае она называется левой тройкой.

Левая тройка Правая тройка

Рис. 1
При перестановке в упорядоченной тройке двух любых векторов тройка
меняет ориентацию на противоположную.
 
Определение. Векторным произведением а  b неколлинеарных
  
векторов а и b называется вектор с , такой, что:
    
 
1. с  а  b  sin  a; b ;
   
2. c  a и c  b ;
   
3. вектор с направлен так, что векторы а , b и с в указанном порядке
образуют правую тройку. 

В случае, если векторы а и b коллинеарны, их векторное произведение

равно 0 .

Свойства векторного произведения:

     
1. а, b : а  b  b  а (антикоммутативность).
   
2. а : а  а  0 .
         
3. а , b , с ; ,   R : (  а    b ) с    ( а  с )    (b  с )
(линейность).
Подобно тому, как это было сделано для скалярного произведения,
можно получить выражение для векторного произведения векторов через их
координаты в заданном базисе. Чтобы записать их в компактной и удобной для
запоминания форме, нам потребуется понятие определителя.
Определение. Рассмотрим четыре числа: а, b, с и d. Из них можно

11
 a b
составить таблицу 2  2 :   , которая называется квадратной матрицей
c d 
второго порядка.
Определение. Числа а, b , с и d называются элементами матрицы.
Элементы a и b образуют первую строку матрицы, элементы c и d – вторую
строку; элементы а и с образуют первый столбец матрицы, элементы b и d –
второй столбец.
Определение. Число ad–bc называется определителем (или
a b a b
детерминантом) матрицы   и обозначается так: .
c d  c d
 a1 a2 a3 
 
Определение. Аналогично, таблица  b1 b2 b3  , составленная из девяти
c c c 
 1 2 3

чисел, называется квадратной матрицей третьего порядка.

Как и в случае матрицы второго порядка, вводятся понятия элементов
матрицы, ее строк и столбцов. Строки по-прежнему нумеруются сверху вниз, а
столбцы – слева направо.
b2 b3 b b b b
Определение. Число a1   a2  1 3  a3  1 2 называется
c2 c3 c1 c3 c1 c2
 a1 a2 a3 
определителем (или детерминантом) матрицы  b1 b2 b3  и обозначается
c c c3 
 1 2
a1 a2 a3
b1 b2 b3 . Более полная теория матриц и определителей будет дана позже.
c1 c2 c3
  
Теорема. Пусть е1 , е2 , е3 – правый ортонормированный базис, и в этом
       
базисе а  а1е1  а2е2  а3е3 и b  b1е1  b2е2  b3е3 . Тогда векторное произведение
  
е1 е2 е3
   
а  b вычисляется по следующей формуле а  b = а1 а2 а3 .
b1 b2 b3
  
Доказательство. Так как е1 , е2 , е3 – правый ортонормированный базис, то
              
е1  е2  е3  1 ; е1  е2 , е1  е3 , е2  е3 . Следовательно, е1  е1  0 , е2  е2  0 ,
       
е3  е3  0 . Поскольку, во-первых, е3  е1  е2  sin   e1; e2  , во-вторых
         
е1  е3 , е2  е3 , и в-третьих, е1 , е2 , е3 – правая тройка, то е1  е2  e3 . Аналогично,
              
е2  е1  e3 , е1  е3  e2 , е3  е1  e2 , е2  е3  e1 , е3  е2  e1 . Тогда
       
а  b  (а1е1  а2е2  а3е3 )  (b1е1  b2е2  b3е3 ) =

12
      
= а1b1 (е1  е1 )  а1b2 (е1  е2 )  а1b3 (е1  е3 ) 
 
 
  
 
0 e3  e2
     
+ а2b1 (е2  е1 )  а2b2 (е2  е2 )  а2b3 (е2  е3 ) 
 

  
 
 

 e3 0 e1
     
+ а3b1 (е3  е1 )  а3b2 (е3  е2 )  а3b3 (е3  е3 ) =
 

  
 
 

e2  e1 0
     
= а1b2е3  а1b3е2  а2b1е3 + а2b3e1 + а3b1e2  а3b2e1 =
  
= (а2b3  а3b2 )е1 (а1b3  а3b1 )е2 + (а1b2  а2b1 )е3 =
  
е1 е2 е3
 а2 а3  a1 a3  a1 a2
= е1   e2   e3  = а1 а2 а3 .
b2 b3 b1 b3 b1 b2
b1 b2 b3
 
Теорема. Длина вектора векторного произведения а b численно равна

площади параллелограмма, построенного на векторах а и b , как на смежных
сторонах.
     
Доказательство. Sпар  а  b  sin  a; b  а  b  
Теорема. Для того чтобы два вектора в пространстве были коллинеарны,

необходимо и достаточно, чтобы их векторное произведение равнялось
 0 .

Доказательство необходимости. Если векторы а и b коллинеарны, то
  
а  b  0 по определению.
  
Доказательство достаточности. Пусть а b  0. Тогда
         
 
а  b  sin  a; b  0 . Если а  0 или b  0 , то векторы а и b коллинеарны,
 
 
поскольку нулевой вектор коллинеарен любому. Если а  0 и b  0 , то
      
     
sin  a; b  0 . Следовательно,  a; b  0o или  a; b  180o , т. е. векторы а и

b коллинеарны.

1.4. Смешанное произведение векторов

     
Определение. Смешанным произведением (a, b , c ) векторов а , b и с
называется число, равное скалярному произведению векторного произведения
  
а  b и вектора с .
Свойства смешанного произведения:
                    
1. а , b , с : ( a , b , c )  (c , a , b )  (b , c , a )  (b , a , c )  (c , b , a )  (a , c , b )
(полукоммутативность).
         
2. а, b , с , d ; ,   R : (  а    b , c , d )    (а, с , d )    (b , с , d )
(линейность).
  
Теорема. Пусть е1 , е2 , е3 – правый ортонормированный базис, и в этом

13
            
базисе а  а1е1  а2е2  а3е3 , b  b1е1  b2е2  b3е3 и с  с1е1  с2е2  с3е3 . Тогда
  
смешанное произведение (a, b , c ) вычисляется по следующей формуле
a1 a2 a3
  
(a, b , c ) = b1 b2 b3 .
c1 c2 c3
  
Доказательство. Так как е1, е2 , е3 – правый ортонормированный базис, то
       а а3  a1 a3  a1 a2
(a, b , c ) = (а  b )  с = (е1  2  e2   e3  )
b2 b3 b1 b3 b1 b2
с1 с2 с3
   а а3 a1 a3 a1 a2
(с1е1  с2е2  с3е3 ) = с1  2  с2   с3  = а1 а2 а3 =
b2 b3 b1 b3 b1 b2
b1 b2 b3
a1 a2 a3
= b1 b2 b3 . (Убедитесь самостоятельно в справедливости последнего
c1 c2 c3
равенства).
  
Теорема. Модуль смешанного произведения (a, b , c ) численно равен
  
объему параллелепипеда, построенного на векторах а , b и с , как на смежных
сторонах.
       
 
Доказательство. Vпар  Sосн  H = а  b  sin  a; b  h = а  b  h =
         
= а  b  c  cos (h , c ) = а  b  c  cos (h , c ) =
           
= а  b  c  cos (а  b , c ) = | (a  b )  c | = | (a, b , c ) | .
  
Теорема. Для того чтобы три вектора а , b и с были компланарны,
необходимо и достаточно, чтобы их смешанное произведение равнялось
  нулю.
Доказательство необходимости. Дано: векторы а , b и с
компланарны. Рассмотрим различные случаи, учитывая, что
                 
 
(a, b , c ) = (a  b )  c = а  b  sin  a; b  c  cos (а  b , c ) . Если а  0 , b  0 или
        
с  0 , то (a, b , c ) =0. Иначе, если а и b коллинеарны, то sin  a; b  0 .  
    
Следовательно, (a, b , c ) =0. Иначе, поскольку вектор а  b ортогонален
     
плоскости векторов а и b , а вектор с лежит в ней, то а  b  с . Следовательно,
        
(а  b , c )  90o , а cos (а  b , c )  0 , и тогда (a, b , c ) =0.
  
Доказательство достаточности. Пусть (a, b , c ) =0, т.е.
             
 
а  b  sin  a; b  c  cos (а  b , c ) =0. Если а  0 , b  0 или с  0 , то векторы

14
    
а , b и с компланарны, поскольку 0 компланарен с любыми двумя векторами.
 
Иначе, если векторы а и b коллинеарны, то они линейно зависимы, тогда

любой вектор с линейно зависим с ними (покажите это строго по определению
  
линейной зависимости), а тогда векторы а , b и с компланарны. Иначе,
        
cos (а  b , c ) =0, т. е. (а  b , c )  90o . Следовательно, а  b  с . Поскольку
    
вектор а  b ортогонален плоскости векторов а и b , а вектор с ортогонален
     
ему, то вектор с лежит в плоскости векторов а и b , т. е. векторы а , b и с
компланарны.

1.5. Решение задач на векторы

В задачах, если не оговорено противное, базис считать правым
ортонормированным.
Пример 1. В четырехугольнике ABCD  точки P и Q – середины сторон BC
  
и AD, соответственно. Выразить вектор PQ через векторы AB , BC , CD .
    1   1 
Решение. PQ  PB  BA  AQ   BC  AB  AD 
2 2
1  
 1 
 
 
 1  1 
 
  BC  AB  ( AB  BC  CD )   AB  CD . Как видим, вектор BC в это
2 2 2 2
выражение входит с нулевым коэффициентом (отсутствует).
Пример 2. В параллелограмме ABCD точки P и Q– середины сторон BC
и AD, соответственно. Найти координаты вектора PQ , если за базисные
   
векторы приняты e1  AD и e2  AB .
   1  1  1  1   1 1
Решение. PQ  PC  CQ  AD  AB  e1  e2 , т. е. PQ  ( ;  ) в
  2 2 2 2 2 2
базисе e1 , e2 .
Пример 3. В пирамиде ABCD точки P иQ – середины ребер AD и BC,
   
соответственно. Найти координаты вектора PQ в базисе e1  AB , e2  AC ,
 
e3  AD .
    1   1 
Решение. PQ  PA  AC  CQ   AD  AC  CB 
2 2
1   1   1  1  1   1 1 1 
  AD  AC  (CA  AB )  e1  e2  e3 , т. е. PQ  ( ; ;  ) в базисе e1 ,
 2 2 2 2 2 2 2 2
e2 , e3 .
   
Пример 4. Дано: a  (1;2;5) , b  (1;3;7) . Найти 7 a  5b .
   
Решение. 7a  (7;14;35) , 5b  (5;15;35) . Тогда 7a  5b  (12; 1;0) .
 
Пример 5. Проверить, что векторы a  (1;3) и b  (2;2) на плоскости не
  
коллинеарны, и разложить вектор c  (7; 5) по базису a , b .

15
 1 3  
Решение. Так как   , то векторы a и b не коллинеарны.
2 2 
 
Следовательно, они образуют базис на плоскости. Тогда c  xa  yb .
Расписывая по каждой координате, получаем уравнения 7  x  (1)  y  2 и
  
2  x  3  y  2 , откуда x  3, y  2 . Таким образом, c  3a  2b .

Пример 6. Найти длину вектора a  (3;4) на плоскости и вектора

b  (1; 2;2) в пространстве.
 
Решение. | a | (3) 2  42  5 , | b | 12  (2) 2  22  3 .

Пример 7. Найти направляющие косинусы вектора AB , если A(1; 1;3) ,
B (2;1;1) .
 
Решение. AB = (1;2; 2) . Тогда | AB | 1  4  4  3 . Следовательно,
1 2 2
cos   , cos   , cos    .
3 3 3

Пример 8. Вектор a образует с осями OX и OY углы 60о. Какой угол он
образует с осью OZ?
1
Решение. Так как cos 2 60o  cos 2 60o  cos 2   1 , то cos    .
2
Следовательно,   45o или   135o .

Пример 9. Вектор a образует с осями координат равные острые углы.
Найти эти углы.
1
Решение. Так как cos 2   cos 2   cos 2   1 , то cos    . Учитывая,
3
1 1
что углы острые, cos   . Тогда   arccos .
3 3
Пример 10. Даны точки A(2;0;1) , B (2;1;0) , C (1;0;0) . Найти угол ABC.
 
Решение. BA  (0; 1;1) , BC  (1; 1;0) . Тогда
 
BA  BC 0  (1)  (1)  (1)  1  0 1
cos       . Следовательно,
| BA |  | BC | 2 2 2 2
0  (1)  1  (1)  (1)  0 2 2 2
  60o .

Пример 11. Найти проекцию вектора a  (1;2;3) на ось l, образующую с
координатными осями равные острые углы.

Решение. В качестве l можно взять (1;1;1) . Тогда
 
 a  l 11  2 1  3 1
Прl a    2 3.
|l | 3
  
Пример 12. Даны векторы a  (1;2; 1) и b  (2; 1;3) . Найти Пр a b .

16
 
 a  b 1  2  2  (1)  (1)  3 3
Решение. Пр a b     .
|a| 6 2
1 2
Пример 13. Вычислить определитель .
3 5
1 2
Решение.  1  ( 5)  ( 2)  3  1 .
3 5
1 2 3
Пример 14. Вычислить определитель 0 1 1 .
2 4 5
Решение.
1 2 3
1 1 0 1 0 1
0 1 1  1   2  3  1  9  2  2  3  (2)  1 .
4 5 2 5 2 4
2 4 5
 
Пример 15. Являются ли векторы a  (4;1; 7) , b  (2;5;9) и

c  (8;13; 3) компланарными?
4 1 7
5 9 2 9 2 5
Решение. 2 5 9  4   1 7 
13 3 8 3 8 13
8 13 3
  
 4  (132)  1  66  7  66  0 . Следовательно, векторы a , b и c –
компланарны. 
  
Пример 16. Даны векторы a  (1;0;1) и b  (2;1;3) . Найти a  b .
  
i j k
  0 1  1 1  1 0    
Решение. a  b  1 0 1  i j k  i  5 j  k . Т.е.
1 3 2 3 2 1
2 1 3
 
a  b  (1;5; 1) .
Пример 17. Найти площадь параллелограмма, построенного на векторах
 
a  (1;3) и b  (1;2) .
 
Решение. Вводя третью координату, получаем a  (1;3;0) и b  (1;2;0) .
    1 3 
Тогда S | a  b || 0i  0 j  k | 0  0  (5) 2  5 .
1 2
Пример 18. Найти площадь треугольника с вершинами A(1;0; 1) ,
B (0;2; 3) , C (4;4;1) .
 
Решение. AB  (1;2; 2) , AC  (5;4;2) . Тогда

17
 1   1 2 2  1 2  1 2  1 18
S  | a  b | | i j k | 122  (12)2  (6)2   9 .
2 2 4 2 5 2 5 4 2 2
      
Пример 19. Даны векторы a и b . Выразить векторы x  (a  b )  ( a  b ) и
  
 (a  b )  a   
y  (b  ) через вектор z  a  b .
2 2
Решение. По свойствам векторного произведения
               
x  (a  b )  (a  b )  a  a  b  a  a  b  b  b  2(a  b )  2 z ,
  
 (a  b )  a 1   1   1   1   3   3
y  (b  )  (a  b )  (b  b )  (a  a )  (b  a )  (a  b )  z .
2 2 2 2 4 4 4 4
Пример 20. Найти объем параллелепипеда ABCDA1B1C1D1 и высоту,
опущенную из вершины A1 на основание ABCD , если A(1;2;3) , B (9;6;4) ,
D (3;0;4) , A1 (5;2;6) .
  
Решение. AB  (8;4;1) , AD  (2; 2;1) , AA1  (4;0;3) . Тогда
8 4 1
  
V | ( AB, AD, AA1 ) || 2 2 1 | 48 . Площадь основания
4 0 3
  
i j k
 
S | AB  AD || 8 4 1 | 6 2  (6) 2  (24) 2  18 2 . Тогда высота
2 2 1
V 4 2
h  .
S 3
Пример 21. Найти объем тетраэдра ABCD и высоту, опущенную из
вершины D , если A(0;0;2) , B (3;0;5) , C (1;1;0) , D (4;1;2) .
  
Решение. AB  (3;0;3) , AC  (1;1; 2) , AD  (4;1;0) . Тогда
3 0 3
1    1 1 1
V  | ( AB, AC , AD) | | 1 1 2 | | 3 | . Площадь основания
6 6 6 2
4 1 0
  
i j k
1   1 1 3 11
S  | AB  AD | | 3 0 3 | (3) 2  9 2  32  . Тогда высота
2 2 2 2
1 1 2
3V 1
h  .
S 11

18
 1.6. Задачи для самостоятельного решения
Задача 1. Вычислить определители:
7 4 1 5 cos x  sin x log a b e a
а) ; б) ; в) ; г) .
5 3 11 55 sin x cos x ea log b a
Задача 2. Решить уравнения:
x 0 x  2 3
а)  1; б)  0;
0 x x2 x
sin x  1 sin x  2 log 2 x  3 2
в)  0; г)  0.
2 sin x log 2 x  3 log 2 x
Задача 3. Вычислить определители:
2 1 3 3 0 1 0 a 0 cos x 0 sin x
а) 5 3 2 ; б) 5 2 4 ; в) b c d ; г) 0 1 0 .
1 4 3 0 3 7 0 c 0 sin x 0  cos x
Задача 4. Решить уравнения:
1 2 3 1 x 2
а) 1 x 0  1 ; б) x 1 x  0;
3 2 4 5 5 4
a a a ax x x
в)  a a x  0; г) x b x x  0.
a a x x x cx
   
Задача 5. Написать разложение вектора x по векторам p, q , r :
   
а) x  (0; 8;9), p  (0; 2;1), q  (3;1; 1), r  (4;0;1) ;
   
б) x  (8; 7; 13), p  (0;1;5), q  (3; 1; 2), r  ( 1;0;1) ;
   
в) x  (2;7;5), p  (1;0;1), q  (1; 2;0), r  (0;3;1) ;
   
г) x  ( 15; 20; 1), p  (0;2;1), q  (0;1; 1), r  (5; 3; 2) .
  
Задача 6. Коллинеарны ли векторы с1 и с2 , построенные по векторам a и

b?    
   
а) a  (1;2;8), b  (3;7; 1), c1  4a  3b , c2  9b  12a ;
       
б) a  (2;0; 5), b  (1; 3;4), c1  2a  5b , c2  5a  2b ;
       
в) a  (4;2; 7), b  (5;0; 3), c1  a  3b , c2  6b  2a ;
       
г) a  (1;3;4), b  (2; 1;0), c1  6a  2b , c2  b  3a .
 
Задача 7. Найти угол между векторами AB и AC :
а) A(1;4; 1), B ( 2;4; 5), C (8;4;0) ;
б) A(0;1;0), B (0; 2;1), C (1; 2;0) ;

19
в) A( 4;0;4), B ( 1;6;7), C (1;10;9) ;
г) A( 2;4; 6), B (0;2; 4), C ( 6;8; 10) .
Задача 8. Вычислить площадь параллелограмма, построенного на
 
векторах a и b :
         
а) a  6 p  q , b  5q  p , p  1 / 2, q  4, p; q  5 / 6 ;
         
б) a  2 p  3q , b  p  2q , p  2, q  1,  p; q   / 3 ;
         
в) a  2 p  3q , b  5 p  q , p  2, q  3, p; q   / 2 ;
         
г) a  3 p  2q , b  2 p  q , p  4, q  4, p; q  3 / 4 .
  
Задача9. Компланарны ли векторы a , b и c ?
 
а) a  (4;1;1), b  (9; 4; 9), c  (6; 2;6) ;
  
б) a  ( 3;3;3), b  ( 4;7;6), c  (3;0; 1) ;
  
в) a  ( 7;10; 5), b  (0; 2; 1), c  ( 2;4; 1) ;
  
г) a  (7;4;6), b  (2;1;1), c  (19;11;17) .
Задача 10. Вычислить объем тетраэдра с вершинами в точках A1 , A2 , A3, A4
и его высоту, опущенную из вершины A4 на грань A1 A2 A3 :
а) А1 (2; 1; 1), A2 (0;3;2), A3 (3;1; 4), A4 (4;7;3) ;
б) А1 (3; 5;6), A2 (2;1; 4), A3 (0; 3; 1), A4 (5;2; 8) ;
в) А1 (2; 4; 3), A2 (5; 6;0), A3 (1;3; 3), A4 (10; 8;7) ;
г) А1 (1; 1;2), A2 (2;1;2), A3 (1;1;4), A4 (6; 3;8) .
Задача 11. Найти расстояние от точки M 0 до плоскости, проходящей
через точки M 1 , M 2 , M 3 :
а) M 1 (1;1;2), M 2 (1;1;3), M 3 (2;3;8), M 0 (2; 2;4) ;
б) M 1 (2;3;1), M 2 (4;1; 2), M 3 (5; 4;8), M 0 (6;3;7) ;
в) M 1 (1;1; 1), M 2 (2;3;1), M 3 (3; 7;6), M 0 (3;2;1) ;
г) M 1 (1;5; 7), M 2 (3;6;3), M 3 (1; 1;2), M 0 (2;7;3) .
Задача 12. Найти единичный вектор, перпендикулярный плоскости ABC :
а) A( 1; 2; 2), B (13;14;1), C (14;15; 2) ;
б) A(7; 5;0), B (8;3; 1), C (8;5;1) ;
в) A( 3;6;4), B (8; 3;5), C (0; 3;7) ;
г) A(2;5; 3), B (7;8; 1), C (9;7; 4) .
Задача 13. Найти угол между плоскостями:
а) x  y  z 2  1  0, 3x  y  z 2  5  0 ;
б) 3 x  y  5  0, 2 x  y  3  0 ;
в) x  y  z 2  3  0, x  y  z 2  1  0 ;

20
г) x  2 y  2 z  7  0, x  y  35  0 .
Задача 14. Найти абсциссу точки А , равноудаленной от точек B и C :
а) A( x;0;0), B (1;5;9), C (3;7;11) ;
б) A( x;0;0), B (4;6;8), C (2;4;6) ;
в) A( x;0;0), B (1;2;3), C (2;6;10) ;
г) A( x;0;0), B (2; 4; 6), C ( 1; 2; 3) .
Задача 15. Исследовать на линейную зависимость систему векторов:
  
а) a  (1;2;3), b  (6;5;9), c  (7;8;9) ;
  
б) a  (2;1;0), b  (5;0;3), c  (3;4;3) ;
  
в) a  (2;0;2), b  (1; 1;0), c  (0; 1; 2) ;
  
г) a  (2;1;5), b  (4; 3;0), c  (0; 1;10) .

1.7. Ответы

1. а) 1 ; б) 0 ; в) 1; г) 0 . 2. а) 1 ; б) 6;1; в)  2 k , k  Z ; г) 64;0,5 . 3. а) 40 ;
2
б) 21 ; в) 0 ; г) 1. 4. а) 0,6 ; б) 1; 14 / 9 ; в) Если a  0 , то x  R , если a  0 , то
x   a ; г) Если ab  bc  ac  0 и abc  0 , то x  R , если ab  bc  ac  0 и
abc
abc  0 , то x  , если ab  bc  ac  0 , то x   . 5. а)
ab  bc  ac
               
x  2 p  4q  3r ; б) x  4 p  3q  r ; в) x  4 p  2q  r ; г) x  8 p  13q  3r . 6.
а) да; б) нет; в) да; г) да. 7. а) 135o ; б) 60o ; в) 0o ; г) 180o . 8. а) 31 ; б) 7 3 ; в)
102 ; г) 56 2 . 9. а) нет; б) да; в) нет; г) да. 10. а) V  70 / 3; h  140 / 1021 ;
б) V  191 / 6; h  191 / 573 ; в) V  73; h  146 / 83 ; г) V  6; h  3 6 .
11. а) 49 / (3 21) ; б) 40 / 42 ; в) 3/ 5; г) 35 / 737 .
9 11 2 9 1 1 3 5 12
12. а) ( ; ; ) ; б) ( ; ; ) ; в) ( ; ; ) ; г)
206 206 206 83 83 83 178 178 178
17 21 11
( ; ; ) . 13. а) 30o ; б) 45o ; в) 60o ; г) 45o . 14. а) 18 ; б) 15 ; в)
851 851 851
63 ; г) 21 . 15. а) линейно независимы; б) линейно зависимы; в) линейно
независимы; г) линейно зависимы.

21
 2. ЛИНИИ И ПОВЕРХНОСТИ
2.1. Прямая на плоскости
Теорема. Прямая, проходящая через точку M 0  x0 , y0  под углом  к
положительному направлению оси OX (   90o ) имеет уравнение
y  y0  k ( x  x0 ) , где k  tg  – угловой коэффициент.
Доказательство. Пусть
у
М  x, y  – произвольная точка
у М
прямой (рис. 2). Рассмотрим
случай 0o    90o (другой
случай рассматривается М0
аналогично). Так как прямые у0 N
( N , M 0 ) и (ОХ) параллельны, то
MM 0 N   . Тогда
MN y  y0
k  tg   . 
M0N x  x0
Следовательно, y  y0  k (x  x0 ) . х0 х х
Рис. 2

Следствие. Если M 0  OY , т. е. M 0 (0, b) , то уравнение прямой,

проходящей через эту точку под углом  к положительному направлению оси
OX (   90o ) имеет уравнение y  k  x  b , где k  tg  – угловой коэффициент.
Доказательство. Подставим в выведенное уравнение прямой координаты
точки M 0 : y  b  k ( x  0) . Тогда y  k  x  b .
Замечание. Если   90o , то уравнение прямой, проходящей через точку
M 0  x0 , y0  , очевидно, имеет вид x  x0 .
Замечание. Уравнение y  y0  k (x  x0 ) с параметром k является
уравнением пучка прямых, проходящих через точку M 0 , кроме прямой x  x0 .
x y
Определение. Уравнение   1 называется уравнением прямой в
a b
отрезках. Эта прямая пересекает оси координат в точках (a;0) и (0;b).
Теорема. Прямая, проходящая через две точки M 1  x1 , y1  и M 2  x2 , y2 
x  x1 y  y1
( x1  x2 , x1  x2 ) имеет уравнение  .
x2  x1 y2  y1
Доказательство. Пусть M  x, y  – произвольная точка прямой (рис. 3).
Рассмотрим случай 0o    90o (другой случай рассматривается аналогично).

22
Легко видеть, что M 1MP ~ M 1M 2 N (по у
M 1P MP у М
двум углам). Тогда  , т. е.
M1N M 2 N
x  x1 y  y1 М2
 . у2
x2  x1 y2  y1
М1
Теорема. Уравнение вида у1 N
2
Ax  By  C  0 , где A  B  0 , есть 2 Р

уравнение прямой, и обратно, любая 

прямая может быть задана уравнением х1 х2 х х
такого вида. Рис. 3
Доказательство. Пусть дано
уравнение Ax  By  C  0 , и пусть B  0 . Тогда это уравнение можно привести
A C
к виду y   x  , т. е. к виду y  k  x  b , про который доказано, что он
B B
задает прямую, пересекающую ось OY в точке M 0 (0, b) и проходящую под
углом  (   90o ) к положительному направлению оси OX . Если В = 0, то
A  0 . Тогда уравнение можно привести к виду x  C / A , то есть к виду x  x0
уравнения прямой, пересекающей ось OХ в точке M 0 ( x0 ,0) и проходящей под
углом   90o к положительному направлению оси OX . Обратно, пусть есть
невертикальная прямая. Тогда она имеет уравнение вида y  k  x  b . Это
уравнение можно привести к виду k  x  y  b  0 , т. е. к виду Ax  By  C  0 .
Если прямая вертикальная, то ее уравнение x  x0 можно привести к виду
x  0  y  x0  0 , т. е. к виду Ax  By  C  0 .
Теорема. Пусть есть две у
прямые, уравнения которых
y  k1  x  b1 и y  k2  x  b2 . Тогда
угол между ними (острый) можно
получить из формулы
k k
tg   2 1 .
1  k1  k 2  
Доказательство. Так как
внешний угол  2 (рис. 4) 
 2
треугольника равен сумме двух 1
углов треугольника, не смежных с х
ним, то  2  1    , или
Рис. 4
    2  1 . Если   – острый, то
tg   tg    0 . Если   – тупой, то tg   tg     tg   ( tg    0 ). Тогда по
определению модуля, по формуле разности тангенсов и определению k1 и k2

23
 tg  2  tg 1 k k
имеем tg  | tg   | = = 2 1 .
1  tg 1  tg  2 1  k1  k2
Следствие. Пусть есть две прямые, уравнения которых y  k1  x  b1 и
k2  k1
y  k2  x  b2 . Тогда они параллельны, т. е.   0 , tg   0 , если  0,
1  k1  k2
т. е. k1  k 2 , и перпендикулярны, т. е.   90o , tg  не существует, если
1  k1  k2  0 , т. е. k1  k2  1 .

2.2. Прямая и плоскость в пространстве

Утверждения и формулы данного раздела являются следствиями тех
фактов, что были получены в векторной алгебре. Поэтому их доказательства не
приводятся.

Уравнение плоскости, проходящей через точку перпендикулярно вектору

Каждую плоскость в пространстве можно представить как линейное

уравнение, называемое общим уравнением плоскости Ax  By  Cz  D  0 , где
A2  B 2  C 2  0 . Коэффициенты A , B , C являются координатами вектора

n  ( A; B; C ) , нормального (т. е. перпендикулярного) к плоскости.
Если в общем уравнении плоскости D  0 , то плоскость проходит через
начало координат. При A  0 ( B  0 , C  0 ) плоскость параллельна оси OX
(оси OY , оси OZ ) соответственно. При A  B  0 ( A  C  0 , B  C  0 )
плоскость параллельна плоскости ( x, y ) (плоскости ( x, z ) , плоскости ( y , z ) ).

Дана точка M ( x0 ; y0 ; z0 ) и вектор n  ( A; B; C ) . Уравнение плоскости,
проходящей через данную точку перпендикулярно данному вектору, имеет вид:
A( x  x0 )  B( y  y0 )  C ( z  z0 )  0 .
Дана прямая как пересечение плоскостей A1 x  B1 y  C1 z  D1  0 и
A2 x  B2 y  C2 z  D2  0 . Уравнение любой плоскости, проходящей через
данную прямую, имеет вид:
 ( A1 x  B1 y  C1 z  D1 )   ( A2 x  B2 y  C2 z  D2 )  0 ,
где  и  – некоторые действительные числа.

Уравнение плоскости, проходящей через три точки

Через три данные точки M 1 ( x1; y1 ; z1 ) , M 2 ( x2 ; y2 ; z2 ) , M 3 ( x3 ; y3 ; z3 )

проходит только одна плоскость, уравнение которой получается из условия
компланарности радиус-векторов точек плоскости

24
 x  x1 y  y1 z  z1
x2  x1 y2  y1 z2  z1  0 ,
x3  x1 y3  y1 z3  z1
для этого необходимо вычислить определитель и привести полученное
уравнение к общему виду.

Нормальное уравнение плоскости

 
В векторной форме уравнение плоскости имеет вид r  n  D  0 ,

r   x, y , z . Если нормальный вектор плоскости – единичный, т. е.

  A B C  
n 
2 2 2
; ;  , n  1,
 A  B C A2  B 2  C 2 A2  B 2  C 2 
то уравнение плоскости можно записать в виде
x cos   y cos   z cos   p  0 (нормальное уравнение плоскости),
где p – расстояние от начала координат до плоскости, cos  , cos  , cos  –
направляющие косинусы нормали
A B C
cos   , cos   , cos   ,
A2  B 2  C 2 A2  B 2  C 2 A2  B 2  C 2
где  ,  ,  – углы между нормалью плоскости и осями координат OX , OY , OZ
соответственно.
Общее уравнение плоскости может быть приведено к нормальному виду
1
умножением на нормирующий множитель   .
A2  B 2  C 2
Расстояние от точки M 0  x0 , y0 , z0  до плоскости Ax  By  Cz  D  0
находится по формуле, полученной подстановкой точки в нормальное
уравнение
Ax0  By0  Cz0  D
d .
A2  B 2  C 2

Уравнение плоскости в отрезках

Если в общем уравнении D  0 , то, разделив на  D , приведем уравнение

плоскости к виду в отрезках
x y z
  1,
a b c
D D D
где a   , b   , c   определяют соответственно абсциссу, ординату и
A B C
аппликату точек пересечения плоскости с осью OX –  a,0,0  , осью OY –
 0, b,0  , осью OZ –  0,0,c  .

25
 Угол между плоскостями
Угол  между двумя плоскостями A1 x  B1 y  C1 z  D1  0 и
A2 x  B2 y  C2 z  D2  0 находят как угол между их нормальными векторами
 
n1   A1 , B1 , C1 и n2   A2 , B2 , C2  :

| A1 A2  B1 B2  C1C2 |
cos   .
A12  B12  C12 A22  B22  C22

Плоскости параллельны, когда их нормали коллинеарны, т. е.

A1 / A2  B1 / B2  C1 / C2 . Плоскости перпендикулярны, когда их нормали
 
перпендикулярны, т. е. n1  n2  A1 A2  B1 B2  C1C2  0 .

Прямая в пространстве
Уравнения прямой, проходящей через две точки M 1  x1 , y1 , z1  и
x  x1 y  y1 z  z1
M 2  x2 , y2 , z2  имеют вид   .
x2  x1 y2  y1 z2  z1
Уравнения прямой, проходящей через данную точку M 1  x1 , y1 , z1 

параллельно данному направляющему вектору s  (l , m, n) – канонические
x  x1 y  y1 z  z1
уравнения прямой   .
l m n
x  x1 y  y1 z  z1
Вводя параметр t ,    t , получаем параметрический
l m n
вид уравнений прямой
 x  lt  x1

 y  mt  y1 .
 z  nt  z
 1
Каждая прямая в пространстве может быть представлена системой двух
уравнений (задана как пересечение двух плоскостей)
 A1 x  B1 y  C1 z  D1  0
 .
A
 2 x  B 2 y  C 2 z  D 2  0

Угол между двумя прямыми

x  x1 y  y1 z  z1
Прямые заданы в каноническом виде   ,
l1 m1 n1
x  x2 y  y2 z  z2
  . Угол  между прямыми определяется как угол между
l2 m2 n2
 
их направляющими векторами s1  (l1 , m1 , n1 ) , s2  (l2 , m2 , n2 )

26
  
| s1  s2 | | l1l2  m1m2  n1n2 |
cos      .
s1  s2 2 2 2 2
l1  m1  n1 l2  m2  n2 2 2

Очевидны условия параллельности l1 / l2  m1 / m2  n1 / n2 , и

перпендикулярности прямых l1l2  m1m2  n1n2  0 .

Пересечение прямой и плоскости

Угол  между прямой и плоскостью определяют через угол  между

направляющим вектором прямой s  (l , m, n) и нормалью плоскости

N  ( A, B, C ) :
| Al  Bm  Cn |
sin  sin(90   )  cos  .
2 2 2 2 2 2
A B C l m n

Прямая и плоскость параллельны, если направляющий  вектор s прямой
ортогонален нормальному вектору плоскости N , т. е. Al + Bm + Cn = 0 . Прямая

и плоскость  взаимно перпендикулярны, если направляющий вектор s и
нормаль N параллельны A / l  B / m  C / n.
Если Al  Bm  Cn  0, то прямая и плоскость имеют единственную точку
пересечения, определить которую можно из системы
 Ax  By  Cz  D  0,

 x  x1 y  y1 z  z1 .
 l  m  n
Удобно использовать параметрический вид уравнений прямой
 Ax  By  Cz  D  0,
 x  lt  x1 ,


 y  mt  y1 ,
 z  nt  z1.
Решением системы будет значение параметра t  t0 , при котором прямая и
плоскость пересекутся. По значению параметра находят соответствующие
x0 , y0 , z0  координаты точки пересечения.

2.3. Кривые второго порядка

Окружность
Определение. Окружностью называется геометрическое место точек на
плоскости, равноудаленных от некоторой точки, называемой центром.
Расстояние от точек окружности до центра называется радиусом.
Теорема. Если точка M ( x, y ) принадлежит окружности с центром в
начале координат и радиуса r, то ее координаты удовлетворяют уравнению
x 2  y 2  r 2 , и обратно.

27
 Доказательство легко следует из теоремы Пифагора.
Определение. Уравнение x2  y 2  r 2 называется каноническим
уравнением окружности.

Эллипс
Определение. Эллипсом называется геометрическое место точек на
плоскости, для каждой из которых сумма расстояний до двух фиксированных
точек плоскости, называемых фокусами, есть данное число 2а, большее, чем
расстояние 2с между фокусами.
Теорема. Если точка M ( x, y ) принадлежит эллипсу с фокусами в точках
F1 (c,0) и F2 (c,0) и сумма расстояний от нее до фокусов равна 2а, то ее
x2 y 2
координаты удовлетворяют уравнению 2  2  1 , где b 2  a 2  c 2 , и обратно.
a b
2 2
x y
(Уравнение 2  2  1 называется каноническим уравнением эллипса.)
a b
Доказательство. По определению эллипса имеем: | MF1 |  | MF2 | 2a , т. е.
2 2
 y 2   x  c   y 2  2a . Перенося один радикал в правую часть, и
 x  c
возводя обе части уравнения в квадрат, получаем:
2 2
 x  c  y 2  2a   x  c  y2 ,
2
x 2  2 xc  c 2  y 2  4a 2  4a  x  c  y 2  x 2  2 xc  c 2  y 2 ,
2
4a  x  c  y 2  4a 2  4 xc . Еще раз возводя обе части уравнения в квадрат,
получаем: a 2 x 2  2a 2 xc  a 2c 2  a 2 y 2  a 4  2a 2 xc  x 2c 2 ,
x 2c 2 a 2  c2 2
2 2
x c  y a  2 ,2 2
2
x  y 2  a 2  c 2 . Учитывая, что b 2  a 2  c 2 ,
a a
2
b 2 2 2 x2 y 2
имеем: x  y  b , т. е.   1 . Обратно, пусть точка M ( x, y )
a2 a2 b2
x2 y 2
удовлетворяет уравнению   1 . Докажем, что MF1  MF2  2 a .
a2 b2
2 2
Действительно, MF1  MF2 =  x  c  y2   x  c  y2 =
2 x22 2 x2 2
=  x  c   b (1  2 )   x  c   b (1  2 ) =
a a
b2 x 2 b2 x2
= x 2  2 xc  c 2  b 2   x 2
 2 xc  c 2
 b 2
 =
a2 a2
 b2  2  b2  2
= 1  2  x  2 xc  c  b  1  2  x  2 xc  c 2  b 2 =
2 2

 a   a 

28
  a 2  b2  2 2 2  a 2  b2  2 2 2
=  2  x  2 xc  c  b   2  x  2 xc  c  b =
 a   a 
2 2 2 2
 cx   cx   cx   cx 
=    2 xc  a 2     2 xc  a 2 =   a     a  =
a  a a   a 
cx cx cx cx
= a   a = a   a  =2а, поскольку x  a и c  a .
a a a a
Определение. Эксцентриситетом эллипса называется отношение
c
фокального расстояния c к большой полуоси a, т. е. e  . Легко видеть, что
a
e  [0;1) .
Замечание. Если фокусы находятся на оси OY , то b  a .

Гипербола
Определение. Гиперболой называется геометрическое место точек на
плоскости, для каждой из которых модуль разности расстояний до двух
фиксированных точек плоскости, называемых фокусами, есть данное
положительное число 2а, меньшее, чем расстояние 2с между фокусами.
Теорема. Если точка M ( x, y ) принадлежит гиперболе с фокусами в
точках F1 (c,0) и F2 (c,0) и модуль разности расстояний от нее до фокусов
x2 y 2
равен 2а, то ее координаты удовлетворяют уравнению   1 , где
a 2 b2
2 2 2 x2 y 2
b  c  a , и обратно. (Уравнение   1 называется каноническим
a 2 b2
уравнением гиперболы.)
Доказательство. По определению гиперболы имеем: | MF1  MF2 | 2a ,
2 2
т.е. |  x  c  y2   x  c  y 2 | 2a . Тогда получается, что
2 2
 y 2   x  c   y 2  2a . Перенося один радикал в правую часть, и
 x  c
возводя обе части уравнения в квадрат, получаем:
2 2
 x  c  y 2  2a   x  c  y2 ,
2
x 2  2 xc  c 2  y 2  4a 2  4а  x  c  y 2  x 2  2 xc  c 2  y 2 ,
2
4a  x  c  y 2  4 xc  4a 2 . Еще раз возводя обе части уравнения в квадрат,
получаем: a 2 x 2  2a 2 xc  a 2c 2  a 2 y 2  a 4  2a 2 xc  x 2c 2 ,
x 2c 2 a 2  c2 2
2 2
x c  y a  2 ,2 2
2
x  y 2  a 2  c 2 . Учитывая, что b2  с 2  а 2 ,
a a

29
 b2 2 2 2 x2 y 2
имеем:  2 x  y  b , т. е.   1 . Обратно, пусть точка M ( x, y )
a a 2 b2
x2 y 2
удовлетворяет уравнению   1 . Докажем, что | MF1  MF2 | 2a .
a 2 b2
2 2
Действительно, MF1  MF2 =  x  c  y2   x  c  y2 =

2 2x2 2 x22
=  x  c   b ( 2  1)   x  c   b ( 2  1) =
a a
b2 x 2 b2 x2
= x 2  2 xc  c 2  b 2   x 2
 2 xc  c 2
 b 2
 =
a2 a2
 b2  2  b2  2
= 1  2  x  2 xc  a  1  2  x  2 xc  a 2 =
2

 a   a 
 a 2  b2  2 2  a 2  b2  2 2
=  2  x  2 xc  a   2  x  2 xc  a =
 a   a 
2 2 2 2
 cx   cx   cx   cx 
=    2 xc  a 2     2 xc  a 2 =   a     a  =
a a a   a 
 cx cx
  a   a  2a ( x  a )
cx cx a a
= a   a = .
a a cx cx
   a   a  2 a ( x  a )
 a a
Т. е. MF1  MF2 =  2а. Следовательно | MF1  MF2 | 2a .
Определение. Эксцентриситетом гиперболы называется отношение
с
фокального расстояния c к действительной полуоси a, т. е. e  . Легко видеть,
а
что e  (1; ) .
Замечание. Если фокусы находятся на оси OY , то каноническое
y 2 x2 y
уравнение будет 2  2  1 .
b a
Теорема. Гипербола,
x2 y 2
уравнение которой 2  2  1 , 
a b
b Q
имеет асимптоты y   x .
a P
Доказательство.
Покажем, что lim MP  0 . M
x 
Действительно (рис. 5),
0 x

30 Рис. 5
 lim MP  lim MQ  cos  
x  x 

 lim yM  yQ  cos  
x 

b 2 b b
 lim x  a 2  x  cos     cos   lim x 2  a 2  x 
x  a a a x 

b
  cos  lim
 x2  a 2  x  x2  a 2  x   b  cos  lim x2  a2  x 2

a x 2
x a  x 2 a x  2 2
x a  x

b a2 ab  cos
  cos  lim  0.
a x 2 2 2 2
x  a  x lim x  a  x
x

Парабола
Определение. Параболой называется геометрическое место точек на
плоскости, для каждой из которых расстояние до некоторой фиксированной
точки плоскости, называемой фокусом, равно расстоянию до некоторой
фиксированной прямой, не проходящей через фокус, и называемой
директрисой.
Определение. Расстояние от фокуса параболы до ее директрисы
называется параметром параболы.
Эксцентриситет параболы принимается равным единице.
Теорема. Если точка M ( x, y ) принадлежит параболе с фокусом в точке
p p
F ( ,0) и директрисой x   , то ее координаты удовлетворяют уравнению
2 2
2
y  2 px , и обратно. (Уравнение y 2  2 px называется каноническим
уравнением параболы.)
Доказательство. По определению параболы имеем:
2
 p 2 p
x   y  x . Это уравнение эквивалентно следующему:
 2 2
2 2
 p 2  p
x   y x  . Раскрывая скобки, получаем:
 2  2
2 p2 2 2 p2
x  px   y  x  px  . Приводя подобные слагаемые, имеем:
4 4
y 2  2 px . Обратно, пусть точка M ( x, y ) удовлетворяет уравнению y 2  2 px .
Докажем, что расстояние от точки М до фокуса равно расстоянию от этой точки
до директрисы. Действительно, расстояние от точки М до фокуса
2 2
 p  p
| MF |  x    y 2   x    2 px 
 2  2

31
 2
2 p2 2 p2  p p
x  px   2 px  x  px    x    x  , т. е. расстояние | MF |
4 4  2 2
равно расстоянию от точки М до директрисы.
p
Замечание. Если фокус находятся на оси OY ( F (0, ) ), а директриса
2
p
имеет уравнение y   , то каноническое уравнение будет x 2  2 py .
2

Общее уравнение кривой второго порядка

Общее уравнение кривой второго порядка

2 2
a11 x  2a12 xy  a22 y  2a1 x  2a2 y  a  0 , заданное в декартовой системе
координат, определяет одну из следующих девяти линий (см. табл. 1).
Таблица 1
Классификация кривых второго порядка

Группа № Уравнение линии Название линии

x2 y2
1
2
 2 1 Эллипс
a b
2
x y2
2   1 Мнимый эллипс
a2 b2
x2 y2 Две мнимые
I 3  0 пересекающиеся прямые
a 2 b2
x2 y2
4  1 Гипербола
a 2 b2
x2 y2 Две пересекающиеся
5  0 прямые
a 2 b2
II 6 x 2  2 py Парабола

Две параллельные
7 x 2  a 2 (a  0) прямые

Две мнимые
III 8 x 2   a 2 (a  0) параллельные прямые

Две совпадающие
9 x2  0 прямые

32
 2.4. Поверхности второго порядка
Утверждения и формулы данного раздела доказываются аналогично тем,
что были даны для кривых второго порядка. Поэтому их доказательства не
приводятся.
Сфера
Определение. Сферой называется геометрическое место точек
пространства, равноудаленных от фиксированной точки, называемой центром
(рис. 6). Расстояние от точек сферы до центра называется радиусом.
Теорема. Сфера радиуса R с центром в точке M 0 ( x0 , y0 , z0 ) имеет
уравнение ( x  x0 )2  ( y  y0 )2  ( z  z0 )2  R 2 .

Рис. 6. Сфера

Эллипсоид
Определение. Эллипсоидом называется поверхность, каноническое
x2 y 2 z 2
уравнение которой имеет вид 2  2  2  1 (рис. 7).
a b c
Исследуем форму эллипсоида. Из уравнения видно, что координаты точек
поверхности ограничены: | x | a , | y | b , | z | c .
Эллипсоид обладает тремя плоскостями симметрии, тремя осями
симметрии и центром симметрии. Ими служат соответственно координатные
плоскости, координатные оси и начало координат.
Для выяснения формы эллипсоида рассмотрим его сечения плоскостями.
Найдем линию пересечения эллипсоида с плоскостью XOY . Так как любая
точка плоскости XOY имеет нулевую третью координату, z  0 , то координаты
x2 y 2
точек эллипсоида на плоскости XOY удовлетворяют уравнению 2  2  1 .
a b
Получаем, что линия пересечения является эллипсом с полуосями a и b .
y2 z2
Аналогично, сечение в плоскости YOZ дает эллипс 2  2  1 с полуосями b и
b c

33
 x2 z 2
c , а сечение плоскостью XOZ – эллипс 2  2  1 с полуосями a и c .
a c

Рис. 7. Эллипсоид

Так же, как для эллипса, точки пересечения эллипсоида с координатными

осями называются вершинами эллипсоида, центр симметрии – центром
эллипсоида. Если полуоси попарно различны, то эллипсоид называется
трехосным. Если две полуоси равны друг другу, то эллипсоид называется
эллипсоидом вращения. Эллипсоид вращения может быть получен вращением
эллипса вокруг одной из осей.
Гиперболоиды
Определение. Однополостным гиперболоидом называется поверхность,
x2 y 2 z 2
каноническое уравнение которой имеет вид 2  2  2  1 .
a b c
Исследуем форму однополостного гиперболоида. Так же, как эллипсоид,
он имеет три плоскости симметрии, три оси симметрии и центр симметрии.
Ими являются соответственно координатные плоскости, координатные оси и
начало координат (рис. 8).
Для построения гиперболоида найдем его сечения различными
плоскостями. Найдем линию пересечения с плоскостью XOY . На этой
x2 y 2
плоскости z  0 , поэтому 2  2  1 . Это уравнение на плоскости XOY задает
a b
эллипс с полуосями a и b . Найдем линию пересечения с плоскостью YOZ . На
y2 z2
этой плоскости x  0 , поэтому 2  2  1 . Это уравнение гиперболы на
b c
плоскости YOZ , где действительная полуось равна b , а мнимая полуось равна
c . Сечение плоскостью XOZ также является гиперболой с уравнением
x2 z2
 1.
a 2 c2

34
 Рис. 8. Однополостный
гиперболоид

Если a  b , то сечения гиперболоида плоскостями, параллельными

плоскости XOY , являются окружностями. В этом случае поверхность
называется однополостным гиперболоидом вращения и может быть получена
вращением гиперболы, лежащей в плоскости YOZ , вокруг оси OZ .
Сечение однополостного гиперболоида может быть и парой прямых,
называемых прямолинейными образующими (рис. 9). Если точку их пересечения
взять на горловом эллипсе (M 0 ( x0 ; y0 ;0)) , то уравнениями прямолинейных
x  x0 y  y0 z x  x0 y  y0 z
образующих будут:   ,   .
a b c a b
 y0 x0 y0  x0 c
b a b a

Рис. 9. Сечения однополостного

гиперболоида

Определение. Двуполостным гиперболоидом называется поверхность,

x2 y 2 z 2
каноническое уравнение которой имеет вид 2  2  2  1
a b c
Исследуем форму двуполостного гиперболоида (рис. 10). Так же, как
эллипсоид и однополостный гиперболоид, он имеет три плоскости симметрии,

35
три оси симметрии и центр симметрии. Ими являются соответственно
координатные плоскости, координатные оси и начало координат.
Для построения гиперболоида найдем его сечения различными
плоскостями. Найдем линию пересечения с плоскостью XOY . На этой
x2 y 2
плоскости z  0 , поэтому 2  2  1 . Координаты ни одной точки плоскости
a b
XOY не могут удовлетворять данному уравнению. Следовательно,
двуполостный гиперболоид не пересекает эту плоскость. Найдем линию
y2 z2
пересечения с плоскостью YOZ . На этой плоскости x  0 , поэтому 2  2  1.
b c
Это уравнение гиперболы на плоскости YOZ , где действительная полуось
равна c , а мнимая полуось равна b . Сечение плоскостью XOZ также является
x2 z 2
гиперболой, с уравнением 2  2  1 .
a c

Рис. 10. Двуполостный

гиперболоид

Если a  b , то сечения гиперболоида плоскостями, параллельными

плоскости XOY , являются окружностями. В этом случае поверхность
называется двуполостным гиперболоидом вращения и может быть получена
вращением гиперболы, лежащей в плоскости YOZ , вокруг оси OZ .

Конус

Определение. Конусом (второго порядка) называется поверхность,

уравнение которой в некоторой декартовой системе координат имеет вид
x2 y 2 z 2
   0 . Исследуем форму конуса (рис. 11). Так же, как эллипсоид и
a 2 b2 c 2
гиперболоиды, он имеет три плоскости симметрии, три оси симметрии и центр
симметрии. Ими являются соответственно координатные плоскости,
координатные оси и начало координат. Для построения конуса найдем его
сечения различными плоскостями. Найдем линию пересечения с плоскостью

36
 x2 y 2
XOY . На этой плоскости z  0 , поэтому 2  2  0 . Координаты только одной
a b
точки плоскости XOY могут удовлетворять данному уравнению, а именно,
начала координат. Найдем линию пересечения с плоскостью YOZ . На этой
y2 z2 c
плоскости x  0 , поэтому 2  2  0 . Это уравнение пары прямых z   y на
b c b
плоскости YOZ . Сечение плоскостью XOZ также является парой прямых с
c
уравнением z   x .
a

Рис. 11. Конус

Точка пересечения конуса с плоскостью XOY называется вершиной

конуса.
Если a  b , то сечения конуса плоскостями параллельными плоскости
XOY представляют собой окружности. В этом случае поверхность называется
прямым круговым конусом и может быть получена вращением прямой,
лежащей в плоскости YOZ , вокруг оси OZ .

Параболоиды
Определение. Эллиптическим параболоидом называется поверхность,
уравнение которой в некоторой декартовой системе координат имеет вид
x2 y2
  z . Исследуем форму эллиптического параболоида (рис. 12). Он имеет
a 2 b2
две плоскости симметрии и ось симметрии. Ими являются соответственно
координатные плоскости XOZ , YOZ и координатная ось OZ . Для построения
эллиптического параболоида найдем его сечения различными плоскостями.
Найдем линию пересечения с плоскостью XOY . На этой плоскости z  0 ,
x2 y 2
поэтому 2  2  0 . Координаты только одной точки плоскости XOY могут
a b
удовлетворять данному уравнению, а именно, начала координат. При

37
положительном z получаем эллипс. Найдем линию пересечения с плоскостью
y2
YOZ . На этой плоскости x  0 , поэтому 2  z . Это уравнение параболы на
b
плоскости YOZ . Сечение плоскостью XOZ также является параболой.

Рис. 12. Эллиптический

параболоид

Если a  b , то сечения плоскостями, параллельными плоскости XOY ,

представляют собой окружности. В этом случае поверхность называется
параболоидом вращения и может быть образована вращением параболы,
лежащей в плоскости YOZ , вокруг оси OZ .
Определение. Гиперболическим параболоидом называется поверхность,
уравнение которой в некоторой декартовой системе координат имеет вид
x2 y 2
  z . Исследуем форму гиперболического параболоида (рис. 13). Так же,
a2 b2
как и эллиптический параболоид, он имеет две плоскости симметрии и ось
симметрии. Ими являются соответственно координатные плоскости XOZ , YOZ
и координатная ось OZ . Для построения гиперболического параболоида
найдем его сечения различными плоскостями. Найдем линию пересечения с
x2 y 2
плоскостью XOY . На этой плоскости z  0 , поэтому 2  2  0 . Это уравнение
a b
b
определяет на плоскости XOY пару прямых y   x . Найдем линию
a
y2
пересечения с плоскостью YOZ . На этой плоскости x  0 , поэтому  2  z . Это
b
уравнение на плоскости YOZ задает параболу, ветви которой направлены вниз.
x2
Сечение плоскостью XOZ также является параболой 2  z , но ее ветви
a
направлены вверх.

38
 Рис. 13. Гиперболический
параболоид

Цилиндры
Определение. Цилиндрической поверхностью называется геометрическое
место параллельных прямых, пересекающих данную линию. Эта линия
называется направляющей, а параллельные прямые – образующими.
Уравнение вида F ( x; y )  0 определяет цилиндрическую поверхность с
образующими, параллельными оси OZ . На плоскости XOY уравнение
F ( x; y )  0 определяет направляющую рассматриваемой цилиндрической
поверхности. Таким образом, если уравнение поверхности не содержит в явном
виде какой-либо переменной, то это уравнение определяет в пространстве
цилиндрическую поверхность с образующими, параллельными оси
отсутствующего переменного и направляющей, которая в плоскости двух
других переменных имеет то же самое уравнение. Нас будут интересовать
только те цилиндрические поверхности, которые являются поверхностями
второго порядка.
Определение. Поверхность, которая в некоторой декартовой системе
x2 y 2
координат задается уравнением   1 , называется эллиптическим
a 2 b2
x2 y 2
цилиндром, поверхность, которая задается уравнением 2  2  1 , называется
a b
гиперболическим цилиндром, а которая задается уравнением y 2  2 px ,
называется параболическим цилиндром (рис. 14).
Для того чтобы построить цилиндрическую поверхность, достаточно
нарисовать на плоскости XOY направляющую, уравнение которой на этой
плоскости совпадает с уравнением самой поверхности, и затем через точки
направляющей провести образующие параллельно оси OZ . Для наглядности
следует построить также одно-два сечения плоскостями, параллельными

39
плоскости XOY . В каждом таком сечении получим такую же кривую, как и
исходная направляющая.

а б в
Рис. 14. Виды цилиндров:
а – эллиптический; б – гиперболический; в – параболический

Общее уравнение поверхности второго порядка

Общее уравнение поверхности второго порядка
a11x 2  a22 y 2  a33 z 2  2a12 xy  2a13 xz  2a23 yz  2a1x  2a2 y  2a3 z  a  0 ,
заданное в декартовой системе координат, определяет одну из следующих
семнадцати поверхностей (см. табл. 2).
Таблица 2

Классификация поверхностей второго порядка

Группа № Уравнение поверхности Название поверхности

x2 y2 z 2
1   1 Эллипсоид
a 2 b2 c2
x2 y 2 z 2
2    1 Мнимый эллипсоид
a 2 b2 c2
x2 y 2 z 2
3   0 Мнимый конус
a 2 b2 c 2
I
x2 y2 z 2 Однополостный
4   1
a 2 b2 c2 гиперболоид
x2 y 2 z 2 Двуполостный
5    1
a 2 b2 c2 гиперболоид
x2 y 2 z 2
6   0 Конус
a 2 b2 c2

40
 Окончание табл. 2

Группа № Уравнение поверхности Название поверхности

x2 y 2 Эллиптический
7  z
a 2 b2 параболоид
II
x2 y 2 Гиперболический
8  z
a2 b2 параболоид
Две мнимые
x2 y 2
11  0 пересекающиеся
a 2 b2 плоскости
III x2 y 2
12  1 Гиперболический цилиндр
a 2 b2
x2 y 2 Две пересекающиеся
13  0
a2 b2 плоскости

IV 14 y 2  2 px Параболический цилиндр

x2 Две параллельные
15 1
a2 плоскости
x2 Две мнимые
V 16  1
a2 параллельные плоскости
x2 Две совпадающие
17 0
a2 плоскости

41
 2.5. Решение задач на линии и поверхности
Пример 1. Составить уравнение прямой линии, образующей с осью ОХ
угол 60° и пересекающей ось ОY в точке (0,–2). Выяснить, проходит ли эта
прямая через точки А( 3 ,1) и В(2,5).
Решение. Из условия задачи следует, что начальная ордината b=–2,
угловой коэффициент k  tg 60  3 , следовательно, имеем y  x 3  2 .
Подставляя в искомое уравнение прямой координаты точки А вместо текущих
координат, получим 1=3–2, т. е. 1=1. Прямая проходит через точку А( 3 ,1).
Аналогично, подставляя в уравнение координаты точки B, получим: 5  3  2 .
Прямая не проходит через точку В.
Пример 2. Уравнение 15 x  3 y  2  0 привести к уравнению с угловым
коэффициентом.
Решение. Данное уравнение решим относительно y , получим уравнение
y  5 x  2 / 3 . Отсюда видно, что k  5 , b  2 / 3 .
Пример 3. Написать уравнение прямой, проходящей через данные точки
А(2,–5) и В(1,3).
Решение. Запишем уравнение данной прямой
y  (5) x  2 y 5
   ( x  2)  8 x  y  11  0 .
3  (5) 1  2 8
Пример 4. Написать уравнение прямой, проходящей через точку
 
M 0 (1, 2) : а) параллельно вектору S (3,4) , б) перпендикулярно вектору N (2, 3) .
x 1 y  2
Решение. а)  или 4 x  3 y  2  0 , б) 2( x  1)  3( y  2)  0 или
3 4
2x  3y  4  0 .
Пример 5. Найти угол между прямыми y  2 x  1 и y  0,5 x  3 .
k2  k1 0,5  2 3 3
Решение. tg     ,   arctg .
1  k1k2 1  2  0,5 4 4
Пример 6. Выбрать значение коэффициента B прямой 2 x  By  3  0
таким, чтобы эта прямая была: а) параллельна прямой 4 x  3 y  5  0 ,
б) перпендикулярна прямой x  5 y  4  0 .
Решение. Используя условие параллельности прямых, получим
2 B 3
A1 / A2  B1 / B2    4  B  6 , B . Используя условие
4 3 2
перпендикулярности прямых, получим A1 A2  B1 B2  0  2  1  (5)  B  0 ,
B  2 / 5.
Пример 7. Найти уравнение прямой, проходящей через точку
пересечения прямых 2 x  3 y  5  0 и x  2 y  1  0 , а также: а) точку M (2,3) ,
б) перпендикулярно прямой x  y  1  0 .

42
 2 x  3 y  5  0
Решение. Решая систему  , получаем точку пересечения
x  2 y 1  0
прямых M 0 (1,1) . а) Уравнение прямой, проходящей через две точки, будет
x 1 y 1
 , т. е. 2 x  y  1  0 . б) Прямая x  y  1  0 имеет угловой
2  1 3  1
коэффициент 1 , тогда перпендикулярная ей ищется в виде y  x  b . С учетом
прохождения ее через M 0 (1,1) , имеем y  x  2 .
Пример 8. Составить уравнение плоскости, проходящей через точку

M (1; 6;5) перпендикулярно вектору n  (9;2; 1) .
Решение. 9( x  1)  2( y  6)  ( z  5)  0 или 9 x  2 y  z  14  0 .
Пример 9. Составить уравнение плоскости, проходящей через точку
A(2;4;5) и прямую P пересечения плоскостей 9 x  y  5 z  12  0 ,
3x  5 y  z  1  0 .
Решение. Используем формулу пучка плоскостей, проходящих через
прямую P: 9 x  y  5 z  12    3x  5 y  z  1  0 .
Найдем значение параметра  , при котором из пучка плоскостей
выделяется искомая плоскость. Для этого координаты точки A подставим в
полученное уравнение пучка
9
9  2   4  5  5  12    3 2   5  4  5  1  0,  9  8  0,   .
8
Искомое уравнение плоскости
9
9 x  y  5 z  12   3 x  5 y  z  1  0 , 99 x  37 y  31z  105  0 .
8
Ответ: 99 x  37 y  31z  105  0 .
Пример 10. Даны точки M 1 1,2,1 , M 2  0, 1,4  , M 3  3,1,5 . Составить
уравнение плоскости M 1M 2 M 3 .
x 1 y2 z 1 x 1 y  2 z 1
Решение:  0  1  1  2   4  1  1 3 3 
 3  1 1  2   5  1 4 1 4
3 3 1 3 1 3
  x  1   y  2   z  1 
1 4 4 4 4 1
  x  1 9    y  2  8   z  1 11  0 ,
9 x  8 y  11z  36  0 .
Ответ: общее уравнение плоскости 9 x  8 y  11z  36  0 .
Пример 11. Даны точки A  1,0,9  , B  4,1,2  , C  7,3,5 . Составить
уравнение плоскости, проходящей через точку А перпендикулярно вектору BC .

43
Привести его к нормальному виду. 
Решение. Вектор BC имеет вид BC  (3;2;3) . Составим общее уравнение
искомой плоскости
3 x  1  2 y  3  z  9   0 , т. е. 3 x  2 y  3 z  24  0 .
1 1
Найдем нормирующий множитель   2  . Умножая уравнение
3  22  32 22
плоскости на нормирующий множитель, получим нормальное уравнение
3 2 3 24
плоскости x y z   0 , где коэффициенты при x, y , z –
22 22 22 22
соответствующие направляющие косинусы нормали, расстояние от начала
24
координат до плоскости p  .
22
Ответ: общее уравнение плоскости: 3 x  2 y  3 z  24  0 ; нормальное
3 2 3 24
уравнение: x y z   0.
22 22 22 22
Пример 12. Даны точки A  0,4, 1 , B  3,1,2  , C  2, 2,5 . Найти
расстояние от точки M  4,5,6  до плоскости ABC .
Решение. Составим уравнение плоскости ABC :
x y  4 z 1
3 3 3  0 , 12 x  24  y  4   12  z  1  0 , x  2 y  z  7  0 .
2 2 6
Расстояние от точки M до плоскости ABC :
4  2  5  6  7 13 .
d 
2 2 2
1  2 1 6
13
Ответ: расстояние от точки M до плоскости ABC равно .
6
Пример 13. Записать уравнение плоскости в отрезках 3x  y  2 z  4  0 .
Решение. Запишем 3x  y  2 z  4 , разделим на 4 , 3 x  y  z  1 ,
4 4 2
x y z
   1 – уравнение в отрезках. Данная плоскость пересекает ось OX
4 3 4 2
при x  4 / 3 , ось OY при y  4 , ось OZ при z  2 .
Пример 14. При каком значении параметра  две плоскости будут
перпендикулярны: 2 x  y  3z  1  0 , 3x  y    z  5  0 .
Решение. Если плоскости перпендикулярны, то верно равенство
5
2  3  1  3  0 . Отсюда    .
3

44
 5
Ответ: при значении параметра    две плоскости будут взаимно
3
перпендикулярны.
Пример 15. Известны точки A  1;4; 2  , B  2;1;3 , C  7;2;1 и плоскость
3 x  5 y  z  1  0 . Составить уравнение плоскости ABC . Найти угол  между
данной плоскостью и плоскостью ABC .
x 1 y  4 z  2
Решение. Уравнение плоскости ABC 3 3 5  0,
8 2 3
x  1  31 y  4   18  z  2   0 , x  31 y  18z  87  0 .

Нормаль N  (1;31;18) . Найдем угол между плоскостями
| 3  1  5  31  1 18 |
140  140 
cos   ,   arccos 
 .
32  52  12 12  312  182 45010  45010 
Ответ: уравнение плоскости ABC x  31 y  18z  87  0 , угол между
 140 
плоскостями   arccos  .
 45010 
Пример 16. Составить уравнение плоскости, проходящей через точку
A 1;7; 1 перпендикулярно данным плоскостям x  y  5z  5  0 ,
2 x  y  3 z  11  0 .

Решение. Нормальные векторы данных плоскостей N1  (1; 1;5) ,

N 2  (2; 1; 3) . Так как искомая плоскость перпендикулярна данным
  
плоскостям, то ее нормальный вектор N перпендикулярен N1 и N 2 .

Следовательно, можно найти N как векторное произведение
  
i j k
     
N  N1  N 2  1 1 5  8i  13 j  k .
2 1 3
Зная нормальный вектор и точку, составим уравнение искомой плоскости
8  x  1  13  y  7    z  1  0 , т. е. 8 x  13 y  z  98  0 .
Ответ: общее уравнение плоскости, перпендикулярной двум данным
плоскостям, 8 x  13 y  z  98  0 .
Пример 17. Прямая задана как пересечение двух плоскостей. Составить
канонические уравнения прямой
 5 x  y  z  1  0,

3 x  2 y  z  7  0.
Решение. Исключим z , сложив уравнения системы 8 x  y  6  0 .
Исключим y , прибавив ко второму уравнению первое, умноженное на 2,

45
13x  z  5  0 . Выразим из полученных равенств
y 6 z 5 x y 6 z 5
x  , т.е.   .
8 13 1 8 13
x y 6 z 5
Ответ: канонические уравнения прямой   .
1 8 13
Пример 18. Прямая задана как пересечение двух плоскостей. Составить
канонические уравнения прямой.
x  4 y  5 z  12  0,
2 x  3 y  4 z  1  0.
Решение. Исключим x , вычитая из второго уравнения первое,
умноженное на 2, 5 y  6 z  25  0 . Умножим первое уравнение на 4, второе – на
5, запишем разницу полученных выражений 6 x  y  53  0 .
 25 
6 z  
6   53 
Выразим из полученных равенств y   6  x   ,
5  6
53 25
x z
6  y 6 – канонические уравнения.
1 6 5
53 25
x z
6   y 6 – канонические уравнения прямой.
Ответ:
1 6 5
Пример 19. Привести уравнения прямой к каноническому виду
 x  y  3 z  3  0,

3x  3 y  z  6  0.
Решение. Покажем, как можно решить  эту задачу иначе. Нормальные
векторы данных плоскостей N1  (1;1; 3) и N 2  (3; 3;1) . Прямая принадлежит

первой плоскости, а это  значит, что её направляющий вектор s
перпендикулярен нормали N1 ; принадлежит также второй плоскости – вектор
 
s перпендикулярен нормали N 2 . Искомый направляющий вектор прямой
имеет вид
  
i j k
     
N  N1  N 2  1 1 3  8i  10 j  6k .
3 3 1
 y  3 z  0,
Выберем точку на прямой: пусть x0  3 , тогда из системы 
 3 y  z  3  0.
9 3  9 3
y0   , z0   , точка M  3;  ;   . Составим канонические уравнения
8 8  8 8

46
 9 3 9 3
y z y z
x3 8 8 , т. е. x  3  8 8.

8 10 6 4 5 3
9 3
y z
x3 8 8.
Ответ: канонические уравнения прямой 
4 5 3
Пример 20. Составить канонические уравнения прямой, проходящей
через точку М(3;1;0) перпендикулярно плоскостям x  5 y  z  1  0,
3 x  y  2 z  4  0.
Решение. Для составления канонических уравнений прямой необходимо

найти ее направляющий вектор s из условия
 перпендикулярности прямой двум
   
плоскостям s  N1  N 2 , где N1  (1; 5;1), N 2  (3; 1; 2) – нормали плоскостей
i j k
s  N1  N 2  1 5 1  11i  5 j  14k .
3 1 2
Зная точку и направляющий вектор, составляем уравнения прямой
x  3 y 1 z
  .
11 5 14
x  3 y 1 z
Ответ: канонические уравнения прямой   .
11 5 14
Пример 21. Даны точки A(0,1,3), B (2,1,4) и уравнение плоскости
6 x  y  5 z  1  0. Составить уравнение прямой AB . Найти точку пересечения
прямой и плоскости и угол между ними.
x y 1 z 3
Решение. Составим уравнения прямой AB :   .
2 0 1

Направляющий вектор прямой AB имеет вид s  (2;0;1). Нормальный вектор
  
плоскости N  (6;1;5). s  N  7  0, следовательно, прямая и плоскость не
параллельны и имеют единственную точку пересечения.

x y 1 z  3
Положим    t. Тогда параметрические уравнения прямой
2 0 1
 x  2t ,

имеют вид  y  1,
 z  t  3.

Подставляя в уравнение плоскости и решая его относительно t , найдем
17
значение параметра 6(2t )  1  5(t  3)  1  0, t0  . Подставляем в
7
34 38
параметрические уравнения x0   , y0  1, z0  . Точка пересечения
7 7

47
  34 38 
прямой и плоскости P   ;1;  . Найдем угол
 7 7 
| 2  6  0  1  1  5 | 7 7
sin   ,   arcsin .
22  0 2  12 6 2  12  52 310 310
x y 1 z  3
Ответ: уравнения прямой AB   , точка пересечения
2 0 1
 34 38  7
прямой и плоскости P   ;1;  , угол между ними   arcsin .
 7 7  310
Пример 22. Даны точки A(1,2,3), B (0,3,1), C (11, 2, 4) и уравнения
x 1 y  7 z  2
прямой   . Составить уравнение плоскости, проходящей через
1 2 2
данную прямую перпендикулярно плоскости ABC.
Решение. Для того чтобы  составить уравнение искомой плоскости,
найдем ее нормальный вектор N и одну точку. Составим уравнение плоскости
ABC :
x 1 y  2 z  3
1 1 2  7( x  1)  19( y  2)  6( z  3)  7 x  19 y  6 z  63  0,
10 4 1
т. е. 7 x  19 y  6 z  63  0.

Нормаль плоскости ABC имеет вид N1  (7;19;6). Искомая плоскость
перпендикулярна плоскости ABC , следовательно, их  нормали взаимно
перпендикулярны. Также из условий задачи вектор N перпендикулярен

направляющему вектору прямой s  (1;2;2) . Это означает, что будем искать
  
i j k
     
N  N1  s  7 19 6  26i  20 j  33k .
1 2 2
Для нахождения точки искомой плоскости представим уравнение данной
прямой в параметрическом виде
 x  t  1,
x 1 y  7 z  2 
   t ,  y  2t  7,
1 2 2  z  2t  2.

Выберем любое значение параметра t. Пусть t0  0, тогда x0  1, y0  7 ,
z0  2, т. е. выбрана точка M (1;7; 2).
Итак, составим общее уравнение плоскости, проходящей через данную
прямую перпендикулярно данной плоскости:
26( x  1)  20( y  7)  33( z  2)  0, т. е. 26 x  20 y  33 z  180  0.
Ответ: 26 x  20 y  33 z  180  0.

48
 Пример 23. Плоскость 4 x  3 y  9 z  36  0 вырезает в системе координат
треугольник. Составим каноническиеуравнения высот треугольника.
Решение. Нормаль плоскости N  (4; 3;9). Вершины треугольника лежат
на пересечении плоскости с осями координат A(9;0;0), B (0;12;0), C (0;0; 4).
Составим уравнения высоты CK , опущенной на сторону AB, как прямой,
 
перпендикулярной нормали N и вектору AB  (9;12;0). А это значит, что

направляющий вектор sC искомой высоты CK определяется векторным
произведением
i j k
  
sC  N  AB  4 3 9  108 i  81 j  75k .
9 12 0

Составим уравнение CK , зная точку C и вектор sC :
x y z4 x y z4
  , т. е.   .
108 81 75 36 27 25

Аналогично направляющий вектор s A высоты AM опущенной на
сторону BC , имеет вид
i j k
  
s A  N  BC  4 3 9  120 i  16 j  48k .
0 12 4

x9 y z x9 y z
Уравнение AM :   , т. е.  
120 16 48 15 2 6
Направляющий вектор высоты BN , опущенной на сторону AC , есть
i j k
  
sB  N  AC  4 3 9  12 i  97 j  27k ,
9 0 4
x y  12 z
тогда    уравнение высоты BN .
12 97 27
x y z4 x9 y z
Ответ:    уравнение высоты CK ;   
36 27 25 15 2 6
x y  12 z
уравнение высоты AM ;    уравнение высоты BN .
12 97 27
Пример 24. Даны вершины в основании прямой призмы A(5;1;2),
B (2;1;3), C (4;5;5). Ребро AA1 перпендикулярно основанию ABC , его длина
равна 14 . Составить уравнения оснований призмы ABC , A1B1C1 , уравнения
прямых AA1 , A1B1 (Рассмотреть один из случаев).

49
 Решение. Уравнение основания ABC :
x 5 y 1 z  2
3 0 1  4( x  5)  8( y  1)  12( z  2)  0,
1 4 3
4 x  8 y  12 z  36  0, x  2 y  3 z  9  0.

Нормальный вектор плоскости ABC : N  (1; 2;3). Уравнения ребра AA1 –

уравнения прямой, проходящей через точку A параллельно N:
x  5 y 1 z  2
  . Необходимо найти координаты вершины A1 . Приведем
1 2 3
уравнения AA1 к параметрическому виду
 x  t  5,

 y  2t  1,
 z  3t  2.

Узнаем, какое значение параметра t соответствует точке A1
AA1  (12  (2)2  32 )t 2 | t | 14  14, т. е. t0  1. Рассмотрим только случай
t0  1. Координаты точки A1 : x0  6, y0  1, z0  5. Основание A1 B1C1
параллельно ABC , т. е. x  6  2( y  1)  3( z  5)  0 или x  2 y  3 z  23  0.
x  5 y 1 z  2
Прямая A1 B1 параллельна AB . Уравнения AB :   . Тогда
3 0 1
 x  6 y 1 z  5
s  (3;0;1) – направляющий вектор AB. Следовательно,   –
3 0 1
уравнения A1 B1 .
Ответ: x  2 y  3 z  9  0 – уравнение основания призмы ABC ,
x  5 y 1 z  2
x  2 y  3 z  23  0 – уравнение A1 B1C1 ,   – уравнения AA1 ,
1 2 3
x  6 y 1 z  5
  – уравнения A1 B1.
3 0 1
Пример 25. Составить каноническое уравнение эллипса, зная, что
большая его ось 2а=10 и эксцентриситет e  0,8 .
Решение. c  ae  5  0,8  4 , а b находим из равенства
b 2  a 2  c 2  25  16  9 , b =3. Подставляя найденные значения а=5, b=3 в
x2 y 2
уравнение эллипса, получим искомое уравнение   1.
25 9
Пример 26. Написать уравнение гиперболы по данной полуоси а = 1 и
полуфокусному расстоянию с = 2.

50
 Решение. Из равенства а2 + b2 = с2 найдем полуось b: 1 + b2 = 4, т. е.
x2 y 2
b= 3 . Искомое уравнение гиперболы будет иметь вид  1.
1 3
Пример 27. Найти координаты фокуса и уравнение директрисы
параболы х = –5у2.
1
Решение. Перепишем уравнение так: y 2   x и, сравнивая его с
5
1
уравнением у2 = –2рх, получим 2 p  , т. е. p  0,1. Координаты фокуса
5
 1 
 , 0  и уравнение директрисы x  1 / 20 .
 20 
Пример 28. Найти координаты вершины параболы, заданной уравнением
2
х=у +4у+1. Написать уравнение оси симметрии.
Решение. Найдем координаты вершины параболы:
2 2
x  ( y  4 y  4)  4  1 , т. е. х + 3=(у + 2) . Следовательно, вершина параболы
лежит в точке (–3,–2). Уравнение оси параболы у = –2.
Пример 29. Уравнение линии второго порядка
9 x 2  16 y 2  90 x  32 y  97  0
привести к каноническому виду, определить тип и построить.
Решение. Сгруппируем слагаемые, содержащие только х, и слагаемые,
содержащие только у: 9( x 2  10 x)  16( y 2  2 y )  97  0 . Дополним выражения в
скобках до полных квадратов:
9( x 2  10 x  25  25)  16( y 2  2 y  1  1)  97  0 ,
9(( x  5)2  25)  16(( y  1) 2  1)  97  0 ,
9( x  5)2  16( y  1)2  144 ,
( x  5)2 ( y  1) 2
  1,
16 9
( x)2 ( y) 2
  1 , где x  x  5 , y  y  1 .
16 9
Получили, что имеем уравнение эллипса с полуосями a  4, b  3 и центром в
точке O(5, 1) . Теперь построим его (рис. 15).
Пример 30. Нарисовать поверхность 4 x2  y 2  z 2  8 x  4 y  z  3  0 .
Решение. Выделим полные квадраты по переменным x, y и z :
4( x 2  2 x  1)  4  ( y 2  4 y  4)  4  ( z 2  2 z  1)  1  3 , т. е.
4( x  1) 2  ( y  2)2  ( z  1) 2  4 . Разделим обе части на 4:
( x  1)2 ( y  2) 2 ( z  1) 2
   1.
12 22 22

51
 y y

O 1 5 9
x
–1 O Рис. 15
x

–4

Введем новую систему координат с началом в точке O(1, 2,1) ,

получающуюся из старой параллельным переносом. Получим, что в новой
( x) 2 ( y)2 ( z)2
системе поверхность задается уравнением  2  2  1 . Произведем
12 2 2
построение поверхности с помощью сечений. В сечении плоскостью X OZ 
( x)2 ( z)2
получаем эллипс с уравнением 2  2  1 . Его полуоси равны 1 и 2 и лежат
1 2
соответственно на осях OX  и OZ  . В сечении плоскостью X OY  получаем
( x)2 ( y)2
гиперболу с уравнением 2  2  1 . Ее мнимая ось лежит на оси OY  , а
1 2
действительная ось лежит на оси OX  , полуоси соответственно равны 2 и 1. В
сечении плоскостью Y OZ  получаем равностороннюю гиперболу с уравнением
( y) 2 ( z) 2
 2  2  1 . Ее мнимая ось лежит на оси OY  , а действительная ось лежит
2 2
на оси OZ  , обе полуоси равны 2. Для большей наглядности нарисуем еще два
сечения плоскостями параллельными плоскости X OZ  . В сечениях получим
эллипсы, подобные эллипсу в плоскости X OZ  . По рассмотренным сечениям
можно представить себе форму гиперболоида и его расположение в
пространстве (рис. 16).

Рис. 16

52
 2.6. Задачи для самостоятельного решения
Задача 1. Найти угловой коэффициент каждой из прямых, которые
заданы уравнениями:
а) 2 x  3 y  1  0 ; б) 6 x  7 y  2  0 ; в) 3 y  4  0 ; г) 5 x  8  0 .
Задача 2. Найти расстояние от точки A до прямой Р.
а) A  2,6  ; 12 x  5 y  25  0 ; б) A  3, 2  ; 8 x  6 y  5  0 ;
в) A  9, 1 ; 3 x  8 y  4  0 ; г) A  5,13 ; 14 x  2 y  11  0 .
Задача 3. Даны координаты двух точек А, В и уравнение прямой Р.
Составить уравнения прямых, проходящих через точку А и образующих с
прямой Р угол   45о. Составить уравнение прямой АВ. Найти угол  между
прямыми АВ и Р.
а) А(12,6), В(0,11); 4 x  5 y  6  0 ; б) А(–1,–4), В(6,1); x  5 y  10  0 ;
в) А(3,–5), В(6,9); x  7 y  2  0 ; г) А(3,4), В(4,-3); 5 x  3 y  3  0 .
Задача 4. Даны вершины треугольника АВС. Найти: точку пересечения
его высот.
а) А(–2,3), В(–7,–3), С(4,–1); б) А(–1,–3), В(1,2), С(5,1);
в) А(2,–1), В(4,7), С(5,2); г) А(1,0), В(–1,6), С(5,4).
Задача 5. Даны вершины треугольника АВС. Найти уравнения его
медиан.
а) А(–2,3), В(–6,–3), С(4,–1); б) А(–1,–3), В(1,3), С(5,1);
в) А(2,–1), В(4,7), С(6,1); г) А(1,0), В(–1,4), С(3,2).
Задача 6. Даны точки A и B. Найти уравнение серединного
перпендикуляра к отрезку AB.
а) А(–2,3), В(–6,–3); б) А(–1,–3), В(1,3);
в) А(2,–1), В(4,7); г) А(1,0), В(–1,4).

Задача 7. Даны точка М и вектор n . Составить общее уравнение
плоскости, проходящей через данную точку перпендикулярно данному вектору.
 
а) М(7,–7,3); вектор n (2,–2,5); б) М(4,–3,8); вектор n (–2,3,3);
 
в) М(10,7,1); вектор n (–2,1,12); г) М(5,4,4); вектор n (2,2,3).
Задача 8. Составить общее уравнение плоскости, проходящей через
данные точки А, В,С. Составить уравнения прямой, проходящей через точку А
перпендикулярно построенной плоскости АВС.
а) А(2,0,1), В(4,1,3), С(5,1,0); б) А(3,2,1), В(4,5,–1), С(3,1,0);
в) А(6,3,1), В(7,0,–2), С(3,3,4); г) А(0,2,2), В(1,–2,5), С(5,1,3).

Задача 9. Даны точки А, В и вектор s . Составить уравнения прямой АВ и

уравнения прямой, проходящей через точку А параллельно вектору s ; найти
угол между этими прямыми.

а) А(5,0,1), В(2,3,–1);вектор s (0,1,3);

б) А(2,–3,1), В(5,0,2);вектор s (6,6,7);

53
 
в) А(2,3,5), В(4,1,3);вектор s (4,5,–6);

г) А(0,4,0), В(2,–3,–1);вектор s (5,–6,5).
Задача 10. Даны две противоположные вершины квадрата, лежащего в
плоскости, проходящей через начало координат. Составить уравнения
диагоналей квадрата.
а) A(1;0;7), C (3;4;1) ; б) A(9;3;2), C (7;5; 2) ;
в) A(4;4;5), C (1; 1;2) ; г) A(7;1;2), C (5; 1;6) .
Задача 11. Даны прямая и плоскость. Определить угол между прямой и
плоскостью. Найти точку М пересечения прямой и плоскости. Составить
уравнение плоскости, проходящей через данную прямую перпендикулярно
данной плоскости.
x  1 y  21 z  1
а)   , 5x  7 y  z  4  0 ;
3 1 1
x  7 y 3 z  2
б)   , 3x  4 y  z  5  0 ;
0 4 5
x 1 y 1 z  3
в)   , x  3 y  z  17  0 ;
7 7 6
x  8 y  14 z
г)   , 4x  7 y  z  7  0 .
0 4 5
Задача 12. Прямая задана как пересечение двух плоскостей, привести
уравнения прямой к каноническому виду.
5 x  2 y  4 z  7  0 x  2 y  z  4  0
а)  б) 
 8 x  3 y  z  2  0  x  y  5 z  6  0
 x  4 y  5 z 12  0  3x  4 y  z  1  0
в)  г) 
 3x  y  4 z  3  0 4 x  5 y  2 z  4  0
Задача 13. Даны точки А, В и плоскость Р. Найти расстояние от точки А
до плоскости Р. Составить уравнение плоскости, проходящей через данные
точки А, В перпендикулярно плоскости Р.
а) А(5,–3,5), В(4,1,2); 2 x  5 y  z 10  0 ;
б) А(3,4,–2), В(8,5,0);  x  y  6 z  0 ;
в) А(–1,–4,–3), В(2,0,7); x  y  5 z  15  0 ;
г) А(4,–3,–1), В(7,4,2); 2 x  6 y  z  6  0 .
Задача 14. Дана точка А и две плоскости. Найти угол между данными
плоскостями. Составить уравнение плоскости, проходящей через точку А
перпендикулярно обеим плоскостям. Составить уравнение плоскости,
проходящей через точку А и прямую пересечения данных плоскостей.
а) А(1,1,4); 8 x  y  z  8  0, 3x  2 y  z  6  0 ;
б) А(–1,3,2); 7 x  y  z  7  0, x  5 y  z  10  0 ;
в) А(1,0,5); 2 x  2 y  z  4  0, 3x  y  2 z  6  0 ;
г) А(0,2,1); 12 x  y  z  1  0,  3x  5 y  z 15  0 .
Задача 15. Составить уравнение окружности в каждом из следующих

54
случаев:
а) центр окружности совпадает с точкой С(1; –1) и прямая 5 x  12 y  9  0
является касательной к окружности;
б) окружность проходит через точки А(3; 1) и В(–1; 3), а ее центр лежит на
прямой 3 x  y  2  0 ;
в) окружность проходит через три точки А(1; 1), В(1; –1), С(2; 0);
г) окружность проходит через три точки: М1(–1; 5), М2(–2; –2), М3(5; 5).
Задача 16. Составить уравнения эллипса, фокусы которого расположены
на оси абсцисс симметрично относительно начала координат, если даны:
а) точка М1(2; –2) эллипса и его большая полуось a=4;
б) точки М1(4;  3 ) и М2( 2 2 ; 3) эллипса;
в) точка М1(2; –5/3) эллипса и его эксцентриситет e=2/3;
г) точка М1(  5 ; 2) эллипса и расстояние между его директрисами, равное 10.
Задача 17. Составить уравнение гиперболы, фокусы которой лежат на
оси абсцисс симметрично относительно начала координат, если даны:
а) точка М1(–5; 3) гиперболы и эксцентриситет e= 2 ;
2
б) точка М1(9/2; –1) гиперболы с уравнения асимптот y   x ;
3
4
в) точка М1(–3; 5/2) гиперболы и уравнения директрис x   ;
3
3 16
г) уравнения асимптот y   x и уравнения директрис x   .
4 5
Задача 18. Составить уравнение параболы, вершина которой находится в
начале координат, зная, что:
а) парабола расположена симметрично относительно оси ОX и проходит через
точку А(9; 6);
б) парабола расположена симметрично относительно оси ОX и проходит через
точку В(–1; 3);
в) парабола расположена симметрично относительно оси ОY и проходит через
точку С(1; 1);
г) парабола расположена симметрично относительно оси ОY и проходит через
точку D(4; –8).
Задача 19. Какие геометрические образы определяются следующими
уравнениями:
а) 8 x 2  12 xy  17 y 2  16 x  12 y  3  0 ;
б) 17 x 2  18xy  7 y 2  34 x  18 y  7  0 ;
в) 2 x 2  3xy  2 y 2  5 x  10 y  0 ;
г) 6 x 2  6 xy  9 y 2  4 x  18 y  14  0 .
Задача 20. Какие геометрические образы определяются следующими
уравнениями:

55
а) x 2  4 xy  4 y 2  4 x  y  15  0 ;
б) 9 x 2  24 xy  16 y 2  120 x  90 y  0 ;
в) 4 x 2  4 xy  y 2  12 x  6 y  5  0 ;
г) x 2  6 xy  9 y 2  4 x  12 y  4  0 .
Задача 21. Определить координаты центра и радиус сферы:
а) x  y 2  z 2  12 x  4 y  6 z  0 ;
2

б) x 2  y 2  z 2  8 x  0 ;
в) x 2  y 2  z 2  2 x  4 y  6 z  22  0 ;
г) x 2  y 2  z 2  6 z  7  0 .
Задача 22. Определить расположение точек относительно сферы
( x  1) 2  ( y  2)2  ( z  1) 2  49 :
а) A(3,0,4) ; б) B (3,5,0) ; в) C (3,4,4) ; г) D (5,4,6) .
Задача 23. Определить расположение плоскостей относительно сферы
( x  1) 2  ( y  2) 2  ( z  4)2  25 :
а) 2 x  2 y  z  2  0 ; б) 2 x  2 y  z  5  0 ;
в) 2 x  2 y  z  11  0 ; г) 2 x  2 y  z  10  0 .
Задача 24. Составить уравнение:
а) конуса с вершиной в точке S(5; 0; 0), образующие которого касаются сферы
x2  y 2  z 2  9 ;
б) цилиндра, описанного около двух сфер: ( x  2) 2  ( y  1)2  z 2  25 ,
x 2  y 2  z 2  25 ;
x2 y 2
в) поверхности, образованной вращением эллипса   1 , z=0 вокруг оси
16 9
ОX;
x2 z 2
г) поверхности, образованной вращением гиперболы   1 , y=0 вокруг оси
16 9
OZ.
Задача 25. Какие поверхности определяются следующими уравнениями:
а) 4 x  y 2  4 z 2  8x  4 y  8 z  4  0 ;
2

б) x 2  z 2  4 x  4 z  4  0 ;
в) x 2  y 2  z 2  2 y  2 z  0 ;
г) x 2  y 2  6 x  6 y  4 z  18  0 .

56
 2.7. Ответы
2 6 31 31 15 11
1. а) ; б)  ; в) 0; г) не существует. 2. а) ; б) ; в) ; г) .
3 7 13 10 73 2 2
23
3. а) 9 x  y  114 , x  9 y  42 , 5 x  12 y  132 ,   arctg ; б) 2 x  3 y  14 ,
80
9
3 x  2 y  5 , 5 x  7 y  23 ,   arctg ; в) 3 x  4 y  29 , 4 x  3 y  3 ,
20
101
14 x  3 y  57 ,   arctg ; г) 4 x  y  16 , x  4 y  13 , 7 x  y  25 ,
7
81 31 117 41 21
  arctg . 4. а) ( ; ) ; б) ( ;  ) ; в) (2; 4) ; г) (1;0) .
112 14 28 11 11
5. а) 5 x  y  7  0 , 4x  7 y  3  0 , x  8y  4  0 ; б) 5x  4 y  7  0 ,
4 x  y  7  0 , x  5 y  0 ; в) 5 x  3 y  13  0 , x  4  0 , 2 x  3 y  15  0 ;
г) x  1  0 , x  y  3  0 , y  2  0 . 6. а) 2 x  3 y  8  0 ; б) x  3 y  0 ;
в) x  4 y  15  0 ; г) x  2y  4  0 . 7. а) 2 x  2 y  5 z  43  0 ;
б) 2 x  3 y  3 z  7  0 ; в) 2 x  y  12 z  1  0 ; г) 2 x  2 y  3 z  30  0 .
x  2 y z 1
8. а) 3 x  8 y  z  7  0 ,   ; б) 5 x  y  z  14  0 ,
3 8 1
x  3 y  2 z 1 x  6 y  3 z 1
  ; в) 3 x  2 y  3 z  15  0 ,   ;
5 1 1 3 2 3
x y2 z2 x  5 y z 1 x  5 y z 1
г) x  14 y  19 z  10  0 ,   . 9. а)   ,   ,
1 14 19 3 3 2 0 1 3
3 x  2 y  3 z 1 x  2 y  3 z 1 43
arccos( ) ; б)   ,   , arccos ; в)
2 55 3 3 1 6 6 7 11 19
x 2 y 3 z 5 x 2 y 3 z 5 5 x y4 z
  ,   , arccos ; г)   ,
1 1 1 4 5 6 231 2 7 1
x y4 z 47 x 1 y z  7 x2 y2 z4
  , arccos . 10. а)   ,   ;
5 6 5 6 129 1 2 3 17 20 19
x 9 y 3 z 2 x 8 y  4 z x4 y 4 z 5
б)   ,   ; в)   ,
1 1 2 11 7 2 3 5 3
x  2,5 y  1,5 z  3,5 x  7 y 1 z  2 x6 y z 4
  ; г)   ,   .
9 39 74 1 1 2 19 1 10
23 424 334 126 11
11. а) arcsin , ( , , ) , 3 x  y  8 z  26  0 ; б) arcsin ,
5 33 23 23 23 1066
41 12 34 73 73 3
(7, ,  ) , 8 x  5 y  4 z  79  0 ; в) arcsin , ( , , ) ,
11 11 1474 17 17 17
33 170 365
11x  y  14z  54  0 ; г) arcsin , (8, , ) , 31x  20 y 16z  528  0 . 12.
2706 33 33

57
 1 25 14 8
y z  y z
x 14  14 ; x 9  9; x y3 z
а)  б)  в)   ;
14 37 1 9 4 1 11 11 13
2 11
y z
x 3 3 . 13. 11
г)  а) 30 , 11x  5 y  3 z  55  0 ; б) ,
3 10 31 38
4 25
2 x  16 y  3 z  64  0 ; в) , 30 x  5 y  7 z  11  0 ; г) ,
3 41
21
25 x  3 y  32 z  123  0 . 14. а) arccos , x  11 y  13z  62  0 ,
2 231
1
53 x  7 y  10 z  86  0 ; б) arccos , x  2 y  9 z  11  0 ,
9 17
2
115 x  53 y  17 z  78  0 ; в) arccos , 5 x  7 y  4 z  25  0 ,
14
32
11x  5 y  5 z  14  0 ; г) arccos , 2 x  3 y  21z  15  0 ,
5110
21x  7 y  z  15  0 . 15. а) ( x  1)2  ( y  1)2  4 ; б) ( x  2)2  ( y  4)2  10 ;
в) ( x  1)2  y 2  1; г) ( x  2) 2  ( y  1) 2  25 . 16. а) x 2  3 y 2  16 ; б) 3x 2  4 y 2  60 ;
x2 y 2 x2 y 2 2 2 x2 y 2 x2 y 2
в)   1 ; г)   1 . 17. а) x  y  16 ; б)   1 ; в)  1,
9 5 15 6 18 8 4 5
9 x 2 16 y 2 x2 y 2
  1 ; г)   1 . 18. а) y 2  4 x ; б) y 2  9 x ; в) x 2  y ; г) x 2  2 y .
61 305 16 9
19. а) эллипс; б) гипербола; в) две пересекающиеся прямые; г) мнимый эллипс.
20. а) парабола; б) парабола; в) две параллельные прямые; г) две совпадающие
прямые. 21. а) O(6, 2,3) , R  7 ; б) O(4,0,0) , R  4 ; в) O(1, 2,3) , R  6 ; г)
O(0,0,3) , R  4 . 22. а) внутри; б) снаружи; в) принадлежит; г) снаружи. 23. а)
пересекает; б) касается; в) не пересекает; г) пересекает и является
диаметральной. 24. а) 9( x  5)2  16 y 2  16 z 2  0 ; б) x 2  4 xy  4 y 2  5 z 2  125 ;
x2 y 2 z 2 x2 y 2 z 2
в)    1 ; г)    1. 25. а) конус; б) круговой цилиндр;
16 9 9 16 16 9
в) конус; г) круговой параболоид.

58
 3. АЛГЕБРА МНОГОЧЛЕНОВ
3.1. Комплексные числа
Определение. Мнимой единицей называется такое число i, что i 2  1.
Определение. Выражение a  bi , где a и b действительные числа и i –
мнимая единица, называется комплексным числом, записанным в
алгебраической форме. Здесь число a называется действительной частью, а
число bi – мнимой частью комплексного числа.
Имеются обозначения Re и Im. Если z  a  bi , то Re z  a , а Im z  b .
Комплексное число, у которого b равно нулю, является действительным, а у
которого a равно нулю, называют чисто мнимым.
Комплексное число z  a  bi равно 0, если a  0 и b  0 .
Комплексные числа z  a1  b1i и z  a2  b2i равны, если a1  a2 и b1  b2 .
Понятия больше и меньше к комплексным числам, вообще говоря,
неприменимы, поскольку сравнение на множестве комплексных чисел
удовлетворительно ввести нельзя.
Определение. Для комплексного числа z  a  bi комплексное число
z  a  bi называется комплексно сопряженным.

Операции над комплексными числами в алгебраической форме

Сложение: (a  bi )  (c  di )  (a  c )  (b  d )i .
Вычитание: (a  bi )  (c  di )  (a  c )  (b  d )i .
Умножение: (a  bi )(c  di)  (ac  bd )  (ad  bc)i , в частности,
(a  bi )(a  bi)  a 2  b2 , т. е. произведение сопряженных комплексных чисел
есть действительное неотрицательное число.
Деление:
a  bi ( a  bi )( c  di ) ( ac  bd )  (bc  ad )i ac  bd bc  ad
   2  i,
c  di ( c  di )(c  di ) c2  d 2 c  d 2 c2  d 2
где с и d не обращаются одновременно в ноль.
Операции над комплексными числами обладают теми же свойствами
(коммутативность, ассоциативность, дистрибутивность и т.д.), что и
действительные. Из свойств операции комплексного сопряжения отметим:
z1  z2  z1  z2 , z1  z2  z1  z2 , z  z .

Геометрическая интерпретация

Пусть дано комплексное число z  a  bi . На координатной плоскости

(рис. 17) можно поставить точку с координатами (a, b) . Получается способ
задания взаимно-однозначного соответствия между комплексными числами и
точками плоскости. Запись z  a  bi использует декартовы координаты точки,
соответствующей этому числу. Положение точки на плоскости вполне
определяется также заданием ее полярных координат: расстояния r от начала

59
координат до точки и угла  между положительным направлением оси абсцисс
и направлением из начала координат на эту точку.

y
b r

0 a x
Рис. 17

Число r является неотрицательным действительным числом, причем оно равно

нулю лишь для точки 0. Для комплексного числа, лежащего на действительной
оси (т. е. являющегося действительным), число r будет его модулем. Поэтому
r называют модулем комплексного числа z и обозначают z . Угол 
называют аргументом комплексного числа z и обозначают arg z . Угол 
может принимать любые действительные значения, как положительные, так и
отрицательные. Положительные углы отсчитываются против часовой стрелки, а
отрицательные – по часовой. Если углы отличаются друг от друга на число,
кратное 2 , то соответствующие им точки плоскости совпадают. Поэтому из
равенства двух комплексных чисел следует, что их модули равны, а аргументы
отличаются друг от друга на число, кратное 2 . Аргумент не определен лишь
для числа 0, но это число вполне определяется равенством 0  0 .

Тригонометрическая и показательная формы

Между декартовыми и полярными координатами имеется следующая
b
очевидная связь: a  r cos  , b  r sin  , и наоборот, r  a 2  b2 ,   arctg при
a

a0 и   при a  0 . Тогда вместо z  a  bi можно написать
2
z  r (cos   i sin  ) . Такая запись называется тригонометрической формой
комплексного числа. Для однозначности иногда договариваются, что  [0,2 )
(иногда, что   ( ,  ] ). Если учесть формулу Эйлера ei  cos   i sin  , то
получим z  rei . Такая запись называется показательной формой
комплексного числа.
Перемножим два комплексных числа в тригонометрической форме:
z1  z2  r1 (cos 1  i sin 1 )  r2 (cos  2  i sin  2 )  r1r2 (cos(1  2 )  i sin(1  2 )) .
Таким образом, при умножении комплексных чисел их модули перемножаются,
а аргументы складываются. Аналогично сделаем с делением:
z1 r1
 (cos(1  2 )  i sin(1   2 )) , и получим вывод: при делении комплексных
z2 r2

60
чисел их модули делятся, а аргументы вычитаются. Операция произведения
комплексного числа в тригонометрической форме самого на себя несколько раз
даст результат, называемый формулой Муавра:
z n  (r (cos   i sin  ))n  r n (cos n  i sin n ) ,
т. е. при возведении комплексного числа в степень модуль возводится в эту
степень, а аргумент умножается на показатель степени.
Извлечение корня n-й степени из комплексного числа z всегда возможно
и дает n различных значений:
n   2 k   2 k
z  n r (cos   i sin  )  n r  (cos  i sin ),
n n
где k  0,1,2,..., n  1 . Все значения корня n-й степени расположены на
окружности радиуса n z с центром в 0 и делят эту окружность на n равных
частей.
3.2. Многочлены и рациональные дроби
Определение. Выражение f ( x )  a0 x n  a1 x n 1  ...  an 1 x  an называется
многочленом (полиномом) степени n от неизвестной х.
Определение. Корнем многочлена f ( x) называется такое число с, что
f (c )  0 .
Теорема (Безу). Остаток от деления многочлена f ( x) на x  c равен
f ( c) .
Теорема (Основная теорема алгебры). Всякий многочлен с любыми
числовыми коэффициентами, степень которого не меньше единицы, имеет хотя
бы один корень, в общем случае комплексный.
Следствие. Для любого многочлена f ( x) степени n существует
разложение f ( x )  a0 ( x  a1 )( x  a2 )...( x  an ) , единственное с точностью до
порядка множителей, где a0 , a1 , a2 ,..., an в общем случае комплексные.
Следствие. Всякий многочлен степени n ( n  1 ) имеет n корней, в общем
случае комплексных, если каждый корень считать столько раз, какова его
кратность. (Кратность корня можно понимать как количество вхождений корня
ai в разложение f ( x )  a0 ( x  a1 )( x  a2 )...( x  an ) .)
Следствие. Комплексные корни всякого многочлена с действительными
коэффициентами попарно сопряжены.
Следствие. Всякий многочлен с действительными коэффициентами
степени больше, чем второй разложим на множители степени не более второй с
действительными коэффициентами. При этом линейные множители вида x  a
соответствуют действительным корням a многочлена, а множители вида
x 2  bx  c ( D  0 ) соответствуют парам сопряженных комплексных корней.
Определение. Рациональной дробью называется дробь, в числителе и
знаменателе которой стоят многочлены.
Определение. Рациональная дробь называется правильной, если степень
многочлена в числителе меньше степени многочлена в знаменателе, и

61
неправильной – иначе.
Можно доказать, что всякая неправильная рациональная дробь может
быть представлена в виде суммы многочлена и правильной рациональной
дроби.
Определение. Правильная рациональная дробь называется простейшей,
если в ее знаменателе стоит натуральная степень приведенного (т. е. с
единичным коэффициентом при старшем члене) неразложимого на множители
многочлена.
Выше утверждалось, что всякий многочлен степени, выше второй, можно
разложить на множители степени, не выше второй (все коэффициенты,
естественно, предполагаются действительными).
Простейшие дроби делятся на следующие четыре типа:
A
1. ;
xa
A
2.  (   N ,   2 );
 x  a
Bx  C
3. (дискриминант знаменателя D  0 );
x 2  bx  c
Bx  C
4.  (дискриминант знаменателя D  0 ,   N ,   2 ).
x 2
 bx  c 
Можно доказать, что всякую правильную рациональную дробь можно
разложить в сумму простейших, причем единственным образом (с точностью
до перестановки слагаемых).
Алгоритм этого разложения следующий:
1. Разложить знаменатель на множители.
2. Разложить данную дробь на сумму простейших дробей с
неопределенными коэффициентами в числителях так, что множителям
знаменателя вида ( x  a) (т. е. а – корень знаменателя степени  )
Am
соответствуют  простейших дробей вида m
( m  1, 2,..., ), где Am –
 x  a

неизвестные пока числа, а множителям вида x 2
 bx  c  (здесь многочлен
x 2  bx  c не имеет действительных корней) соответствуют  простейших
Bn x  Cn
дробей вида n
( n  1,2,...,  ), где Bn и Cn – также неизвестные пока
 x  bx  c 
2

числа.
3. Для нахождения неизвестных коэффициентов надо правую часть
искомого разложения привести к общему знаменателю (им должен получиться

62
изначальный знаменатель).
4. Можно доказать, что два многочлена равны (в функциональном
смысле) тогда и только тогда, когда равны коэффициенты при одинаковых
степенях х (т. е. когда многочлены равны в алгебраическом смысле). Поэтому у
получившегося в числителе многочлена и у многочлена в изначальном
числителе приравнивают коэффициенты при одинаковых степенях х. При этом
получается система линейных алгебраических уравнений, у которой число
уравнений должно (если все сделано правильно) совпадать с числом
неизвестных.
5. Решить полученную систему уравнений (если все сделано
правильно, то метод гарантирует, что решение существует и единственно).
6. Подставить найденные числа в разложение на свои места.

3.3. Решение задач на многочлены

Пример 1. Перемножить комплексные числа (2  3i)(3  4i) .
Решение. (2  3i)(3  4i)  6  9i  8i  12i 2  6  i  12  18  i .
2  3i
Пример 2. Выполнить деление .
3  4i
2  3i (2  3i)(3  4i ) 2  9i  8i  12i 2 2  17i  12
Решение.    
3  4i (3  4i )(3  4i ) 9  16i 2 9  16
10  17i
  0, 4  0,68i .
25
Пример 3. Решить уравнение z 2  4 z  5  0 .
4  2i
Решение. D  16  20  4 , z   2i.
2
3
Пример 4. Найти корни i .
Решение. Так как i  0  1i , то a  0, b  1 , r  0 2  (1)2  1 ,
cos   0
 , т. е.   3 / 2 . Тогда i  cos(3 / 2)  i sin(3 / 2) . Следовательно,
 sin   1
3 3 / 2  2 k 3 / 2  2 k
i  cos  i sin , где k  0,1,2.
3 3
При k  0 : 3 i  cos( / 2)  i sin( / 2)  0  i  i .
3 3 i
При k  1 : i  cos(7 / 6)  i sin(7 / 6)  
 .
2 2
3 i
При k  2 : 3 i  cos(11 / 6)  i sin(11 / 6)   .
2 2

63
 Пример 5. Разложить рациональную дробь
x6  x5  6 x3  2 x 2  9 x  1
x5  2 x3  2 x2  3x  2
на простейшие.
Решение. Разделим числитель на знаменатель уголком:
_ x6  x5  6 x3  2 x 2  9 x  1 x 5  2 x3  2 x 2  3 x  2
x6  2 x4  2 x3  3x 2  2 x x 1
_  x5  2 x 4  8 x3  5 x 2  7 x  1
 x5  2 x3  2 x2  3x  2
2 x 4  10 x 3  7 x 2  4 x  3

Получим: x6  x5  6 x3  2 x 2  9 x  1 = x  1 + 2 x 4  10 x3  7 x 2  4 x  3 . Разложим
x5  2 x3  2 x2  3x  2 x5  2 x3  2 x2  3x  2
знаменатель на множители: x 5  2 x3  2 x 2  3 x  2 =
= x 5  x 3  3 x 3  3 x  2 x 2  2 = x 3 ( x 2  1)  3x ( x 2  1)  2( x 2  1) =
= ( x 2  1)( x 3  3 x  2) = ( x2  1)( x3  x  2x  2)  ( x2  1)( x( x2  1)  2( x  1)) 
= (x2 1)(x(x 1)(x 1)  2(x 1))  (x2 1)(x 1)(x2  x  2)  ( x2  1)( x  1)2 ( x  2) .
4 3 2
Тогда разложение должно иметь вид: 2 x5  10 x3  7 x2  4 x  3 =
x  2 x  2 x  3x  2
4 3 2
= 2 x  10 x  7 x2 2 4 x  3 = A  B  C  Dx  E =
( x  2)( x  1) ( x  1) ( x  2) ( x  1) ( x  1) 2 x2  1
2 2 2 2 2
= A( x  1) ( x  1)  B( x  2)( x  1)( x  1)  C( x  2)( x  1)  (Dx  E)( x  2)( x  1) =
( x  2)( x  1)2 (x2  1)
(ABDx ) 4 (2ABCE)x3 (2AB2C3Dx ) 2 (2ABC2D3E)x(A2B2C2E)
= .
(x2)(x1)2(x2 1)
Приравнивая коэффициенты при одинаковых степенях х из начального и
конечного числителей, получаем систему:
A  B  D  2 A  3
 2 A  B  C  E  10  B  2
 
 2 A  B  2 C  3 D  7  C  1
 2 A  B  C  2 D  3E  4 D  1
 
 A  2 B  2 C  2 E  3  E  3.
6 5 3 2
Таким образом, x  x  6 x  2 x  9x 1 .
5 3 2
x  2x  2x  3x  2

64
 3.4. Задачи для самостоятельного решения
Задача 1. Вычислить выражения:
а) (2  i )(3  i )  (2  3i)(3  4i) ; б) (2  i )(3  7i)  (1  2i)(5  3i) ;
(1  3i )(8  i ) (2  i)(4  i)
в) ; г) .
(2  i )2 1 i

Задача 2. Решить систему уравнений:

(1  i ) z1  (1  i ) z2  1  i iz1  (1  i ) z2  2  2i
а)  ; б)  ;
(1  i ) z1  (1  i ) z2  1  3i  2iz1  (3  2i ) z2  5  3i
(1  i ) z1  3 z2  i  2 z1  (2  i ) z2  i
в)  ; г)  .
2
 1 z  (3  3i ) z 2  3  i  (4  2i ) z1  5 z 2  1  2i

Задача 3. Решить уравнения:

а) z 2  4 ; б) z 2  iz  0 ;
в) z 2  2 z  5  0 ; г) 5 z 2  2 z  2  0 .
Задача 4. Решить уравнения:
2
а) z  i ; б) z 2  3  4i ;
в) z 2  5 z  4  10i  0 ; г) z 2  (2i  7) z  13  i  0 .
Задача 5. Найти тригонометрическую форму числа:
а) 5 ; б) i ; в) 2 ; г) 3i .
Задача 6. Найти тригонометрическую форму числа:
3
а) 1  i ; б) 1  i 3 ; в) 1  i ; г) 1  (2  3)i .
3
Задача 7. Вычислить выражения:
3 i 24 3  i 30
а) (1  i )1000 ; б) (1  i 3)150 ; в) (1   ) ; г) ( ) .
2 2 1 i
Задача 8. Записать в алгебраической форме элементы множества:
а) 3 1 ; б) 3 i ; в) 4 4 ; г) 6 27 .
Задача 9. Разделить с остатком:
а) x  2 x 3  4 x 2  6 x  8 на x  1 ;
4

б) 2 x 5  5 x3  8 x на x  3 ;
в) 3 x5  x 4  19 x 2  13x  10 на x  2 ;
г) x 4  3 x 3  10 x 2  2 x  5 на x  2 .
Задача 10. Определить кратность корня многочлена:
а) x  5 x 4  7 x 3  2 x 2  4 x  8 ; x  2 ;
5

б) x 5  7 x 4  16 x3  8 x 2  16 x  16 на x  2 ;
в) 3 x5  2 x 4  x 3  10 x  8 на x  1 ;

65
г) x 5  6 x 4  2 x 3  36 x 2  27 x  54 на x  3 .
Задача 11. Разложить на множители с действительными
коэффициентами:
а) x 4  x 2  6 x  8 ; б) x 3  3 x 2  4 x  2 ;
в) x 4  3 x 3  12 x 2  13x  15 ; г) x 3  2 x 2  5 x  6 .
Задача 12. Разложить на сумму простейших:
4 x  57 8x
а) ; б) ;
( x  6)( x  5) ( x  1)( x  3)
x  14 8x  1
в) 2 ; г) 2 .
x  3x  4 x x6
Задача 13. Разложить на сумму простейших:
5 x  2 x2  7 x  2
3
8x  8
а) 2 2
; б) 4 ;
( x  2)( x  x  1) x  10 x 2  9
x4  2 x3  2 x  1
в) 2 ; г) 3 .
x ( x  1) x ( x  1)
Задача 14. Разложить на сумму простейших:
x2 1
а) 4 ; б) 4 ;
x  16 x 4
x 1
в) 2 2
; г) 4 .
( x  1)( x  1) ( x  1) 2

3.5. Ответы
13 1
1. а) 1  18i ; б) 4i ; в) 5  i ; г)  i . 2. а) (i;1  i ) ; б) (2;1  i ) ; в)  ;
2 2
(2  i)c  i
г) ( ; c ) , где с – любое комплексное число. 3. а) 2i ; б) 0 ; i ;
2
2
в) 1  2i ; г) 0,2  0,6i .4. а)  (1  i ) ; б)  (2  i) ; в) 5  2i ; 2i ; г) 5  3i ; 2  i . 5.
2
   
а) 5(cos0  i sin 0) ; б) cos  i sin ; в) 2(cos   i sin  ) ; г) 3(cos( )  i sin( )) .
2 2 2 2
  2 2  2  
6. а) 2(cos( )  i sin( )) ; б) 2(cos  i sin ) ; в) (cos  i sin ) ; г)
4 4 3 3 3 6 6
5 5
( 6  2)(cos( )  i sin( )) . 7. а) 2500 ; б) 2150 ; в) (2  3)12 ; г) 215 i . 8. а)
12 12
1 3 3 i 3 3
1;   i ; б)   ; i ; в) 1  i; 1  i ; г) i 3 ;  ( 3  i) ;  ( 3  i) .
2 2 2 2 2 2
9. а) частное x 3  x 2  3 x  3 , остаток 5; б) частное 2 x 4  6 x 3  13 x 2  39 x  109 ,
остаток –327; в) частное 3 x 4  7 x 3  14 x 2  9 x  5 , остаток 0; г) частное
x 3  5 x 2  2 , остаток 1. 10. а) 3 ; б) 4 ; в) 2 ; г) 3 . 11. а) ( x  1)( x  2)( x 2  x  4) ;

66
б) ( x  1)( x 2  2 x  2) ; в) ( x  3)( x  5)( x 2  x  1) ; г) ( x  1)( x  3)( x  2) .
7 3 2 6 3 2 3 5
12. а)  ; б)  ; в)  ; г)  .
x5 x6 x 1 x  3 x 1 x  4 x2 x3
3x 2x 1 x 1 x 1 2 2 3
13. а) 2  2 ; б) 2  2 ; в) x  1   2  ;
x  2 x  x 1 x 1 x  9 x x x 1
1 1 1 2 1 1 1
г) 3  2   . 14. а)   ;
x x x x 1 8( x  2) 8( x  2) 2( x2  4)
x2 x2 1 x 1 x 1
б) 2
 2
; в)    ;
8( x  2 x  2) 8( x  2 x  2) 4( x  1) 4( x  1) 2( x 2  1)2
2

1 3 1 1 3 1
г)      .
16( x  1)2 16( x  1) 16( x  1) 2 4( x 2  1) 16( x  1) 4( x 2  1) 2

67
 4. МАТРИЦЫ, ОПРЕДЕЛИТЕЛИ, СИСТЕМЫ
4.1. Матрицы. Основные определения
Определение. Матрицей называется прямоугольная таблица, в каждой
клетке которой стоит какое-нибудь число или выражение.
Матрицы обычно обозначают большими буквами латинского алфавита,
например A, B, C.
Определение. Матрица имеет размерность m×n, если она имеет m строк
и n столбцов.
Определение. Элементом матрицы называется содержимое ее клетки.
Элементы матрицы обычно обозначают малыми буквами латинского
алфавита с двумя индексами, где первый индекс – номер строки, а второй –
номер столбца, где элемент расположен, например aij – элемент,
расположенный на пересечении i-й строки и j-го столбца.
Матрицу обычно записывают следующим образом:
 a11 a12 ... a1n 
a a22 ... a2 n 
A  21
.
 ... ... ... ... 
 
 am1 am 2 ... amn 
Определение. Матрицы называются равными, если они имеют
одинаковую размерность и их элементы, стоящие на одинаковых местах,
равны.
Определение. Матрица называется нулевой, если все ее элементы равны
нулю.
Нулевую матрицу будем обозначать O (в то время как число – 0).
Определение. Матрицей-строкой называется матрица размерности 1×n.
Ее также называют вектор-строкой.
Определение. Матрицей-столбцом называется матрица размерности
m×1. Ее также называют вектор-столбцом.
Определение. Транспонированными называются матрицы, у которых
строки (столбцы) одной являются столбцами (строками) другой. (Также
говорят, что одна матрица получена из другой транспонированием).
Матрицу, полученную из матрицы A транспонированием, будем
обозначать AT .
Определение. Матрица называется квадратной, если число ее строк
равно числу ее столбцов.
О размерности квадратной матрицы говорят одним числом, например
квадратная матрица размерности n.
Определение. Главную диагональ квадратной матрицы образуют
элементы a11 , a22 , …, ann .
Определение. Побочную диагональ квадратной матрицы образуют

68
элементы an1 , an1,2 , …, a1n .
Определение. Квадратная матрица называется диагональной, если все ее
элементы, стоящие вне главной диагонали, равны нулю.
Определение. Квадратная матрица называется верхнетреугольной
(нижнетреугольной), если все ее элементы, расположенные ниже (выше)
главной диагонали, равны нулю.
Определение. Квадратная матрица называется единичной, если элементы
ее главной диагонали равны единице, а все остальные – нулю.
Единичную матрицу будем обозначать E. Очевидно, что она является
диагональной.

4.2. Операции над строками матрицы

Определение. Элементарными преобразованиями строк матрицы
называются преобразования следующих трех типов:
1. Перестановка местами двух строк.
Условное обозначение: , где стрелки указывают на строки,
переставляемые местами.
2. Замена строки суммой этой строки и другой, предварительно
умноженной на какое-либо число  .

Условное обозначение: , где стрелка указывает на изменяемую
строку, а множитель  ставится рядом с преобразуемой строкой.
3. Умножение элементов строки на ненулевое число  .
Условное обозначение  ставится рядом с преобразуемой строкой.
Аналогично вводятся элементарные преобразования столбцов матрицы.

4.3. Ступенчатые матрицы

Определение. Опорным элементом строки матрицы называется первый
слева ненулевой элемент этой строки.
Условное обозначение: обводится кружочком или квадратиком.
Определение. Матрица называется ступенчатой (имеющей
ступенчатый вид), если опорный элемент каждой последующей строки
расположен правее опорного элемента предыдущей.
В частности, опорный элемент первой строки может находиться в любом
месте, нулевая строка (все элементы которой – нули) может располагаться под
любой строкой, а ниже нулевой строки могут находиться только нулевые.
Определение. Матрица имеет ступенчатый вид Гаусса, если:
 она имеет ступенчатый вид;
 все опорные элементы равны единице;
 над опорными элементами всюду выше стоят только нули.
Поскольку в некоторых доказательствах мы собираемся использовать
принцип математической индукции, то приведем его формулировку.

69
 Принцип математической индукции. Пусть сформулировано некоторое
утверждение, зависящее от натурального числа n. Тогда, доказав что
 это утверждение верно для некоторого начального n0 (доказав базу
индукции);
 это утверждение верно для n  l , предполагая, что утверждение верно
для всех n  l (доказав шаг индукции, принимая индуктивное предположение);
можно сделать вывод, что данное утверждение верно для любого
натурального n.
Теорема. Любая матрица А может быть приведена к ступенчатой
матрице с помощью элементарных преобразований строк первого и второго
типов.
Доказательство. Проведем доказательство индукцией по числу строк
матрицы. Если имеется всего одна строка, то матрица А уже ступенчатая. Пусть
теперь матрица А содержит m строк, где m  2 . Предположим, что матрицу с
числом строк, меньшим m, можно привести к ступенчатому виду. Если матрица
А нулевая, то она ступенчатая. Если А ненулевая, то в ней есть хоть один
ненулевой элемент. Ненулевой элемент располагается в какой-то строке.
Значит, в матрице А есть ненулевые строки. Выберем ту строку, в которой
опорный элемент располагается в столбце с наименьшим номером, скажем с
номером k1 . Применив преобразование первого типа, перенесем эту строку на
первое место. Тогда матрица примет вид:
 0 ... 0 b1k1 ... 
 
 0 ... 0 b2 k1
... 
 ... ... ... ... ...  ,
 
 0 ... 0 bmk ... 
 1 
причем b1k1  0 . Теперь будем применять преобразования второго типа: ко
b2 k1
второй строке прибавим первую, умноженную на  , к третьей строке –
b1k1
b3k1
первую, умноженную на  , и т. д. После применения m  1 таких
b1k1
элементарных преобразований добьемся того, что в k1 столбце всюду, кроме
первой строки, будут нули:
 0 ... 0 b1k1 ... 
 
 0 ... 0 0 ... 
C .
 ... ... ... ... ... 
 
 0 ... 0 0 ... 
Отбросим первую строку. Оставшаяся матрица имеет m  1 строку. По
индуктивному предположению ее можно привести к ступенчатому виду:

70
  0 ... 0 0 
 
G   .. ... ... ... D  .
 0 ... 0 0 
 
Пусть первые ненулевые элементы строк ступенчатой матрицы G
располагаются в столбцах с номерами k 2 ,..., k r . Тогда k2  ...  kr по
определению ступенчатой матрицы. Но осуществляя элементарные
преобразования уменьшенной матрицы, можно считать, что мы делаем
элементарные преобразования матрицы С, не использующие первой строки.
Поскольку при выполнении этих элементарных преобразований нули, стоявшие
в первых k1 столбцах матрицы С, не могли исчезнуть, то k1  k2 . Таким
образом, мы получили матрицу
 0 ... 0 b1k1 ... 
 
 0 ... 0 0 ,
H 
... ... ... ... D 
 
 0 ... 0 0 
 
которая ступенчатая.
Теорема. Любая матрица А может быть приведена к матрице,
имеющей ступенчатый вид Гаусса, с помощью элементарных преобразований
строк.
Доказательство. Поскольку любая матрица А может быть приведена к
ступенчатой матрице с помощью элементарных преобразований строк первого
и второго типов, то считаем, что первый пункт определения матрицы, имеющей
ступенчатый вид Гаусса, выполнен. Теперь применим преобразования третьего
типа. Умножим каждую ненулевую строку на число, обратное ее опорному
элементу. Стал выполненным и второй пункт определения матрицы, имеющей
ступенчатый вид Гаусса. При этом первый пункт не перестал выполняться.
Далее для каждой строки i, имеющей опорный элемент biki , кроме первой, в
порядке возрастания i сделаем следующее. К каждой строке j, такой что j<i,
b jk
прибавим i-ю строку, умноженную на  i  b jki . Таким образом, над
biki
опорным элементом biki всюду выше появятся нули. При этом, поскольку в i-й
строке до элемента biki стоят нули, то не пропадут нули, стоявшие в j-й строке
(j< i) до k j -го столбца, и нули, сделанные в j-й строке (j< i) в столбцах между
k j -м и ki -м столбцами над опорными элементами строк с номерами между j и i.
Следовательно, будут выполненными все три пункта определения матрицы,
имеющей ступенчатый вид Гаусса.

71
 4.4. Линейная зависимость строк матрицы
Поскольку строку матрицы можно рассматривать как n-мерный вектор, а
для векторов вводились понятия линейной зависимости и независимости, то
можно рассматривать эти понятия применительно к строкам матрицы.
 
Используя обозначения ai для i-й строки матрицы и 0 для нулевой, имеем
следующие определения.
Определение. Строка матрицы называется линейной комбинацией строк
     
a1 , a2 ,..., an , если ее можно представить в виде суммы 1a1  2 a2  ...  n an , где
1 , 2 ,..., n – действительные числа.
  
Определение. Линейная комбинация 1a1  2 a2  ...  n an называется
тривиальной, если 1  2  ...  n  0 .
Определение. Набор из нескольких строк матрицы называется линейно
зависимым, если существует нетривиальная линейная комбинация этих строк,
   
равная нулевой строке, т. е. 1a1  2 a2  ...  n an = 0 , где не все i равны нулю.
Определение. Набор из нескольких строк матрицы называется линейно
   
независимым, если равенство 1a1  2 a2  ...  n an = 0 возможно только в
тривиальном случае.
4.5. Ранг матрицы. Базисные строки
Определение. Рангом матрицы называется максимальное число линейно
независимых строк этой матрицы.
Определение. Говорят, что базисными строками матрицы можно
объявить те ее строки, которые являются линейно независимыми, а их число
равно рангу матрицы.
Выбор базисных строк, вообще говоря, неоднозначен.
Теорема. Ранг матрицы не меняется при элементарных преобразованиях
строк.
Доказательство. Проведем доказательство индукцией по числу
примененных элементарных преобразований. Пусть применено одно
элементарное преобразование.
Если это элементарное преобразование первого типа, то новая матрица
содержит те же строки, что и старая, только в другом порядке. Соответственно,
линейно независимыми остались в точности те наборы строк, которые были
таковыми.
Если применено элементарное преобразование второго типа, то строки
      
a1 ,..., ai ,..., an старой матрицы перешли в строки a1 ,..., ai   a j ,..., an новой
матрицы. Сначала покажем, что при переходе от старой матрицы к новой ранг
не мог увеличиться. Пусть ранг старой матрицы равен r , т. е. старая матрица
имеет r линейно независимых строк, но любые r  1 ее строк линейно
зависимы. Предположим противное: в новой матрице имеется r  1 линейно
независимых строк. Поскольку при переходе от старой матрицы к новой

72
изменениям подверглась только i-я строка, то r  1 линейно независимых строк
содержат i-ю строку и без i-й строки оставшиеся r строк линейно независимы.
   
Таким образом, пусть ak1 ,..., akr , ai   a j – линейно независимые строки. По
    
определению линейной независимости 1ak1  ...  r akr  r 1 (ai   a j )  0 только
    
в тривиальном случае. Т. е. 1ak1  ...  r akr  r 1ai  r 1 a j  0 только при
 
1  ...  r  r 1  0 . Но тогда, если строка a j содержится среди строк ak1 ,..., akr
старой матрицы, то r  1 строка, а если строка a j не содержится среди строк
 
ak1 ,..., akr старой матрицы, то r  2 строки старой матрицы являются линейно
независимыми. Полученное противоречие показывает, что ранг новой матрицы
не больше ранга старой. Заметим, что от новой матрицы можно вернуться к
  
старой, прибавляя к i-й строке ai   a j j-ю строку a j , умноженную на  .
Следовательно, аналогично доказывается, что ранг старой матрицы не больше
ранга новой.
Если применено элементарное преобразование третьего типа, то строки
     
a1 ,..., ai ,..., an старой матрицы перешли в строки a1 ,...,  ai ,..., an новой матрицы,
где   0 . Очевидно, что изменения коснулись только таких линейных
комбинаций строк, в которых есть i-я строка. Т. е. линейной комбинации
  
L  1ak1  ...  q ai  ...  r akr строк старой матрицы соответствует линейная
  
комбинация L  1a k1  ...  q  ai  ...  rakr строк новой матрицы. Эти
линейные комбинации будут равны, если 1  1,...,  q   q  ,...,  r  r , причем
из равенства q  q следует, что q  0 в точности тогда, когда q  0 .

Поэтому, если существует нетривиальный набор 1 ,..., q ,..., r , такой что L  0 ,

то существует нетривиальный набор 1,..., q ,..., r , такой что L  0 , и наоборот.
Следовательно, элементарное преобразование третьего типа сохраняет
отношение линейной зависимости (или независимости) на наборах
соответствующих строк старой и новой матриц, а значит, не меняется ранг.
Доказав теорему для случая одного элементарного преобразования, в
предположении, что мы можем доказать ее для случая (t–1)-го элементарного
преобразования, докажем для случая t элементарных преобразований ( t  1 ).
Пусть А – начальная матрица, В – конечная, а С – матрица, возникшая после
применения к А первого из элементарных преобразований. Тогда на основании
доказанного ранги матриц А и С равны, а на основании индуктивного
предположения ранги С и В равны. Следовательно, ранги А и В равны.
Используя эту теорему можно находить ранг матрицы как число
ненулевых строк в ее ступенчатом виде (т. е. в ступенчатой матрице,
полученной из данной с помощью элементарных преобразований строк).
Аналогично базисными строками можно объявить те строки изначальной
матрицы, которые при приведении к ступенчатому виду перешли в ненулевые.

73
 4.6. Определители
Дадим индуктивное определение определителя (разложением по первой
строке).
Определение. Определителем (n-го порядка) назовем отображение,
которое определено на множестве квадратных матриц (размерности n×n),
принимает значения на множестве действительных чисел и организовано
следующим образом:
 при n  1 квадратной матрице первого порядка ставится в соответствие
то число, которое содержится в ее клетке, т. е. A  a  a , где – обозначение
для определителя;
 предполагая определенными определители порядка n, где n  k ,
определитель порядка k введем соотношением
a11 a12 ... a1n
a22 ... a2 n
a21 a22 ... a2 n
A  a11 ... ... ... 
... ... ... ...
an 2 ... ann
an1 an 2 ... ann
a21 ... a2 n a21 ... a2,n1
n 1
 a12 ... ... ...  ...  (1) a1n ... ... ... .
an1 ... ann an1 ... an ,n 1
Помимо обозначения A также используются обозначения A и det A .
Теорема. Определители можно вычислять разложением по любому
столбцу или по любой строке, при этом имеют место равенства:
a11 a12 ... a1n
a21 a22 ... a2 n n n
A   (1)i k aik M ik   (1)k  j akj M kj ,
... ... ... ... k 1 k 1

an1 an 2 ... ann

где M ik ( M kj ) называется минором ( n  1 )-го порядка, соответствующим
элементу aik ( akj ) и является определителем матрицы, полученной из матрицы
А вычеркиванием i-й (k-й) строки и k-го (j-го) столбца.
Доказательство. Если по определению определителя расписать его
миноры ( n  1 )-го порядка до сумм произведений чисел, то можно увидеть, что
результат не зависит от того, разложением по какой строке или какому столбцу
мы пользовались при сведении вычисления определителя n-го порядка к
вычислению этих миноров.
Теорема. Если матрица А содержит нулевую строку, то определитель
A  0.

74
 Доказательство. Если разложить определитель по нулевой строке, то
очевидно получим 0.
Теорема. Если от матрицы А к матрице В можно перейти с помощью
одного элементарного преобразования строк первого типа, то A   B .
Доказательство. Пусть от матрицы А к матрице В можно перейти с
помощью перемены местами i-й и j-й строк. Разложив определители этих
матриц по i-й строке, каждый из получившихся миноров ( n  1 )-го порядка
разложим по j-й строке. В результате увидим, что полученные разложения
будут отличаться только знаками при слагаемых.
Теорема. Если матрица А содержит две одинаковые строки, то
определитель A  0 .
Доказательство. С одной стороны, переставляя местами две одинаковые
строки, получим определитель, отличающийся от исходного знаком. С другой
стороны, это тот же самый определитель. Очевидно, только число 0 обладает
таким свойством.■
Теорема. Если от матрицы А к матрице В можно перейти с помощью
одного элементарного преобразования строк второго типа, то A  B .
Доказательство.
... ... ... ... ...
ai1   a j1 ai 2   a j 2 ... ai ,n 1   a j ,n1 ain   a jn
B ... ... ... ... ... 
a j1 aj2 ... a j ,n1 a jn
... ... ... ... ...
... ... ... ...
... ... ... ...
= (1)i1 ( ai1   a j1 ) +…+
a j 2 ... a j ,n 1 a jn
... ... ... ...
... ... ... ...
... ... ... ...
+ (1)i n ( ain   a jn ) =
a j1 a j 2 ... a jn
... ... ... ...
... ... ... ... ... ... ... ...
... ... ... ... ... ... ... ...
= (1)i1 ai1 +…+ (1)i n ain +
a j 2 ... a j ,n 1 a jn a j1 a j 2 ... a jn
... ... ... ... ... ... ... ...

75
 ... ... ... ... ... ... ... ...
... ... ... ... ... ... ... ...
+  ( (1)i1 a j1 +…+ (1)i n a jn )=
a j 2 ... a j ,n 1 a jn a j1 a j 2 ... a jn
... ... ... ... ... ... ... ...
... ... ... ... ... ... ... ... ... ...
ai1 ai 2 ... ai ,n 1 ain a j1 a j 2 ... a j ,n1 a jn
= ... ... ... ... ... +  ... ... ... ... ... = A    0 = A ,
a j1 a j 2 ... a j ,n1 a jn a j1 a j 2 ... a j ,n1 a jn
... ... ... ... ... ... ... ... ... ...
поскольку один из определителей содержит две одинаковых строки.
Теорема. Если от матрицы А к матрице В можно перейти с помощью
одного элементарного преобразования строк третьего типа, где   0 –
соответствующий коэффициент, то B    A .
Доказательство. Пусть от матрицы А к матрице В можно перейти с
помощью домножения i-й строки на   0 . Разложив определитель матрицы В
по i-й строке и вынеся за скобки  , в скобках получим разложение по i-й
строке определителя матрицы А.
Теорема. Определитель ступенчатой матрицы равен произведению ее
элементов, стоящих на главной диагонали.
Доказательство. Раскладывая определитель в соответствии с его
определением до сумм произведений его элементов, учитывая определение
ступенчатого вида матрицы, убеждаемся, что все слагаемые кроме одного
наверняка будут нулями. Оставшееся слагаемое есть произведение элементов
главной диагонали.
Теорема. Определитель матрицы А равен определителю
T
транспонированной матрицы A .
Доказательство. Раскладывая определители матриц А и AT в
соответствии с определением определителя до сумм произведений элементов
этих матриц, получаем выражения, отличающиеся только порядком слагаемых
и порядком множителей в слагаемых. Следовательно, A  AT .
Таким образом, все теоремы о свойствах определителя, доказанные для
строк, также имеют место и для столбцов.
Теорема. Строки (столбцы) квадратной матрицы линейно независимы
тогда и только тогда, когда ее определитель отличен от нуля.
Доказательство. Основываясь на свойствах определителя, заметим, что
если от квадратной матрицы А к квадратной матрице В перешли с помощью
элементарных преобразований строк, то определители этих матриц либо оба
нулевые, либо оба ненулевые.
Если строки матрицы А размерности r линейно независимы, то число
ненулевых строк в ее ступенчатом виде равно r. Тогда число опорных

76
элементов равно r. Поскольку они стоят в разных строках и столбцах, сдвигаясь
с каждой строкой направо, то опорные элементы совпадают с элементами
главной диагонали. Следовательно, среди элементов главной диагонали нет
нулевых, а значит, определитель ступенчатой матрицы неравен нулю.
Обратно, если определитель ступенчатой матрицы неравен нулю, то
среди элементов главной диагонали нет нулевых. Тогда она не имеет нулевых
строк. Следовательно, ранг матрицы А равен ее размерности r, т. е. строки
матрицы А линейно независимы.
Для столбцов утверждение следует из того, что A  AT .
Теорема. У всякой матрицы А ранга r имеется r линейно независимых
столбцов, и любой набор из более чем r столбцов линейно зависим.
Доказательство. Рассмотрим минор М порядка r, составленный из
элементов матрицы А, находящихся на пересечении базисных строк, и
столбцов, в которых будут стоять опорные элементы, если матрицу А привести
к ступенчатому виду с помощью элементарных преобразований строк (таких
столбцов будет также r). При приведении матрицы А к ступенчатому виду
Гаусса минор М перейдет в минор M  от единичной матрицы размерности r.
Следовательно, M   1 . Тогда M  0 , а значит, столбцы минора М линейно
независимы. Получается, что столбцы матрицы А, содержащие столбцы минора
М, тоже линейно независимы.
Если предположить, что имеется r+1 линейно независимый столбец
матрицы А, то, взяв минор М порядка r+1, с элементами, принадлежащими этим
столбцам и какой-нибудь (r+1)-й строке, получим, что минор М имеет r+1
линейно независимый столбец, т. е. M  0 . При приведении матрицы А к
ступенчатому виду минор М перейдет в минор M  . При этом M   0 .
Следовательно, ступенчатый вид матрицы А имеет по крайней мере (r+1)-у
ненулевую строку, что противоречит тому, что ранг матрицы А равен r.
Определение. Говорят, что базисными столбцами матрицы можно
объявить те ее столбцы, которые являются линейно независимыми, а их число
равно рангу матрицы.
Определение. Говорят, что базисным минором матрицы можно
объявить ее минор, элементы которого располагаются на пересечении строк и
столбцов, которые можно объявить базисными.
Выбор базисного минора, вообще говоря, неоднозначен. Базисный минор
неравен нулю. Его порядок равен рангу матрицы. Минор матрицы, порядок
которого больше порядка базисного минора, равен нулю. Таким образом, ранг
матрицы равен не только максимальному числу линейно независимых строк
этой матрицы, но и максимальному числу линейно независимых столбцов этой
матрицы, и максимальному порядку отличного от нуля минора этой матрицы.
Также ранг матрицы А равен рангу матрицы AT , транспонированной к матрице
А.

77
 4.7. Операции над матрицами
Определение. Суммой двух матриц А и В одинаковой размерности m×n
называется матрица С той же размерности, элементы которой равны cij  aij  bij
( i  1,2,..., m ; j  1,2,..., n ).
Для обозначения суммы двух матриц используется запись C  A  B .
Операция получения суммы матриц называется их сложением.
Теорема. Сложение матриц коммутативно, т. е. A  B  B  A .
Доказательство. Пользуясь определением суммы двух матриц и
коммутативностью сложения чисел aij  bij  bij  aij , убеждаемся в очевидности
данного утверждения.
Теорема. Сложение матриц ассоциативно, т. е.
( A  B)  C  A  ( B  C ) .
Доказательство. Пользуясь определением суммы двух матриц и
ассоциативностью сложения чисел, убеждаемся в очевидности данного
утверждения.
Эти теоремы позволяют не заботиться о порядке следования слагаемых
матриц при сложении двух или большего числа матриц.
Определение. Произведением матрицы А (размерности m×n) на
действительное число  называется матрица С той же размерности, элементы
которой равны cij   aij ( i  1,2,..., m ; j  1,2,..., n ).
Для обозначения произведения матрицы на число используется запись
C   A или C  A . Операция получения произведения матрицы на число
называется умножением матрицы на это число.
Теорема. Умножение матрицы на число ассоциативно относительно
числового множителя, т. е. ( ) A   (  A) .
Доказательство. Пользуясь определением произведения матрицы на
число и ассоциативностью умножения чисел, убеждаемся в очевидности
данного утверждения.
Теорема. Умножение матрицы на число дистрибутивно относительно
сложения матриц, т. е.  ( A  B )   A   B .
Доказательство. Пользуясь определением произведения матрицы на
число и дистрибутивностью умножения чисел относительно их сложения,
убеждаемся в очевидности данного утверждения.
Теорема. Умножение матрицы на число дистрибутивно относительно
сложения чисел, т. е. (   ) A   A   A .
Доказательство. Пользуясь определением произведения матрицы на
число и дистрибутивностью умножения чисел относительно их сложения,
убеждаемся в очевидности данного утверждения.

78
 Определение. Разностью двух матриц А и В одинаковой размерности
m×n называется матрица С той же размерности, которая в сумме с матрицей В
дает матрицу А.
Для обозначения разности двух матриц используется запись C  A  B .
Операция получения разности матриц называется их вычитанием. Легко
убедиться, что разность С двух матриц А и В может быть получена по правилу
C  A  (1)  B .
Определение. Нулевой (не по внешнему виду, а по роли в алгебраической
структуре) называется такая матрица О, что для любой матрицы А верно
A  O  O  A  A.
Легко убедиться, что единственной такой матрицей является матрица,
которую мы раньше назвали нулевой по внешнему виду, т. е. матрица
размерности той же, что и А, состоящая из одних нулей.
Определение. Противоположной к матрице А называется такая матрица
(–А) той же размерности, что и А, для которой верно A  ( A)  ( A)  A  O .
Легко убедиться, что (–А)= 1  A – единственная такая матрица для
каждой матрицы А. Если А=О, то она противоположна сама себе.
Определение. Произведением матрицы А, имеющей размерность m×n, на
матрицу В, имеющую размерность n×p, называется матрица С, имеющая
n
размерность m×p, элементы которой равны cij   aik bkj ( i  1,2,..., m ;
k 1
k  1, 2,..., n ; j  1,2,..., p ).
Для обозначения произведения матрицы А на матрицу В используют
запись C  A  B . Операция получения произведения матрицы А на матрицу В
называется перемножением этих матриц.
Матрицу А можно умножить не на всякую матрицу В: необходимо, чтобы
число столбцов матрицы А было равно числу строк матрицы В. Оба
произведения A  B и B  A можно определить лишь в том случае, когда число
столбцов А совпадает с числом строк В, число строк А совпадает с числом
столбцов В. При этом обе матрицы A  B и B  A будут квадратными, но
размерности их будут, вообще говоря, различными. Для того чтобы оба
произведения A  B и B  A не только были определены, но и имели одинаковую
размерность, необходимо и достаточно, чтобы обе матрицы А и В были
квадратными матрицами одного и того же порядка.
Теорема. Умножение матриц (при условии, что оно определено)
ассоциативно, т. е.
( A  B)  C  A  ( B  C ) .
Доказательство. Чтобы произведения были возможны, необходимо,
чтобы матрица А имела размерность m×n, матрица В имела размерность n×p, а
матрица С имела размерность p×r. Тогда элемент d il матрицы ( A  B)  C равен

79
 p
 n 
d il     aijb jk   ckl , а элемент d il матрицы A  (B  C) равен
k 1  j 1 
n p
 
d il   aij    b jk ckl  . Равенство d il  d il вытекает из возможности изменения
j 1  k 1 
порядка суммирования относительно j и k.
Теорема. Умножение матриц (при условии, что оно определено)
дистрибутивно относительно сложения матриц, т. е. ( A  B)C  AC  BC
или A( B  C )  AB  AC .
Доказательство. Пользуясь определениями перемножения и сложения
матриц и дистрибутивностью умножения чисел относительно их сложения,
убеждаемся в очевидности данного утверждения.
Вопрос о коммутативности произведения матрицы А на матрицу В имеет
смысл ставить лишь для квадратных матриц А и В одинаковой размерности,
поскольку только для таких матриц А и В оба произведения АВ и ВА
определены и являются матрицами одинаковых порядков.
Легко убедиться, что произведение двух квадратных матриц, вообще
говоря, некоммутативно.
0 1 0 0 1 0 0 0
Действительно, пусть A , B . Тогда АВ=  , ВА=  .
0 0 1 0 0 0 0 1
Определение. Единичной (не по внешнему виду, а по роли в
алгебраической структуре) называется такая матрица Е, что для любой
квадратной матрицы А верно A  E  A или E  A  A .
Легко убедиться, что единственной такой матрицей будет матрица,
которую мы раньше назвали единичной по внешнему виду, т. е. матрица
размерности той же, что и А, у которой элементы главной диагонали равны
единице, а все остальные – нулю. Действительно, если предположить, что E  –
другая единичная матрица, то по определению E   E E  E . Причем
A  E  E  A , т. е. матрица Е является как левой единичная, так и правой
единичной матрицей, поскольку коммутирует с любой квадратной матрицей.

4.8. Обратная матрица

Определение. Обратной к квадратной матрице А называется такая
матрица A1 той же размерности, что и А, для которой верно A  A1  E или
A1  A  E .
Легко убедиться, что если для матрицы А существует правая обратная
матрица В, т. е. A  B  E , то она единственная, и существует левая обратная
матрица С, которая совпадает с В, т. е. B  A  E . Действительно, равенства
C  CE  CAB  EB  B показывают, что всякая левая обратная матрица С
совпадает с В. Аналогично показывается, что всякая правая обратная матрица
совпадает с С, а на основании вышедоказанного, совпадает и с В.

80
 Остался открытым вопрос существования обратной матрицы.
Определение. Невырожденной называется матрица, определитель
которой отличен от нуля.
Теорема. Обратная матрица существует у невырожденных матриц и
только у них.
Доказательство. Пусть матрица А – невырожденная, т. е. A  0 . Тогда
существует матрица
 A11 A21 An1 
 A ...
A A 
 
 A12 A22 An 2 
 ... 
B  A A A ,
 ... ... ... ... 
 
A
 1n A2n Ann 
 A ...
 A A 
где Aij – алгебраическое дополнение элемента aij , определяемое как
Aij = (1)i  j M ij , где M ij – минор элемента aij . Покажем, что матрица В является
обратной для А, т. е. матрица С=АВ единичная.
1
n  A  A  1, если i  j ,
1 n
cij   aik bkj   aik Ajk  
k 1 A k 1 1 
 A  A  0, если i  j ,

поскольку матрица A имеет две одинаковых строки (ai1 ,..., ai ,k 1 , ai ,k 1 ,..., ain ) .
Таким образом, С=Е.
Один из способов вычисления обратной матрицы следующий.
1. Составить расширенную матрицу (А|Е), приписав после матрицы А за
вертикальной чертой единичную матрицу той же размерности, что и А.
2. Матрицу (А|Е) с помощью элементарных преобразований строк
привести к ступенчатому виду Гаусса.
Если при этом на месте матрицы А получилась матрица Е, то за
вертикальной чертой находится матрица A1 . В противном случае A  0 и
матрица A1 не существует.

4.9. Системы линейных уравнений

Определение. Системой линейных уравнений, состоящей из m уравнений
с n неизвестными x1 ,..., xn , называется система вида

81
  a11 x1  ...  a1n xn  b1
 a x  ...  a x  b
 21 1 2n n 2

................................
 am1 x1  ...  amn xn  bm ,
где a11 ,..., amn , b1 ,..., bm – некоторые числа.
Определение. Матрицей системы называется матрица
 a11  a1n 
A   ... ... ...  .
a 
 m1  amn 
Определение. Столбцом свободных членов называется вектор-столбец
b 
  1
b   ...  .
b 
 m
Определение. Столбцом неизвестных называется вектор-столбец
 x1 
  
x   ...  .
x 
 n
Тогда в матричной записи система линейных уравнений может быть
 
записана в виде Ax  b .
Определение. Расширенной матрицей системы называется матрица,
полученная приписыванием  к А справа  после вертикальной черты столбца
свободных членов b , обозначаемая (А| b ).
Определение. Система линейных уравнений называется однородной,
если свободные члены всех ее уравнений равны нулю, и неоднородной – в
противном случае.
Определение. Решением системы линейных уравнений называется

упорядоченный набор n чисел (n-мерный вектор-столбец)  , при подстановке

которого в систему линейных уравнений вместо x получаем систему тождеств.
Определение. Общим решением системы линейных уравнений
называется совокупность всех ее решений.
Определение. Система линейных уравнений называется совместной,
если она имеет хотя бы одно решение, и несовместной – в противном случае.

4.10. Специальный случай

Рассмотрим системы линейных уравнений с квадратной матрицей,
определитель которой неравен нулю.
Теорема (правило Крамера). Система из n уравнений с n неизвестными
в случае, когда определитель матрицы системы отличен от нуля, имеет

82
решение, и притом только одно. Это решение находится по формулам

xi  i (для всех i  1,..., n ),

где через  обозначен определитель матрицы системы, а через i –
определитель матрицы, полученной из матрицы системы заменой i-го столбца
столбцом свободных членов.
Доказательство. Возьмем расширенную матрицу системы и припишем к
ней сверху произвольную ее строку, например j-ю. В результате получится
квадратная матрица порядка n+1. В этой матрице две одинаковые строки, и
поэтому ее определитель равен нулю:
a j1 ... a jn b j
a11 ... a1n b1
=0.
... ... ... ...
an1 ... ann bn
Раскладывая определитель по первой строке, имеем
n
i 1
 (1) a ji M i  (1) n11 b j   0 ,
i 1
где M i – определитель матрицы, полученной из расширенной матрицы системы
вычеркиванием i-го столбца. Тогда
n
i 1
 (1) a ji M i  (1) n1 b j  .
i 1
Поскольку   0 , можно написать
n
i n
 (1) a ji M i
(1)in M i n
i 1
 b j   a ji  bj ,
 i 1 
n
(1)i n M i
откуда, сравнивая с  a ji xi  b j , делаем вывод, что xi  ( i  1,..., n )
i 1 
удовлетворяют j-му уравнению системы. Поскольку выражения для xi не
зависят от j, то они удовлетворяют всем уравнениям системы. Тем самым
существование решения доказано. Учитывая, что M i  (1)ni i , получаем
нужный вид для формул Крамера:

xi  i .

Осталось доказать единственность полученного решения. Предположим,
     
есть два решения  и  . Подставим эти решения в систему: A  b и A  b .
Тогда
       
A  A  A1 A  A1 A  E  E      ,
поскольку существование обратной матрицы гарантируется ненулевым
определителем матрицы А.

83
 n
Также системы линейных уравнений a
i 1
x  bj
ji i (j=1,2,…,m) с

квадратной матрицей, определитель которой неравен нулю, можно решать с

помощью нахождения обратной матрицы, или, другими словами, решая
 
матричное уравнение Ax  b . Поскольку A  0 , обратная матрица A1
 
существует. Поэтому x  A1b – решение системы.

4.11. Критерий совместности

Вернемся к произвольной системе m уравнений с n неизвестными.
Теорема (Кронекер – Капелли). Система линейных уравнений
совместна тогда и только тогда, когда ранг ее матрицы равен рангу
расширенной матрицы.
Доказательство. Покажем, что если к матрице системы применить
элементарное преобразование строк, то система, соответствующая полученной
матрице, будет равносильна изначальной системе.
Элементарному преобразованию первого типа соответствует перемена
местами двух уравнений системы. Очевидно, новая система будет равносильна
старой.
Элементарному преобразованию второго типа соответствует замена
одной из строк (например i-й) системы на сумму этой строки и другой строки
(например j-й) системы, умноженной на какое-либо число (например  ).
Поскольку от новой системы к старой также можно перейти с помощью одного
преобразования строк второго типа, то достаточно показать, что всякое
решение старой системы будет решением новой. Пусть (1 ,..., n ) – решение
старой системы. Сомнение может вызвать только i-е уравнение новой системы.
Однако выкладки
(ai1   a j1 )1  ...  (ain   a jn ) n  (ai11  ...  ain n ) 
  (a j11  ...  a jn n )  bi  b j

рассеивают это сомнение.

Элементарному преобразованию третьего типа соответствует умножение
какой-нибудь строки системы на ненулевое число. Очевидно, новая система
будет равносильна старой.
Теперь приведем расширенную матрицу систему к ступенчатому виду
Гаусса. Поскольку при этом столбцы не менялись местами, то тем самым
оказалась приведенной к ступенчатому виду и матрица (нерасширенная)
системы. Система, соответствующая ступенчатому виду расширенной матрицы,
равносильна изначальной системе.
Возможны два случая.
1. Существует строка в ступенчатом виде расширенной матрицы, в
которой опорный элемент находится в столбце свободных членов. Очевидно,

84
что расширенная матрица имеет ранг, на единицу больший, чем ранг матрицы
системы. С другой стороны, соответствующее такой строке уравнение системы
решений не имеет.
2. Если указанной строки нет, то ранг расширенной матрицы равен рангу
матрицы системы. Покажем, что в этом случае система совместна. Пусть ранг
равен r, а опорные элементы располагаются в столбцах с номерами k1 ,..., kr ,
причем 1  k1  k2  ...  kr  n . Тогда неизвестные xk1 ,..., xkr можно объявить
главными (базисными), а остальные можно объявить свободными. Кроме того,
отбросим уравнения полученной системы, соответствующие нулевым строкам
в ступенчатом виде Гаусса расширенной матрицы, что дает систему,
равносильную исходной. Перенеся свободные неизвестные в правую часть,
придем к системе
 a1k1 xk1  b1  L1

 a2 k2 xk2  b2  L2

.......................
 ark xk  br  Lr ,
 r r
где через Li обозначена сумма свободных неизвестных, умноженных на
стоящие перед ними коэффициенты i-го уравнения. Поскольку коэффициенты
a1k1 ,..., ark r отличны от нуля, то при отсутствии свободных переменных имеем
единственное решение, а при наличии свободных переменных, придавая им
различные значения, однозначно определяем главные неизвестные и, тем
самым, имеем бесконечно много решений. Придавая свободным переменным
всевозможные значения, получим общее решение системы.
Таким образом, система имеет единственное решение, когда ранг ее
матрицы равен рангу ее расширенной матрицы и числу неизвестных и меньше
или равен числу уравнений, т. е. отсутствуют свободные неизвестные.
При доказательстве теоремы Кронекера – Капелли общее решение
совместной системы было получено методом, который называется метод
Гаусса.

1. Составить расширенную матрицу (А| b ) и привести ее к ступенчатому
виду с помощью элементарных преобразований строк.
а) Если существует строка в ступенчатом виде расширенной матрицы,
в которой опорный элемент находится в столбце свободных членов, то система
несовместна и решение окончено.
б) Если такой строки нет, то система совместна, главными
переменными объявляем те, которые соответствуют базисным столбцам, а
остальные переменные объявляем свободными.
2. Привести ступенчатую матрицу к ступенчатому виду Гаусса.
3. Написать систему линейных уравнений, соответствующую матрице,
построенной на шаге 2, обозначив свободные неизвестные числами C1 ,..., Ck .
4. Выразить из полученной системы главные неизвестные через

85
свободные.
5. Записать общее решение в виде x j  f j (C1 ,..., Ck ), j  1,..., n .

4.12. Однородные системы

Линейная однородная система алгебраических уравнений всегда
совместна, так как всегда имеет нулевое решение x1  x2  ...  xn  0 ,
называемое тривиальным. Поэтому интересно выяснить, когда имеются
нетривиальные решения.
Теорема. Линейная однородная система алгебраических уравнений
имеет нетривиальные решения тогда и только тогда, когда ее ранг меньше
числа неизвестных.
Доказательство. Приведем данную однородную систему к ступенчатому
виду. Очевидно, она при этом останется однородной. Также ясно, что число
главных неизвестных равно рангу системы. Следовательно, существуют
свободные неизвестные, что в соответствии с методом Гаусса обеспечивает
существование ненулевых решений.
Теорема. Линейная однородная система алгебраических уравнений, у
которой число уравнений равно числу неизвестных, имеет нетривиальные
решения тогда и только тогда, когда определитель ее матрицы равен нулю.
Доказательство. Линейная однородная система алгебраических
уравнений имеет нетривиальные решения тогда и только тогда, когда ее ранг
меньше числа неизвестных, а значит меньше числа строк. Таким образом,
линейно независимых строк меньше общего числа строк, т. е. все строки
матрицы будут линейно зависимы. Тогда определитель матрицы равен нулю.
Определение. Линейным векторным пространством называется
  
множество элементов a , b , c ,... (называемых векторами) любой природы с
введенными над ними операциями сложения и умножения на число, если
выполнены три условия:
 
I. Имеется правило, посредством которого любым двум элементам a и b

множества ставится в соответствие третий элемент c этого множества,
  
называемый суммой (обозначение c  a  b ).

II. Имеется правило, посредством которого любому элементу a
множества и любому действительному числу  ставится в соответствие

элемент d этого множества, называемый произведением элемента a на число
 
 (обозначение d   a ).
III. Указанные два правила подчинены следующим восьми аксиомам:
Свойства сложения векторов:
     
1. а, b : а  b  b  а (коммутативность сложения).
        
   
2. а, b , с : а  b  с  а  b  с (ассоциативность сложения).
   
3. а : а  0  а .

86
    
4. а : а    а   0 .
Свойства умножения вектора на число:
  
5. а;  ,   R :   а     а  (ассоциативность).
   
6. а;  ,   R :     а   а   a (дистрибутивность по отношению к
сложению действительных чисел).
     
 
7. а, b ;   R :  а  b   а   b (дистрибутивность по отношению к
сложению векторов).
  
8. а :1  а  а .
Теорема. Множество решений линейной однородной системы
алгебраических уравнений является линейным векторным пространством.
Доказательство. Поскольку решения можно рассматривать как векторы
и нулевой вектор всегда принадлежит множеству решений, достаточно
 
проверить линейность. Пусть   (1 ,..., n ) и   ( 1 ,...,  n ) – два решения
  
однородной системы. Покажем, что    и  – тоже решения этой системы.
Для этого подставим их в i-е уравнение системы:
ai1 (1  1 )  ...  ain ( n   n )  (ai11  ...  ain n )  ( ai11  ...  ain  n )  0,
ai1 (1 )  ...  ain ( n )   ( ai11  ...  ain n )   0  0 .
Теорема. Пространство решений линейной однородной системы
алгебраических уравнений с n неизвестными и матрицей ранга r имеет
размерность k=n–r.
Доказательство. В соответствии с методом Гаусса, в общем решении
свободные переменные могут принимать произвольные значения, их
количество равно k=n–r, а главные переменные определяются через свободные
однозначно.
Тогда любой упорядоченный набор из k=n–r линейно независимых
решений однородной системы образует базис в пространстве решений.
Определение. Фундаментальной системой решений линейной
однородной системы алгебраических уравнений называется базис в
пространстве решений этой системы.
Особо выделяют фундаментальную систему решений, состоящую из
 
вектор-столбцов e1 ,..., ek , получаемых из общего решения однородной системы
подстановкой вместо вектора свободных неизвестных (C1 ,..., Ck ) поочередно
следующих векторов
(1,0,...,0), (0,1,0,...,0), ... ,(0,...,0,1) .
С использованием этой фундаментальной системы решений общее
  
решение однородной системы записывается в виде x  C1e1  ...  Ck ek , где
C1 ,..., Ck – произвольные константы.
Теорема. Общее решение совместной неоднородной системы равно
сумме ее частного решения и общего решения соответствующей однородной

87
системы.
Доказательство. Покажем, что сумма любого решения неоднородной
системы и любого решения соответствующей однородной системы есть
 
решение неоднородной системы. Пусть   (1 ,..., n ) и   ( 1 ,...,  n ) –
решения однородной и неоднородной систем, соответственно. Подставляя в
любое (например, в i-е) уравнение неоднородной системы на место
неизвестных сумму этих решений, получаем
n n n

 aij ( j   j )   aij j   aij  j  0  bi  bi .

j 1 j 1 j 1

Теперь покажем, что разность двух произвольных решений неоднородной

системы является решением соответствующей однородной системы. Пусть
 
  ( 1 ,...,  n ) и   ( 1 ,...,  n ) – два решения неоднородной системы. Подставляя
в любое (например, в i-е) уравнение однородной системы на место неизвестных
n n n
разность этих решений, получаем  a (
j 1
ij j   j )   aij  j   aij j  bi  bi  0 .
j 1 j 1

Из доказанного вытекает, что, найдя одно решение неоднородной

системы и складывая его с каждым решением соответствующей однородной
системы, мы получим все решения неоднородной системы.

4.13. Решение задач на матрицы, определители, системы

1 2 3 4 
0 0 1 2 
Пример 1. Привести матрицу   к ступенчатому виду
1 2 4 6 
 
 2 4 0 4 
Гаусса. Чему равен ее ранг. Найти базисный минор.
 1 2 3 4  1 2  1 2 3 4 
0 0 1 2  0 0 1 2  1 6
Решение.     
 1 2 4 6  0 0 1 2 
   
 2 4 0 4    0 0 6 12  
 1 2 3 4    1 2 0 2 
0 0 1 2  
  3  0 0 1 2 
  – ступенчатый вид Гаусса. Ранг
0 0 0 0 0 0 0 0 
   
0 0 0 0 0 0 0 0 
равен 2 (число ненулевых строк в ступенчатом виде), базисными строками
можно объявить 1 и 2 (перешедшие в ненулевые), базисными столбцами 1 и 3
(содержащие в ступенчатом виде первые слева ненулевые элементы строк).

88
  1 3
Тогда в качестве базисного минора можно взять   (состоит из элементов
 0 1
начальной матрицы, стоящих на пересечении базисных строк и столбцов).
2 1 1 0
0 1 2 1
Пример 2. Вычислить определитель .
3 1 2 3
3 1 6 1
2 1 1 0 2 1 1 0
0 1 2 1 3 1 0 1 2 1
Решение.   0 , так как содержит две
3 1 2 3  3 2 8 0
3 1 6 1  3 2 8 0
одинаковых строки.
2 3 4 1
4 2 3 2
Пример 3. Вычислить определитель .
1 1 1 0
3 1 4 3
2 3 4 1 2 1 2 1
4 2 3 2 4 2 1 2
Решение.   (раскладываем по третьей
1 1 1 0 1 0 0 0
3 1 4 3 3 2 1 3
1 
1 
1 2 1  5 0 5
строке)  2 1 2   4 0 5  (раскладываем по второму
2 1 3 1 2 2 1 3
5 5
столбцу)    (25  20)  5 .
4 5
 1 2
1 2 3 
Пример 4. Перемножить матрицы    3 3  .
 3 2 1  2 1 
 
 1 2
1 2 3
Решение.  3 3  = 11  2  3  3  2 1 2  2  3  3 1  13 11 .
      
3 2 1 2 1   3 1  2  3  1  2 3  2  2  3  1 1 11 13 
 

89
  1 1  2 2 
Пример 5. Решить матричное уравнение   X  7 8
 2 3   
1
 1 1  2 2 
Решение. Поскольку X      7 8  , то найдем обратную
 2 3   
 1 1 1 0  2  1 1 1 0    1 0 3 1 
матрицу:      . Тогда
 2 3 0 1    0 1 2 1  1  0 1 2 1 
 3 1   2 2   1 2 
X   7 8   3 4 .
 2 1     
 x1  2 x3  1

Пример 5. Решить систему по правилу Крамера: 3 x1  x2  1
4 x  x  3x  1
 1 2 3

1 0 2
Решение.   3 1 0  3  6  8  1 ;
4 1 3
1 0 2
1  1 1 0  3  2  2  3 , x1  3 ;
1 1 3
1 1 2
 2  3 1 0  3  6  8  9  8 , x2  8 ;
4 1 3
1 0 1
 3  3 1 1  1  3  4  1  1 , x3  1.
4 1 1
Пример 6. Исследовать на совместность и решить систему
 2 x1  7 x2  3 x3  x4  6

3 x1  5 x2  2 x3  2 x4  4 .
9 x  4 x  x  7 x  2
 1 2 3 4

Решение. Приведем расширенную матрицу системы к ступенчатому

 2 7 3 1 6 1  2 7 3 1 6   1 2 1 1 2 2 9
     
виду:  3 5 2 2 4    1 2 1 1 2    2 7 3 1 6   
 9 4 1 7 2 9 4 1 7 2  9 4 1 7 2  
     

90
  1 2 1 1 2   1 2 1 1 2 
   
  0 11 5 1 10  2   0 11 5 1 10  1 / 11 
 0 22 10 2 20    0 0 0 0 0 
   
(по теореме Кронекера – Капелли система совместна)
 1 2 1 1 2    1 0 1 / 11 9 / 11 2 / 11
   
  0 1 5 / 11 1 / 1110 / 11 2   0 1 5 / 11 1 / 11 10 / 11  .
0 0 0 0 0  0 0 0 0 0 
 
 1 9 2
 x1  11 x3  11 x4   11
Соответствующая система имеет вид:  или
5
x  x  x  1 10
 2 11 3 11 4 11
 1 9 2
 x1  11 x3  11 x4  11
 . Тогда общее решение системы будет
5
x   x  x  1 10
 2 11
3
11
4
11
 1 9 2
 x1  c1  c 2 
11 11 11

 x   5 c  1 c  10
 2 1 2 , где c1 и c2 – произвольные числа.
 11 11 11
 x3  c1
x  c
 4 2
Пример 7. Найти фундаментальную систему решений однородной
5 x1  3 x2  2 x3  4 x4  0

системы  4 x1  2 x2  3 x3  6 x4  0 .
17 x  11x  4 x  8 x  0
 1 2 3 4

Решение. Приведем матрицу системы к ступенчатому виду:

 5 3 2 4    1 1 1 2  4 17
 4 2 3 6  1   4 2 3 6   
   
17 11 4 8  17 11 4 8  
   
 1 1 1 2   1 1 1 2 
  0 2 7 14  3   0 2 7 14  (1 / 2) 
 
 0 6 21 42    0 0 0 0 
  
 1 1 1 2    1 0 2,5 5 
  0 1 3,5 7  1   0 1 3,5 7  .
0 0 0 0  0 0 0 0 
 

91
  x1  2,5 x3  5 x4  0
Соответствующая система имеет вид: или
x
 2  3,5 x3  7 x4  0
 x1  2,5c1  5c2
 x  3,5c  7c
 x1  2,5 x3  5 x4 
 . Тогда общее решение системы будет  2 1 2
, где c1
 x2  3,5 x3  7 x4  x3  c1
 x4  c2
и c2 – произвольные числа. Тогда фундаментальную систему решений можно
 
взять такую: e1  (2,5;3,5;1;0) , e2  (5; 7,5;0;1) .

4.14. Задачи для самостоятельного решения

Задача 1. Найти ранг матрицы. Какой ее минор можно объявить
базисным?
 1 2 1 2 4  2 1 5 3 1 
а)  3 4 1 1 7  ; б)  3 1 3 1 2  ;
 10 2 1 8 2  5 1 1 3 4 
 
 2 1 3 1 2 3
 1 1 1  4 5 6 
  
в) 1 0 1  ;
 г)  7 8 9 .
   
 1 0 4 10 11 12 
 2 0 3  13 14 15 
  
Задача 2. Вычислить определители:
2 1 3 3 4 5
5 7 1 3
а) ; б) ; в) 5 3 2 ; г) 8 7 2 .
2 3 2 4
1 4 3 2 1 8
Задача 3. Вычислить определители:
1 1 1 1 0 1 1 1 2 5 1 2 3 9 3 6
1 1 1 1 1 0 1 1 3 7 1 4 5 8 2 7
а) ; б) ; в) ; г) .
1 1 1 1 1 1 0 1 5 9 2 7 4 5 3 2
1 1 1 1 1 1 1 0 4 6 1 2 7 8 4 5

92
 Задача 4. Вычислить определители:
1 2 3 4 5 3 6 5 6 4
2 3 7 10 13 5 9 7 8 6
а) 3 5 11 16 21 ; б) 6 12 13 9 7 ;
2 7 7 7 2 4 6 6 5 4
1 4 5 3 10 2 5 4 5 3
24 11 13 17 19 35 59 71 52 19
51 13 32 40 46 42 70 77 54 23
в) 61 11 14 50 56 ; г) 43 68 72 52 20 .
62 20 7 13 52 29 49 65 50 15
80 24 45 57 70 34 111 70 69 2
Задача 5. Перемножить матрицы:
 3 4 5   3 29  2 3 5
     1 5 3 
а)  2 3 1    2 19  ; б)     1 4 2  ;
 3 5 1   0 3   2 3 1  3
     1 1 
1 2 0 0 1 1 0 0  1 1 0 0 1 1 0 0
 2 1 0 0 1 1 0 0  1 2 0 0 1 3 0 0 
в)   ; г)   .
 0 0 1 3   0 0 1 1 0 0 3 1 0 0 1 2
       
 0 0 3 1   0 0 1 1  0 0 1 1 0 0 3 1 
Задача 6. Выполнить действия:
 1 2 2 
3 0 2 0    2 0 3 
  2 1 1    0 6 3  ;
а)  0 1 2 1     
 2 3 0 0   1 1 2   5 2 8 
   2 2 1   
 
3 0 0  0 4 6 1 
0 1 3  1 2 1 2   2 2 5 2 
б)   
 2 1 1 2     ;
 2 2 0    2 2 6 4 

   2 1 1 2  1 3 0 1 
0 1 0  
2 3 2
1 1 1 1  0 1 0 0 0 1 0 0
1 1 1 1  0 0 1 0 0 0 2 0
в)   ; г)     .
1 1 1 1   0 0 0 1   0 0 0 3
     
1 1 1 1  0 0 0 0 0 0 0 0

93
 Задача 7. Найти обратную матрицу:
 1 3 1 0 1 2  1 3
а)   ; б) 3 2 ; в) 3 5 ; г)  .
 0 1      2 7
Задача 8. Найти обратную матрицу:
1 0 0 6 0 0 1 3 0 1 1 0
 
а)  0 1 0  ;
 
б)  0 1 2  ;
 
в)  2 7 0  ;
 
г)  0 1 0  .
3 0 1 0 3 5 0 0 7 0 3 3
       
Задача 9. Найти обратную матрицу:
1 0 0 0 0 0 1 0 2 0 0 0 0 0 0 1 
0 0 1 0   1 0 0 0  0 0 0 1  0 0 2 0 
а)  ; б)   ; в)  ; г)  .
0 0 0 1 0 0 0 1 0 2 0 0 1 0 0 0
       
0 1 0 0 0 1 0 0 0 0 1 0 0 3 0 0
Задача 10. Решить матричные уравнения:
1 3   1 1  1 1   2 1 
а)   X   ; б) X   3 4 ;
 1 2   1 1   3  4   
 3 1 1 3   3 3  1 0   0 1   4 5 
в)  X
  
   ; г) X 1 2    2 1    8 11   X .
 2 1 1 2   2 2       
Задача 11. Решить системы по правилу Крамера:
 x1  2 x2  4  x  2 x2  2
а)  ; б)  1 ;
5
 1 x  9 x 2  20 3
 1 x  4 x 2  7
 x1  7 x2  x3  11  2 x1  x2  x3  2
 
в)  2 x2  3 x3  7 ; г)  x1  2 x2  3 x3  1 .
3 x  x  x  1  x  3x  2 x  3
 1 2 3  1 2 3

Задача 12. Исследовать на совместность и найти общее решение:

 x1  3 x2  5 x3  7 x4  1
 x  2 x  3x  2 x  4 x  0 3 x1  4 x2  x3  2 x4  3
 1 2 3 4 5 
а)  ; б) 6 x1  8 x2  2 x3  5 x4  7 ;
  x1  7 x2  11x3  3x4  8 x5  1 9 x  12 x  3 x  10 x  13
 2 x1  4 x2  6 x3  4 x4  x5  0  1 2 3 4

 2 x1  5 x2  8 x3  8
3 x1  5 x2  2 x3  4 x4  2 4 x  3x  9 x  9
  1 2 3
в) 7 x1  4 x2  x3  3 x4  5 ; г)  .
5 x  7 x  4 x  6 x  3  2 x1  3 x 2  5 x3  7
 1 2 3 4
 x1  8 x2  7 x3  12

94
 Задача 13. Найти фундаментальную систему решений:
 x1  2 x2  4 x3  3 x4  0
3 x  5 x  6 x  4 x  0  2 x1  4 x2  5 x3  3 x4  0
 1 2 3 4 
а)  ; б) 3 x1  6 x2  4 x3  2 x4  0 ;
 4 x1  5 x2  2 x3  3 x4  0  4 x  8 x  17 x  11x  0
3 x1  8 x2  24 x3  19 x4  0  1 2 3 4

3 x1  2 x2  x3  3x4  5 x5  0 3 x1  5 x2  2 x3  0
6 x  4 x  3 x  5 x  7 x  0 4 x  7 x  5 x  0
 1 2 3 4 5  1 2 3
в)  ; г)  .
9
 1 x  6 x 2  5 x3  7 x 4  9 x5  0 x
 1 2  x  4 x3  0
3 x1  2 x2  4 x4  8 x5  0  2 x1  9 x2  6 x3  0

4.15. Ответы
2 1 3
1 2 2 1
1. а) 2; например, ; б) 2; например, ; в) 3; например, 1 1 1 ; г)
3 4 3 1
1 0 1
1 2
2; например, . 2. а) 1; б) 1 ; в) 40 ; г) 0. 3. а) 8 ; б) 3 ; в) 9 ; г) 18 .4. а)
4 5
3 3 0 0
 1 0 3 3
 6 14 2  0 0 
52 ; б) 5 ; в) 100 ; г) 10 ; 5. а)  0 1  ; б)   ; в)
 ; г)
 1 0   10 19 17  0 0 2 2
   
0 0 2 2 
2 4 0 0  5 4 5 11  40 0 0
3  1  4  1 
 7 0 0   
 6 6 5 2  0 4 0 0 
. 6. а)  2 9 7  ; б)  ; в)  ; г)
0 0 0 7  13 9 15   0 0 6 12  00 4 0
       
0 0 2 3  1 2 1 3  00 0 4
0 0 2 1
0 0 6 
 0  1 3   1 0   5 2   7 3 
. 7. а)   ; б)   ; в)   ; г)   . 8. а)
0 0 0 0  0 1    3 / 2 1 / 2   3 1    2 1 
 
0 0 0 0
1 0 0 1 / 6 0 0   7 8 0   1 1 0 
0 1   
0  ; б)  0 5 2  ; в)  2 1  0  ; г)  0 1
 0  . 9. а)

 3 0 1   0 3 1   0 0 1/ 7  0 1 1 / 3 
     

95
1 0 0 0 0 1 0 0 1 / 2 0 0 0  0 0 1 0 
0 0 0 1  0 0 0 1   0 0 1/ 2 0  0 0 1 / 3 
 ; б)  
; в)  ; г)  0 .
0 1 0 0 1 0 0 0  0 0 0 1  0 1/ 2 0 0 
       
0 0 1 0 0 0 1 0  0 1 0 0  1 0 0 0 
1 1  11 3  12 1 2
10. а)   ; б)   ; в)   ; г)   . 11. а) (4;0) ; б) (2,2;0,1) ; в)
0 0  24 7  0 0  3 4 
c 2 8c 1
(1; 1;3) ; г) (2; 1;1) . 12. а) ( 1  4c2  ;  1  c2  ; c1; c2 ;0) ;
5 5 5 5
4c1 c2 1
б) (   ; c1; c2 ;1) ; в) несовместна; г) (3;2;1) . 13. а) (8; 6;1;0);(7;5;0;1) ;
3 3 3
б) (2;1;0;0);(2;0;5;7) ; в) (2;3;0;0;0);( 4;0;3;3;0);( 8;0;9;0;3) ; г) система имеет
только тривиальное решение.

96
 5. ЛИНЕЙНЫЕ ПРОСТРАНСТВА
5.1. Понятие линейного пространства
Определение. Линейным (векторным) пространством называется
  
множество элементов a , b , c ,... (называемых векторами) любой природы с
введенными над ними операциями сложения и умножения на число, если
выполнены три условия:
 
I. Имеется правило, посредством которого любым двум элементам a и b

множества ставится в соответствие третий элемент c этого множества,
  
называемый суммой (обозначение c  a  b ).

II. Имеется правило, посредством которого любому элементу a
множества и любому действительному числу  ставится в соответствие

элемент d этого множества, называемый произведением элемента a на число
 
 (обозначение d   a ).
III. Указанные два правила подчинены следующим восьми аксиомам:

Свойства сложения векторов:

     
1. а, b : а  b  b  а (коммутативность сложения).
        
   
2. а, b , с : а  b  с  а  b  с (ассоциативность сложения).
    
3. 0 а : а  0  а (особая роль нулевого элемента).
    
4. а a : а  a  0 (существование противоположного элемента).

Свойства умножения вектора на число:

  
5. а;  ,   R :   а     а  (ассоциативность).
   
6. а;  ,   R :     а   а   a (дистрибутивность по отношению к
сложению действительных чисел).
     
 
7. а, b ;   R :  а  b   а   b (дистрибутивность по отношению к
сложению векторов).
  
8. а :1  а  а (особая роль числового множителя 1).
Теорема. В линейном пространстве существует единственный нулевой

элемент, равный произведению произвольного элемента a на число 0; и для

каждого элемента a существует единственный противоположный элемент,

равный произведению этого элемента a на число –1.
  
Определение. Линейной комбинацией элементов а1 , а2 ,..., аn линейного
  
пространства называется выражение вида 1а1   2 а2  ...   n an , где
коэффициенты 1 , 2 ,..., n – числа.
Определение. Если элемент линейного пространства представлен как

97
линейная комбинация некоторых элементов линейного пространства, то
говорят, что он разложен по этим элементам.
Определение. Линейная комбинация элементов линейного пространства
называется тривиальной, если все ее коэффициенты равны нулю, и
нетривиальной в противном случае.
  
Определение. Набор элементов а1 , а2 ,..., аn линейного пространства
называется линейно зависимым, если существует нетривиальная линейная
комбинация этих элементов, равная нулевому элементу, и линейно независимым
в противном случае.
  
Теорема. Набор элементов а1 , а2 ,..., аn линейного пространства является
линейно зависимым тогда и только тогда, когда хоть какой-нибудь один из этих
элементов можно представить в виде линейной комбинации остальных.
  
Следствие. Если среди элементов а1 , а2 ,..., аn линейного пространства
имеется нулевой элемент, то эти элементы линейно зависимы.
  
Следствие. Если часть элементов а1 , а2 ,..., аn линейного пространства
являются линейно зависимыми, то и все эти элементы являются линейно
зависимыми.
Определение. Базисом линейного пространства называется
максимальный набор линейно независимых элементов этого пространства,
взятых в определенном порядке.
Определение. Размерностью пространства называется число элементов
его базиса.
Теорема. В линейном пространстве размерности n любые n линейно
независимых упорядоченных элементов образуют базис.
Теорема. Всякий элемент линейного пространства может быть и при том
единственным образом разложен по базису в этом пространстве (т. е.
представлен как линейная комбинация базисных векторов).
Определение. Числа в этом разложении называются координатами этого
элемента в этом базисе.
Теорема. При сложении двух любых элементов линейного пространства
их координаты (относительно любого базиса этого пространства)
складываются; при умножении произвольного элемента на любое число все
координаты этого элемента умножаются на это число.

5.2. Преобразование координат при смене базиса

     
Определение. Пусть e1 , e2 ,..., en и e1, e2 ,..., en – два произвольных базиса
линейного пространства, которые договоримся называть старый и новый,
соответственно. Пусть выражение одного базиса через другой имеет вид:

98
    
e1  a11e1  a12e2  ...  a1n en
e  a e  a e  ...  a e
 2 21 1 22 2 2n n

..........................................
en  an1e1  an 2e2  ...  ann en .
Тогда матрицу
 a11 a21 ... an1 
a a22 ... an 2 
S   12
 ... ... ... ... 
 
 a1n a2 n ... ann 
будем называть матрицей перехода от старого базиса к новому.
     
Если ввести обозначения e = (e1 , e2 ,..., en ) и e = (e1, e2 ,..., en ) , то можно в
матричной форме записать e  e  S . Очевидно, что e  e  S 1 , где S 1 –
матрица, обратная к S .

Пусть элемент x линейного пространства имеет разложения
       
x  x1e1  x2e2  ...  xnen и x  x1e1  x2 e2  ...  xnen по старому и новому базисам,
соответственно. Если ввести обозначения
 x1   x1 
   
x x
x    и x   2  ,
2
 ...   ... 
   
x
  n  xn 
 
то можно в матричной форме записать x  e  x и x  e  x . Приравнивая правые
части этих равенств, получаем e  x  e  x . Учитывая, что e  e  S 1 , имеем
e  S 1  x  e  x , откуда x  S 1  x , что и выражает связь между
преобразованием базисов и преобразованием соответствующих координат:
Теорема. Если переход от старого базиса к новому осуществляется с
помощью матрицы S , то переход от координат произвольного элемента в
старом базисе к координатам этого элемента в новом базисе осуществляется с
помощью матрицы S 1 .

5.3. Евклидовы пространства

Определение. Линейное пространство называется евклидовым, если
выполнены два условия:
 
I. Имеется правило, посредством которого любым двум элементам a и b
этого пространства ставится в соответствие действительно число, называемое
 
скалярным произведением этих элементов и обозначаемое a  b .
II. Указанное правило подчинено следующим четырем аксиомам:
     
1. а, b : а  b  b  а (коммутативность).

99
    2  
2. а : а  а  а  0 ; выражение а  а называется скалярным квадратом
 
элемента а и обозначается а 2 .
   
3. Если а  а  0 , то а  0 .
        
4. а, b , с;  ,   R : (  а    b )  с    (а  с )    (b  с ) (линейность).
Важно заметить, что здесь мы абстрагируемся от природы изучаемых
объектов, от конкретного вида правил образования суммы элементов и
произведения элемента на число, от конкретного вида правила, ставящего в
соответствие двум объектам их скалярное произведение.
Теорема (неравенство Коши – Буняковского). Для любых двух
 
элементов a и b произвольного эвклидова пространства справедливо
  2  
 
неравенство a  b  a 2  b 2 .
Доказательство. Для любого действительного числа  по аксиоме 2
 
скалярного произведения верно, что ( a  b )2  0 . Пользуясь остальными
   
аксиомами скалярного произведения, имеем  2  a 2  2  (a  b )  b 2  0 . Мы
знаем, что квадратный трехчлен будет неотрицательным при любых значениях
 только  в случае неположительности его дискриминанта, т. е.
 
(a  b )2  a 2  b 2  0 , откуда следует доказываемое неравенство.
Определение. Линейное пространство называется нормированным, если
выполнены два условия:

I. Имеется правило, посредством которого каждому элементу a этого
пространства ставится в соответствие действительно число, называемое нормой

этого элемента и обозначаемое a .
II. Указанное правило подчинено следующим четырем аксиомам:
  
1. а   R :   а    а .
   
2. а : a  0  а  0 .

3. 0  0 .
     
4. а, b : a  b  a  b (неравенство треугольника или неравенство
Минковского).
Теорема. Всякое евклидово пространство является нормированным, если
  
в нем норму любого элемента a ввести как a  a 2 .
Доказательство. Выполнение всех аксиом кроме 4 – очевидно. Проверим
       
аксиому 4: a  b  (a  b )2 = a 2  2(a  b )  b 2 
по неравенству Коши – Буняковского
      2    
 a2  2 a2 b 2  b 2   a2  b 2   a2  b 2  a  b .

100
 Определение. Два  элемента евклидового пространства называются

ортогональными, если a  b  0 .
Определение. Базис линейного пространства называется ортогональным,
если его элементы попарно ортогональны.
Определение. Базис линейного пространства называется
нормированным, если норма каждого его элемента равна 1.
Определение. Базис линейного пространства называется
ортонормированным, если он ортогональный и нормированный.
В п-мерном евклидовом пространстве любой базис можно преобразовать
в ортонормированный. Осуществляется это с помощью процесса
ортогонализации.
Процесс ортогонализации (Шмидт):
  
Пусть e1 , e2 ,..., en – не ортонормированный базис. Шаг за шагом строим
 
    k 1 ek  ei    
элементы: e1  e1 ; ek  ek      ei , где k  2,..., n . Базис e1, e2 ,..., en –
i 1 ei  ei

ортогональный. Если каждый элемент нового базиса поделить на его длину, то

получим ортонормированный базис.

5.4. Линейные операторы

Определение. Линейным оператором А, действующим из пространства
V в пространство W, называется отображение вида A :V  W , сопоставляющее
 
каждому элементу x пространства V некоторый элемент y пространства W
   
(обозначение y  Ax ), так что для любых элементов x1 и x2 пространства V и
   
любых чисел 1 и 2 выполняется условие: A (1 x1  2 x2 )  1Ax1  2 Ax2
(иногда это условие, называемое линейностью, подразделяют на два:
     
A ( x1  x2 )  Ax1  Ax2 – аддитивность и A ( x )   Ax – однородность).
Если пространство W является числовым, то линейный оператор
называют линейным функционалом.
Определение. Суммой A+B линейных операторов A и B называется
  
оператор, определяемый равенством (A  B)x  Ax  Bx .
Определение. Произведением  A линейного оператора A на число 
 
называется оператор, определяемый равенством ( A) x   ( Ax ) .
Определение. Нулевым оператором (обозначение О) называется
оператор, отображающий все элементы пространства V в нулевой элемент
 
пространства W (т. е. оператор О действует по правилу Ox  0 ).
Определение. Противоположным для оператора А называется оператор
 A  (1) A .
Пусть A :V  V .
Определение. Единичным (тождественным) оператором Е называется
 
оператор, отображающий каждый элемент пространства V в себя (т. е. E x  x ).
Определение. Обратным для оператора А называется оператор A 1

101
такой, что AA 1  A 1A  E
Теорема. Множество линейных операторов, действующих из V в W, с
указанными выше операциями образует линейное пространство.
Доказательство. Выполнение всех условий из определения линейного
пространства очевидно.
Определение. Ядром линейного оператора А (обозначается ker A )

называется множество всех тех элементов x пространства V, для которых
 
Ax  0 .
Определение. Образом линейного оператора А (обозначается im A )

называется множество всех элементов y пространства V, представимых в виде
 
y  Ax .
Сумма размерностей ядра и образа дает размерность пространства. Для
того, чтобы оператор имел обратный необходимо и достаточно, чтобы

ker A  0 или чтобы размерность образа совпадала с размерностью
пространства.

5.5. Матрица линейного оператора и ее преобразование при

смене базиса
   
Пусть A :V  V . Пусть e1 , e2 ,..., en базис в пространстве V. Пусть x V .
   
Можно в матричной форме записать x  e  x , где e = (e1 , e2 ,..., en ) и
T
x   x1 , x2 ,..., xn  . Пусть
   
 Ae1  a11e1  a12e2  ...  a1n en
 Ae  a e  a e  ...  a e
 2 21 1 22 2 2n n

..........................................
 Aen  an1e1  an 2e2  ...  ann en .
Если ввести матрицу
 a11 a21 ... an1 
a a ... a 
A 12 22 n 2 ,
 ... ... ... ... 
 
 a1n a2 n ... ann 
  
то в матричной форме можно записать Ae  eA , где Ae  (Ae1 , Ae2 ,..., Aen ) .
  
Такая матрица А называется матрицей оператора А в базисе e1 , e2 ,..., en . Тогда
 
y  Ax  A (ex )  (по линейности)  ( Ae) x  eAx . Если ввести обозначение
T 
y   y1 , y2 ,..., yn  , то можно записать y  ey . Тогда получаем ey  eAx или
y  Ax .
Покажем, как происходит преобразование матрицы линейного оператора
при переходе от базиса к базису.

102
      
Пусть e1 , e2 ,..., en и e1, e2 ,..., en – два произвольных базиса линейного
пространства (старый и новый). Пусть S – матрица перехода от старого базиса к
новому, т. е. e  e  S . Тогда выше было показано, что x  S 1  x и y  S 1  y .
Пусть А и В – матрицы линейного оператора в старом и новом базисах, т. е.
y  Ax и y  Bx . Подставляя в последнее равенство выражения новых
координат через старые, получаем S 1  y  B  S 1  x . Учитывая y  Ax , имеем
S 1  A  x  B  S 1  x . Тогда S 1  A  B  S 1 . Следовательно B  S 1  A  S .
Матрица нулевого оператора – нулевая в любом базисе. Матрица
единичного оператора является единичной в любом базисе.
  
Если в линейном пространстве V задан базис e1 , e2 ,..., en и А – квадратная
матрица порядка n, то существует единственный линейный оператор А,
матрицей которого в заданном базисе является А.
Для того, чтобы линейный оператор имел обратный необходимо и
достаточно, чтобы матрица этого оператора была невырожденной (без разницы,
в каком базисе, поскольку невырожденная матрица линейного оператора, т. е.
матрица с ненулевым определителем, является таковой в любом базисе).
Определитель матрицы линейного оператора не меняется при переходе к
другому базису.
Определение. Рангом линейного оператора называется ранг его матрицы
(без разницы, в каком базисе, поскольку ранг матрицы линейного оператора не
меняется при переходе к другому базису).

5.6. Собственные векторы и собственные значения линейного

оператора
Определение. Характеристическим многочленом линейного оператора А
( A :V  V ) называется многочлен относительно  :
n
k
A   E   dk  ,
k 0

где d k – коэффициенты при  k .

Коэффициенты d k не зависят от выбора базиса (говорят, что они
являются инвариантами). В частности, коэффициент d n 1 , равный
a11  a22  ...  ann , называемый следом оператора (обозначается tr A ) является
инвариантом.
Определение. Уравнение A   E  0 называется характеристическим
уравнением линейного оператора А.
Определение. Пространство V1 называется инвариантным

подпространством оператора А, если для каждого x , принадлежащего V1 ,

элемент A x также принадлежит V1 . Примерами инвариантных подпространств
оператора А являются ker A и im A .

103
 Определение. Число  называется собственным значением

(собственным числом) оператора А, если существует ненулевой элемент x
  
такой, что Ax   x . При этом элемент x называется собственным вектором
оператора А, отвечающим собственному значению  .
Множество собственных векторов, отвечающих одному собственному
значению, является инвариантным подпространством.
Для того, чтобы число  было собственным значением оператора А,
необходимо и достаточно, чтобы это число было корнем характеристического
уравнения оператора А.
Каждый линейный оператор имеет собственное значение (вообще говоря,
комплексное).
Для того, чтобы матрица А линейного оператора А в данном базисе была
диагональной, необходимо и достаточно, чтобы базисные элементы были
собственными векторами этого оператора.
Собственные векторы, отвечающие различным собственным значениям,
линейно независимы.
Если характеристический многочлен оператора, действующего в n-
мерном пространстве, имеет n различных корней, то в некотором базисе
матрица оператора имеет диагональный вид.

5.7. Канонический вид линейных операторов


Из определения собственного вектора следует, что элемент x является
собственным вектором оператора А, отвечающим собственному значению  ,

если выполняется соотношение ( A   E ) x  0 .

Определение. Элемент x называется присоединенным вектором
оператора А, отвечающим собственному значению  , если для некоторого
 
целого m  1 выполняются соотношения ( A   E )m x  0 и ( A   E )m1 x  0 . При

этом число т называется порядком присоединенного вектора x . Таким
 
образом, если x – присоединенный вектор порядка т, то элемент ( A   E )m x –
собственный вектор оператора.
Пусть А – линейный оператор, действующий в n-мерном евклидовом
пространстве V. Существует базис, образованный из собственных и
присоединенных векторов оператора А, в котором матрица B оператора А
имеет следующий клеточный вид
 
 
B  ,
 ... 
 
0 
где клетка □ представляет собой следующую матрицу

104
  k 1 0 ... 0 
 
 0 k 1 ... 0 
         .
 
 0 0 0 ... 1 
 0 0 0 ...  
 k 

Такая форма матрицы B оператора А называется жордановой формой, а

ее клетки – жордановыми клетками. Жорданова форма единственна с
точностью до порядка расположения клеток, который зависит от порядка
нумерации собственных значений. Клетки матрицы В (их количество равно
числу собственных векторов) содержат собственные значения. Если для какого-
то собственного значения собственных векторов меньше, чем кратность этого
значения, то появляются клетки размера больше, чем 1, в которых над главной
диагональю (см. определение жордановой клетки) стоят единицы.

5.8. Квадратичные формы

Определение. Квадратичной формой f ( x1 , x2 , ... , xn ) от n неизвестных
называется многочлен от n переменных второй степени, не содержащий членов
первой степени и свободного члена
f ( x1 , x2 , ... , xn )  a11 x12  a22 x22  ...  ann xn2  a12 x1 x2  a21 x2 x1  ... 
 aij xi x j  a ji x j xi  ...  an 1, n xn 1 xn  an, n 1 xn xn 1 ,
причем aij  a ji  i , j  1, 2 , ... , n ( i  j ).
Квадратичную форму обычно записывают в виде:
f ( x1, x2 , ... , xn )  a11x12  a22 x22  ...  ann xn2  2a12 x1x2  ...  2aij xi x j  ...  2an 1, n xn 1xn .
Из коэффициентов aij можно составить квадратную матрицу n-го порядка
 a11 a12  a1n 
a a22  a2 n 
A  21
,
    
 
 an1 an 2  ann 
которая называется матрицей квадратичной формы f, а ее ранг r называется
рангом квадратичной формы f.
Если r  n , т. е. матрица A невырождена ( | A | 0 ), то и квадратичная
форма f называется невырожденной.
Из условия aij  a ji  i , j  1, 2 , ... , n ( i  j ) следует, что A  AT , т. е.
матрица A – симметрическая.
Обратно, для любой симметрической матрицы A n-го порядка можно
указать квадратичную форму f от n неизвестных, имеющую элементы матрицы
A своими коэффициентами.

105
 T
Если x   x1 , x2 ,..., xn  – вектор-столбец из n неизвестных, то
квадратичную форму f (с матрицей A), можно записать в матричном виде:
f ( x1 , x2 , ... , xn )  xT Ax .

Пусть есть два базиса e и e . В базисе e вектор x можно записать как
 
x  ex , а в базисе e как x  ex . Пусть S – матрица перехода от e к e , т. е.
e  eS . Тогда, как было показано раньше, x  S 1 x . Пусть квадратичная форма
f в базисе e имеет вид f  xT Ax , а в базисе e – f  ( x)T Bx . Таким образом,
( x)T Bx  xT Ax , т. е. (S 1 x)T BS 1 x  xT Ax . Так как для матриц имеют место
формулы ( PQ)T  QT PT и ( P 1 )T  ( PT ) 1 , то получаем xT ( S 1 )T BS 1 x  xT Ax ,
потом xT ( S T ) 1 BS 1 x  xT Ax , откуда (S T ) 1 BS 1  A . Следовательно, B  S T AS .
Матрица B тоже должна получиться симметрической, т. е. B T  B .
Действительно, BT  ( S T AS )T  S T AT ( S T )T  S T AS  B , так как матрица A –
симметрическая по условию ( AT  A ).
Если матрица S является ортогональной ( S 1  S T ), то преобразование
называется ортогональным.
Ранг квадратичной формы не изменяется при переходе к другому базису.
Определение. Квадратичная форма f ( x1 , x2 , ... , xn ) имеет канонический
вид, если все коэффициенты при произведениях различных неизвестных равны
нулю, т. е. aij  0 ( i  j ), и не все aii  0 . Канонический вид квадратичной
формы называется нормальным, если все ненулевые коэффициенты равны 1.
Таким образом, в каноническом виде квадратичная форма записывается
следующим образом: f ( x1 , x2 , ... , xn )  a11 x12  a 22 x22  ...  ann xn2 , где не все aii  0 .
Любая квадратичная форма может быть приведена к каноническому (и
даже нормальному) виду с помощью перехода к некоторому базису. При этом
число ненулевых коэффициентов в этом каноническом виде (т. е.
коэффициентов при квадратах неизвестных) не зависит от этого
преобразования и равно рангу этой квадратичной формы.
Одним из методов приведения квадратичной формы к каноническому (и
даже нормальному) виду является метод Лагранжа, заключающийся в
последовательном выделении полных квадратов.
Также любая квадратичная форма может быть приведена к
каноническому (но не нормальному) виду с помощью ортогонального
преобразования, причем коэффициенты при квадратах неизвестных будут
совпадать с собственными значениями матрицы A квадратичной формы, а
столбцы матрицы S преобразования будут состоять из соответствующих
попарно-ортогональных векторов, образующих базис пространства
собственных векторов матрицы A квадратичной формы.
Канонический вид квадратичной формы не единственный, но верна
следующая теорема.

106
 Теорема (закон инерции). Если квадратичная форма приводится к
каноническому виду двумя различными способами, то число членов с
положительными коэффициентами, так же, как и число членов с
отрицательными коэффициентами, в обоих случаях будет одно и то же.
Определение. Квадратичная форма f ( x1 , x2 , ... , xn ) называется
положительно определенной, если f ( x1 , x2 , ... , xn )  0 на любых наборах
значений неизвестных x1 , x2 , …, xn , x12  x22  ...  xn2  0 (т. е. кроме набора
неизвестных, когда x1  x2  ...  xn  0 ).
Определение. Квадратичная форма f ( x1 , x2 , ... , xn ) называется
положительно полуопределенной, если f ( x1 , x2 , ... , xn )  0 на любых наборах
значений неизвестных x1 , x2 , …, xn .
Определение. Квадратичная форма f ( x1 , x2 , ... , xn ) называется
отрицательно определенной, если f ( x1 , x2 , ... , xn )  0 на любых наборах
значений неизвестных x1 , x2 , …, xn , x12  x22  ...  xn2  0 (т. е. кроме набора
неизвестных, когда x1  x2  ...  xn  0 ).
Определение. Квадратичная форма f ( x1 , x2 , ... , xn ) называется
отрицательно полуопределенной, если f ( x1 , x2 , ... , xn )  0 на любых наборах
значений неизвестных x1 , x2 , …, xn .
Определение. Квадратичная форма f ( x1 , x2 , ... , xn ) называется
неопределенной, если существуют наборы значений неизвестных x1 , x2 , …, xn ,
на которых f ( x1 , x2 , ... , xn )  0 и f ( x1 , x2 , ... , xn )  0 .
Положительно определенная квадратичная форма после приведения к
каноническому виду будет иметь только положительные коэффициенты при
квадратах всех n неизвестных. Для положительно полуопределенной формы
(после приведения к каноническому виду) – неотрицательные коэффициенты
(некоторые могут быть равны нулю).
Аналогичные утверждения имеют место для отрицательно определенных
и полуопределенных квадратичных форм.
Теорема 3 (критерий Сильвестра). Квадратичная форма f ( x1 , x2 , ... , xn )
является положительно определенной тогда и только тогда, когда все
окаймляющие миноры матрицы квадратичной формы положительны. Т. е.
a11 a12 a11 a12 a13
1  a11  0 , 2   0,  3  a21 a22 a23  0 , … , n  | A |  0 .
a21 a22
a31 a32 a33
Квадратичная форма f ( x1 , x2 , ... , xn ) является отрицательно определенной тогда
и только тогда, когда знаки окаймляющих миноров матрицы A квадратичной
формы чередуются, начиная со знака «минус», т. е. 1  a11  0 ,
a11 a12
2   0, …
a21 a22

107
 Если есть две квадратичные формы f и g , определенные в
действительном линейном пространстве, причем f – положительно
определенная, то можно указать такой базис, в котором f будет иметь
нормальный вид, а g – канонический. Т. е. две квадратичные формы, одна из
которых положительно определенная, могут быть приведены к каноническому
(а одна даже к нормальному) виду одновременно, т. е. одним и тем же
преобразованием. Это делается в два этапа. Сначала применяется
преобразование, приводящее положительно определенную квадратичную
форму к нормальному виду (его можно получить, например, методом
выделения полных квадратов). При этом другая квадратичная форма как-то
преобразуется. На втором этапе, найдя собственные векторы матрицы второй
квадратичной формы, осуществляем ортогональное преобразование,
приводящее вторую квадратичную форму к каноническому виду. При этом вид
первой квадратичной формы остается нормальным, так как ортогональное
преобразование единичную матрицу переводит в единичную.

5.9. Решение задач на линейные пространства

Пример 1. Ортонормировать базис:
  
e1  (1;1;0) , e2  (0;1;1) , e1  (1;0;1) .
 
Решение. e1  e1  (1;1;0) ,
 
  e2  e1  (0,1,1)  (1,1,0) 1 1 1
e2  e2     e1  (0,1,1)  (1,1,0)  (0,1,1)  (1,1,0)  ( , ,1) ,
e1  e1 (1,1,0)  (1,1,0) 2 2 2
   
  e  e  e  e  (1,0,1)  (1,1,0)
e3  e3  3 1  e1  3 2  e2  (1,0,1)   (1,1,0) 
e1  e1 e2  e2 (1,1,0)  (1,1,0)
(1,0,1)  ( 1 , 1 ,1) 1 1 1 1 2 2 2
 2 2  ( 1 , 1 ,1)  (1,0,1)  (1,1,0)  ( , ,1)  ( ,  , ) .
( 1 , 1 ,1)  ( 1 , 1 ,1) 2 2 2 3 2 2 3 3 3
2 2 2 2
Получили ортогональный базис. Теперь его нормируем (нормируем
векторы, его составляющие):
 2 2  6 6 6  3 3 3
e1  ( ; ;0) , e1  ( ; ; ) , e1  ( ;  ; ).
2 2 6 6 3 3 3 3
  
Базис e1, e2, e3 является ортонормированным.
Пример 2. Оператор дан матрицей А в некотором базисе:
 2 2 2 1 
 3 3 2 1 
A .
 3 2 3 1 
 
 2 1 1 2 
Найти матрицу оператора в базисе из собственных и присоединенных
векторов.

108
 Решение. Найдем характеристический многочлен:
2   2 2 1
3 3   2 1
A  E   4  63  132 12  4  ( 1)2 (  2)2 .
3 2 3  1
2 1 1 2
Тогда получаем его корни: 1,2  1 , 3,4  2 .
Найдем собственные векторы, соответствующие собственному значению
 
  1: ( A  1E )h  0 , т. е.
 3 2 2 1  a   0 
 3 2 2 1  b   0 
      .
 3 2 2 1  c   0 
    
 2 1 1 1  d   0 
Выполним элементарные преобразования строк с целью обнулить все
элементы столбца, кроме выделенного (в каждой строке и каждом столбце не
более одного выделенного элемента):
 3 2 2 1   0 0 0 0   0 0 0 0 
 3 2 2 1   0 0 0 0   0 0 0 0 
   ,
 3 2 2 1   3 2 2 1   0 1 1 1 
     
2 1 1 1  1 1 1 0   1 1 1 0 
     
 b  c  d  0
откуда  . Пусть b  C1 , c  C2 . Тогда a  C1  C2 , d  C1  C2 .
a  b  c  0
Полагая сначала C1  1, C2  0 , а затем C1  0 , C2  1 , получаем два собственных
вектора, соответствующих   1 :
 T
 T
h1  1,1,0,1 и h2  1,0,1,1 .
Найдем собственные векторы, соответствующие собственному значению
 
  2 : ( A  2 E )h  0 , т. е.
 4 2 2 1  a   0 
 3 1 2 1  b   0 
      .
 3 2 1 1  c   0 
    
 2 1 1 0  d   0 
Выполним элементарные преобразования строк с целью обнулить все
элементы столбца, кроме выделенного (в каждой строке и каждом столбце не
более одного выделенного элемента):

109
  4 2 2 1   4 2 2 1   0 0 0 1   0 0 0 1 
       
 3 1 2 1   1 1 0 0   1 1 0 0   0 0 0 0 
    ,
 3 2 1 1   1 0 1 0   1 1 0 0   1 1 0 0 
   
 2 1 1 0   2 1 1 0   2 1 1 0   1 0 1 0 


d  0

откуда  a  b  0 . Пусть a  C . Тогда b  c  C . Полагая C  1, получаем
 a  c  0

 T
только один собственный вектор, соответствующий   2 : h3  1,1,1,0  .
Поскольку   2 – корень кратности 2, то необходимо найти присоединенный
 
вектор  A  2 E  h  h3 , т.е.
 4 2 2 1  a  1 
 3 1 2 1  b  1 
     
 3 2 1 1  c  1 
    
 2 1 1 0  d   0 
Выполним элементарные преобразования строк с целью обнулить все
элементы столбца, кроме выделенного (в каждой строке и каждом столбце не
более одного выделенного элемента):
 4 2 2 1 1  4 2 2 1 1  0 0 0 1 1  0 0 0 1 1
       
 3 1 2 1   1 1 1 0 0 0  1 1 0 0 0  0 0 0 0 0
  ,
 3 2 1 1 1  1 0 1 0 0  1 1 0 0 0  1 1 0 0 0
 
   
 2 1 1 0 0  2 1 1 0 0  0  0
     2 1 1 0  1 0 1 0 
d  1

откуда  a  b  0 . Пусть a  C . Тогда b  c  C . Полагая C  0 , получаем
 a  c  0

   T
присоединенный вектор h3 к собственному вектору h3 : h3   0,0,0,1 .
Найдем матрицу оператора в базисе из собственных и присоединенных
   
векторов h1 , h2 , h3 , h3 (обозначим ее В). Матрица перехода от старого базиса к
новому запишется из векторов нового базиса следующим образом:
 1 1 1 0
 1 0 1 0
S   . Матрица, обратная к ней (если ее найти) будет:
0 1 1 0
 
1 1 0 1

110
  1 0 1 0 
 1 1 0 0 
S 
1 .
 1 1 1 0 
 
 2 1 1 1 
 1 0 1 0  2 2 2 1  1 1 1 0   1 0 0 0 
 1 1 0 0  3 3 2 1  1 0 1 0   0 1 0 0 
Тогда B      .
 1 1 1 0  3 2 3 1  0 1 1 0   0 0 2 1 
     
 2 1 1 1  2 1 1 2  1 1 0 1   0 0 0 2 
Пример 3. Составить матрицу A квадратичной формы от трех
неизвестных f ( x1 , x2 , x3 )  7 x12  3x32  4 x1 x2  x2 x3 .
Решение. Матрица этой квадратичной формы имеет вид:
7 2 0 
A  2 0 0,5  .
 0 0,5 3 
 
Пример 4. Указать квадратичную форму f, соответствующую
симметрической матрице
 4 1 1 
A   1 5 3  .
 1 3 2
 
Является ли указанная квадратичная форма невырожденной?
Решение. Порядок матрицы A равен трем, поэтому квадратичная форма f
будет зависеть от трех неизвестных. Тогда
f ( x1 , x2 , x3 )  4 x12  5 x22  2 x32  2 x1 x2  2 x1 x3  6 x2 x3 .
Вычислим определитель: | A | 40  3  3  5  2  36  79 . Поскольку | A | 0 ,
то квадратичная форма f невырождена.
Пример 5. Дана квадратичная форма
f ( x1 , x2 , x3 )  x12  2 x22  5 x32  2 x1 x2  2 x1 x3  6 x2 x3 .
Привести эту форму к каноническому виду с помощью перехода к другому
базису.
Решение. Выделим вначале полный квадрат по переменной x1 , получим:
f  ( x12  2 x1 x2  2 x1 x3 )  2 x22  5 x32  6 x2 x3 
 (( x1  x2  x3 )2  x22  x32  2 x2 x3 )  2 x22  5 x32  6 x2 x3 
 ( x1  x2  x3 )2  3x22  4 x32  8 x2 x3 .
Далее, выделим полные квадраты по переменным x2 и x3 :
 8 
f  ( x1  x2  x3 )2  3   x22  x2 x3   4 x32 
 3 

111
 2
 4  16 2 
 ( x1  x2  x3 )  3    x2  x3   x3   4 x32 
2
 3  9 

2
 4  16
 ( x1  x2  x3 )  3   x2  x3   x32  4 x32 
2

 3  3
2
 4  28
 ( x1  x2  x3 )  3   x2  x3   x32 .
2

 3  3
Положим
 y1  x1  x2  x3 ,

 4
 y2  x2  x3 ,
 3
 y3  x3 .
Тогда квадратичная форма f примет канонический вид:
28 2
g ( y1 , y2 , y3 )  y12  3 y 22  y3 .
3
Покажем, что y1 , y2 , y3 – базис. В матричном виде замена переменных
 y1  x1  x2  x3 ,
 4

 y2  x2  x3 ,
 3
 y3  x3 ,
приводящая квадратичную форму f к каноническому виду
28 2
g ( y1 , y2 , y3 )  y12  3 y 22 
y3 , выглядит следующим образом:
3
 y1   1 1 1   x1 
 y    0 1  4 3  x  .
 2    2
 y  0 0 1   x3 
 3 
 1 1 1 
Матрица S  0 1  4 3  имеет ненулевой определитель. Поэтому и матрица
1 
 
0 0 1 
 
S (столбцами которой являются координаты в старом базисе векторов нового
базиса) также невырождена. Заметим, что ранг исходной квадратичной формы f
равен 3, так как число ненулевых коэффициентов в каноническом виде равно 3.
Пример 6. Привести квадратичную форму f ( x1 , x2 )  2 x12  5 x22  4 x1 x2 к
каноническому виду двумя способами: с помощью ортогонального
преобразования (записать явный вид этого преобразования) и методом
Лагранжа. Проверить выполнение закона инерции.
Решение. 1-й способ. Матрица квадратичной формы имеет вид:
2 2
A    . Собственные значения:
2 5

112
 2 2   1 ,
 0  2  7  6  0  
2 5   6 .
Тогда ортонормированный базис собственных векторов:
  2 5   1 5 
e1    (для );
  1 e2    (для   6 ).
 1 5  2 5
   
 
Векторы e1 и e2 (в силу того, что матрица A – симметрическая, собственные

числа различны) взаимно-ортогональны. Впрочем, условие ортогональности e1

и e2 можно проверить и непосредственно, так как скалярное произведение
 
e1  e2  0 . Отсюда, матрица S ортогонального преобразования имеет вид:
2 5 1 5 
S  .
 1 5 2 5
 
Тогда явный вид этого ортогонального преобразования следующий:
 2 1
 x1   5 y1  5 y2 ,

x  1 y  2 y .
 2 5
1
5
2

С помощью этого преобразования квадратичная форма f примет вид:

g ( y1 , y2 )  y12  6 y22 .
2-й способ. Выделим полные квадраты по переменным x1 и x2 :
f ( x1 , x2 )  2( x12  2 x1 x2 )  5 x22  2(( x1  x2 ) 2  x22 )  5 x22  2( x1  x2 ) 2  3 x22 .
Положим z1  x1  x2 , z 2  x2 . Тогда квадратичная форма f примет вид:
h( z1 , z 2 )  2 z12  3 z 22 .
Закон инерции, очевидно, выполняется.
Пример 7. Является ли положительно определенной квадратичная форма
f ( x1 , x2 , x3 )  5 x12  x22  4 x32  4 x1 x2  2 x1 x3  2 x2 x3 ?
5 2  1
 
Решение. Матрица квадратичной формы имеет вид: A   2 1  1 .
 1 1 4 
 
5 2
Тогда 1  5  0 ,  2   1  0 ,  3  det( A)  20  2  2  1  16  5  2  0 .
2 1
Значит, по критерию Сильвестра, квадратичная форма f ( x1 , x2 , x3 ) является
положительно определенной.
Пример 8. Привести к каноническому виду одновременно две
квадратичные формы
45 x12  72 x1 x2  18 x1 x3  45 x22  18 x2 x3  18 x32 ,

113
 90 x12  144 x1 x2  36 x1 x3  106 x22  36 x2 x3  36 x32 .
 45 36 9 
Решение. Матрица первой квадратичной формы A   36 45 9  , а
 
 9 9 18 
 
 90 72 18 
 
второй – B   72 106 18  . Легко проверить, что первая квадратичная форма
 18 18 36 
 
положительно определенная. Приведем ее к каноническому виду, выделяя
полные квадраты. 45 x12  72 x1 x2  18 x1 x3  45 x22  18 x2 x3  18 x32 
 36 x12  72 x1 x2  36 x22  9 x12  18 x1 x3  9 x32  9 x22  18 x2 x3  9 x32 
 (6 x1  6 x2 )2  (3 x1  3 x3 )2  (3 x2  3 x3 ) 2  ( x1) 2  ( x2 ) 2  ( x3 ) 2 ,
где x1  6 x1  6 x2 , x2  3 x1  3 x3 , x3  3 x2  3 x3 . Так как x  S 1 x , то
6 6 0  1 / 12 1 / 6 1 / 6 

S11   3 0 3  . Тогда S1   1 / 12 1 / 6 1 / 6  . Следовательно,
0 3 3  1 / 12 1 / 6 1 / 6 
   
1 0 0  19 / 9 2 / 9 2 / 9 
C  S1 AS1   0 1 0  , а D  S1 BS1   2 / 9 22 / 9 4 / 9  . Теперь найдем
T   T

0 0 1  2 / 9 4 / 9 22 / 9 
   
19 / 9   2 / 9 2/9
характеристический многочлен матрицы D : 2 / 9 22 / 9   4 / 9 
2/9 4 / 9 22 / 9  
  3  7 2  16  12 , и его корни 1  3, 2,3  2 . Собственные векторы,
 C 
 
соответствующие 1  3 , имеют вид h   2C  . Тогда в качестве базисного
 2C 
 
 1/ 3 
 
можно взять (нормированный) h1   2 / 3  . Собственные векторы,
 2/3 
 
 2C  2C2 
  1  . Легко проверить, что
соответствующие 2,3  2 , имеют вид h   C1 
 C2 
 

каждый из них ортогонален h1 . Выберем два, ортогональных между собой.

114
  2  2   2C1  2C2 
         0 , т.е.
Пусть h2   1  . Тогда h3 найдем из равенства  1    C1 
 0  0  C2 
     
 2 
    
4C1  4C2  C1  0 . Значит, в качестве h3 можно взять h3   4  . Нормировав h2
 5
 
2/ 5  2 / (3 5) 
         
и h3 , получим h2   1 / 5  и h3   4 / (3 5)  . Записывая h1 , h2 и h3 как
   
 0   5 / (3 5) 
   
столбцы матрицы, получим матрицу ортогонального преобразования
 1 / 3 2 / 5 2 / (3 5)  1 0 0
 
S 2   2 / 3 1 / 5 4 / (3 5)  . Следовательно, E  S 2T CS 2   0 1 0  , а
  0 0 1
 2/3 0 5 / (3 5)   
 
3 0 0
F  S 2T DS 2   0 2 0  . Тогда преобразование, приводящее к каноническому
0 0 2
 
виду одновременно две данные квадратичные формы, будет иметь матрицу
 7 / 36 5 / 15  5 / 45 
 
S  S1  S 2   1 / 4 0 0  , а сами квадратичные формы будут
 1 / 36 0 5 / 9 

приведены к виду ( x1)2  ( x2 ) 2  ( x3 )2 и 3( x1 )2  2( x2 ) 2  2( x3 )2 .

5.10. Задачи для самостоятельного решения


Задача 1. Доказать, что e – базис. Найти координаты x в этом базисе,
если они даны в стандартном:
    1    1    0 
а) e   e1 , e2  , e1    , e2    , x    ;
 1 1 1 
1 1 0  1
              
б) e   e1 , e2 , e3  , e1   1  , e2   0  , e3   1  , x  1 ;
 0 1 1  1
       

115
 1 1  1 0
              
в) e   e1 , e2 , e3  , e1   0  , e2   1  , e3  1 , x   0  ;
 0 0  1 1
       
 1 0 0 0  1
 1  2 1 1  
                  1 
г) e   e1 , e2 , e3 , e4  , e1  ,e  ,e  ,e  , x .
 1 2  0  3  3  4  0   4
         
 1 0 1  4  2 

Задача 2. Найти координаты вектора x в базисе e , если они даны в
базисе e :
 1   0    1  1    0 
а) e     ,    ; e     ,    ; x    ;
  0  1    1  1   1 
 1  1   0    0 0  4  1
              
б) e   1  ,  0  , 1   ; e    0  ,  3  ,  0   ; x  1 ;
  0  1  1    2 0  0  1
             
 1  1  1    1  0   3   0
    
в) e    0  ,  0  , 1   ; e   1 ,  2  , 1   ; x   0  ;
  0  1  1    1  0   0   1
             
 2 3   0  4 3 3  3 3   1
                 1 
0 4 0 0 0 1 1 0 
г) e     ,   ,   ,    ; e     ,   ,   ,    ; x   
  4   2  1   3    0  2  2  2  4
                     
 0  4  0 3   0  4  0  0  2 
Задача 3. Ортонормировать базис e :
 1  1   0  
  3  2    
а) e     ,   ; б) e   1  ,  0  , 1   ;
 1   3     0  1  1  
     
 2 3   0  4
 1  0   3          
      0 4 0 0
в) e   1 ,  2  , 1   ; г) e     ,   ,   ,    .
  4   2  1   3  
 1  0   0            
     
 0  4  0 3 
Задача 4. Найти матрицу оператора A в базисе e , если она дана в базисе
e:

116
  1   0    1  1  1 2
а) e     ,    ; e     ,    ; A   ;
0
    1 1
    1  3 4 
 1  1   0    0 0  4 1 1 0
             
б) e   1  ,  0  , 1   ; e    0  ,  3  ,  0   ; A   0 1 0  ;
  0  1  1    2 0  0 0 0 2
             
 1  1  1    1  0   3   1 1 0
             
в) e    0  ,  0  , 1   ; e   1 ,  2  , 1   ; A   0 1 1  ;
  0  1  1    1  0   0   0 0 1
             
  1   1  0   1     1   1  1   1   1 0 0 0
                0 2 0 0
  0   1  0   0     0   1   1  0  
г) e  , , , ; e  , , , ; A 
  1   1  1   1     0   1   1  1   0 0 3 0
                     
  0   1  0   1     0   0   1  0   0 0 0 4
Задача 5. Найти собственные значения и собственные (и
присоединенные) векторы оператора, заданного матрицей:
 2 1  2 1  3 1   1 1
а)   ; б)   ; в)   ; г)  .
  1 4   3 4   4  1    2 3 
Задача 6. Найти матрицу оператора в базисе из собственных и
присоединенных векторов, если она дана в стандартном базисе:
 0 1 0 12 6 2   4 5 2   1 3 3 

а)  4 4 0  ;
  
б) 18 9 3  ; в)  5 7 3  ;
   
г)  2 6 13  .
 2 1 2  18 9 3   6 9 4   1 4 8 
       
Задача 7. Привести к нормальному виду методом выделения полных
квадратов:
а) x12  x22  3x32  4 x1 x2  2 x1 x3  2 x2 x3 ;
б) x12  2 x22  x32  2 x1 x2  4 x1 x3  2 x2 x3 ;
в) x12  3x32  2 x1 x2  2 x1 x3  6 x2 x3 ;
г) x1 x2  x1 x3  x1 x4  x2 x3  x2 x4  x3 x4 .
Задача 8. Привести к каноническому виду методом ортогонального
преобразования, найдя собственные векторы матрицы квадратичной формы:
а) 3x22  3x32  4 x1 x2  4 x1 x3  2 x2 x3 ;
б) 7 x12  7 x22  7 x32  2 x1 x2  2 x1 x3  2 x2 x3 ;
в) x12  2 x1 x2  2 x1 x3  2 x2 x3 ;
г) 3x12  3x22  x32  6 x1 x3  4 x2 x3 .
Задача 9. Проверить квадратичные формы на знакоопределенность:
а) 3x1  3x22  3x32  2 x1 x2 ;
2

117
б) 5 x12  3x22  4 x32  4 x1 x3  4 x2 x3 ;
в) 27 x12  3x22  10 x1 x2 ;
г) 2 x12  4 x22  3x32  4 x1 x2  2 x1 x3 .
Задача 10. Привести к каноническому виду одновременно две
квадратичные формы и найти матрицу данного преобразования:
а) 45 x12  72 x1 x2  18 x1 x3  45 x22  72 x2 x3  153x32 ,
90 x12  144 x1 x2  36 x1 x3  106 x22  192 x2 x3  342 x32 ;
б) 45 x12  72 x1 x2  18 x1 x3  45 x22  54 x2 x3  90 x32 ,
90 x12  144 x1 x2  36 x1 x3  106 x22  140 x2 x3  196 x32 ;
в) 45 x12  72 x1 x2  18 x1 x3  45 x22  36 x2 x3  45 x32 ,
90 x12  144 x1 x2  36 x1 x3  106 x22  88 x2 x3  94 x32 ;
г) 45 x12  72 x1 x2  18 x1 x3  45 x22  18 x2 x3  18 x32 ,
81x12  132 x1 x2  54 x1 x3  102 x22  48 x2 x3  27 x32 .

5.11. Ответы
1
1/ 2  0  1 1  1
1/ 2   1/ 2 
1. а)   ; б) 1/ 2  ; в)  1 ; г)   . 2. а)   ; б)  2 / 3  ; в)  0  ;
1/ 2  1/ 2  1 1 1/ 2  1 / 2  0
         
 1
 3   1 / 2  1 / 6   1 / 3  
 5 / 2    3 / 10   1 / 10      
г)   . 3. а)   ,   ; б)  1 / 2  ,  1 / 6  , 1 / 3   ;
 3 / 2   1 / 10   3 / 10      
       0   2 / 6  1 / 3  
 4     
  1/ 5   2 / 55   4 / 22   2 / 66  
1/ 3   1/ 6   1/ 2   
   
     0   5 / 55   1/ 22   5 / 66  
в) 1/ 3 , 2/ 6 , 0  ; г)  
    2 / 5  ,  1/ 55 ,  2 / 22 ,  1/ 66   .
1/ 3   1/ 6   1/ 2      
      
0   1/ 22   5 / 55   6 / 66  
 
3 / 2 3 / 4 1   2 2 1 
5 1    ;
4. а)  ; б)  2 / 3 1 0  ; в)   1 / 2 1 / 3 1 / 3 
2 0  1 / 4 3 / 8 3 / 2   0 
    2 / 3 2 / 3 
 3 0 0 0
 0 4 0 0   
г)   . 5. а) 1,2  3 , h1  1  , h2   0  ; б) 1  1 , h1   1  , 1  5 ,
 0 2 2 0  1 1   1 
     
 
 2 3 0 1 

118
  1   1   0    1 
h2    ; в) 1,2  1 , h1    , h1    ; г) 1,2  2  i , h1,2   .
 3  2  1  1  i 
2 0 0 0 0 0 1 0 0 1 1 0

6. а)  0 2 1  ;  б)  0 0 1  ; в)  0 0 1  ; г) 0 1 1 .
     
0 0 2 0 0 0 0 0 0 0 0 1
       
2 2 2 2 2 2
7. а) ( x1)  ( x2 )  ( x3 ) ; б) ( x1)  ( x2 )  ( x3 ) ; в) ( x1)  ( x2 )2 ;
2

г) ( x1)2  ( x2 )2  ( x3 )2  ( x4 )2 . 8. а) 4( x1) 2  4( x2 )2  2( x3 ) 2 ;

б) 6( x1) 2  6( x2 )2  9( x3 )2 ; в) ( x1)2  3( x2 )2  3( x2 )2 ;
г) 3( x1) 2  (1  17)( x2 )2  (1  17)( x2 )2 . 9. а) положительно определена;
б) положительно определена; в) положительно определена; г) отрицательно
определена. 10. а) ( x1)2  ( x2 ) 2  ( x3 )2 , 3( x1 )2  2( x2 ) 2  2( x3 )2 ,
 19 / 90 5 /15 2 5 / 45 
 
 4 / 15 0  5 /15  ; б) ( x1)2  ( x2 ) 2  ( x3 )2 , 3( x1 )2  2( x2 ) 2  2( x3 )2 ,
 
 1/ 90 0 2 5 / 45 
 
 5 / 24 5 / 15 5 / 30 
 
 19 / 72 0  5 / 18  ; в) ( x1)2  ( x2 ) 2  ( x3 )2 , 3( x1 )2  2( x2 ) 2  2( x3 )2 ,
 
 1 / 72 0 5 / 18 
 
 11 / 54 5 / 15 2 5 / 135 
 
 7 / 27 0  5 / 27  ; г) ( x1)2  ( x2 ) 2  ( x3 )2 , 2( x1) 2  3( x2 ) 2  ( x3 )2 ,
 
 1 / 54 0 2 5 / 27 
 
1 / 9 7 / 36 1 / 9 
 0 1 / 4 0 .
 
1 / 9 1 / 36 2 / 9 
 

119
 Учебное издание

ШАЙКИН Александр Николаевич

ЭЛЕМЕНТЫ АЛГЕБРЫ

Редактор: Е. В. Копасова

Подписано в печать 16.12.13 г. Формат 60×84 1/16.

Усл. печ. л. 7,0. Уч.-изд. л. 8,7. Тираж 1000 экз. Заказ

Российский химико-технологический университет имени Д. И. Менделеева

Издательский центр
Адрес университета и издательского центра:
125047, Москва, Миусская пл., 9

120