Geometriler: Aksiyomlardan Modellere

Geometrinin temel yapıtaşlarından modern modellere kapsamlı bir yolculuk

∀P, Q, R ∈ Geometri → ∃! Aksiyom Sistemi

Aksiyomlar ve Modeller

Geometri, uzayın ve şekillerin özelliklerini inceleyen matematik dalıdır. Modern geometri, aksiyomatik yöntemle kurulur - yani kabul edilen temel önermeler (aksiyomlar) üzerine inşa edilir.

Tanım - Aksiyom: Bir matematiksel sistemde, doğruluğu kabul edilen ve ispatlanması gerekmeyen temel önermedir. Aksiyomlar, o sistemin diğer tüm teoremlerinin türetildiği temeldir.

Kümeler ve Denklik İlişkileri, geometrik sistemlerin temelini oluşturur. Her geometrik sistem, belirli nesneler kümesi ve bunlar arasındaki ilişkiler ile tanımlanır.

G = (P, L, I)

Burada G bir geometrik sistem, P noktalar kümesi, L doğrular kümesi, I ise "bir noktanın bir doğru üzerinde bulunma" ilişkisidir.

Denklik İlişkisi
Bir ~ ilişkisi denklik ilişkisidir ancak ve ancak şu üç özelliği sağlarsa:
• Yansıma: a ~ a
• Simetri: a ~ b ⟹ b ~ a
• Geçişkenlik: a ~ b ve b ~ c ⟹ a ~ c

Fonksiyonlar geometride temel rol oynar. Koordinat sistemleri, dönüşümler ve ölçümler fonksiyonlarla tanımlanır.

Geometrideki Temel Fonksiyon Türleri:
  • Mesafe Fonksiyonu: d: P × P → ℝ⁺
  • Açı Fonksiyonu: ∠: R × R → [0, π]
  • Koordinat Fonksiyonu: f: P → ℝⁿ
  • Dönüşüm Fonksiyonu: T: P → P
Hilbert'in Aksiyom Sistemi: Geometri, 20 aksiyomla tamamen karakterize edilebilir. Bu aksiyomlar beş gruba ayrılır: bağlanım, sıralama, kongrüans, paralel ve süreklilik aksiyomları.
Üçgen Eşitsizliği: Herhangi bir üçgende, iki kenarın uzunlukları toplamı üçüncü kenardan büyük olmalıdır: a + b > c.

Düzlem Ayırma Aksiyomları, Poincaré Düzlemi, Pasch Geometrisi

Düzlem ayırma aksiyomları, bir doğrunun düzlemi iki ayrı bölgeye nasıl böldüğünü tanımlayan temel ilkelerdir. Bu aksiyomlar, geometrik şekillerin "iç" ve "dış" kavramlarını matematiksel olarak kesin hale getirir.

Düzlem Ayırma Aksiyomu: Düzlemde herhangi bir doğru l, düzlemi iki ayrı konveks bölgeye ayırır. Bu bölgelerden birine doğrunun bir tarafı, diğerine ise diğer tarafı denir.
Pasch Aksiyomu: Bir doğru, bir üçgenin bir kenarını kesiyorsa ve bu doğru üçgenin hiçbir köşesinden geçmiyorsa, bu doğru üçgenin diğer iki kenarından birini de keser.
Ayırma İlişkisi
A ve B noktaları doğru l ile ayrılır ancak ve ancak doğru parçası AB̅, doğru l'yi keser. Bu durumda A ve B, l'nin zıt taraflarındadır.

Poincaré Düzlemi, hiperbolik geometrinin en önemli modellerinden biridir. Bu model, Öklid'in paralel postülatının geçerli olmadığı bir geometri sistemi sunar.

\mathbb{H}^2 = \{(x, y) \in \mathbb{R}^2 : y > 0\}

Poincaré üst yarı düzleminde hiperbolik mesafe:

d_H(P, Q) = \ln\left(\frac{|PB| \cdot |QA|}{|PA| \cdot |QB|}\right)

Burada A ve B, PQ doğrusunun hiperbolik düzlem sınırıyla kesişim noktalarıdır.

Poincaré Modelinin Özellikleri:
  • Hiperbolik doğrular: y eksenine dik yarım çemberler ve dikey doğrular
  • Bir doğru dışındaki bir noktadan sonsuz çok paralel geçer
  • Üçgen açıları toplamı 180°'den küçüktür
  • Alan formülü: A = π - (α + β + γ)
Pasch Geometrisi, Moritz Pasch'ın önerdiği aksiyomatik yaklaşımdır. Bu yaklaşım, geometrinin sıralama teorisi üzerine kurulmasını savunur.

Pasch'ın Temel Teoremi: Geometri, nokta, doğru ve "arada olma" ilişkisi üzerine kurulabilir. Diğer kavramlar bunlardan türetilebilir.
Tarihsel Not: Pasch (1882), geometrinin görsel sezgilere değil, kesin mantıksal kurallara dayanması gerektiğini savunarak modern aksiyomatik geometrinin temellerini attı.
Dikkat: Düzlem ayırma aksiyomları, sadık düzlemde geçerlidir. Küre gibi kapalı yüzeylerde, bir "doğru" (büyük çember) yüzeyi iki bölgeye ayırmaz.
Kanıt İdeası - Jordan Eğrisi Teoremi: Düzlemde basit kapalı eğri, düzlemi tam olarak iki bölgeye ayırır: sınırlı iç bölge ve sınırsız dış bölge. Bu, topolojik bir genelleme sağlar.

