Geometric Intuition
Geometry is the study of shape, size, position, and the properties of space. It grounds abstract mathematics in spatial reasoning and provides the visual intuition that guides discovery across all mathematical domains. This skill covers Euclidean geometry, coordinate methods, transformations, trigonometry, and geometric proof techniques.
Agent affinity: euclid (axiomatic geometry, geometric proofs), euler (coordinate methods, analytic geometry)
Concept IDs: math-shape-properties, math-transformations, math-measurement-area, math-coordinate-geometry, math-trigonometry
Part I — Euclidean Geometry
Foundational Objects
Euclid's Elements (c. 300 BCE) builds geometry from five postulates. The first four are uncontroversial; the fifth (the parallel postulate) generated two millennia of investigation and eventually the discovery of non-Euclidean geometries.
Points have no dimension — they represent position only. Lines extend infinitely in both directions and are determined by any two distinct points. Planes are flat, two-dimensional surfaces extending infinitely.
Angles
An angle measures the rotation between two rays sharing a common endpoint (vertex).
| Type | Measure | Example | |---|---|---| | Acute | 0 < theta < 90 degrees | Interior angles of an equilateral triangle (60 degrees each) | | Right | theta = 90 degrees | Corner of a rectangle | | Obtuse | 90 < theta < 180 degrees | Obtuse angle in a 30-30-120 triangle | | Straight | theta = 180 degrees | A line viewed as an angle | | Reflex | 180 < theta < 360 degrees | The "outside" of an acute angle |
Key angle relationships:
- Vertical angles are equal: when two lines cross, opposite angles are congruent.
- Supplementary angles sum to 180 degrees.
- Complementary angles sum to 90 degrees.
- Parallel line transversal: Corresponding angles are equal; alternate interior angles are equal; co-interior (same-side) angles are supplementary.
Triangle Fundamentals
The angle sum theorem. The interior angles of any triangle sum to 180 degrees. (This is equivalent to the parallel postulate in Euclidean geometry; in hyperbolic geometry the sum is less, in spherical geometry it is greater.)
Triangle classification by sides: Equilateral (all sides equal), isosceles (at least two equal), scalene (all different). By angles: Acute (all angles < 90), right (one angle = 90), obtuse (one angle > 90).
Triangle inequality. For any triangle with sides a, b, c: a + b > c, a + c > b, b + c > a. Three positive numbers form a triangle if and only if each is less than the sum of the other two.
Congruence
Two figures are congruent if one can be transformed into the other by rigid motions (translations, rotations, reflections) — they have the same shape and size.
Triangle congruence criteria:
- SSS (Side-Side-Side): Three pairs of equal sides.
- SAS (Side-Angle-Side): Two pairs of equal sides with the included angle equal.
- ASA (Angle-Side-Angle): Two pairs of equal angles with the included side equal.
- AAS (Angle-Angle-Side): Two pairs of equal angles with a non-included side equal.
- HL (Hypotenuse-Leg): For right triangles, equal hypotenuse and one equal leg.
- SSA does NOT work in general (the ambiguous case — can produce 0, 1, or 2 triangles).
Similarity
Two figures are similar if one can be transformed into the other by a combination of rigid motions and dilation — they have the same shape but possibly different size. The ratio of corresponding sides is the scale factor k.
Triangle similarity criteria:
- AA (Angle-Angle): Two pairs of equal angles (the third is forced by the angle sum theorem).
- SAS similarity: One pair of equal angles with the adjacent sides in proportion.
- SSS similarity: All three pairs of sides in the same ratio.
Worked example. In triangle ABC, DE is parallel to BC with D on AB and E on AC. Prove triangle ADE is similar to triangle ABC.
Proof. Since DE is parallel to BC, angle ADE = angle ABC (corresponding angles with transversal AB) and angle AED = angle ACB (corresponding angles with transversal AC). By AA similarity, triangle ADE ~ triangle ABC.
Part II — Triangle Geometry
The Pythagorean Theorem
In a right triangle with legs a, b and hypotenuse c: a^2 + b^2 = c^2.
Proof (Euclid, Elements I.47). Construct squares on each side of the right triangle. The square on the hypotenuse can be dissected into two rectangles, each equal in area to one of the leg squares, established by the congruence of triangles formed by dropping an altitude from the right angle to the hypotenuse.
Converse. If a^2 + b^2 = c^2 for a triangle with sides a, b, c, then the angle opposite c is a right angle.
Generalization. If the angle C opposite side c satisfies c^2 = a^2 + b^2 - 2ab*cos(C) (law of cosines), then the Pythagorean theorem is the special case C = 90 degrees (where cos(90) = 0).
The Law of Sines
For any triangle with sides a, b, c opposite angles A, B, C:
a/sin(A) = b/sin(B) = c/sin(C) = 2R
where R is the circumradius (radius of the circumscribed circle).
When to use. When you know an angle and its opposite side, plus one other piece (AAS or ASA configurations).
The ambiguous case (SSA). Given angle A, side a, and side b: if a < b*sin(A), no triangle exists; if a = b*sin(A), exactly one (right) triangle; if b*sin(A) < a < b, two triangles; if a >= b, one triangle.
The Law of Cosines
c^2 = a^2 + b^2 - 2ab*cos(C)
When to use. When you know SAS (two sides and the included angle) or SSS (all three sides, solving for an angle).
Worked example. In a triangle with a = 5, b = 7, C = 60 degrees, find c.
c^2 = 25 + 49 - 2(5)(7)cos(60) = 74 - 70(0.5) = 74 - 35 = 39. So c = sqrt(39) approximately 6.245.
Part III — Circle Geometry
Fundamental Properties
A circle is the set of all points at distance r (the radius) from a center point O. The diameter d = 2r. Circumference = 2*pi*r. Area = pi*r^2.
Tangent Lines
A tangent to a circle at point P is perpendicular to the radius OP. Two tangent segments from an external point to a circle are equal in length.
Inscribed Angles
Inscribed angle theorem. An inscribed angle (vertex on the circle, sides are chords) is half the central angle subtending the same arc. Consequence: all inscribed angles subtending the same arc are equal.
Thales' theorem (special case). An inscribed angle subtending a diameter is a right angle.
Power of a Point
For a point P and a circle, the power of P is d^2 - r^2, where d is the distance from P to the center.
- If two chords through P intersect the circle at A, B and C, D respectively: PA PB = PC PD.
- If a secant through P meets the circle at A, B and a tangent from P touches at T: PA * PB = PT^2.
This invariant simplifies many circle geometry problems.
Cyclic Quadrilaterals
A quadrilateral is cyclic (inscribable in a circle) if and only if opposite angles sum to 180 degrees. Ptolemy's theorem for cyclic quadrilaterals ABCD: AC BD = AB CD + AD * BC.
Part IV — Coordinate Geometry
The Coordinate Plane
Descartes' coordinate system (Cartesian plane) maps geometric objects to algebraic equations and vice versa, bridging geometry and algebra.
Core Formulas
Distance. Between (x_1, y_1) and (x_2, y_2): d = sqrt((x_2 - x_1)^2 + (y_2 - y_1)^2).
Midpoint. ((x_1 + x_2)/2, (y_1 + y_2)/2).
Slope. m = (y_2 - y_1)/(x_2 - x_1). Undefined for vertical lines.
Parallel lines have equal slopes. Perpendicular lines have slopes whose product is -1 (m_1 * m_2 = -1), provided neither is vertical.
Line Equations
- Slope-intercept: y = mx + b
- Point-slope: y - y_1 = m(x - x_1)
- General form: ax + by + c = 0
- Distance from point (x_0, y_0) to line ax + by + c = 0: |ax_0 + by_0 + c| / sqrt(a^2 + b^2)
Conic Sections
The