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

      Пусть s₁, s₂ - два различных корня характеристического уравнения (10) и координаты соответствующих векторов    

                  е₁'={ p _, p _, p }, е₂'={ p _, p _, p } 

суть решения  системы уравнений (9') при s , соответственно равном s₁ и s₂. Тогда имеют место следующие равенства: 

                  а₁₁ p + а₁₂ p + а₁₃ p = s₁ • p

                  а₂₁ p + а₂₂ p + а₂₃ p =  s₁ • p                       (12')

                  а₃₁ p + а₃₂ p + а₃₃ p =  s₁ • p  
 
 

                  а₁₁ p + а₁₂ p + а₁₃ p = s₂ • p

                  а₂₁ p + а₂₂ p + а₂₃ p =  s₂ • p                       (13)

                  а₃₁ p + а₃₂ p + а₃₃ p =  s₂ • p  

Если умножить равенства (12')  соответственно на  p _, p _, p , а равенства (13) соответственно на

p _, p _, p , то получим: 
 

                  а₁₁ p p + а₁₂ p p + а₁₃ p p = s₁  p p ,

                  а₂₁ p p + а₂₂ p p + а₂₃ p p =  s₁  p   p ,                  (14)

                  а₃₁ p p + а₃₂ p p + а₃₃ p p =  s₁ p p , 
 
 

                  а₁₁ p p + а₁₂ p p + а₁₃ p p = s₂ p p ,

                  а₂₁ p p + а₂₂ p p + а₂₃ p p =  s₂ p p ,                   (15)

                  а₃₁ p p + а₃₂ p p + а₃₃ p p =  s₂ p p . 

Сложив равенства (14) и (15), получим: 

                  A₁= s₁(p p +  p p + p p ),

                  A₂= s₂(p p +  p p + p p ).

Так как A₁ = A₂, то из этих равенств получаем: 

                  (s₁ – s₂)( p p +  p p + p p ) = 0. 

Так как s₁≠ s₂, то  

                   p p +  p p + p p = 0. 

Таким образом  мы доказали следующую теорему.

     Теорема   1. Если корни s₁, s₂ характеристического уравнения (10) различны, то координаты соответствующих им векторов, имеющих главные направления относительно поверхности второго порядка,  удовлетворяют  условию  ортогональности  (16).

     Теорема 2. Корни характеристического уравнения поверхности второго порядка всегда действительны.

     Допустим, что s₁= a + bi(b ≠ 0) есть корень уравнения (10).

Тогда  s₂ = a – bi  является также корнем уравнения (10). Пусть корню s₁  соответствует вектор главного направления е₁' : p = u₁ + v₁i,  p = u₂ + v₂i, p = u₃ + v₃i. 

Тогда корню  s₂ соответствует вектор е₂'  главного направления, координаты которого, как можно показать, будут: 

            p = u₁ – v₁i,  p = u₂ – v₂i,  p = u₃ – v₃i. 

числа u₁, v₁, u₂, v₂, u₃, v₃  не равны нулю одновременно, так как  p ,  p , p есть ненулевое решение системы (12). Но s₁≠ s₂,  и потому координаты векторов  е₁', е₂' связаны равенством (16): 

                  u + v + u + v + u + v = 0, 

что невозможно, так как u₁, v₁ ,u₂, v₂ ,u₃ ,v₃ – не равные нулю одновременно действительные числа. 
 

Из теорем 1 и 2 вытекают два следствия.

     Следствие 1. Координаты векторов, имеющих главные направления относительно поверхности второго порядка, являются  действительными   числами.

     Следствие 2. Главные направления относительно поверхности второго порядка, соответствующие не равным корням характеристического уравнения, перпендикулярны.

Пусть поверхность  второго порядка задана общим  уравнением (1). Поставим задачу: вычислить  координаты трех попарно перпендикулярных векторов, имеющих главные направления относительно данной поверхности второго порядка. Искомые координаты каждого такого вектора являются решением системы уравнений (9') при s, являющемся корнем характеристического уравнения (9). Можно доказать следующие теоремы.

     Теорема 3. Если корни s₁ s₂, s₃ характеристического уравнения (10') удовлетворяют условиям           s₁ = s₂ = s₃, то при s = s₁ (s = s₂, s = s₃) все коэффициенты системы уравнений (9) равны нулю.

     В этом случае любой вектор e_i' пространства имеет главное направление относительно поверхности второго порядка.

     Теорема 4. Если корни s₁, s₂, s₃ характеристического уравнения (10) удовлетворяют условиям:   s₁ = s₂≠ s₃, то при s = s₁ (s = s₂) в системе уравнений (9) существует только одно линейно независимое уравнение.

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

     Теорема 5. Если корни характеристического уравнении удовлетворяют условиям s₁≠ s₂ ≠ s₃ ≠ s₁, то при каждом значении s = s_j (j = 1, 2, 3) в системе уравнений (9) существует дни линейно независимых уравнения.

     В этом случае существуют три вектора  е₁', е₂', е₃', имеющие главные направления относительно поверхности второго порядка; по следствию (2) они попарно перпендикулярны.

     Из  теорем  3,  4,  5 вытекает 

     Следствие 3. Для любой поверхности второго порядки существуют по крайней мере три попарно перпендикулярных глинных относительно данной поверхности направления.

      Для случаев,  рассмотренных в теоремах 3,  5, это  следствие очевидно.

Рассмотрим случай, когда s₁ = s2 ≠ s3. Пусть 
 

     (а₁₁ – s₁) p + а₁₂ p + а₁₃ p = 0                                                             (17) 

     Линейно независимое уравнение системы (9). Найдём какое – либо решение этого  уравнения       е₁'={ p _, p _, p }, а затем определим вектор е₂'={ p _, p _, p }, перпендикулярный е₁' из уравнений 
 

     (а₁₁ – s₁) p + а₁₂ p + а₁₃ p = 0,                                (18)

           p p +  p p + p p = 0.                                                

     Координаты  вектора    е₃'   определяются из системы уравнений (9) при s = s₃ .  Но их можно получить проще. Уравнения                                                               

                       (а₁₁ – s₁) p + а₁₂ p + а₁₃ p = 0,

                       (а₁₁ – s₁) p + а₁₂ p + а₁₃ p = 0

могут рассматриваться  как условия перпендикулярности вектора a = {a₁₁ – s₁ ; a₁₂, a₁₃}  с векторами e₁'  и e₂'. Вектор e₃' также перпендикулярен e₁' и e₂', и поэтому e₃' = λa, или  

                   e₃' = {λ(a₁₁ – s₁); λa_12; λa₁₃}.                                                    (19) 

Таким образом, вектор e₃' и любые два взаимно перпендикулярных вектора e₁' и e₂', каждый из которых перпендикулярен вектору e₃', образуют тройку векторов, имеющих главные направления. 

      Теорема. Если единичные векторы e₁' , e₂' , e₃' , системы координат Оx'y'z' имеют главные направления относительно поверхности второго порядка, заданной общим уравнением относительно системы координат Oxyz, тогда относительно системы координат Оx'y'z'  уравнение данной поверхности имеет вид: 

            s₁x'² + s₂y'² + s₃z'² + 2a'₁₄x' + 2a'₂₄y' + 2a'₃₄z' + a'₄₄ = 0. 

Пусть

                  e'_k = { p , p ,  p }      (k = 1, 2, 3) 

и смешанное  произведение   

                  (e'₁ e'₂ e'₃) = +1. 

Повернём систему  координат Oxyz  вокруг начала O  так, чтобы оси Ox', Oy', Oz'  новой системы координат имели соответственно направления e'₁ , e'₂ , e'₃ . Тогда поверхность второго порядка будет иметь уравнение вида 

      a'₁₁х'² + a'₂₂у'² + а'₃₃z'² + 2а'₁₂х'у' + 2a'₂₃y'z' + 2а'₃₁x'z' + 2а'₁₄х' + 2a'₂₄y' + 2a'₃₄z' + a'₄₄ = 0, 

причём 

      a'_kt= (a₁₁p + a₁₂p + a₁₃p )p + (a₂₁ p + a₂₂ p + a₂₃ p )p + (a₃₁ p + a₃₂ p + a₃₃ p )p

                              (k,t = 1, 2, 3);                                                       (4) 
 

     a'_m4 =  a'₁₄p¹_m+ a'₂₄p²_m+ a'₃₄p³_m         (m = 1, 2, 3).                                        (5) 
 

Так как векторы  e'_k имеют главные направления, то их координаты удовлетворяют уравнениям (9), то есть

            a₁₁p + a₁₂p + a₁₃p = s_k p  

            a₂₁ p + a₂₂ p + a₂₃ p = s_k p

            a₃₁ p + a₃₂ p + a₃₃ p = s_k p                  (k = 1, 2, 3). 

Из последних  равенств и из равенства (4) получаем: 
 

      a'_kt = (s_k p ) p + (s_k p ) p + (s_k p ) p = s_k (p p + p p + p p )= s_k(e'_ke'_t)

                              (k, t = 1, 2, 3). 

Если k = t, то a'_kk = s_k(e'_k)² = s_k, так как |e'_k| = 1. 

Если k ≠ t,  то a'_kk = 0, так как векторы e'_k и e'_t перпендикулярны. Таким образом теорема доказана. 

В процессе доказательства не было использовано условие, что (e'₁ e'₂ e'₃) = +1. Доказательство остаётся справедливым и для случая, когда (e'₁ e'₂ e'₃) = -1, то есть когда системы координат Oxyz и Ox'y'z'  имеют противоположные ориентации.