Crossbar Teoremi

Crossbar Teoremi, düzlem geometrisinin en önemli teoremlerinden biridir ve açıların iç bölgesi kavramını kesin olarak tanımlar. Bu teorem, çok sayıda geometrik ispatın temelini oluşturur.

Crossbar Teoremi: ∠BAC açısının iç bölgesinde bir D noktası varsa, AD ışını BC doğru parçasını keser.
Tam İfade: A, B, C üç doğrusal olmayan nokta ve D, ∠BAC'nin iç bölgesinde bir nokta olsun. O zaman AD⃗ ışını, BC̅ doğru parçasını keser.
Geometrik Anlam
Crossbar teoremi, açının "içi" kavramını kesin hale getirir. Bir açının iç bölgesindeki herhangi bir ışın, açının kolları arasına "çubuk koyar" (crossbar).
D \in \text{int}(\angle BAC) \Rightarrow AD \cap \overline{BC} \neq \emptyset
Crossbar Teoreminin Uygulamaları:
  • Açı bisektörünün varlığının ispatı
  • Üçgenin iç açıları toplamının 180° olduğunun gösterilmesi
  • Konveks çokgenlerin tanımlanması
  • Açı ölçümü aksiyomlarının tutarlılığı
Crossbar Teoreminin Tersi: AD⃗ ışını BC̅'yi kesiyorsa ve A, B, C doğrusal değilse, o zaman D ∠BAC'nin iç bölgesindedir.
Kanıt Stratejisi: Teorem, düzlem ayırma aksiyomları kullanılarak ispatlanır. AD⃗'nin BC̅'yi kesmediğini varsayarak çelişki gösterilir. B ve C'nin AD doğrusunun aynı tarafında olması durumu analiz edilir.
Önemli Not: Crossbar teoremi, nötral geometride (Öklid'in paralel postülatı olmadan) geçerlidir. Bu, teoreminin genel geçerliliğini gösterir.
Pratik Kullanım: Geometrik çizimlerde, açının iç bölgesinde bir nokta olup olmadığını test etmek için crossbar teoremini kullanabilirsiniz.

Crossbar teoremi, geometrinin sezgisel kavramlarını (açının içi) matematiksel kesinliğe dönüştüren önemli bir araçtır. Modern geometri eğitiminde, bu teorem genellikle açı kavramının derinlemesine anlaşılması için kullanılır.

Açının Ölçüsü ve Moulton Düzlemi

Açı ölçümü, geometrinin en temel kavramlarından biridir. Açıların nasıl ölçüldüğü ve karşılaştırıldığı, tüm geometrik sistemin temelini oluşturur.

Açı Ölçümü Postülatı: Her açıya pozitif bir reel sayı ölçüsü karşılık gelir. Bu ölçüm, 0° ile 180° arasında bir değer alır (düz açı için 180°).
m: \{\text{Açılar}\} \to [0, \pi] \text{ veya } [0°, 180°]
Açı Ölçümü Aksiyomları:
• A1: Her açının pozitif bir ölçüsü vardır
• A2: m∠AOB = 0° ancak ve ancak OA⃗ = OB⃗
• A3: m∠AOB = 180° ancak ve ancak OA⃗ ve OB⃗ zıt ışınlardır
• A4: Açı toplama postülatü geçerlidir
Açı Ölçüm Birimleri
Derece: Tam açının 1/360'ı (360° = tam dönüş)
Radian: Birim çemberde yay uzunluğu (2π = tam dönüş)
Grad: Tam açının 1/400'ü (400 grad = tam dönüş)
1 \text{ radian} = \frac{180°}{\pi} \approx 57.296°

Moulton Düzlemi, standart Öklid geometrisinin ilginç bir modifikasyonudır. Bu model, bazı geometrik aksiyomların nasıl değiştirilebileceğini gösterir.

Moulton Düzlemi: Standart Kartezyen düzlemde, pozitif eğimli doğruların y ekseni üzerindeki noktalardan itibaren eğimlerinin yarıya indirildiği geometri sistemi.
Moulton Düzleminin Özellikleri:
  • İki nokta arasında hala tek bir doğru vardır
  • Açı ölçümü değişir (özellikle y ekseni civarında)
  • Bazı üçgenlerde açılar toplamı 180°'den farklı olabilir
  • Congruence aksiyomları ihlal edilir
y = \begin{cases} mx + b & \text{eğer } m \leq 0 \text{ veya } x \leq 0 \\ \frac{m}{2}x + b & \text{eğer } m > 0 \text{ ve } x > 0 \end{cases}
Dikkat: Moulton düzlemi, SAS (Kenar-Açı-Kenar) congruence aksiyomunu ihlal eder. Bu, her aksiyom sisteminin her modelde geçerli olmadığını gösterir.
Açı Ölçümünde Süreklilik: Açı ölçüm fonksiyonu, geometrik sürekliliği sağlayacak şekilde tanımlanmalıdır. Bu, limit kavramının geometrideki karşılığıdır.
Tarihsel Önem: Moulton (1902), bazı geometri aksiyomlarının diğerlerinden bağımsız olduğunu göstermek için bu modeli geliştirdi. Bu, matematiksel kesinliğin önemini vurgular.
Açı Bisektörü Varlığı: Her açının bisektörü vardır. Bu, süreklilik aksiyomu ve ara değer teoreminin geometrik uygulamasıdır.

Öklid ve Poincaré Açı Ölçümü

Açı ölçümü, farklı geometrik sistemlerde farklı şekillerde tanımlanabilir. Öklid ve hiperbolik (Poincaré) geometrileri, açı kavramına farklı yaklaşımlar sunar.

Öklid Açı Ölçümü: İki ışın arasındaki açı, bu ışınların birim çember üzerinde belirlediği yay uzunluğu ile ölçülür. Bu ölçüm koordinat sisteminden bağımsızdır.
\theta = \arccos\left(\frac{\vec{u} \cdot \vec{v}}{|\vec{u}||\vec{v}|}\right)
Öklid Özellikleri
• Açılar toplama altında korunur
• Kongruent şekillerde açılar eşittir
• Üçgen açıları toplamı tam olarak π (180°)
• Paralel doğrular teorisi geçerlidir

Poincaré Açı Ölçümü, hiperbolik geometride açıların nasıl tanımlandığını gösterir. Bu sistem, Öklid geometrisinden farklı özellikler sergiler.

\cos\theta_H = \frac{g(\vec{u}, \vec{v})}{\sqrt{g(\vec{u}, \vec{u})g(\vec{v}, \vec{v})}}

Burada g hiperbolik metrik tensördür.

Hiperbolik Açı Formülü: Poincaré disk modelinde, merkez O'dan geçen iki ışın arasındaki açı, Öklid açısı ile aynıdır. Ancak diğer noktalarda durum farklıdır.
Poincaré Geometrisinde Açı Özellikleri:
  • Açılar, konformal dönüşümler altında korunur
  • Üçgen açıları toplamı π'den (180°) küçüktür
  • Açı açığı (defect): δ = π - (α + β + γ) > 0
  • Alan = δ (açı açığı alan ile doğru orantılı)
\text{Alan}_{hiperbolik} = \pi - (\alpha + \beta + \gamma)
Kritik Fark: Hiperbolik geometride "büyük" üçgenlerin açıları toplamı 180°'ye yaklaşırken, "küçük" üçgenler neredeyse 180° açı toplamına sahiptir.
Limit Davranışı
Hiperbolik geometride çok küçük bölgelerde, geometri Öklid geometrisine yaklaşır. Bu, "lokal olarak Öklid" özelliğinin bir yansımasıdır.
Gauss-Bonnet Teoremi (2D): Kapalı bir yüzey üzerindeki herhangi bir üçgen için: ∫∫K dA = ∑(exterial angles) burada K Gauss eğriliğidir.
Geometri Karşılaştırması: Sabit negatif eğrilik (-1) → hiperbolik, sıfır eğrilik → Öklid, sabit pozitif eğrilik (+1) → küresel geometri.
Konformal Özellik: Poincaré modellerinde açılar korunur çünkü projeksiyonlar konformaldır (açı koruyucudur). Bu, hiperbolik geometriyi görselleştirmeyi kolaylaştırır.

Temel Üçgen Denklik Teoremleri

Üçgen denkliği, geometrinin en temel kavramlarından biridir. İki üçgen, şekil ve boyut olarak tamamen aynı ise denktir. Denklik kriterleri, üçgenleri karşılaştırmanın sistematik yollarını sunar.

Üçgen Denkliği: İki üçgen denklik altında eşlenebiliyorsa denktir. Bu, bir üçgenin diğerine dönüşüm (öteleme, döndürme, yansıma) ile dönüştürülebileceği anlamına gelir.
SSS (Kenar-Kenar-Kenar) Denklik Kriteri: Üç kenarları sırasıyla eşit olan üçgenler denktir.
AB = A'B', \quad BC = B'C', \quad CA = C'A' \Rightarrow \triangle ABC \cong \triangle A'B'C'
SAS (Kenar-Açı-Kenar) Denklik Kriteri: İki kenarı ve aralarındaki açı eşit olan üçgenler denktir.
AB = A'B', \quad \angle A = \angle A', \quad AC = A'C' \Rightarrow \triangle ABC \cong \triangle A'B'C'
ASA (Açı-Kenar-Açı) Denklik Kriteri: İki açı ve aralarındaki kenar eşit olan üçgenler denktir.
Denklik Kriterleri
Geçerli: SSS, SAS, ASA, AAS, HL (dik üçgenler için)
Geçersiz: AAA (sadece benzerlik), SSA (belirsiz durum)
AAS (Açı-Açı-Kenar) Kriteri:
  • İki açı ve bunlardan birinin karşısındaki kenar eşit
  • ASA'nın bir varyasyonu (üçüncü açı otomatik eşit)
  • Matematik ve mühendislikte çok kullanılır
HL (Hipotenüs-Leg) Kriteri: Dik üçgenlerde hipotenüs ve bir dik kenar eşit olan üçgenler denktir. Bu, dik üçgenler için özel SAS durumudur.
SSA Durumu: İki kenar ve bunlardan birinin karşısındaki açı verildiğinde, genellikle iki farklı üçgen oluşturulabilir. Bu yüzden SSA denklik kriteri değildir.
|a - b| < c < a + b

Herhangi bir üçgende üçgen eşitsizliği sağlanmalıdır.

Tutarlılık ve Bağımsızlık: Aksiyom sisteminin tutarlı (çelişkisiz) ve her aksiyomun diğerlerinden bağımsız olması gerekir. Bu, matematiksel kesinliğin temelidir.

Geometrik modeller, soyut aksiyom sistemlerinin somut yorumlarıdır. Aynı aksiyom sistemi birçok farklı modelle temsil edilebilir, bu da geometrinin zenginliğini gösterir.

Metrik Geometri ve Özel Koordinat Sistemleri

Metrik geometri, uzayda mesafe kavramı etrafında şekillenen geometri dalıdır. Bu yaklaşım, geometrik şekillerin boyutlarını, uzaklıklarını ve konumlarını sayısal olarak ifade etmeyi sağlar.

Tanım - Metrik: Bir M kümesi üzerinde d: M × M → ℝ fonksiyonu metrik fonksiyondur ancak ve ancak tüm x, y, z ∈ M için şu koşulları sağlarsa:
\begin{align} d(x, y) &\geq 0 \text{ (negatif olmama)} \\ d(x, y) &= 0 \iff x = y \text{ (özdeşlik)} \\ d(x, y) &= d(y, x) \text{ (simetri)} \\ d(x, z) &\leq d(x, y) + d(y, z) \text{ (üçgen eşitsizliği)} \end{align}

Özel Koordinat Sistemleri, farklı geometrik problemlere uygun çözümler sunar. Her koordinat sistemi, belirli simetrileri ve özellikleri vurgular.

Koordinat Sistemleri
Kartezyen: (x, y) - Dikdörtgen koordinatlar
Kutupsal: (r, θ) - Mesafe ve açı
Silindirik: (ρ, φ, z) - 3D kutupsal
Küresel: (r, θ, φ) - Küresel koordinatlar
Metrik Uzay Örnekleri:
  • Öklid Metriki: d(P, Q) = √[(x₂-x₁)² + (y₂-y₁)²]
  • Manhattan Metriki: d(P, Q) = |x₂-x₁| + |y₂-y₁|
  • Maksimum Metriki: d(P, Q) = max{|x₂-x₁|, |y₂-y₁|}
  • Hiperbolik Metrik: Poincaré disk modelinde
Koordinat Dönüşümü Teoremi: İki koordinat sistemi arasındaki dönüşüm, geometrik özellikleri koruyan birebir ve örten (bijektif) bir fonksiyon ile gerçekleşir.
\begin{pmatrix} x' \\ y' \end{pmatrix} = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} + \begin{pmatrix} a \\ b \end{pmatrix}

