Нека е дадена произволна афинна координатна система. Тогава:
-
два вектора a (a1, a2) и b (b1, b2) са колинеарни, ако a1/b1 = a2/b2 = k a1 a2
b1 b2 = 0
-
три векторa а (a1, a2, a3), b (b1, b2, b3) и c (c1, c2, c3) са компланарни, ако a1 a2 a3
b1 b2 b3 = 0
c1 c2 c3
-
три точки A (x1, y1), B (x2, y2) и C (x3, y3) лежат на една права, ако x1 y1 1
x2 y2 1 = 0
x3 y3 1
-
четири точки A (x1, y1, z1), B (x2, y2, z2), C (x3, y3, z3) и D (x4, y4, z4) лежат в една равнина, ако x1 y1 z1 1
x2 y2 z2 1
x3 y3 z3 1 = 0
x4 y4 z4 1
Нека са дадени две прави, всяка от тях е определена с две точки Аi и Bi (i = 1, 2)
Взаимно положение на две прави в равнината:
-
Проверявамe дали А1, B1, A2, B2 са компланарни. Ако не са, тогава правите са кръстосани – към 4., иначе - към 2.;
-
Проверяваме дали векторите A1B1 и A2B2 са линейно зависими. Ако не са, тогава правите се пресичат – към 4., иначе към 3.;
-
Проверяваме дали А1B1 и A1B2 са линейно зависими. Ако не са, тогава правите са успоредни, иначе правите съвпадат; към 4.
-
Край.
Взаимно положение на права (определена с две точки А, B) и равнина (oпределена с три точки C, D, E) в пространството:
-
Oпределяме дали CD и CE са линейно зависими, ако са – C, D, E са колинеарни и не образуват равнина – към 4., иначе – към 2.;
-
Определяме дали AB, CD, CE са линейно независими, ако са – правата AB пробожда равнината (CDE) – към 4., иначе - към 3.;
-
Определяме дали АC, AD, AE са компланарни, ако са – правата AB лежи в равнината (CDE), ако не са – правата AB е успоредна на равнината (CDE); към 4.;
-
Край.
Свойства на смесено и векторно произведение
b
a
1. |a x b| = Sa, b – абсолютната стойност на векторното произведение на два вектора a и b е равна на лицето на успоредника, определен от двата вектора; доказателство – следва непосредствено от дефиницията на векторно произведение и формулата за лице на успоредник – S = a.b.sin;
2. a b c = o a, b, c – компланарни; доказателство:
a b c = ( a x b ) . c; ако a и b са колинеарни, тогава векторното им произведение е нулевият вектор и твърдението е доказано;
Нека a и b са линейно независими; тогава равнината ( a, b ) е перпендикулярна на вектора a x b; ако а, b, c са компланарни
c ( a x b ) a b c = o; ако a b c = o c ( a x b ) c ( a, b )
a, b, c са компланарни;
a
c1
b
c
3. |a b c | = Va, b, c – абсолютната стойност на смесеното произведение на три вектора a, b и c е равна на обема на паралелепипеда, образуван от трите вектора; доказателство:
g
Нека c1 е проекцията на вектор c върху ос, еднакво ориентирана с вектора a x b; тогава c1 се явява височина на паралелепипеда; по паралелната дефиниция за скаларно произведение получаваме:
a b c = ( a x b ) . c |a b c| = |( a x b ) . c | = | a x b | . |c1| = |a|.|b|.sin.|c1| = S.h = V; тук с c1 означаваме алгебричната мярка на вектор c1 върху оста g, която е еднакво ориентирана с a x b;
от това свойство a b c = Va, b, c, където = 1; ако ъгъл е остър, тогава = 1, ако ъгъл e тъп, тогава = -1 ( c лежи в различни полупространства относно a x b; ако { a, b, c } S+, тогава = 1, ако
{ a, b, c } S-, тогава = -1;
4. a b c = c a b = b c a = - b a c = - c b a = - a c b; доказателство: ако
a, b, c са компланарни, тогава твърдението е тривиално (шестте смесени произведения са нули);
ако a, b, c не са компланарни a, b, c са линейно независими
a, b, c образуват база; { a, b, c } S+;
{ a, b, c } { b, a, c }; нека матрицата на прехода е C;
0 1 0
тогава C = 1 0 0 , detC = -1 { b, a, c } S- ;
0 0 1
|a b c| = |b a c| = Va, b, c a b c = - b a c ; аналогично и за останалите;
5. a x b = - b x a – антикомутативност на векторното произведение; доказателство: от свойство 4 – a b c = - b a c a b c + b a c = 0
( a x b ) . c + ( b x a ) . c = 0 ( a x b + b x a ) . c = 0; последното тъждество е вярно за всеки вектор c a x b + b x a = о
a x b = - b x a ;
6. .а x .b = .. a x b; доказателство: ще докажем, че тези два вектора имат равни дължини и еднакви посоки: ако или = 0 или а и b са колинеарни, твърдението е тривиално (и двете страни са нулевия вектор);
|.а x .b| = |.a|.|.b|.|sin .a, .b|=||.||.|a|.|b|.|sin a, b|, тъй като ъгълът между векторите .a и .b е равен на ( a, b ) или на
180 – ( а, b ) в зависимост от знаците на и синусът на
( a, b ) се запазва |.а x .b|= ||.||.|a x b|; тъй като
.a, .b, a, b са компланарни .а x .b e колинеарен с .. a x b, тъй като и двата са перпендикулярни на ( a, b ) .а x .b = . ( a x b ); тъй като a и b не са колинеарни a, b, a x b образуват база;
{ а, b, a x b } { .a, .b, . ( a x b ) }; нека матрицата на прехода е C;
0 0
C = 0 0 , detC = 22 > 0 { .a, .b, . ( a x b ) } S+
0 0
, но { .a, .b, .а x .b } S+ .а x .b = . ( a x b )
7. a x ( b + c ) = a x b + a x c – доказателство: чрез свойствата на смесено произведение на вектори ( умножаваме и двете страни скаларно по вектор c );
8. ( a x b )2 = a 2.b 2 – ( a . b )2 (Формула на Лагранж); доказателство:
( a x b )2 = |a x b|2 = (|a|.|b|. sin(a, b)e)2 = |a|2.|b|2. (1 – cos(a, b)e) =
a 2.b 2 – (|a|.|b|. cos(a, b)e)2 = a 2.b 2 – ( a . b )2;
Координатно представяне на векторно и смесено произведение
е3
е1
О
е2
Нека K = { O, e1, e2, e3 } е ортонормирана координатна система; чрез нея е зададена и положителна витлова посока;
Нека e1 x e2 = p |p|= |e1|.|e2|. sin (e1, e2) = 1 . 1 . 1 = 1;
p ( e1, e2 ), e3 ( e1, e2 ) p и e3 са колинеарни, но |p|=|e3|
p = e3; от друга страна { e1, e2, e3 } S+, тъй като те задават витловата посока, { e1, e2, p } S+ по дефиниция p = e3;
получаваме: e1 . e2 = e3, e2 . e3 = e1, e3 . e1 = e2;
Нека са дадени два вектора a (a1, a2, a3) и b (b1, b2, b3);
Имаме: a = a1.e1 + a2.e2 + a3.e3; b = b1.e1 + b2.e2 + b3.e3;
a x b = (a1.e1 + a2.e2 + a3.e3 ) x ( b1.e1 + b2.e2 + b3.e3 ); прилагаме свойствата на векторно произведение:
a x b = a1.b1.e1 x e1 + a2.b2. e2 x e2 + a3.b3. e3 x e3 + a1.b2. e1 x e2 +
a1.b3.e1 x e3 + a2.b1.e2 x e1 + a2.b3.e2 x e3 + a3.b1.e3 x e1 + a3.b2.e3 x e1 =
(a2.b3 – a3.b2).e1 + (a3.b1 – a1.b3).e2 + (a1.b2 – a2.b1).e3;
т.е. a x b има координати a2 a3 , a3 a1 , a1 a2
b2 b3 b3 b1 b1 b2
Нека е даден вектор c (c1, c2, c3);
a b c = ( a x b ) . c = c1. a2 a3 + c2. a3 a1 + c3. a1 a2 = a1 a2 a3
b2 b3 b3 b1 b1 b2 b1 b2 b3
c1 c2 c3
Ако K e произволна координатна система имаме:
a1 a2 a3
a b c = b1 b2 b3 . ( e1e2e3 )
c1 c2 c3
Бивектори, тривектори, m-вектори
Нека a, b, c, d са вектори, такива че:
a x b = c x d = p a, b p; c, d p a, b, c, d са компланарни;
ако a и b не са колинеарни те образуват база { a, b };
Нека c = .a + .b; d = .a + .b c x d = ( .a + .b ) x ( .a + .b ) =
= ( . - . ). a x b = 1;
Дефиниция за бивектор: Ако два вектора са колинеарни, техният бивектор е нулевият вектор; всеки две двойки линейно независими вектори, за които детерминантата на матрицата на прехода между базите, които образуват, е равна на 1 образуват клас бивектор; аналогично ако a b c = d e f – a, b, c и d, e, f образуват клас тривектор; дефиниция за m-вектор: всеки две m-торки линейно независими вектори, за които детерминантата на матрицата на прехода между базите, които образуват, е равна на 1 образуват клас m-вектор;
|