Geometry Study Guide

📖 Core Concepts Geometry – the study of distance, shape, size, and relative position of figures; modernly defined on any space (set with a structure that allows geometric notions). Axioms & Foundations – formal statements (e.g., Hilbert’s axioms) from which all theorems are derived; the parallel postulate distinguishes Euclidean from non‑Euclidean geometries. Points, Lines, Planes – primitive objects: a point has no size; a line is the set of points satisfying a linear equation (analytic view) or an incidence relation; a plane is a flat 2‑D surface extending infinitely. Manifolds – spaces locally homeomorphic (topologically equivalent) to Euclidean space; a differentiable manifold has locally diffeomorphic neighborhoods, allowing calculus. Metric & Curvature – a metric assigns distances (Euclidean, hyperbolic, Lorentz). Gaussian curvature is intrinsic (Gauss’s Theorema Egregium). Euclidean vs. Non‑Euclidean – Euclidean: one parallel through a point; hyperbolic: infinitely many parallels; elliptic: no parallels. Triangle angle sums are 180°, \<180°, and \>180°, respectively. Analytic Geometry – represents geometric objects with coordinate equations; enables algebraic manipulation of curves and surfaces. Projective Geometry – studies properties invariant under projection; introduces points at infinity so parallel lines intersect; key invariant: cross‑ratio. Symmetry & Duality – symmetry = transformations leaving a figure unchanged (group action); duality in projective geometry swaps points ↔ planes, joins ↔ meets. --- 📌 Must Remember Euclidean Parallel Postulate: Through a point not on a line there is exactly one parallel line. Triangle Angle Sums: Euclidean = 180°, Hyperbolic < 180°, Elliptic > 180°. Pythagorean Theorem: $a^{2}+b^{2}=c^{2}$ for right‑angled triangles. Gauss’s Theorema Egregium – curvature is intrinsic; it can be computed from the metric alone. Hilbert’s Axioms – provide a complete, consistent foundation for Euclidean geometry. Cross‑Ratio Invariance: For four collinear points $A,B,C,D$, $$[A,B;C,D]=\frac{AC}{BC}\Big/\frac{AD}{BD}$$ remains unchanged under projective maps. Congruence vs. Similarity – congruent = same size & shape; similar = same shape, possibly different size (constant scale factor). Compass‑Straightedge Limitations – impossible to trisect a general angle or double the cube with only those tools. --- 🔄 Key Processes From Axioms to Theorem List relevant axioms (e.g., incidence, order, congruence). Apply logical deductions step‑by‑step, citing each axiom used. Deriving the Equation of a Line (Analytic Geometry) Identify two points $(x1,y1)$, $(x2,y2)$. Compute slope $m=\frac{y2-y1}{\,x2-x1\,}$. Use point‑slope form: $y-y1=m(x-x1)$. Compass‑Straightedge Construction of a Perpendicular Bisector Draw arcs of equal radius centered at each endpoint of a segment. Connect the two intersection points of the arcs; the line through them bisects the segment at right angles. Checking Similarity of Triangles Verify one of: AA, SAS (ratio of sides + included angle), or SSS (all side ratios equal). Computing Gaussian Curvature $K$ on a Surface Patch Obtain the first fundamental form $I=E\,du^2+2F\,du\,dv+G\,dv^2$. Compute the second fundamental form $II=e\,du^2+2f\,du\,dv+g\,dv^2$. Use $K=\frac{eg-f^{2}}{EG-F^{2}}$. --- 🔍 Key Comparisons Euclidean vs. Hyperbolic vs. Elliptic Parallel lines: 1 / ∞ / 0. Triangle angle sum: 180° / \<180° / \>180°. Analytic vs. Projective Geometry Analytic: uses coordinates, preserves distances/angles. Projective: ignores distance/angle, preserves incidence and cross‑ratio. Differential vs. Algebraic Geometry Differential: smooth manifolds, uses calculus, studies curvature. Algebraic: sets defined by polynomial equations, focuses on algebraic varieties. Congruence vs. Similarity Congruence → identical size (SSS, SAS, ASA). Similarity → proportional sides, equal angles (AA, SAS similarity). --- ⚠️ Common Misunderstandings “All triangles have 180° angles.” Only true in Euclidean space. Curvature is always extrinsic. Gauss showed it can be determined intrinsically. Projective geometry eliminates parallel lines. It adds points at infinity so that parallel lines meet. Any construction is possible with compass & straightedge. Classical impossibility results (e.g., angle trisection) apply. Manifolds are always subsets of Euclidean space. Abstract manifolds may not embed in any $\mathbb{R}^n$ without self‑intersection. --- 🧠 Mental Models / Intuition Rubber‑Sheet Analogy (Topology) – Stretching or bending without tearing does not change topological properties (e.g., a coffee cup ↔ a torus). Camera Lens (Projective Geometry) – Imagine the eye as a pinhole; all 3‑D points project onto a 2‑D image, turning parallel lines into converging ones at a vanishing point. Curvature as “How a Surface Feels” – Walk on a sphere: triangles have excess angle; on a saddle (negative curvature) they have deficit. Symmetry Group as “Moves That Hide Nothing” – Rotations, reflections, translations that leave the figure unchanged form a group; the larger the group, the more symmetric the figure. --- 🚩 Exceptions & Edge Cases Fractional (Fractal) Dimensions – Objects like the Koch snowflake have non‑integer Hausdorff dimension; Euclidean formulas for length/area may diverge. Lorentz Metric Signature – In relativity, distance can be zero for distinct events (lightlike separation). Manifolds Without Global Euclidean Charts – The Möbius strip is locally Euclidean but has no single global coordinate chart without overlap. Non‑Constructible Numbers – Lengths like $\sqrt[3]{2}$ cannot be obtained with compass & straightedge alone. --- 📍 When to Use Which Analytic Geometry – Points/lines given with coordinates; need equations, slopes, distances. Projective Geometry – Problems involving perspective, vanishing points, or invariants under projection (e.g., cross‑ratio). Differential Geometry – Questions about curvature, geodesics, or physics (GR, spacetime). Algebraic Geometry – Studying solution sets of polynomial systems, varieties, or intersection multiplicities. Computational Geometry – Algorithmic tasks: convex hull, nearest‑neighbor search, collision detection. Convex Geometry – Optimization problems, isoperimetric inequalities, or any setting where “line segment between any two points stays inside”. --- 👀 Patterns to Recognize Invariant Quantities – Cross‑ratio, curvature sign, Euler characteristic. Congruence/Similarity Criteria – Look for matching side ratios or equal angles (AA, SAS, SSS). Linear Relationships – Any two-point condition in analytic geometry yields a linear equation. Symmetry Indicators – Repeated motifs, equal angles, equal edge lengths → likely reflective or rotational symmetry. “One‑Point Compactification” – Appearance of “points at infinity” signals a projective setting. --- 🗂️ Exam Traps Choosing Euclidean formulas for non‑Euclidean questions – e.g., using $c^{2}=a^{2}+b^{2}$ in hyperbolic triangle problems. Assuming “parallel” means never intersecting – in projective geometry, parallel lines intersect at a point at infinity. Misreading “dual” theorem – duality swaps points ↔ planes; the statement is not the same as taking a reciprocal or inverse. Confusing similarity ratio with area ratio – area scales with the square of the linear similarity factor. Believing every construction is possible – angle trisection and cube duplication are classic impossibilities. Treating the Lorentz metric like Euclidean distance – sign changes lead to “timelike”, “spacelike”, and “lightlike” intervals; a zero “distance” does not imply coincidence. ---