Bu formül, düzlemde rotation ve translation dönüşümünü temsil eder.

Pratik İpucu: Farklı koordinat sistemleri arasında seçim yaparken, problemin simetrisini göz önünde bulundurun. Dairesel problemler için kutupsal, dikdörtgen problemler için Kartezyen koordinatlar daha uygundur.

Kartezyen Düzlemi ve Arada Olma

Kartezyen düzlemi, René Descartes tarafından geliştirilen ve geometri ile cebiri birleştiren devrimci bir yaklaşımdır. Bu sistem, her noktayı sayı çifti (x, y) ile temsil ederek geometrik problemleri cebirsel yöntemlerle çözmeyi sağlar.

Tanım - Kartezyen Düzlem: İki dik eksenin (x-ekseni ve y-ekseni) kesiştiği düzlem sistemi. Her nokta P, bu eksenlerden olan uzaklıkları ile (x, y) şeklinde ifade edilir.
P = (x, y) \in \mathbb{R}^2

Arada olma (Betweenness) kavramı, geometrinin temel ilişkilerinden biridir. Bu kavram, üç noktanın doğrusal düzenini tanımlar ve sıralama aksiyomlarının temelini oluşturur.

Arada Olma İlişkisi
B noktası, A ve C arasında ise: A-B-C
Bu durumda: d(A,C) = d(A,B) + d(B,C)
ve A, B, C doğrusal (collinear) olmak zorundadır.
Hilbert'in Sıralama Aksiyomları:
• B1: A-B-C ise C-B-A'dır
• B2: A ve C farklı noktalar ise, AC doğrusu üzerinde A-B-C olan bir B noktası vardır
• B3: Üç doğrusal nokta için tam olarak biri diğer ikisi arasındadır
\begin{vmatrix} x_A & y_A & 1 \\ x_B & y_B & 1 \\ x_C & y_C & 1 \end{vmatrix} = 0

