Euclidean geometry

Euclidean geometry
Name	Euclidean geometry
Caption	A page from Euclid's Elements, the foundational text.
Founder	Euclid
Era	Hellenistic period
Notable works	Euclid's Elements
Related concepts	Plane, Point, Line, Circle, Triangle

Euclidean geometry. It is the mathematical system attributed to the ancient Greek mathematician Euclid, primarily detailed in his seminal work, Euclid's Elements. This system of geometry is based on a small set of intuitively appealing axioms and postulates, from which a vast body of theorems concerning shapes, sizes, and relative positions of figures in a flat, two-dimensional plane or three-dimensional space is logically deduced. For over two millennia, it served as the cornerstone of mathematics and the standard model of physical space, profoundly influencing fields from ancient mechanics to classical physics and the development of the scientific method.

Foundations and axioms

The entire structure is built upon a foundation of definitions, common notions, and postulates. The most famous of these are the five postulates stated by Euclid, with the fifth, the parallel postulate, being historically the most contentious. This postulate states that through a point not on a given line, exactly one line can be drawn parallel to the given line. The work of mathematicians like Girolamo Saccheri and John Playfair (who offered a clearer equivalent formulation) attempted to prove it from the others. The self-evident "common notions" are general logical axioms about equality, such as "things equal to the same thing are equal to each other." This axiomatic approach, refined by figures like David Hilbert in his foundational work, established a paradigm for deductive reasoning that influenced thinkers from René Descartes to Bertrand Russell.

Basic concepts and definitions

The system begins with fundamental, undefined terms like point, line, and plane, which are given intuitive descriptions. From these, other objects are defined: a line segment is part of a line bounded by two points, a circle is the set of points equidistant from a center point, and a right angle is formed by perpendicular lines. Key defined shapes include the triangle, quadrilateral (like the square and rectangle), and polygon. Concepts of congruence and similarity between figures are central, as are measurements of length, area, and volume. The coordinate system introduced by René Descartes, known as Cartesian coordinates, later allowed these geometric concepts to be described algebraically.

Theorems and proofs

A vast network of theorems is derived from the axioms using strict logical proof. Early and fundamental results include the Pythagorean theorem, attributed to Pythagoras, concerning right triangles. The properties of triangles are extensively explored, such as in the triangle inequality and the congruence theorems (SSS, SAS, ASA). Theorems about circles include those involving chords, tangents, and inscribed angles. Other landmark results are the angle sum of a triangle being 180 degrees, the properties of parallel lines cut by a transversal, and the theory of similar triangles developed by Thales of Miletus. The exhaustive work in Euclid's Elements itself culminates in the proof of the five Platonic solids.

Geometric constructions

A classical aspect involves creating figures using only an idealized compass and unmarked straightedge. Famous construction problems from antiquity include doubling the cube, trisecting the angle, and squaring the circle, which were later proven impossible under these constraints. Standard constructions taught include bisecting a line segment or angle, drawing a perpendicular line, and constructing an equilateral triangle or a regular hexagon inscribed in a circle. The study of these constructions involves proving their correctness based on the axioms and was a primary activity for Greek mathematicians like Archimedes and later scholars in the Islamic Golden Age, such as Omar Khayyam.

Applications and influence

For centuries, it was considered the true description of physical space, underpinning Newtonian physics in his Philosophiæ Naturalis Principia Mathematica. It is essential in fields like architecture, from the Parthenon to modern design, engineering, computer graphics, and cartography. Its axiomatic method influenced the structure of Spinoza's Ethics and the legal reasoning of the United States Constitution. The development of analytic geometry by René Descartes and Pierre de Fermat fused it with algebra, leading directly to calculus as developed by Gottfried Wilhelm Leibniz and Isaac Newton. Its pedagogical role in teaching logical thought remains central in education systems worldwide.

Non-Euclidean geometries

The sustained investigation into the independence of the parallel postulate led to the discovery of geometries where it does not hold. In the early 19th century, Nikolai Lobachevsky and János Bolyai independently developed hyperbolic geometry, where infinitely many parallel lines exist. Later, Bernhard Riemann formulated elliptic geometry, where no parallel lines exist, which became foundational for Einstein's theory of general relativity. These discoveries, championed by mathematicians like Carl Friedrich Gauss and expanded by Felix Klein in his Erlangen program, revolutionized the understanding of mathematical space and demonstrated that Euclid's system was a special case within a broader universe of geometric possibilities.

Category:Geometry Category:Greek mathematics Category:Mathematical systems