Tujuan dari bagian ini adalah untuk membuktikan Tiga Poin Teorema, yang
menegaskan bahwa isometry sepenuhnya ditentukan oleh aksinya di tiga poin non-
collinear. Hasil kuat ini akan diterapkan di bagian berikut untuk mengkarakterisasi
rotasi dan terjemahan sebagai komposisi dua refleksi.
Kita mulai dengan dua hasil awal.
Teorema 134 Sebuah isometry dengan berbeda poin tetap dan perbaikan,
pointwise.
Bukti. Misal dan berupa titik yang berbeda tetap isometri , misal R poin
berbeda dari P dan Q, dan misal = (). Sejak adalah isometri, = dan
= ; karenanya (lihat 5.1). Jika = kita selesaikan dengan
adalah garis berat sejak dan adalah jarak yang
asusmsi . Maka
sama dari dan . Dengan demikian adalah ; yang mana kontradiksi. Oleh
karena itu = untuk setiap titik pada untuk setiap poin
.
1
Theorem 135 Sebuah isometry dengan tiga non-collinear titik tetap adalah identitas.
,
Bukti. Misal P,Q, dan R non-collinear poin tetap isometry . Maka perbaikan
pointwise Theorem 134. Misal Z sembarang poin
,
dan
misal M sembarang poin dalam berbeda dari Z (lihat Gambar 5.2). Maka
memotong in two distinct points A and B (one possibly a vertex). Sejak
pointwise by Theorem 134, dan mengikuti
perbaikan poin A dan B , perbaikan
= .
Teorema 136 (Tiga Poin teorema) Dua isometries yang menyepakati tiga poin non-
collinear sama. Bukti. Misalkan isometries dan menyepakati tiga poin non-
collinear ; ; dan : Lalu
() = (), () = (), () = () (5.1)
Terapkan 1 ke kedua sisi dari setiap persamaan dalam (5.1) dan memperoleh
= ( 1 )(), = ( 1 )(), = ( 1 )().
Kemudian 1 adalah isometry bahwa perbaikan tiga poin non-collinear.
Karenanya 1 = Theorem 135 , dan aplikasi dari kedua belah pihak
memberikan = .
2
C (B). Kemudian ACB, ACBr, Ar CB, dan Ar CBR adalah sudut dari l untuk
m.
Bahkan, dua kali ukuran sudut dari l untuk m adalah kongruen (mod 360).
Misalnya, sudut ACB dan ACBr dari l untuk m dan Definisi 137 adalah pelengkap
karena mereka membentuk pasangan linear. Karena tindakan dari sudut diarahkan
ditandatangani, kita memiliki mACB - mACBr = mBr CA + mACB mBr =
CB = 180 sehingga 2mACB - 2mACBr = 360 dan 2mACB 2mACBr.
Eksplorasi Kegiatan 4: Rotasi sebagai komposisi dari dua refleksi.
1. Buatlah empat poin non-collinear yang berbeda, label dua poin terjauh
terpisah C dan D, dan sisanya dua poin E dan F.
2. Membangun segitiga 6DEF dan tanda C sebagai pusat rotasi.
3. Putar 6DEF tentang C dengan sudut 72 dan label simpul sponding corre- dari
segitiga gambar Dr, Er, dan Fr.
4. garis Membangun C D dan garis-berat DDR. label ini
5. garis m dan n. Di mana m dan n berpotongan? Menjelaskan.
6. Buatlah titik N pada baris n dan mengukur sudut DCN dari m
7. untuk n. Bagaimana 2mDCN terkait dengan sudut rotasi 72?
8. Membangun titik Nr = C (N) dan mengukur sudut DCNr dari m ke n.
Perhatikan bahwa mDCN dan mDCNr memiliki tanda berlawanan.
Bagaimana 2mDCNr terkait dengan sudut rotasi 72? Bagaimana 2mDCN
terkait dengan 2mDCNr?
9. Mark garis m sebagai cermin, mencerminkan 6DEF sejalan m, dan label
simpul sponding corre- gambar P, Q, dan R.
10. Mark baris n sebagai cermin dan mencerminkan 6PQR sejalan n.
Menggambarkan citra 6PQR.
11. Lengkapi kalimat berikut: Rotasi C, 72 adalah komposisi refleksi n m, di
mana sumbu m dan n di C dan dua kali
12. ukuran sudut dari m ke n adalah kongruen dengan.
3
Teorema 138 Mengingat garis l dan m, biarkan C l m dan membiarkan
menjadi ukuran sudut dari l untuk m. Kemudian m l = C, 2.
Bukti. Jika l = m, maka = 0 dan m l = = C, 2. Jika l = m, pertama amati
bahwa (m l) (C) = m (l (C)) = m (C) = C = C, 2 (C). (5.2)
Biarkan L menjadi titik pada l berbeda dari C dan mempertimbangkan lingkaran CL.
Mari M m CL sehingga mLCM = dan biarkan Lr = m (L); maka m adalah
garis-berat dari LLR, dengan definisi m, sehingga CL = CLR dan mLCLr = 2
(lihat Gambar 5.3). Oleh karena itu Lr = C, 2 (L) dengan definisi dari C, 2 dan
(m l) (L) = m (l (L)) = m (L) = Lr = C, 2 (L). (5.3)
Biarkan Mr = l (M); maka l adalah garis-berat dari MMR, dengan definisi l,
sehingga CMR = CM dan mMr CM = 2. Oleh karena itu M = C, 2 (Mr) dengan
definisi dari C, 2 dan (m l) (Mr) = m (l (Mr)) = m (M) = M = C, 2 (Mr).
(5.4)
Oleh karena itu isometries m l dan C, 2 menyetujui non-collinear poin
C, L, dan Mr oleh Persamaan (5.2), (5.3), dan (5,4). Oleh karena itu m l = C, 2
oleh Teorema 136.
4
Bukti. () Implikasi ini adalah pernyataan Teorema 138
() Pertimbangkan rotasi C, 2 dan tahun r (-180, 180] sehingga r . Jika
r = 0 atau 180, biarkan l berupa garis dan menetapkan m = l. Kemudian C, 2 =
= m l. Jika r = 0 atau 180, biarkan l berupa garis melalui C dan membiarkan
m menjadi baris yang unik melalui C sehingga ukuran sudut dari l untuk m adalah r
(lihat Gambar 5.4). Kemudian C, 2 = C, 2t = m l oleh Teorema 138
5
setuju dengan orang-orang dari m l. Selanjutnya, -270 = 2 (-135) adalah dua kali
ukuran dari sudut negatif dari l untuk m, dan tentu saja, 90 -270.
Teorema 141 Jika garis l, m, dan n yang bersamaan di C, maka terdapat garis unik p
dan q lewat melalui C sehingga m l = n p = q n.
Bukti. Jika l = m, maka ml = = np = q n, di mana p = q = n. Jika l
= m, biarkan menjadi ukuran sudut dari l untuk m. Misalkan p garis unik seperti
bahwa ukuran sudut dari p ke n adalah . Kemudian m l = C, 2 = n p
oleh Teorema 138. Demikian pula, biarkan q menjadi garis unik seperti bahwa ukuran
sudut dari n ke q adalah . Kemudian m l = C, 2 = q n (lihat Gambar 5.5).
Gambar 5.5. m l = n p = q n.
Perhatikan bahwa Teorema 141 tidak memerlukan line n menjadi berbeda dari
garis l dan m. Jika n = m, misalnya, maka p = l. Juga, jika C, = m l, maka C
l m. Dengan Teorema 141, setiap baris n melewati C menentukan jalur yang unik p
dan q sehingga m l = n p = q n. Sejak adalah kongruen dengan
dua kali ukuran sudut dari p ke n dan sudut dari n ke q kita memiliki:
Akibat wajar 142 Misalkan n garis yang melewati titik C. Misalkan p dan q menjadi
garis yang unik melewati C sehingga sudut dari p ke n dan sudut dari n ke q adalah
kongruen dengan 1 . Kemudian C, = q n = n p.
Akibat wajar 143 Let l dan m menjadi garis berpotongan di titik C. Kemudian l m
jika dan hanya jika C = m l = l m.
6
Proposisi 123 memberitahu kita bahwa C halfturn perbaikan sebuah l baris jika dan
hanya jika C adalah pada l. Dapat garis diperbaiki oleh rotasi umum?
Teorema 144 A rotasi non-sepele bahwa perbaikan garis adalah halfturn a.
Bukti. Mari l menjadi garis dan mempertimbangkan rotasi non-sepele C,
memperbaiki l. Mari m menjadi garis melalui C tegak lurus l. Dengan Akibat wajar
142, ada garis n melalui C sehingga C, = n m (lihat Gambar 5.6). Sejak l m
kita memiliki
l = C, (l) = (n m) (l) = n (m (l)) = n (l)
sehingga perbaikan n l, dalam hal ini n = l atau n l, oleh Latihan 4.3.20. Tetapi
jika n l, maka l tegak lurus terhadap kedua m dan n, bertentangan fakta bahwa
/ 0 dan m n = C. Oleh karena n = l dan m n sehingga C, 2 = n m = C
oleh
Wajar 143.
7
5.3 Translations sebagai Komposisi dari Dua Halfturns atau Dua Reflections
Kami memotivasi ide-ide dalam bagian ini dengan kegiatan eksplorasi.
Hasilnya kami berikutnya adalah kasus khusus dari Teorema 157 (The
Angle Penambahan The- orem, bagian 2) untuk halfturns, yang menegaskan bahwa
komposisi dua rotasi yang rotasi jumlah sudut merupakan kelipatan dari 360 adalah
terjemahan. Akibat wajar 146 berikut segera dari Teorema 145 dan mengidentifikasi
komposisi dua refleksi di garis sejajar dengan terjemahan.
Teorema 145 Komposisi dua halfturns adalah terjemahan. Bahkan, diberikan dua
titik A dan B,
B A = 2AB.
Bukti. Mengingat poin A = .a. dan B = c., perhatikan bahwa 2AB = 0,2 (c-a) .. The
b d 2 (d-b) persamaan A yang xr = 2a - x dan yr = 2b - y, dan persamaan B yang
xr = 2c - x dan yr = 2d - y. Karenanya
ml = v.
8
Akibat wajar 146 Mengingat garis sejajar l dan m, biarkan v menjadi vektor dalam
arah pendicular per- dari l untuk m yang besarnya dua kali jarak dari l untuk m.
Kemudian
ml = v.
Bukti. Jika l = m, maka v = 0 dan m l = = v. Jika l = m, biarkan n menjadi
tegak lurus umum, biarkan L = l n, dan biarkan M = m n (lihat Gambar 5.8).
Kemudian v = 2LM dan oleh Corollary 143 dan Teorema 145 kita memiliki
m l = (m n) (n l) = M L = 2LM = v. (5.5)
Teorema 147 Sebuah isometry adalah terjemahan jika dan hanya jika adalah
komposisi dua refleksi di garis paralel.
Bukti. () Implikasi ini adalah pernyataan Corollary 146.
() Mengingat terjemahan , misalkan L titik dan membiarkan Lr = (L). Kemudian
v = LLR
dan = v. Jika L = Lr, memilih jalur l dan mengatur m = l. Kemudian v = = m
l. Jika L = Lr, biarkan M menjadi titik tengah dari L dan Lr, biarkan n = LM
, dan membiarkan l dan m menjadi garis tegak lurus n di L dan M masing-masing.
Kemudian v = LLR = 2LM, dan v = m l oleh Corollary 146.
9
Teorema 148 Komposisi tiga halfturns adalah halfturn a. Bahkan, mengingat titik A,
B, dan C, biarkan D menjadi titik unik sehingga AB = DC. Kemudian
C B A = D. (5.6)
Bukti. Misalkan A, B, dan C menjadi tiga poin, dan biarkan D menjadi titik unik
sehingga AB = DC. Dengan Teorema 145, kita memiliki
B A = 2AB = 2DC = C D.
Sejak C adalah involusi, menerapkan C di kedua sisi, kita memiliki
C B A = C C D = D = D.
Teorema 149 Jika l, m, dan n adalah garis paralel, maka terdapat garis unik
10
Gambar 5.10. m l = n p = q n.
Perhatikan bahwa Teorema 149 tidak memerlukan line n menjadi berbeda dari l dan
m. Jika n = m, misalnya, maka p = l. Sekarang jika PQ = m l, maka l "m. Jika n
juga sejajar dengan m, Teorema 149 mengatakan bahwa n menentukan garis unik p
dan q sejajar dengan m sehingga m l = n p = q n. Sejak PQ = 2PN = 2NQ
kita punya:
Akibat wajar 150 Misalkan P dan Q menjadi poin yang berbeda dan membiarkan n
menjadi garis perpendic- ular untuk P Q. Kemudian terdapat garis unik p dan q
sejajar dengan n sehingga PQ = q n = n p.
Kami mengumpulkan hasil kami dalam teorema berikut:
Teorema 151 A komposisi dua refleksi adalah terjemahan atau rotasi. Hanya identitas
merupakan sebuah terjemahan dan rotasi.
Teorema 151 menimbulkan pertanyaan menarik dan penting: Apa hasil dari
menyusun lebih dari dua refleksi? Kami akan memberikan jawaban yang lengkap
untuk pertanyaan ini dalam Bab 6.
Lima pernyataan di Teorema 157 (The Angle Penambahan Teorema) com- pletely
menentukan semua komposisi terjemahan dan rotasi. Kami memotivasi bagian 1 dari
teorema ini dengan kegiatan eksplorasi.
Eksplorasi Kegiatan 6: Menulis rotasi yang rotasi sudut sum bukan kelipatan dari
360.
11
5. Membangun segmen AArr dan BBrr dan garis bagi tegak lurus mereka.
6. Label persimpangan bisectors tegak lurus E.
7. Hide segmen AArr, BBrr, titik tengah dan garis bagi tegak lurus.
8. Mark pusat rotasi E dan memutar AB 20 tentang E.
9. Putar citra AB pada langkah (7) 20 tentang E.
10. Putar gambar pada langkah (8) 20 tentang E, dan terus berputar dengan cara
ini dua iterasi lagi sampai total sudut rotasi tentang E adalah 100. Apa yang
Anda amati?
11. Lengkapi dugaan berikut: Rotasi C, 60 diikuti oleh rotasi D, 40 adalah
rotasi.
Menggunakan teknik yang sama dengan yang kita digunakan dalam pembuktian
Teorema 149, bukti kami The Angle Penambahan Teorema mengubah komposisi dua
rotasi atau komposisi rotasi dan terjemahan ke dalam komposisi dua refleksi, yang
merupakan salah rotasi atau terjemahan.
Pertama, kita mempertimbangkan komposisi dua rotasi yang rotasi sudut sum bukan
kelipatan dari 360.
B, A, = C, + .
12
Gambar 5.11. Bukti Teorema 152, Kasus 1.
Kasus 3 dan 4 adalah sama dan ditinggalkan sebagai latihan. Jadi dalam setiap kasus,
B, A, =B, t A, t = (n m) (m l) = n l = C, t + t = C,
+ .Contoh 153 Misalkan A = 0,2. dan B =.-2 .. Untuk menentukan B, 180 A,
90, membiarkanm = A B: Y = 2, l: Y = X + 4, dan n: X = -2. Kemudian l dan n
adalahgaris yang unik sehingga sudut dari l untuk m berukuran 45 dan sudut dari m
ke langkah-langkah n 90. Jadi A, 90 = m l, B, 180 = n m, pusat rotasi
adalah C = l m = .-2., danB, 180 A, 90 = (n m) (m l) = n l = C, -
90 = C, 270.
Kedua, kita mempertimbangkan komposisi dua rotasi yang rotasi sudut sum
merupakan kelipatan dari 360.
13
Teorema 154 (The Angle Penambahan teorema, bagian 2) Misalkan A dan B
menjadi titik dan membiarkan dan bilangan real sehingga + 0.
Kemudian B, A, adalah terjemahan.
Teorema 156 (The Angle Penambahan teorema, bagian 3 dan 4) Komposisi rotasi
non-sepele dan terjemahan (dalam rangka baik) adalah rotasi .
14
berpotongan di C. Misalkan r = (-180, 180]. Sejak = , garis m dan n
adalah berbeda danparalel. Oleh karena l adalah transversal untuk paralel m dan n,
dan sesuaisudut dari l untuk m dan dari l ke n memiliki ukuran 1 r (lihat Gambar
5.14). MembiarkanD = l n; kemudian C, = n m m l = n l = D,
.Komposisi C, juga rotasi oleh argumen yang sama diserahkan kepada
pembaca.
1
_
2 t
C
1
_
2
Gambar 5.14. C, = D, .
Sebuah. Jika l, m, dan n yang bersamaan pada titik C, terdapat garis p unik
15
melewati C sehingga n m l = p.
b. Jika l, m, dan n saling paralel, terdapat unik garis p sejajar l, m, dan n sehingga
n m l = p.
Dengan demikian komposisi tiga refleksi di garis bersamaan atau saling paralel
merupakan cerminan di beberapa bersamaan garis unik dengan atau saling sejajar
dengan mereka. Kebalikannya juga benar (lihat Latihan 5.5.7).
Proposisi 159 Garis l, m, dan n adalah baik bersamaan atau saling sejajar jika dan
hanya jika ada garis p unik seperti yang n m l = p.
Tapi apa hasil dari menulis tiga refleksi dalam tiga baris l, m, dan
n yang tidak bersamaan atau saling sejajar? Proposisi 159 mengatakan bahwa n m
l tidak refleksi. Jadi kami pergi dengan rotasi, terjemahan,
atau mungkin sesuatu yang kita belum menemukan! Proposisi berikut
menjawab pertanyaan ini.
Proposisi 160 Jika garis l, m, dan n adalah tidak bersamaan atau saling paralel,
komposisi n m l bukanlah refleksi, rotasi, maupun
terjemahan.
Bukti. Mari l, m, dan n menjadi tiga baris yang tidak bersamaan atau saling
paralel. Perhatikan komposisi = n m l. Dengan Proposisi 159, tidak
refleksi. Itu sudah cukup untuk menunjukkan bahwa bukanlah rotasi atau
terjemahan.
16
Deftnition 161 Let c menjadi garis dan membiarkan v menjadi vektor non-nol.
Sebuah tion c transformasi, v: R2 R2 adalah refleksi meluncur dengan sumbu c
dan meluncur vektor v jika
1. c, v = c v,
2. v (c) = c.
Panjang c, v, dinotasikan dengan "c, v", adalah norma "v".
Meluncur refleksi isometries sejak terjemahan dan refleksi isome- mencoba oleh
Teorema 103 dan 130, dan komposisi isometries adalah Etry isom- oleh Proposisi 89.
Bayangkan pola jejak kaki yang Anda buat ketika berjalan di pasir di pantai, dan
membayangkan bahwa pola tapak meluas jauh jauh ke arah ther ei-. Bayangkan garis
c diposisikan di tengah antara jejak kaki kiri dan kanan Anda. Dalam pikiran Anda,
geser seluruh pola satu-setengah langkah dalam arah paralel ke c, maka
mencerminkan hal itu sejalan c. Pola gambar, yang persis super- membebankan pada
pola asli, adalah hasil dari melakukan refleksi meluncur dengan sumbu c (lihat
Gambar 5.15).
Proposisi 162 Let c menjadi garis dan membiarkan v menjadi vektor non-nol.
c. Misalkan P titik dan membiarkan Pr = c, v (P). Maka titik tengah PPR adalah pada
d. c, perbaikan v tepat satu garis, porosnya c.
Bukti. Menurut definisi, c, v = c v. Misalkan P titik dan membiarkan Q = v (P).
Jika
P adalah pada c, begitu juga Q dan M titik tengah PQ, karena v (c) = c. Selanjutnya,
Q = P sejak v = 0; sehingga c, v (P) = c (v (P)) = c (Q) = Q = P dan c, v
tidak memiliki titik tetap pada c. Jika P adalah off c, biarkan Pr = c, v (P). Kemudian
Q dan P terletak pada sisi yang sama dari c, dalam hal P dan Pr berbaring di sisi
berlawanan dari c. Jadi c, v susun setengah-pesawat dari c dan tidak memiliki titik
tetap off c. Ini membuktikan (a)
dan (b).
Mari M = PPR c, biarkan R menjadi titik tengah QPR, dan misalkan S kaki
tegak lurus dari M ke P Q (lihat Gambar 5.16). Kemudian R terletak pada c
dengan definisi c, MS ~ = RQ ~ = Pr R, MPS ~ = Pr MR karena sudut ini
sesuai, dan sudut Pr RM dan MSP adalah sudut kanan. Karena itu
6PR RM ~ = 6MSP oleh AAS dan PM = MPR (CPCTC) sehingga M adalah
titik tengah dari PPR, yang membuktikan (c).
Untuk membuktikan (d), c kira, v (l) = l dan membiarkan P menjadi titik pada l.
Lalu Pr = c, v (P) adalah titik pada l = P-P r seperti titik tengah M dari PPR.
Namun M juga pada c demi bagian c di atas. Oleh karena Mr = c, v (M) adalah pada
17
c dengan definisi c, v dan Mr pada l dengan asumsi. Oleh karena itu l = c sejak M
dan Mr poin yang berbeda yang keduanya berada pada l dan c.
Sebuah refleksi meluncur dapat dinyatakan sebagai komposisi tiga refleksi dengan
cara sebagai berikut:
Teorema 163 A transformasi adalah refleksi meluncur dengan sumbu c jika dan
hanya jika terdapat kesamaan yang berbeda a dan b tegak lurus c sehingga =
c b a. Bukti. () Mengingat refleksi meluncur dengan sumbu c, menulis =
c , di mana (c) = c dan = . Misalkan A sebuah titik pada c, maka Ar = (A)
juga di c dan berbeda dari A. Mari B menjadi titik tengah Aar, dan membiarkan a dan
b menjadi garis tegak lurus c di A dan B, masing-masing. Kemudian oleh Corollary
146, = 2AB = b a = dan berikut bahwa = c b a.
() Mengingat garis sejajar yang berbeda a dan b, dan umum tegak lurus c, misalkan
A = a c dan B = b c. Kemudian 2AB (c) = c dan 2AB = sehingga = c
b a = c 2AB adalah refleksi meluncur dengan sumbu c.
Sebuah refleksi meluncur juga dapat dinyatakan sebagai refleksi dalam beberapa l
baris diikuti oleh halfturn dengan pusat off l (atau sebaliknya).
Teorema 164 Misalkan: R2 R2 menjadi transformasi, biarkan c menjadi garis,
dan membiarkan v menjadi vektor non-nol. Berikut ini adalah ekuivalen:
Sebuah. adalah refleksi meluncur dengan sumbu c dan vektor meluncur v.
1. b. = c v dan v (c) = c.
2. c. Ada garis yang c dan titik B pada c dan off sehingga = B a.
3. d. Ada garis b c dan titik A pada c dan off b seperti yang = b A.
4. e. = v c dan v (c) = c.
Bukti. Laporan (a) dan (b) adalah setara dengan definisi.
(B) (c) Mengingat bahwa = c v dan v (c) = c, penggunaan Teorema 163
untuk memilih paralel a dan b tegak lurus c sehingga v = b a, dan biarkan B = b
c. Kemudian = c v = c b a = B a (lihat Gambar 5.17).
18
Gambar 5.17. = B a.
(C) (d) Mengingat garis a c dan titik B pada c dan off sehingga = B a,
biarkan A = a c dan membiarkan b menjadi garis tegak lurus c melalui B.
Kemudian = B a = c b a = b c a = b A.
(D) (e) Mengingat garis b c dan titik A pada c dan off b sehingga = b A,
biarkan menjadi garis tegak lurus c melalui A. Kemudian = b A = b c a =
b a c = v c, dan v (c) = c sejak c memiliki arah v.
(E) (b) Mengingat bahwa = v c dan v (c) = c, menggunakan Teorema 163
untuk memilih paralel a dan b tegak lurus c sehingga v = b a. Kemudian = v
c = b a c = b c a = c b a = c v.
Ketika refleksi luncur dinyatakan seperti dalam Teorema 164, bagian c, sumbunya
merupakan garis melalui B tegak lurus, dan ketika dinyatakan seperti dalam
Teorema 164, bagian d, sumbunya merupakan garis melalui A dan tegak lurus
terhadap b .
19
Akibat wajar 166 Let y menjadi cerminan meluncur dengan sumbu l: aX + bY + c = 0
dengan a2 + b2> 0, dan meluncur vektor v = .d .. Lalu iklan + menjadi = 0 dan
persamaan
diberikan oleh
xr = x - 2a (ax + by + c) + d yr = y - 2b (ax + by + c) + e.
Bukti. Bukti (a) yang tersisa untuk pembaca. Untuk membuktikan (b), menganggap
yang merupakan terjemahan non-sepele seperti yang (c) = c dan membiarkan A
menjadi titik pada c. Kemudian
B = (A) = A adalah titik pada c dan = AB. Oleh karena itu c adalah refleksi
luncur dengan sumbu c dan vektor meluncur AB, dan
c = c (5.7)
oleh Teorema 164, bagian a, b, dan e. Di sisi lain, c, v = c v oleh definisi, dan
dua terjemahan bolak-balik oleh Proposisi 106, bagian 2. Oleh karena itu
c, v = c v = c v = c v = c, v.
Untuk membuktikan (c), menulis c, v = c v dan menerapkan Teorema 164,
bagian a, b, dan e untuk mendapatkan
c, v = (c v) = c v c v = c c v v = 2 = 2v.
20
cara:
1. Jika B bukan sudut kanan, biarkan P dan Q menjadi kaki dari ketinggian di c
dan, masing-masing, biarkan t menjadi garis melalui A tegak lurus terhadap P
Q, dan membiarkan R = t (Q) (lihat Gambar 5.18). Kemudian P Q adalah
sumbu dan QR adalah
meluncur vektor.
2. Jika B adalah sudut yang tepat, biarkan t = c (b) dan membiarkan R = t (B).
Kemudian B R adalah sumbu dan BR adalah vektor luncur.
Bukti. (1) Jika B bukan sudut kanan, biarkan m = C P dan membiarkan l
menjadi garis yang unik melewati C sehingga b a = m l diberikan oleh
Teorema 141, dan menulis = c b a = c m l = P l.
Kemudian oleh Teorema 164, bagian c, sumbu adalah garis melalui P tegak lurus
untuk l. Sekarang ulangi argumen ini di simpul A: Mari s = A Q dan
membiarkan t menjadi garis yang unik melewati A seperti yang c b = t s dan
menulis
= c b a = t s a = t Q.
Kemudian oleh Teorema 164, bagian d, sumbu adalah line melalui Q tegak lurus
terhadap t. Akhirnya, perhatikan bahwa titik P dan Q adalah berbeda karena B
adalah bukan hak
angle, dan keduanya pada sumbu, karena ditetapkan oleh . Oleh karena itu P Q
adalah
sumbu . Selanjutnya, karena titik R = (Q) = (t Q) (Q) = t (Q) juga pada
sumbu, QR adalah vektor luncur .
(2) Jika B adalah sudut yang tepat, biarkan t menjadi garis yang unik melalui A
sehingga c b = t c diberikan oleh Teorema 141. Kemudian menyusun kedua
sisi dengan b memberikan c = t c b. Untuk melihat bahwa c (b) = t,
diketahui bahwa jika P adalah titik pada b, citra
Pr = c (P) = (t c b) (P) = t (c (P)) = t (P r)
adalah titik tetap t, yang pada t dengan definisi refleksi. Oleh karena itu c (b) = t
karena c adalah collineation a. Sekarang Tulis
= c b a = t c a = t B.
Kemudian oleh Teorema 164, bagian d, sumbu adalah garis yang melalui B tegak
lurus terhadap t. Selain itu, karena R = (B) = (t B) (B) = t (B) juga pada
axis, B R adalah sumbu, dan BR adalah vektor luncur
21
Gambar 5.18. Sumbu dan meluncur vektor dari = c b a.
22