Bu determinant sıfıra eşitse, A, B, C noktaları doğrusaldır.

Kartezyen Düzlemde Temel Objeler:
  • Doğru: ax + by + c = 0
  • Çember: (x-h)² + (y-k)² = r²
  • Parabol: y = ax² + bx + c
  • Elips: (x-h)²/a² + (y-k)²/b² = 1
Dikkat: Kartezyen koordinatlar, geometrik özelikleri sayısal olarak ifade etmeyi sağlar ancak koordinat seçimi sonuçları etkileyebilir. Geometrik teoremler koordinat sisteminden bağımsız olmalıdır.
Kanıt İdeası - Mesafe Formülü: Pisagor teoreminden, P₁=(x₁,y₁) ve P₂=(x₂,y₂) noktaları arasındaki mesafe: d = √[(x₂-x₁)² + (y₂-y₁)²]. Bu, dik üçgen oluşturarak elde edilir.

Kartezyen düzlem, analitik geometrinin temelini oluşturur ve calculus, lineer cebir gibi ileri matematik dallarının da başlangıç noktasıdır.

Doğru Parçaları ve Işınlar, Açılar ve Üçgenler

Doğru parçaları, ışınlar ve açılar, geometrinin temel yapı taşlarıdır. Bu kavramlar, uzayda şekillerin nasıl oluştuğunu ve birbirleriyle nasıl ilişkilendiğini anlamamızı sağlar.

