Нека са дадени:
1 : A1.x + B1.y + C1.z + D1 = 0
2 : A2.x + B2.y + C2.z + D2 = 0
1 е успоредна на 2, ако за всеки вектор p (, , )
от p е колинеарен с 1 p е колинеарен с 2;
освен това, ако съществува точка M0 (x0, y0, z0), която принадлежи и на двете равнини те съвпадат, в противен случай те са успоредни;
по-точно системата
А1. + B1. + C1. = 0
A2. + B2. + C2. = 0
се удоволетворява за всички , , A1 = k.A2; B1 = k.B2; C1 = k.C2;
М0 1 D1 = –A1.x0 – B1.y0 – C1.z0;
М0 2 D2 = –A2.x0 – B2.y0 – C2.z0;
D1 = - k.(A2.x0 + B2.y0 + C2) = - k.(- D2) = k.D2;
1 е успоредна на 2 тогава и само тогава, когато:
A1 = k.A2; B1 = k.B2; C1 = k.C2; D1 k.D2;
1 съвпада с 2 тогава и само тогава, когато:
A1 = k.A2; B1 = k.B2; C1 = k.C2; D1 = k.D2;
Уравнение на равнина през три точки
За да е определена равнината, трите точки трябва да не лежат на една права.
Нека са дадени M1 (x1, y1, z1), M2 (x2, y2, z2), M3 (x3, y3, z3);
M1, M2, M3 1 права;
тогава = { M1, M1M2, M1M3 } е определена, защото векторите M1M2 и
M1M3 не са колинеарни; тогава по горната схема получаваме:
x – x0 y – y0 z – z0
: x2 – x1 y2 – y1 z2 – z1 = 0;
x3 – x1 y3 – y1 z3 – z1
x y z 1
:
= 0;
x1 y1 z1 1
x2 y2 z2 1
x3 y3 z3 1
-
Фиксирана е ортонормирана координатна система K = { O, e1, e2, е3 } ;
Нека е равнина;
: A.x + B.y + C.z + D = 0; (A, B, C) (0, 0, 0);
Нека p (, , ) е ненулев вектор, колинеарен с
A. + B. + C. = 0;
ако фиксираме векторът N (A, B, C), N O;
p . N = 0 N p N , тъй като p е ненулев вектор и е колинеарен с ;
Ако координатната система е ортонормирана, коефициентите
(A, B, C) (0, 0, 0) са координати на вектор, който е перпендикулярен на равнината; той се нарича нормален вектор на ;
Нека N0 = N / |N|, т.е.
N0 ( A / A2 + B2 + C2, B / A2 + B2 + C2, C / A2 + B2 + C2 ), |N0| = 1;
Разглеждаме : (A.x + B.y + C.z + D) / A2 + B2 + C2 = 0; това е уравнение на същата равнина, тъй като сме умножили началното уравнение с ненулево число; то се нарича нормално уравнение на равнината ; всяка права има две нормални уравнения;
-
Нека равнината има нормално уравнение:
: А*.x + B*.y+ C*.z + D* = 0;
Векторът N0 (A*, B*, C*) е единичен;
Нека M1 (x1, y1, z1) е точка ;
ако M0 е петата на перпендикуляра, спуснат от M1 към , тогава:
М1
|M1, | = |M0M1|;
M0
N0
M0M1 , N0 M0M1 е колинеарен с N0 M0M1 = . N0
|M0M1| = ||.|N0| |M0M1| = ||, т.е. |M1, | = ||;
Нека M0 (x0, y0, z0);
M0M1 (x1 – x0, y1 – y0, z1 – z0), M0M1 е колинеарен с N0
x1 – x0 = .A*; y1 – y0 = .B*; z1 – z0 = .C*;
x0 = x1 - .A*; y0 = y1 - .B*; z0 = z1 - .C*;
M0 A*.x0 + B*.y0 + C*.z0 + D* = 0
A*.(x1 - .A*) + B*.(y1 - .B*) + C*.(z1 - .C*) + D* = 0
A*.x1 + B*.y1 + C*.z1 + D* - . (A*2 + B*2 + C*2) = 0
A*.x1 + B*.y1 + C*.z1 = , тъй като N0 (A*, B*, C*) е единичен;
|| = |A*.x1 + B*.y1 + C*.z1|;
ако е зададена с произволно уравнение:
|M1, | = |(A.x1 + B.y1 + C.z1 + D ) / A2 + B2 + C2 |;
се нарича ориентирано разстояние от точката M1 до равнината ;
> 0 M1 и вектор N0 са в едно полупространство спрямо ;
< 0 M1 и вектор N0 са в различни полупространства спрямо ;
Полупространства
Нека K = { O, e1, e2, е3 } е произволна афинна координатна система;
: l (x, y, z) = А.x + B.y + C.z + D = 0;
точките M1 (x1, y1, z1), M2 (x2, y2, z2) ;
Твърдение: Точките M1 и М2 са в различни полуравнини
oтносно l (M1) . l (M2) < 0;
M1
Доказателство:
M0
M2
Нека М0 е пресечната точка на правата M1M2 с
М0М2 = .М0М1; освен това < 0, тъй като M0 е между M1 и M2;
както при прави получаваме: < 0 l (M1). l (M2) < 0;
задава две полупространства:
: A.x + B.y + C.z + D > 0;
: A.x + B.y + C.z + D < 0;
Представяне на права чрез две равнини
Нека K = { O, e1, e2, е3 } е произволна афинна координатна система;
g е права, g = 1 2;
1 : l1 (x, y, z) = A1.x + B1.y + C1.z + D1 = 0;
2 : l2 (x, y, z) = A2.x + B2.y + C2.z + D2 = 0;
g : l1 (x, y, z) = l2 (x, y, z) = 0;
g е зададена коректно, ако 1 не е успоредна на 2, т.е. когато
(A1, B1, C1) .(A2, B2, C2);
Твърдение: Всяка равнина с уравнение .l1 (x, y, z) + .l2 (x, y, z) = 0, (, ) (0, 0) минава през правата g;
Доказателство:
.l1 (x, y, z) + .l2 (x, y, z) = 0
(.A1 + .A2).x + (.B1 + .B2).y + (.C1 + .C2).z + .D1 + .D2 = 0;
това е уравнение на равнина, ако коефициентите пред x, y и z не са едновременно нули;
да допуснем, че това е така, т.е.:
.A1 + .A2 = 0
.B1 + .B2 = 0
.C1 + .C2 = 0
(, ) (0, 0) A1 = k.A2; B1 = k.B2; C1 = k.C2
1 е успоредна на 2 – противоречие допускането не е вярно
.l1 (x, y, z) + .l2 (x, y, z) = 0 наистина е уравнение на равнина;
очевидно за всяка точка M0 (x0, y0, z0) g l1 (M0) = 0; l2 (M0) = 0
.l1(M0) + .l2(M0) = 0 g : .l1 (x, y, z) + .l2 (x, y, z) = 0;
Канонично представяне на права чрез двойка равнини
Нека за определеност B1.C2 – B2.C1 0 (равнините 1 и 2 не са успоредни); = B1 C1 0 (C1, C2) (0, 0); (B1, B2) (0, 0);
B2 C2
Нека (, ) = (C2, -C1);
: A.x + .y + D = 0;
Нека (, ) = (B2, -B1);
: A.x + .z + D = 0;
като разделим уравненията на 1 и 2 на 0 получаваме:
g : { y = a.x + b; z = c.x + d } – канонично представяне на правата g чрез две равнини;
Конични сечения
В равнината имаме фиксирана права g и точка F g. Да се намери геометричното място от точките M за които |MF| / |M, g| = e = const;
Това геометрично място се нарича конично сечение.
М
g
е2
F
О
е1
g
Нека правата g е такава, че g минава през F и g g;
Фиксираме ортонормирана координатна система К = { O, e1, e2 },
където O = g g, e1 е колинеарен с g, e2 е колинеарен с g;
освен това OF е еднопосочен с e1;
Спрямо K:
F (p, 0) (p > 0), g: x = 0, M (x, y);
|MF| = (x - p)2 + y2 ; |M, g| = |x|;
(x - p)2 + y2 / |x| = e (x - p)2 + y 2 = e2.x 2
x 2 – 2.p.x + p2 + y 2 = e2.x 2 (1 – e2).x 2 – 2.p.x + y 2 = 0
Нека К – ортонормирана, К = { O, e1, e2 } ;
K K : { x = x + , y = y } e1 = e1, e2 = e2, O O;
Спрямо К:
(1 – e2).(x + )2 – 2.p.(x + ) + y2 + p2 = 0
(1 – e2).x2 + ( 2..(1 – e2) – 2.p ).x + y2 + (1 – e2).2 – 2.p. + p2 = 0;
-
1 – e2 = 0 e = 1 (e > 0);
y2 – 2.p.x – 2.p. + p2 = 0; ако вземем = p/2 получаваме:
y2 = 2.p.x – уравнение на парабола;
-
1 – е2 0, е 1; нека вземем = p / (1 – e2); получаваме:
(1 – e2).x2 + y2 – p2.e2/(1 – e2) = 0
x2 / ( p2.e2 / (1 – e2)2 ) + y2 / ( p2.e2 / (1 – e2) ) = 1;
2.1. 1 - e2 < 0 e < 1; полагаме a = p.e / (1 – e2), b = p.e / 1 – e2;
получаваме: x2/a2 + y2/b2 = 1 – уравнение на елипса;
2.2. 1 - е2 > 0 е > 1; полагаме a = p.e / (e2 – 1), b = p.e / e2 – 1;
получаваме: x2/a2 – y2/b2 = 1 – уравнение на хипербола;