AB
24 Haz #1
1)Dik koordinat düzleminde A(-1,2) ve B(-2,0) noktalarından geçen doğrunun y eksenini kestiği noktanın ordinatı kaçtır ? (4)
24 Haz #2
2. soru B noktasından x ve y eksenlerine dik çizgiler çizince öklit bağıntısından (h2=k*p) a=5 bulunur.
24 Haz #3
Metin Emiroğlu Anadolu Lisesi.
Endemik Yayınları
24 Haz #4
Metin Emiroğlu Anadolu Lisesi.
Endemik Yayınları
24 Haz #5
Metin Emiroğlu Anadolu Lisesi.
Endemik Yayınları
24 Haz #6
Metin Emiroğlu Anadolu Lisesi.
Endemik Yayınları
25 Haz #7
İçerik
Bu sayfada:
Öklid’in Öğeler’inin birinci kitabında doğru parçalarının eşitliği
simetriktir,
Önerme 6’nın kanıtındaki gibi yansımalıdır,
birinci ortak kavram sayesinde geçişlidir.
Bundan dolayı doğru parçalarının eşitliği bir denklik bağıntısıdır.
Önerme 30 sayesinde eğer paralellik de yansımalı olarak sayılırsa, o da bir denklik bağıntısıdır.
Paralelkenar Teoremi. Her ABC üçgeni için, bir ve tek bir D noktası için, ABCD bir paralelkenardır. ∎
Desargues Teoremi I.ABC ve DEF üçgeni verildiğinde AD, BE, ve CF birbirinden farklı ama birbirine paralel olsun. O zaman
()
AB DE ∧ BC EF ⇒ AC DF
olur.
Düzlemde rastgele A, B, C, ve D noktası için eğer
ABDC bir paralelkenar ise, veya
AB ve CD aynı doğru ise ama bazı E ve F için ABFE ve CDFE paralelkenar ise, veya
A = B ve C = D ise,
o zaman tanıma göre
()
olsun. Burada AB, bir yönlü doğru parçasıdır. (El yazısında üstçizgi, bir ok olabilir. AA, gerçek bir yönlü doğru parçası değildir ama bazen sayılabilir.)
Vektör Teoremi. Yönlü doğru parçalarının eşitliği, bir denklik bağıntısıdır. Ayrıca
her AB ve C için, bir ve tek bir D için, eşitlik () doğrudur;
Her A, B, ve C için
eğer eşitlik () doğru ise, o zaman
eşitliği de doğrudur;
her durumda
AB = DE ∧ BC = EF ⇒ AC = DF
olur.
Eşitliğe göre bir yönlü doğru parçasının denklik sınıfı, bir vektördür. Şimdi Vektör Teoremi’nin aşağıdaki sonuçları vardır.
Bir A noktası verilsin.
Her v vektörü için, bir ve tek bir B noktası için, AB yönlü doğru parçası, v vektörünü temsil eder. Bu durumda
()
yazılabilir. (El yazısında v vektörü, dalgalı bir altçizgi ile, v olarak yazılabilir.)
Her B noktası için, bir ve tek bir v vektörü için, AB yönlü doğru parçası, v vektörünü temsil eder, dolayısıyla tekrar eşitlik () doğrudur.
Böylece vektörler ve düzlemin noktaları arasında bir eşleme (birebir ve örten bir gönderme) vardır. Bu eşleme,
göndermesidir.
Bir ve tek bir 0 vektörü için, her A noktası için,
olur.
Her v vektörü için, bir ve tek bir −v vektörü için, eğer eşitlik () doğru ise, o zaman
eşitliği de doğrudur. Böylece düzlemin
ötelemesi, bir eşleşmedir (çünkü tersi vardır).
Herhangi v ve w vektörü için, bir ve tek bir v + w vektörü için, eğer eşitlik () ve ayrıca
doğru ise, o zaman
eşitliği de doğrudur.
Tüm a, b, ve c vektörü için
a + b = b + a,
a + (b + c) = (a + b) + c,
a + 0 = a,
a + (−a) = 0
olur. Kısaca vektörler, bir abelyan grup oluşturur.
Her D noktası için
D + (a + b) = (D + a) + b
olur. Kısaca vektörler grubu, düzleme etki eder. Vektörler grubunun etkisi, gördüğümüz gibi,
geçişlidir, çünkü her A ve her B için, en az bir v için, eşitlik () doğrudur;
serbesttir, çünkü her A ve her B için, en çok bir v için, eşitlik () doğrudur.
Yukarıdaki terimler önemli değildir ama kavramları önemlidir. Eğer düzlemde bir O noktası seçilirse, o zaman düzlem, vektörler grubu gibi oluyor. Örneğin A, B, C, ve D noktası verilsin. O zaman tek bir şekilde bazı a, b, c, ve d vektörü için
O + a = A ∧ O + b = B ∧ O + c = C ∧ O + d = D
olur, dolayısıyla
A − a + b = B,
D − d + c = C
olur. Eğer ayrıca ABCD bir paralelkenar ise, o zaman
olur, dolayısıyla
− a + b = − d + c
olur, ve sonuç olarak
olur. Aynı sonuç
biçiminde yazılabilir. Burada O’nun yeri fark etmez.
Pappus Altıgen Teoremi. Eğer iki doğru için bir altıgenin kenarlarından her biri doğruların birinden diğerine geçerse, ve iki durumda altıgenin karşıt kenarları birbirine paralel ise, o zaman üçüncü durumda da karşıt kenarlar paraleldir.
Kanıt. Öklid’den önermeler 37 ve 39 kullanılır.
Desargues Teoremi II.ABC ve DEF üçgeni verildiğinde AD, BE, ve CF bir noktada kesişsin. O zaman gerektirme () doğrudur.
Kanıt. Hessenberg’in yılında yayınlanmış makalesinde Desargues, Pappus’tan elde edilir.
Düzlemde rastgele OA ve UE doğrusu için, OA’nın herhangi C noktası için, UE’nin herhangi F noktası için, OA’nın bazı B ve D noktası için
olsun. Eğer
C = O = D ise, veya
OA ve OB aynı doğru olmadığında CD ∥ AB ise, veya
OA ve OB aynı doğru olduğunda bir OG doğrusu ve oradaki bir H noktası için
ise,
o zaman tanıma göre
()
olsun. Burada OCA, bir bölünmüş yönlü doğru parçasıdır.
Oran Teoremi. Bölünmüş yönlü doğru parçalarının eşitliği, bir denklik bağıntısıdır. Ayrıca
her OCA ve UE için, eğer U ≠ E ise, o zaman bir ve tek bir F için, eşitlik () doğrudur;
her OA, UE, ve F için,
her OA, UE, ve F için,
eğer eşitlik () doğru ise, ve ayrıca C ≠ O ise, o zaman F ≠ U ve
olur;
her durumda
OBA = UED ∧ OCB = UFE ⇒ OCA = UFD
olur.
Eşitliğe göre bir bölünmüş yönlü doğru parçasının denklik sınıfı, bir orandır.OCA bölünmüş yönlü doğru parçasının temsil ettiği oran,
olarak yazılabilir. Eğer eşitlik () doğru ise, o zaman OC : OA oranının ve UF : UE oranının aynılığı,
orantısı ile ifade edilebilir. Şimdi bizim için Thales Teoremi, tanıma göre doğrudur. Öklid, oranlar için bizimkinden farklı olan bir tanımı kullanarak Thales Teoremi’ni, Öğeler’in altıncı kitabının ikinci önermesinde kanıtlar.
Bir A noktası bir OC doğrusunda olduğunda eğer
O + a = A ∧ O + c = C
ise, o zaman OAC bölünmüş yönlü doğru parçasının temsil ettiği OA : OC oranı
olarak yazılabilir.
Şimdi Oran Teoremi’nin aşağıdaki sonuçları vardır.
0 olmayan bir e vektörü verilsin.
Her a oranı için, e’ye paralel olan bir ve tek bir b vektörü için,
olur. Bu durumda
()
yazılabilir.
e’ye paralel olan her b vektörü için, bir ve tek bir a oranı için, tekrar eşitlik () doğrudur.
Böylece 0 olmayan bir e vektörü verildiğinde, oranlar ve e vektörüne paralel olan vektörler arasında bir eşleme vardır. Bu eşleme,
göndermesidir.
Bir ve tek bir 1 oranı için, 0 olmayan her e vektörü için,
Bir ve tek bir 0 oranı için, 0 olmayan her e vektörü için,
0 olmayan her a oranı için, bir ve tek bir a−1 oranı için, eğer eşitlik () doğru ise, o zaman
eşitliği de doğrudur. Böylece vektörlerin
genleşmesi, bir eşleşmedir.
0 olmayan her a oranı için, her c oranı için, bir ve tek bir c ⋅ a veya ca oranı için, eğer eşitlik () ve ayrıca
doğru ise, o zaman
eşitliği de doğrudur.
0 olmayan tüm a, b, ve c oranı için
a(bc) = (ab)c,
a1 = a = 1a,
aa−1 = 1 = a−1a
olur. Kısaca 0 olmayan oranlar, bir grup oluşturur.
0 olmayan her e vektörü için
ba ⋅ e = b ⋅ (a ⋅ e)
olur. Kısaca 0 olmayan oranlar grubu, 0 olmayan vektörlere etki eder. 0 olmayan oranlar grubunun etkisi serbesttir; verilen 0 olmayan bir vektöre paralel olan ve 0 olmayan vektörlerde etki geçişlidir.
Teorem. Oranlar çarpması değişmelidir.
Kanıt. Pappus Teoremi kullanılır.
Tanıma göre her a oranı için
olsun.
Teorem. Her a oranı için, tüm b ve c vektörü için,
a ⋅ (b + c) = a ⋅ b + a ⋅ c
olur.
Teorem. Bütün a ve b oranı için, bir a + b oranı için, her c vektörü için,
(a + b) ⋅ c = a ⋅ c + b ⋅ c
olur, dolayısıyla her d oranı için
(a + b) ⋅ d = a ⋅ d + b ⋅ d
olur.
Sonuç olarak:
Oranlar bir cisim oluşturur, yani
toplama altında oranlar bir abelyan grup oluşturur,
çarpma altında sıfır olmayan oranlar bir abelyan grup oluşturur,
toplama üzerinde çarpma dağılır.
Oranlar cismi üzerinde vektörler grubu, bir vektör uzayı olur, çünkü her durumda
1 ⋅ a = a,
(a + b) ⋅ c = a ⋅ c + b ⋅ c,
a ⋅ (b + c) = a ⋅ b + a ⋅ c,
(a ⋅ b) ⋅ c = a ⋅ (b ⋅ c).
Herhangi O noktası ve paralel olmayan a ve b vektörü için, her P noktası için, girdileri oran olan bir ve tek bir (x, y) sıralı ikilisi için
()
P = O + x ⋅ a + y ⋅ b
olur. Kısaca
(O, a, b) bir kartezyan koordinatlar sistemidir,
O, sistemin orijinidir,
a, sistemin birinci taban elemanıdır,
b, sistemin ikinci taban elemanıdır.
Eğer (O, a, b) sistemi anlaşılabilirse, o zaman eşitlik () ile tanımlanan P noktası
olarak yazılabilir.
Bir (O, a, b) koordinatlar sistemine göre, (x, y) sıralı ikilisini oluşturan, eşitlik ()’daki x ve y, P noktasının koordinatlarıdır. Burada (a, b), vektörlerin uzayının bir tabanıdır çünkü her vektör, bir ve tek bir şekilde, bir
doğrusal bileşimi olur. Sonuç olarak vektörlerin uzayı, iki-boyutludur.
Oranlar, K cismini oluşturduğunda, girdileri oran olan sıralı ikililer,
kümesini oluşturur. Bu kümede, tanıma göre, a, b, c, ve d oran olduğunda,
(a, b) + (c, d) = (a + c, b + d),
c ⋅ (a, b) = (ca, cb)
olur. Vektörlerin sağladığı kuralları sağlayarak K2 de, K üzerinde iki-boyutlu bir vektör uzayı olur. Aslında
K2 uzayının bir tabanıdır. Eğer tanıma göre
F(x, y) = x ⋅ a + y ⋅ b
ise, o zaman F, K2 ve vektörler arasında bir eşlemedir. O halde
(x, y) ↦ O + F(x, y),
K2 ve düzlemimiz arasında bir eşlemedir. Ayrıca F, doğrusal bir göndermedir, çünkü her durumda
F(s ⋅ (c1, c2) + t ⋅ (d1, d2))
= F(s ⋅ c1 + t ⋅ d1, s ⋅ c2 + t ⋅ d2)
= (s ⋅ c1 + t ⋅ d1) ⋅ a + (s ⋅ c2 + t ⋅ d2) ⋅ b
= s ⋅ (c1 ⋅ a + c2 ⋅ b) + t ⋅ (d1 ⋅ a + d2 ⋅ b)
= s ⋅ F(c1, c2) + t ⋅ F(d1, d2).
Kısaca F, vektör uzaylarımızın bir izomorfizmasıdır.
Şimdi üç düzlem vardır:
Öklid düzlemi,
vektörler düzlemi,
K2 düzlemi.
Bunlar birbiriyle eşleniktir.
Öklid düzleminin hiç özel noktası yoktur. Gördüğümüz gibi eğer Öklid düzleminde herhangi O noktası seçilirse, o zaman vektörler düzleminden Öklid düzlemine giden
eşlemesi vardır. Bu eşleme 0’ı, O’ya gönderir.
Vektörler düzleminin, 0’dan farklı olan hiç özel noktası yoktur. Eğer 0 ile aynı doğruda olmayan (yani birbirinin bir katı olmayan, veya birbirine paralel olmayan, veya bir taban oluşturan) herhangi a ve b vektörü seçilirse, o zaman K2 düzleminden vektörler düzlemine giden
(x, y) ↦ x ⋅ a + y ⋅ b
eşlemesi vardır.
K2 düzleminin her noktası özeldir, çünkü kendi koordinatları vardır.
Bir (O, a, b) koordinatlar sistemi seçildiğinde Öklid düzlemi, K2 düzlemi gibi olur.
Tekrar oranlar, K cismini oluştursun. Eğer A ve B birbirinden farklı olan iki nokta ve
ise, o zaman
AB = {A + t ⋅ c : t ∈ K}.
Bir (O, a, b) koordinatlar sistemi verildiğinde eğer
A, O’dan farklı;
A’nın koordinatları, (a, b)
ise, o zaman Thales Teoremi sayesinde OA doğrusu,
denklemi tarafından tanımlanır, ve OA’ya paralel olan doğruların her biri, bir
()
denklemi tarafından tanımlanır.
Eğer d ≠ 0 ise, o zaman denklem () ve
denklemi, aynı doğruyu tanımlar. Genelde
denklemlerinin paralel doğruları tanımlaması için
gerek ve yeter bir koşuldur.
Alıştırma. İki doğrunun ne zaman paralel olduğunu söyleyebilecek durumda olun.
Eğer bir K cismi verilirse, girdileri K’den gelen sıralı ikililer, K2 kümesini oluşturur. Bu kümenin
elemanları, bir düzlemin noktaları;
denklemler () tarafından tanımlanmış altkümeleri, düzlemin doğruları
olarak alınabilir. Bu düzlemden yukarıdaki gibi bir oranlar cismi elde edilebilir, ve bu cisim K’ye izomorftur.
Bir istisna vardır. K’de 1 + 1, 0’dan farklı olmalıdır. Zira eğer ABCD bir paralelkenar ise, o zaman
dolayısıyla
Bir p asal modülüne göre tamsayıların kalandaşlık sınıfları, p-elemanlı bir cismi oluşturur, çünkü Öklid Algoritması sayesinde eğer a, p’nin bir katı değilse, o zaman
ax + py ≡ 1 (mod p)
kalandaşlığı çözülebilir. Dediğimiz gibi Öklid geometrisini yapmak için p, 2 olamaz.
Normalde oranlar cismi, gerçel sayıların oluşturduğu sıralanmış cismi olarak alınabilir. Kesirli sayılar, sıralanmış cismini oluşturur ama bu cismin bazı pozitif elemanları kare değildir.
Alıştırma.ABCD bir paralelkenar olduğunda eğer A, B, ve C’nin koordinatları verilirse, D’nin koordinatları nedir?
LikeLoading