Tanımlar:
• Doğru Parçası (AB̅): A ve B noktalarını birleştiren sonlu doğru parçası
• Işın (AB⃗): A noktasından başlayıp B yönünde sonsuza uzanan yarı doğru
• Doğru (AB↔): A ve B'yi içeren ve her iki yönde sonsuz uzanan çizgi
\begin{align} \overline{AB} &: \text{Doğru parçası} \\ \overrightarrow{AB} &: \text{Işın} \\ \overleftrightarrow{AB} &: \text{Doğru} \end{align}

Açılar, iki ışının ortak bir noktada birleşmesiyle oluşan geometrik şekillerdir. Açı ölçümü, geometrinin temel kavramlarından biridir.

Açı Türleri
Dar açı: 0° < α < 90°
Dik açı: α = 90°
Geniş açı: 90° < α < 180°
Düz açı: α = 180°
Tam açı: α = 360°
Açı Toplama Postülatü: ∠AOC'nin iç bölgesinde B noktası varsa, m∠AOB + m∠BOC = m∠AOC'dir.
\cos\theta = \frac{\vec{u} \cdot \vec{v}}{|\vec{u}| |\vec{v}|}

Bu formül, iki vektör arasındaki açıyı hesaplamak için kullanılır.

Üçgenler, üç doğru parçasının birleştirdiği en basit kapalı şekildir. Üçgenler, geometrinin en çok incelenen ve en zengin özeliklere sahip şekilleridir.

Üçgen Türleri (Kenar Uzunluğuna Göre):
  • Eşkenar Üçgen: Tüm kenarları eşit (a = b = c)
  • İkizkenar Üçgen: İki kenarı eşit (a = b ≠ c)
  • Çeşitkenar Üçgen: Tüm kenarları farklı (a ≠ b ≠ c)
Üçgen Türleri (Açıya Göre):
  • Dik Üçgen: Bir açısı 90°
  • Dar Üçgen: Tüm açıları 90°'den küçük
  • Geniş Üçgen: Bir açısı 90°'den büyük
Üçgen İç Açıları Teoremi: Herhangi bir üçgenin iç açılarının toplamı 180°'dir. α + β + γ = 180°
\text{Alan} = \frac{1}{2} \times \text{taban} \times \text{yükseklik} = \frac{1}{2}ab\sin C
Heron Formülü: Kenar uzunlukları a, b, c olan üçgenin alanı: √[s(s-a)(s-b)(s-c)] burada s = (a+b+c)/2 yarı çevredir.
SSS Denklik İspatı: Üç kenarı verilen üçgen, pusula ve cetvel ile tek şekilde çizilebilir. Bu, üçgenin benzersizliğini gösterir ve SSS kriterinin temelini oluşturur.
Pratik Uygulama: Mühendislikte ve mimaride, yapısal elemanların denkliği bu kriterler ile kontrol edilir. CAD programları da bu matematiksel ilkeleri kullanır.

Denklik kriterleri, sadece teorik önemi olmayan, aynı zamanda pratik geometrik problemlerin çözümünde de vazgeçilmez araçlardır. Bu kriterler, geometrik ispat yöntemlerinin de temelini oluşturur.

Dik Üçgenler, Çember ve Teğet Doğruları

Dik üçgenler, bir açısı 90° olan üçgenlerdir ve geometrinin en çok incelenen şekilleri arasındadır. Çemberler ile birlikte, bu yapılar geometrinin temel taşlarını oluşturur.

Dik Üçgen: Bir iç açısı 90° (π/2 radian) olan üçgen. 90°'lik açının karşısındaki kenar hipotenüs, diğer iki kenar dik kenar olarak adlandırılır.
Pisagor Teoremi: Dik üçgende, hipotenüsün karesi dik kenarların karelerinin toplamına eşittir: c² = a² + b²
c^2 = a^2 + b^2
Özel Dik Üçgenler
45°-45°-90°: Kenar oranları 1:1:√2
30°-60°-90°: Kenar oranları 1:√3:2
Bu üçgenler trigonometrinin temelini oluşturur.
Dik Üçgenlerde Özel Noktalar:
  • Circumcenter: Hipotenüsün orta noktası
  • Incenter: Açıortayların kesişim noktası
  • Orthocenter: Dik açının köşesi
  • Centroid: Kenarortayların kesişim noktası

Çember, düzlemde sabit bir noktadan (merkez) eşit uzaklıktaki noktaların kümesidir. Çemberler, geometrinin en simetrik ve en çok incelenen şekilleridir.

Çember Tanımı: Merkezi O ve yarıçapı r olan çember: {P | d(P,O) = r} kümesidir.
(x - h)^2 + (y - k)^2 = r^2

Bu, merkezi (h,k) ve yarıçapı r olan çemberin Kartezyen denklemidir.

Thales Teoremi: Bir çemberin çapı üzerine kurulacak açı dik açıdır. Tersi de doğrudur: dik açının hipotenüsü, açının karşısındaki çemberin çapıdır.
Çember ile İlgili Temel Kavramlar:
  • Kiriş: Çember üzerindeki iki noktayı birleştiren doğru parçası
  • Çap: Merkezden geçen kiriş
  • Teğet: Çembere tek noktada değen doğru
  • Sekant: Çemberi iki noktada kesen doğru

