
- •2. Группы аффинных преобразований плоскости и пространства и их подгруппы. Признаки классификации. Применение преобразований плоскости к решению задач. Взаимосвязь движений и подобий.
- •3. Топология. Топологические пространства и многообразия. Классификация многообразий. Гомеоморфизм и теорема Эйлера.
- •4. Неевклидовы геометрии. Общие вопросы аксиоматики. Особенности плоскости Лобачевского. Метрика. Модели плоскости.
- •5. Векторы и операции над ними. Векторы в трёхмерном пространстве. Векторный и координатный методы решения задач.
- •6. Линии и поверхности 2-го порядка. Классификация линий. Теорема о подобии линий 2-го порядка.
1.
Взаимное расположение прямых линий и
плоскостей в трёхмерном
пространстве.
Для исслед.
взаим. распол-я 2-x
пр-ых, прямой и пл-ти, 2-x
пл-тей в пр-ве необх.
вопрос о различных способах аналит-го
задания прямой и пл-ти: 1.
Ур-е пл-ти
а) заданной т.M0
(x0,y0,z0)
и направленным подпр-вом с базис-ми
вект-ми
(a1,a2,a3),
(b1,b2,b3).
Т. M(x,y,z)
лежит на задан. пл-ти,↔ когда в-ра
,
,
компланарны
и
их смешанное произв-е =0.
∙
∙
=0,
(|
|=0
→
в координатах)
б) задан. 3-мя точк.
M1,
M2,
M3
т.к. т. не лежат на одной прямой, то
и
не
коллинеарны и образ-ют базис направленного
подпр-ва рассм-ой пл-ти. Эту пл-ть можно
опр-ть как пл-ть, проход. ч/з т.M1
и имеющее направ-ое подпр-во L(
,
),
следовательно по а) ур-е будет:
|
|=0
в) заданной точ. и
в-ром. Опр.
Гов, что в-р
пл-ти γ, если в-р
век-ру из направленного подпр-ва пл-тиγ.
M0
(x0,y0,z0),
(A,B,C),
M(x,y,z)
γ↔, когда в-ры
и
ортогон-ны,
их скалр. произв. =0.
A(x-x0)+B(y-y0)+C(z-z0)=0
г) параметрич.
заданной. Пусть
M0
(x0,y0,z0)
γ,
а
L(aч,bч),
(a1,a2,a3),
(b1,b2,b3).
Т. M(x,y,z)
γ ↔ в-ры
,
,
компланарны,
=u∙ + v∙ (u,v- параметры).
x-x0=ua1+vb1; y-y0= ua2+vb2;
z-z0= ua3+vb3
д) заданной в общем виде: Ax+By+Cz+D=0 , где D = −(Ax0+By0+Cz0);
A=|
|,
B=−|
|,
C=|
|.
Т.
Поверх-ть в пр-ве, задан. Ур-ем 1-ой степени
есть пл-ть, причем в-ры
(D,-C,B),
(-C,D,A),
(-B,A,D)
принадл-т подпр-ву этой пл-ти и к-ие-либо
2 из них преобраз-т базис этого пр-ва.
Как выяснить вопрос о взаим-м распол-ии
2-х пл-ей? Задан. Тем или иным ур-ем?
γ1: A1x+B1y+C1z+ D1=0
γ2: A2x+B2y+C2z+ D2=0
r=
(
)
r’=(
)
Т.к. корд-ты каждой общей точки пл-тей γ1и γ2 явл. реш-ем сист. ур-ий и обратно, то вопрос о взаимном распол. 2-х пл-ей сводит. к-х пл-ей сводит.опрос о взаимном распол.инадл-т подпр-ву этой пл-ти и к-ие-либо 2 из них преобраз-т базис этого пр-ва. исслед. СЛУ
1) r’=12 ур-ия опред-ют одну и туже пл-ть (т.к. коэфф.пропорц.)
2) r’=2, r=2 различны и имеют хотя бы 1 точку (по Т Кромелера-Капелли сист. ур-ий совмест-на r’=r) пересек. по прямой.
3) r’=2, r=1 несовм-на γ1||γ2
Если необх-мо выяснить угол м/у 2 пл-ми:
Опр. 2 пересек=ся пл-ти образ-ют 4 двугран-х угла и из этих углов наз. Угол м/у дан. пл-ми.
Cos
y=
=
Расстоян. м/у γ1||γ2:
ρ=
λ||;
λ
– совм.
В исслед. взаим. распол. 3-х пл-ей ищется решение сист. Ур-ий из 3-х Ур-й. Сюда включаются случаи: имеют одну общую точку, ||-ны, пересек-ся по прямой, две пересек-ся по прямой, а 3-я совпадает с одной, попарного пересечения, две ||-ны,а 3-я их пересек-т и т.д. Исслед. в каждом из случаев м. свести к исслед. Случая располож. 2-х пл-ей.
2. Ур-ия прямой
а) каноническое.
Задана т. M0
(x0,y0,z0)
направлен. в-ор
(p1,p2,p3).
M
d
и
коллинеар.
=
=
,
если одна из корд. в-ра =0, то ур-е запиш. так = ; z-z0=0
б) Заданы две т. M1
и M2,
–
направл. в-р (не нулевой в-р ||-ый прямой)
d:
=
=
в) Заданы две пл-ти
γ1: A1x+B1y+C1z+ D1=0
γ2: A2x+B2y+C2z+ D2=0 и
(|
|,|
|,|
|)
– направл.в-р;
(
||γ1,
||γ2)
||d
и
явл.
напрвл.
||γ1,
т.к. p1A1+p2B1
+p3C1=0
(
)
г) заданы параметры
x=x0+p1t;
y=y0+p2t;
z=z0+p3t;
M0(x0,y0,z0)
d,
–
направл. в-р(
и
коллин.→
=t
).
Использ. аналог. выражение прямой, имеем:
1) ||:
=
,
но
≠λ
≠
2) совпад. =λ =
3) пересек.
(
,[
,
])=0,
≠
(не коллинеар.)
4) скрещив. ( ,[ , ])≠ 0
3. О взаим. располож.
d: x=x0+p1t; y=y0+p2t; z=z0+p3t;
γ1: Ax+By+Cz+
D=0
Прямой и пл-ти. 1) прямая и пл-ть пересек-ся
(имеют одну общую точку) p1A+p2B
+p3C≠0
(
††
)
(точ. пересеч-ия- это сист.). Угол м/у
прямой и пл-ю – это угол м\у прямой и ее
проекц. на эту пл-ть/
=
2) прямая || пл-ти
M0
γ,
Ap1+
Bp2+Cp3=0;
Ax0+By0+Cz0+ D≠0
3)прямая лежит в пл-ти Ap1+ Bp2+Cp3=0;
Ax0+By0+Cz0+ D=0
2. Группы аффинных преобразований плоскости и пространства и их подгруппы. Признаки классификации. Применение преобразований плоскости к решению задач. Взаимосвязь движений и подобий.
Преобр-ем непустого мн-ва X н-ся всякое биективное(т.е. взаимнооднозн.) отображение f этого мн-ва на себя. Т.е. при преобр-нии элементы мн-ва x перех. в эл-ты мн-ва x.
Преобр-ие пл-сти н-ся аффинным, если оно любые 3 точки М1, М2, М3, лежащие на одной прямой, перевод. в точки, лежащие на 1 прямой, и сохраняет их простое отношение, т.е. (М1, М2,М3) = (М1, М2,М3)
Лемма. Если афф. преобр-ия f1 и f2 переводят две точки А и В соотв-но в т. А и В, то f1(M)=f2(M), где М – люб. точка пр. АВ.
T. Пусть R=(А,В,С), R=(А,В,С)- произв.реперы пл-сти. Тогда сущ. одно и только одно афф. преоб-ие, к-ое переводит репер R в репер R. При этом любая т. М с данными корд-ми в репере R переходит в т. М с теми же корд-ми в R.
Д-во: Докажем, что афф. преобр-ие, к-ое R→R.Построим преоб-ие f след. образом. Произв. т. М(x,y)R поставим в соотв-ие т. М(x,y)R. Ясно, что f явл-ся прообразом, т.к. взаимно однозначно репер R→R. (А(0,0)→А(0,0)R, В(1,0)→В(1,0)R, C(0,1)→C(0,1)R). Докажем, что f-афф. прообраз. Пусть М1,М2,М3- произв. точки в R с корд.(xi,yi), а их образы Mi(xi,yi)R. Пусть (М1, М2,М3)=λxi=(x2+x3λ)/(1+ λ), yi=(y2+y3λ)/(1+ λ). Этим рав. показано, что т. М1 делит отрезок М2,М3 в отнош. λточки леж. на одной прямой и сохр. ПОТТ. Докажем един-ость. f1-еще одно афф. прео-ние.: R→R. Докажем, что f совпадает f1. Пусть М-произв. т. пл-сти. Ч/з эту т. проведем прямую так, чтобы она перес. к.-н. 2 из прямых АВ, АС, ВС в разл. точках N и P. По предыд. лемме f(N)=f1(N), f(P)=f1(P) f(M)=f1(M). f1 и f совпад. f-един. отображ., которое R→R.
Изменения геом. объектов:
1. При аффин. преоб-ии всякая прямая l переходит в прямую l=f(l).
l: Ax+By+C=0. Т.к. при афф. пр-нии т. М(x,y)М(x,y), то l: . Ax+By+C=0 (ур-ие ост-ся прежним).
2. Отрезокотрезок
3. Паралл. прямаяпаралл. прямая
4. Лучлуч
5. П/пл-тьп/пл-ть
6. Реперрепер и т.д. треуг. в произв. треуг-к…
Коорд-ая характ-ка афф. преобр-ния (аналит. задание):
M(α,β)R → M(α,β)Rי
M´(α,β)R´, где α´= φ(α,β),
β´= ψ(α,β).
Базис: в-ры е1,е2 е1,е2
Охар-ем репер R в репере R. Неох-мо выразить α´, β´ ч/з α,β:
В-ры ОО+ОМ=ОМ
αе1+ βе2=СО+ αе1+ βе2=α0е1+ β0е2+α (с11е1+ с21е2)+ β (с12е1+ с22е2)
αе1+ βе2= е1(α0+ αс11+ β´с12)+ е2(β 0+ α´с21+ β´с22)
Отсюда α= α0+ α´с11+ β´с12 , β= β 0+ α´с21+ β´с22.РИС
Основные случаи афф. пр-ний пл-сти:
1) тождеств-ое преобр-ие (реперы R и R совпадают) α= α, β=β
2) паралл-ный перенос
Вектор переноса м. опред. с пом. пары упоряд. реперов R и R с разл. началами О и О и одними и теми же коорд. в-ми е1и е2 (векторы ММ=а0=ОО)
3) осевая симметрия м.б. охарактер-на 2 афф. реперами R и R=f(R)
Репер R противоп. ориентирован по отнош-ию к R
4) преобр-ие подобия также м. охаракт. с пом. 2 афф. реперов, если в качестве R выбрали ориентиров. репер, а в качестве R={0, е1, е2}такой что е1е2, а |е1|=|е2|=k. Тогда е1= k е1, е2= kе2
ОМ= αе1+ βе2= kе1α+ kе2β=k(е1α+ е2β)= k∙ОМ
5) преобр. гомотет. м.б. опис. реперами R={0, е1, е2}и R={0, λе1, λе2}. В случае λ = -1 имеет место цетр. симметрия.
6) поворот пл-сти на угол α
R = {0, е1, е2} е1= е1cosα-е2sinα
R={0, е1, е2} е2= е1sinα+е2cosα
1. косое сжатие плоскости
2. сдвиг плоскости
Если прямые, соед. соответсв. точки афф. пре-ия паралл. оси, то преобр-ие н-ся сдвигом пл-сти.
Утверждение. Мн-во афф. преобр-ний А образует группу.
Группой н-ся пара (сj, 0), где сj – непустое мн-во, на к-ом заданы бинар. операция ◦ (закон композиции) и выполн. след. аксиомы:
1. бин. операция ◦ ассоц-на
2. есj: а◦е = е◦а=а
3. (асj) (а-1 сj) а◦а-1=е
◦ - композиция y=f(x), z=g(y), то (gf)(x)=g(f(x))
Cj E – мн-во всех преобр. пл-сти явл-ся группой. Чтоб убед., что нек. непустое мн-во Н преобр-ний мн-ва Е явл. группой преобр-ий этого мн-ва, надо проверить выполнение 2 условий:
1. fH, gH, то f,gH
2. fH f -1H
Подгруппами гр. А явл. след. мн-ва(по критерию п/гр)
мн-во А1 всех афф. пр-ний 1 рода 2) гр. Р подобий 3) Д-движение 4) мн-во А(а) всех афф. пр-ний, для к-ых прямая а сост. из неподв. точек.
Классиф-ция афф. преб-ий производ. по 2 условиям:
опред. рода движения
Афф. пр-ие наз. преобразованием подобия 1 рода, если оно не меняет ореент. пл-сти, и 2 рода, если меняет.
2) наличие или отсутствие инвар-х элементов
x= c11x+c12y+x0, y = c21x+c22y+y0
а) 0 единств. инвар. точка
б) =0
x=0
y=0=
одно из
ур-ний системы.
в) =0 x0 y0 (нет инвар. точек)
г) 1-с11=0 -с21=0 x0=0
-c12=0 1-c22=0 y0=0 все точки пл-сти уд-т сист. явл. неподв. (тожд. преобр.)
Афф. пр-ие, имеющее одну неподв. точку, н-ся центро- аффинным в центре в этой точке(гомотет. поворот).
Афф. пр-ие, имеющее прямую неподв. точек, н-ся перспек-аффиным с осью – прямой неподв. точек.
10 видов афф. преоб-ий:
1) нет инв. эл-ов
2) есть 1 инв. прямая (скольз. симметр.)
3) паралл. пучок инв. прямых (паралл. перенос)
4) 1 инв. точка (поворот)
5) 1 инв. точкаединств. инв. прямой
6) 2 инв. прямые ∩ - в 1 инв. точке
7) пучок перес. инв. прямых с центром в неподв. точке (центр. симм.)
8) пучок паралл. инв. прямых и прям. инв-х точек, пересек. пучок (сжатие, осев. симм.)
9) пучок паралл. инв. прямых и прям. инв-х точек, -щих пучку (сдвиг)
10) все точки пл-сти – инв. (тожд. пр-ие)
Медианы треуг. в точке перес-ия делятся в отн-нии 2:1, считая от вершины.
Док-во: Точку перес-ия медиан М0 выберем в к-ве центра гомотетии. Это неподв. точка афф. пре-ия. Коэфф-т гомотетии λ выберем т.о., чтобы преобр-ать любую сторону тр-ка в соотв. сред. линию. Н-р, АВ→А0В0. В-ор А0В0= λ·АВ λ=-1/2.
В-ор А0В0= -1/2·АВ
В-ор М0В0=-1/2·ВМ0|М0В0|=1/2|ВМ0| ВМ0/ М0В0=1/2
Движение пл-сти – такое ее преобр-ие, кот-ое сохр-ет расст-ие м/у 2 точками.
Преобр-ие пл-сти наз-ся подобием, если оно уд-ет условию d(p(M),p(N))=kd(M,N). k>0.
x=k(xcos-εysin)tx y=k(xsin+εcos)ty
Группа афф-х преобразований пр-ва. Подгруппа движ-й. Признаки классификации. Взаимосвязь движ-я и подобия. Преобраз-я пр-ва наз-ся аффинными, если оно любые три М1, М2, М3, лежацие на одной прямой, перевод-т в три точки М1´, М2´, М3´, лежацие на 1 прямой, и сохр. их простое отношение. преобраз-е подобия, в частности движение, явл. афф-м преобраз-ем.
Как и на пл-сти, афф-е преобраз-я пр-ва переводят пл-сть (прям.) в пл-сть (прям), причем || пл-сти (|| прям.) – в || пл-сти (|| прям.). Т.к. афф-е преобр-я сохр. ПОТТ, то оно перев. отрезок в отрезок, луч в луч, полупл-сть в полуп-сть, полупр-во в полупр-во. афф-е преобр-е либо сохр-т, либо меняет ориент-ю пр-во (I рода и II рода).
Аналитическое
описание R=(O,E1,E2,E3)
.
(x0,y0,z0)
По аналогии ввод
определ-е сжатия к пл-сти. ] дана пл-сть
и полож-е число к. Каждой т. М пр-ва постав.
в соотв. т. M`
так, чтобы
,
где М0
– проекция т.М на пл-сть
.
т. М’ пр-ва имеет только один прообраз.
Т.о. построен. отображ. явл-ся преобраз-м
пр-ва: оно наз.сжатием пр-ва к пл-сти
.
]
наз. пл-стью сжатия, к-коэф.сжатия. Все
точки пл-сти
ост-ся неподвиж. Если к<1, то все точки
пр-ва, не лежащие на
,
прибл. к ней. А если к>1, то удал.(имеет
место растяж.). к=1, то им. место подобие.x’=x,
y’=y,
z’=k*z.
Обозначим ч/з А3
мно-во всех афф-х преоб-й пр-ва. f1
А3,
f2
А3
f1f2
А3.
] f
А3:
А,В,С – 3 точки, лежащие на одной прямой
и (АВ, С)=λ. Рассм. образы этих точек
A→A’;
A’=f-1(A),
B’=
f-1(B),
=
f-1(C).
На прямой A’B’
возьмем точку C’
так, что (A’B’,C’)=
и док-м, что e’=
f-1(C).
Т.к. f-афф-е
преобраз-еб то (f(A’)
f(B’),
f(C’))=λ
или (АВ, f(C’))=λ
(АВ, С)=(АВ, f(C’))=λ
C’=
f-1(С).
Итак, мн-во А3
всех афф-х преобр-й пр-ва образ-т группу.
Она наз. группой афф-х пребраз- й пр-ва.
Рассм. важнейш. п/группы этой группы: а) ] Р3-мн-во всех подобий пр-ва. g P3, f P3 fg P3. g P3, то g-1 P3 P3 явл. группой преобр-й. Она наз. группой подобий пр-ва; б) Д3 – мн-во всех движ-й пр-ва образ-т группу движ-й пр-ва. Эта группа явл. п/группой группы преобр-й подобий, а также п/гр. группы афф-х преобраз-й; в) мно-во всех преобраз-й I рода; г) мн-во всех парал-х переносов.
T:
Преобраз-е подобия с коэф-м к>0 явл-ся
композицией гомотетий с тем же коэф-м
к и движения. Док-во.
p=f
g.
Пусть М, N-точки
пр-ва (пл-сти). p(M)=M’,
p(N)=N’,
(т.к. p-подобие).h(M)=M’,
h(N)=N’’,
(т.к.
h-гомотетия)
(т.е. сохраняет расст-е). M=h-1(M’’),
p(M)=
M’’p(h-1(M’’))=M’=p(M).
Анал-но p(h-1(
))=p(N).
Преобраз-е p
h-1
сохр-т расст-е м/у двумя любыми т. M’’,N’’,
т.е. явл. движением; p
h-1=f,
p=f
h.
Чтд.
Говорят, что реперы
R=(O,
A,
B,
C)
и R’=(O’,
A’,
B’,
C’)
один-во (против-но) ориент-ные базисы
,
,
,
и
,
,
одинак-во (противоп-но) ориент-ны.
По аналогии с преобр-ем пл-ти сущ. 2 движ-я: I рода и II рода (меняющие или нет ориентацию пр-ва). Инв. точка – если при некот-м преобр-ии она перех-т в себя, прямая (пл-сть) инв – если ее образ совпадает с ней. Частным случаем инв. прям. явл-ся прямая инвар-х точек, все точки которой явл-ся инв-ми.
Классиф-я движ-й
пр-ва в завис-сти от наличия инвар-х
эл-ов: 1) движ-е им-т по крайней мере 3
инв-х т., не лежащие на 1 прямой. g(A)=A,
g(B)=B,
g(C)=C.
Сущ-т единств-я пл-сть, проход-я ч/з А’,
В’, С’, т.е.
-инвар-я
пл-сть. Пусть D→D’
AD→A’D’. а)
Д=Д’. Верш. репера R={O,
A,
B,
C}переход-т
в себя. G
явл-ся тожд. (т.к. по аналогии с преобраз-м
пл-сти сущ-т не >1 движ-я, которое R→R’)
I
рода; б) Д и Д’ симм-ны отн-но пл-сти
(сим.) II
рода.
2) движ-е имеет по
крайней мере 2 инвар-е точки А и В, но не
им.инвар-х точек, не лежащих на прямой
АВ
люб. точки прямой инвар.: а) поворот на
угол
вокруг оси АВ (I
рода), б) частный случай поворота –
поворот вокруг прямой на
– сим-я отн-но прямой (I
рода), в)
=0
тождест-е преобраз-е.
3) Движ-е им. только
одну инвар-ю точку. Лемма.
движ-е пр-ва имеет хотя бы инвар-ю прямую.
Обозначим
=(А,
d);
–инвар-я пл-сть. Поворотное отраж-е –
композ-я поворота g1
вокруг d
на
и сим-я g2
отн-но пл-сти
(II
рода).
4) Движ-е не им. ни одной инвар-й точки. Лемма. Если движ-е не им. инвар-х точек, то любые 2 его инвар-е прямые парал-ны.
а) парал-ый перенос, причем инвар-я прямая явл-ся те и т. те прямые пр-ва, которые парал-ны вектору p (I рода);
б) скользящее
отражение – композ-я отраж-й от пл-сти
на паралл-й перенос на вектор р
0,
паралл-но пл-сти.
(II
рода)= Iр
IIр;
в) винтовое движ-е
– композ-я (произв-е) поворота вокруг
прямой d
с углом поворота
0
на парал-й перенос на вектор р
0,
вектор р парал-й d.
Инвар-ы только 2 прямая d.
(I
рода)