Teğet doğruları, çembere sadece bir noktada değen doğrulardır. Teğet kavramı, calculus ve diferansiyel geometrinin temellerinden biridir.

Teğet-Yarıçap Teoremi: Çembere çizilen teğet, değdiği noktadaki yarıçapa diktir.
\vec{OT} \perp \vec{t} \quad \text{(T teğet noktası, t teğet vektörü)}
Teğet Uzunluğu: Çember dışındaki bir noktadan çizilen iki teğetin uzunlukları eşittir. Bu, "eşit teğet uzunlukları" teoremi olarak bilinir.
Power of a Point
Çember dışındaki P noktasının çembere göre kuvveti: Power(P) = d² - r² = PT² (teğet uzunluğunun karesi)
Teğet Formülü Türetimi: (x₀,y₀) noktasından x² + y² = r² çemberine çizilen teğetin denklemi: x₀x + y₀y = r². Bu, çemberin merkezi orijin olduğu durum için geçerlidir.
Geometrik Aplikasyon: Çember ve teğet kavramları, optik (lensler), makine mühendisliği (dişliler) ve mimaride (kubbeler) yaygın kullanım alanları bulur.

Paralel Doğrular Arasındaki Uzaklık, Asimptotik Doğrular ve Üçgenler

Paralel doğrular, geometrinin en temel kavramlarından biridir ve Öklid'in beşinci postülatının (paralel postülat) merkezinde yer alır. Bu kavram, farklı geometrik sistemlerde farklı anlamlar kazanır.

Paralel Doğrular (Öklid): Aynı düzlemde bulunan ve kesişmeyen iki doğru paraleldir. Alternatif tanım: aralarındaki mesafe her yerde aynı olan doğrular.
Öklid'in Paralel Postülatı: Bir doğru dışındaki bir noktadan o doğruya tam olarak bir paralel çizilebilir.
d(l_1, l_2) = \frac{|ax_0 + by_0 + c|}{\sqrt{a^2 + b^2}} = \text{sabit}

Bu formül, ax + by + c = 0 doğrusuna (x₀, y₀) noktasının uzaklığını verir.

Paralel Doğru Özellikleri
• Aynı eğime sahip doğrular paraleldir (m₁ = m₂)
• Paralel doğruları kesen bir kesen, eşit açılar oluşturur
• İç ters açılar, dış ters açılar eşittir
• Aynı taraflı iç açılar toplamı 180°
Paralel Doğrular Arasındaki Mesafe:
  • İki paralel doğru arasındaki mesafe sabittir
  • Bu mesafe, doğrulardan birine diğerinden çizilen dikin uzunluğudır
  • l₁: ax + by + c₁ = 0 ve l₂: ax + by + c₂ = 0 paralel doğruları için:
  • d = |c₁ - c₂|/√(a² + b²)

Asimptotik doğrular kavramı, hiperbolik geometride ortaya çıkar ve Öklid geometrisindeki parallellik kavramının genelleştirilmesidir.

Asimptotik Doğrular: Hiperbolik geometride, bir noktadan geçen ve verilen doğruyu kesmeyen doğrular arasında, o doğruya "en yakın" olan iki doğru. Bunlar asimptotik paralel doğrulardır.
Hiperbolik Paralel Teorisi: Hiperbolik geometride, bir doğru dışındaki bir noktadan o doğruya sonsuz çok paralel (kesmeyen) doğru çizilebilir. Bunlar arasında iki "sınır" paraleli (asimptotik) vardır.
Geometrik Ayrım: Hiperbolik geometride "paralel" doğrular üç tipte olabilir: asimptotik paralel, hiperparalel (birbirinden uzaklaşan), ve ultra-paralel.
Paralel Açısı
Hiperbolik geometride, asimptotik paraleller arasındaki "paralel açı" Π(d) = arccos(tanh(d/k)) formülü ile verilir. Burada d nokta-doğru mesafesi, k eğrilik parametresidir.
\Pi(d) = \arccos(\tanh(d))
Hiperbolik Üçgen Özellikleri:
  • İç açılar toplamı π'den (180°) küçüktür
  • Açı açığı: δ = π - (α + β + γ) > 0
  • Alan = δ (açı açığı ile doğru orantılı)
  • "İdeal üçgenler" (köşeleri sonsuzda) için alan = π
Saccheri Dörtgeni: Hiperbolik geometride, paralel araştırmalarında kullanılan özel dörtgen. İki eşit dik kenar ve bunları birleştiren "taban" ve "tavan" kenarları vardır.
Paralel Postülat Bağımsızlığı: Bolyai, Lobachevsky ve Gauss, paralel postülatının diğer aksiyomlardan bağımsız olduğunu gösterdi. Bu, hiperbolik geometrinin tutarlı olduğunu kanıtladı.
Modern Uygulamalar: Hiperbolik geometri, özel görelilik teorisi, kristallografi, ve ağ teorisi gibi alanlarda önemli uygulamalar bulmuştur.

Similarity Teorisi ve Öklid Geometrisinin Bazı Klasik Teoremleri

Benzerlik teorisi, şekillerin aynı biçimde ancak farklı boyutlarda olması durumunu inceler. Bu teorinin temeli, orantısal büyütme-küçültme işlemlerine dayanır.

Benzer Şekiller: Karşılıklı açıları eşit ve karşılıklı kenar uzunlukları orantılı olan şekiller benzerdir. Benzerlik, şekil korunurken boyut değişebilir.
\triangle ABC \sim \triangle A'B'C' \iff \frac{AB}{A'B'} = \frac{BC}{B'C'} = \frac{CA}{C'A'} = k

Burada k benzerlik oranıdır (scale factor).

AAA Benzerlik Kriteri: Üç açısı sırasıyla eşit olan üçgenler benzerdir. (Açı-Açı-Açı)
SAS Benzerlik Kriteri: İki kenar oranı ve aralarındaki açı eşit olan üçgenler benzerdir.
SSS Benzerlik Kriteri: Üç kenar oranı eşit olan üçgenler benzerdir.
Benzerlik Özellikleri
Alan Oranı: k² (k benzerlik oranı)
Hacim Oranı: k³
Çevre Oranı: k
Açılar: Değişmez (korunur)
Klasik Öklid Teoremleri:
  • Thales Teoremi: Paralel doğrular orantılı parçalar oluşturur
  • Menelaus Teoremi: Üçgendeki kesen için
  • Ceva Teoremi: Üçgendeki eşzamanlı doğrular için
  • Stewart Teoremi: Üçgen kenarortayları için
Thales'in Orantı Teoremi: İki paralel doğru, iki kesen tarafından kesilirse, oluşan parçalar orantılıdır.
\frac{AB}{A'B'} = \frac{CD}{C'D'} \quad \text{(AB || A'B' için)}
Menelaus Teoremi: Üçgen ABC'de, bir doğru kenarları BC, CA, AB'yi sırasıyla D, E, F noktalarında keserse: (BD/DC) · (CE/EA) · (AF/FB) = 1
\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1
Ceva Teoremi: Üçgen ABC'de AA', BB', CC' cevianları bir noktada kesişirse: (BD/DC) · (CE/EA) · (AF/FB) = 1
İşaret Kuralı: Menelaus ve Ceva teoremlerinde, yönlü uzunluklar (işaretli mesafeler) kullanılmalıdır. Bu, teoremlerin doğru uygulanması için kritiktir.
Altın Oran ve Benzerlik:
  • φ = (1 + √5)/2 ≈ 1.618 (altın oran)
  • Düzenli beşgende görülür
  • Fibonacci dizisinde limit değeri
  • Doğada ve sanatta yaygın
\phi = \frac{1 + \sqrt{5}}{2} = 1.618... \quad \text{(Altın oran)}
Benzerlik Dönüşümü: Benzerlik dönüşümü = ölçekleme × rijit dönüşüm (öteleme + döndürme + yansıma). Bu kompozisyon, şekil korunurken boyut değişimini sağlar.
Modern Uygulamalar: Benzerlik teorisi, fraktaller, bilgisayar grafikleri, harita yapımı ve mühendislik ölçeklendirmelerinde temel rol oynar.

Similarity teorisi, geometrinin hem teorik hem pratik uygulamalarının temelini oluşturur ve Öklid geometrisinin en güzel sonuçlarından birini temsil eder.

İzometrilerin Teorisi

İzometriler, mesafeleri koruyan dönüşümlerdir ve geometrinin simetrilerini anlamak için temel araçlardır. Bu dönüşümler, şekillerin boyutunu ve biçimini değiştirmez.

İzometri: f: E² → E² dönüşümü, tüm P, Q noktaları için d(f(P), f(Q)) = d(P, Q) koşulunu sağlıyorsa izometridir. Mesafe koruyan dönüşüm.
Temel İzometri Türleri:
• Translation (Öteleme): T_v(P) = P + v
• Rotation (Döndürme): R_θ,O(P) = O + R_θ(P - O)
• Reflection (Yansıma): S_l(P) = P'
• Glide Reflection (Kayma yansıması): T ∘ S
R_\theta = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}
İzometri Özellikleri
• Mesafeleri korur
• Açıları korur
• Alanları korur
• Paralelliği korur
• Birebir ve örten (bijektif)
İzometri Kompozisyonları:
  • İki yansıma: Translation veya rotation
  • İki translation: Translation
  • İki rotation: Rotation veya translation
  • Translation + reflection: Glide reflection
İzometri Sınıflandırma Teoremi: Düzlemde her izometri, aşağıdakilerden biridir: translation, rotation, reflection, veya glide reflection.
\begin{pmatrix} x' \\ y' \end{pmatrix} = A \begin{pmatrix} x \\ y \end{pmatrix} + \begin{pmatrix} a \\ b \end{pmatrix}

Burada A ortogonal matristir (det(A) = ±1).

Orientation: det(A) = +1 ise orientation korunur (direct isometry), det(A) = -1 ise tersine döner (opposite isometry).
Sabit Nokta Analizi
Translation: Sabit nokta yok (sıfır vektör hariç)
Rotation: Tek sabit nokta (dönme merkezi)
Reflection: Sonsuz sabit nokta (yansıma ekseni)
Glide reflection: Sabit nokta yok
Coxeter-Conway Notasyonu: Düzlem simetri grupları için sistematik notasyon sistemi. Örneğin: p1, p2, pm, pg, cm, p2mm, p4, p4m, p6, p6m...
17 Düzlem Kristal Grubu:
  • p1: Sadece translation
  • p2: 180° rotation + translation
  • pm: Reflection + translation
  • p4m: Square lattice, full symmetry
  • p6m: Hexagonal lattice, full symmetry
  • ... ve 12 tane daha
(f \circ g)(x) = f(g(x)) \quad \text{(Kompozisyon)}
Grup Teorisi Bağlantısı: İzometriler bir grup oluşturur. Kompozisyon işlemi, grup çarpımını tanımlar. Bu, soyut cebirle geometri arasında köprü kurar.
İzometri Karakterizasyonu: Bir dönüşüm izometri ise, üç doğrusal olmayan noktayı koruduğu diğer üçgene eşler. Bu, izometrilerin tamamen belirlenmesi için yeterlidir.

İzometri teorisi, kristallografi, sanat (tessellations), ve simetri analizinde temel araç olarak kullanılır. Modern grup teorisinin geometrik kökleri burada yatmaktadır.

Klein ve Poincaré Disk Modelleri

Klein ve Poincaré disk modelleri, hiperbolik geometrinin iki önemli modelidir. Bu modeller, hiperbolik geometriyi Öklid düzleminin bir diski içinde temsil eder.

Hiperbolik Düzlem: Sabit negatif eğriliğe (-1) sahip 2-boyutlu Riemann manifoldu. Öklid'in paralel postülatının geçersiz olduğu geometri sistemi.

Poincaré Disk Modeli, hiperbolik geometriyi birim disk içinde temsil eden konformal modeldir.

\mathbb{D}^2 = \{z \in \mathbb{C} : |z| < 1\}
Poincaré Disk Özellikleri
Doğrular: Diskin merkezinden geçen çaplar ve disk sınırına dik çemberler
Mesafe: Konformal metrik ile
Açılar: Öklid açıları ile aynı (konformal)
Paraleller: Sonsuz çok
ds^2 = \frac{4(dx^2 + dy^2)}{(1 - x^2 - y^2)^2}

Bu, Poincaré disk modelindeki hiperbolik metrik.

Poincaré Mesafe Formülü: z₁, z₂ ∈ 𝔻 noktaları arasındaki hiperbolik mesafe: d_H(z₁, z₂) = ln((1 + |z₁ - z₂|/|1 - z̄₁z₂|) / (1 - |z₁ - z₂|/|1 - z̄₁z₂|))

Klein Disk Modeli (Beltrami-Klein modeli), hiperbolik geometriyi projective yaklaşımla temsil eder.

\mathbb{K}^2 = \{(x, y) \in \mathbb{R}^2 : x^2 + y^2 < 1\}
Klein Model Özellikleri:
  • Doğrular: Disk içindeki düz çizgi parçaları
  • Açılar: Öklid açıları ile aynı DEĞİL
  • Avantaj: Doğrular gerçekten düz
  • Dezavantaj: Açılar bozulur (konformal değil)
ds^2 = \frac{dx^2 + dy^2}{1 - x^2 - y^2} + \frac{(x \, dx + y \, dy)^2}{(1 - x^2 - y^2)^2}
Model Dönüşümü: Poincaré ve Klein modelleri arasında birebir dönüşüm vardır: Klein → Poincaré: z_P = z_K / (1 + √(1 - |z_K|²))
Model Karşılaştırması: Poincaré modeli açıları korur ama doğruları eğri gösterir. Klein modeli doğruları düz gösterir ama açıları bozar. Her model farklı avantajlar sunar.
Sınır Davranışı
Her iki modelde de, disk sınırı "sonsuz uzaklık"taki noktaları temsil eder. Hiperbolik doğrular sınırda "ideal noktalar"da buluşur.
Hiperbolik İzometriler:
  • Hiperbolik translation: Hiperbolik doğru boyunca kayma
  • Hiperbolik rotation: Sabit nokta etrafında dönme
  • Limit rotation: İdeal nokta etrafında dönme
  • Reflection: Hiperbolik doğru boyunca yansıma
Hiperbolik Trigonometri: Hiperbolik üçgenlerde: sinh a / sin A = sinh b / sin B = sinh c / sin C (hiperbolik sinüs kuralı)
\cosh c = \cosh a \cosh b - \sinh a \sinh b \cos C

Bu, hiperbolik kosinüs kuralıdır.

Modern Uygulamalar: Bu modeller, özel görelilik teorisi, kristallografi, kompleks analiz, ve sayılar teorisinde önemli uygulamalar bulmuştur.
Model Tutarlılığı: Her iki model de hiperbolik aksiyom sistemini tam olarak gerçekler. Bu, hiperbolik geometrinin Öklid geometrisi kadar tutarlı olduğunu gösterir.

Klein ve Poincaré disk modelleri, 19. yüzyılın en önemli matematiksel keşiflerinden biridir ve geometrinin sadece Öklid geometrisi olmadığını göstermiştir.

Geometri Yolculuğunun Sonu

Bu kapsamlı çalışmada, geometrinin temel aksiyomlarından modern disk modellerine kadar geniş bir yelpaze sunduk. Öklid'den hiperbolik geometriye, temel şekillerden karmaşık dönüşümlere uzanan bu yolculuk, matematiksel düşüncenin evrimini göstermektedir.

Geometrinin Birliği
Tüm bu farklı konular ve yaklaşımlar, geometrinin tek bir büyük resmin parçaları olduğunu gösterir. Aksiyomlar teorinin temelini, modeller ise bu teorilerin somut yorumlarını sunar.

"Geometri, evrenin dilidir." - Galileo Galilei

Bu döküman, geometrinin temel kavramlarından başlayarak modern geometri teorilerine kadar kapsamlı bir bakış sunmuştur. Her bölüm, bir sonraki için temel hazırlarken, geometrinin bütünlüklü yapısını ortaya çıkarmıştır.