Fact-checked by Grok 2 weeks ago

Euclidean geometry

Euclidean geometry is a mathematical discipline that systematically studies the properties of points, lines, angles, surfaces, and solids in a flat, two- and three-dimensional space, founded on a set of definitions, axioms, and postulates developed by the ancient Greek mathematician Euclid in his seminal work Elements around 300 BCE.^[1] This geometry assumes a Euclidean plane where parallel lines never intersect and the sum of angles in a triangle is 180 degrees, forming the basis for classical notions of space and measurement.^[2] The Elements comprises 13 books with 465 propositions, beginning with foundational plane geometry and progressing to number theory, proportions, and solid figures, all derived deductively from 23 definitions, five postulates, and five common notions in Book I.^[3] Euclid's five postulates include: (1) a straight line can be drawn between any two points; (2) a finite straight line can be extended indefinitely; (3) a circle can be described with any center and radius; (4) all right angles are equal; and (5) if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines will intersect on that side.^[4] The common notions, such as "things equal to the same thing are equal to one another" and "the whole is greater than the part," provide general principles applicable across mathematics.^[4] As the most widely circulated and influential mathematical text in history, with over 1,000 editions since the 15th century, Elements established the deductive method as a model for scientific inquiry, profoundly shaping fields from physics—such as Newton's Principia—to philosophy and education for more than two millennia.^[3]^[1] It synthesized earlier Greek mathematical traditions, including those of the Pythagoreans and Theaetetus, and remains a cornerstone for understanding logical proof and geometric constructions using straightedge and compass.

Foundations

Axioms and Postulates

Euclidean geometry, as systematized in Euclid's Elements, relies on a set of foundational assumptions known as postulates, which serve as unprovable starting points for logical deduction. These postulates articulate basic truths about geometric constructions, enabling the derivation of theorems through rigorous proof. Unlike definitions, which clarify terms, or common notions, which provide general logical principles, the postulates are specific to spatial relations and constructions in the plane.^[5] Euclid, active around 300 BCE, did not originate all elements of his system but compiled and organized material from earlier Greek mathematicians, including significant contributions from Hippocrates of Chios (c. 470–410 BCE), who is credited with the first known treatise on geometric elements. This compilation synthesized prior axiomatic efforts, such as Hippocrates' work on lunes and systematic geometry, into a cohesive framework that became the standard for over two millennia.^[6]^[7] The postulates are accepted without proof, forming the axiomatic basis from which all subsequent propositions flow; they assume the existence and performability of fundamental operations using idealized tools like the straightedge and compass. Euclid presents five postulates in Book I of the Elements, with the first four directly enabling the construction of lines, extensions, and circles, while the fifth addresses parallel lines (detailed separately).^[5]^[8] The first postulate states: "To draw a straight line from any point to any point." This guarantees that between any two distinct points, a unique straight line segment can be constructed, forming the basis for connecting points and defining linear figures in the plane.^[5] The second postulate states: "To produce a finite straight line continuously in a straight line." It allows any finite line segment to be extended indefinitely in either direction while remaining straight, ensuring that lines have no inherent length limit and supporting constructions requiring arbitrary extensions, such as in proving triangle inequalities.^[9] The third postulate states: "To describe a circle with any center and radius." This permits the construction of a circle given a center point and a radius (typically a line segment from another point), underpinning all circular constructions and enabling the transfer of distances via compass, as seen in early propositions like I.2 and I.3.^[10] The fourth postulate states: "That all right angles equal one another." It asserts the congruence of all right angles, providing a universal unit for angle measurement and ensuring rotational invariance, which is crucial for constructing perpendiculars and comparing angular measures across figures.^[11] Together, these first four postulates imply the feasibility of basic geometric constructions—drawing lines, extending them, creating circles, and establishing equal angles—without presupposing advanced theorems, thus allowing Euclid to build a deductive system from intuitive primitives.^[12]

Parallel Postulate

The fifth postulate of Euclid's Elements, often called the parallel postulate, states: "That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles."^[13] This formulation addresses the behavior of lines intersected by a transversal, implying conditions under which lines converge rather than remaining parallel indefinitely.^[13] Equivalent to Euclid's fifth postulate is Playfair's axiom, proposed by Scottish mathematician John Playfair in 1795, which states: "Given a line and a point not on that line, there exists exactly one line through that point parallel to the given line."^[14] This version emphasizes the existence and uniqueness of parallels, simplifying the original while preserving its logical content; proofs of equivalence rely on the first four postulates and basic propositions like the existence of parallels from transversal constructions.^[15] Another equivalent formulation appears in the theorem that the sum of the interior angles of a triangle equals 180 degrees, a direct consequence that ties the postulate to core properties of triangles in plane geometry.^[16] Throughout history, mathematicians sought to prove the fifth postulate as a theorem derivable from Euclid's first four postulates and common notions, viewing it as less self-evident.^[17] Ptolemy, in the 2nd century CE, attempted such a proof by assuming properties of circles and right angles that implicitly relied on the postulate itself, as later critiqued by Proclus in the 5th century.^[17] In the 11th century, Persian mathematician Omar Khayyam pursued a proof using a reductio ad absurdum approach with intersecting lines and right triangles, but his method circularly assumed the uniqueness of parallels through additional geometric assumptions.^[18] These efforts, spanning centuries, ultimately failed to derive the postulate independently, highlighting its foundational independence.^[19] The parallel postulate distinguishes Euclidean geometry by ensuring the uniqueness of parallel lines in the plane, which underpins the consistency and exclusivity of its theorems, such as the angle sum in triangles and properties of similar figures.^[16] Without it, alternative geometries emerge where parallels may converge or diverge, altering the structure of plane geometry entirely and demonstrating that Euclid's system relies on this axiom for its characteristic flatness and predictability.^[20]

Common Notions

In Euclidean geometry, the common notions represent a set of five fundamental principles articulated by Euclid in the Elements to serve as universal axioms applicable across mathematical disciplines, distinct from the geometry-specific postulates. These notions provide the logical groundwork for handling equality, addition, subtraction, coincidence, and inequality, ensuring consistency in deductions without relying on geometric constructions.^[21] Euclid's five common notions are as follows:

Things which are equal to the same thing are also equal to one another.
If equals are added to equals, the wholes are equal.
If equals are subtracted from equals, the remainders are equal.
Things which coincide with one another are equal to one another.
The whole is greater than the part.^[22]

The first three common notions establish transitivity and basic operations on equality, forming a theory of equivalence that underpins proofs involving magnitudes and figures throughout the Elements, such as those in Books I and II. The fourth notion justifies superposition for comparing shapes, while the fifth enables arguments about part-whole relations, though their explicit usage in the text is limited and sometimes supplemented by later commentators.^[21] Unlike the postulates, which pertain exclusively to geometric actions like drawing lines or circles, the common notions are non-geometric and intended for broad application in quantitative sciences, including arithmetic. This separation highlights their role as shared logical tools rather than domain-specific assumptions.^[21] These principles influenced subsequent developments in formal logic, particularly through their integration into Aristotle's common axioms, which shaped philosophical frameworks for scientific deduction in antiquity and beyond.^[21]

Basic Elements

Points, Lines, and Planes

In Euclidean geometry, points, lines, and planes form the primitive, undefined elements that serve as the foundational building blocks for all geometric figures and constructions. These elements are introduced without prior definition, relying instead on intuitive understanding and axiomatic relations to establish their properties and interactions. This approach, originating in Euclid's Elements, allows the development of a consistent system where more complex notions are derived from these basics.^[23] A point is conceptualized as that which has no part, embodying a dimensionless location with no extension in any direction.^[24] The ends of lines are points, underscoring their role as boundary markers. A line is defined as breadthless length, representing a straight path connecting points without width or thickness. Specifically, a straight line is one that lies evenly with the points on itself, ensuring uniformity along its extent. Lines extend infinitely in both directions, as any finite segment can be prolonged continuously straight, per Euclid's second postulate. A plane is a flat surface possessing length and breadth but no depth, with its boundaries consisting of lines. A plane surface lies evenly with the straight lines drawn upon it, maintaining flatness without curvature. Planes contain lines and extend infinitely, serving as the ambient space for planar figures. Two distinct lines in the same plane intersect at most at one point unless they coincide entirely, a consequence of the uniqueness of lines through pairs of points.^[24] The incidence axioms, formalized rigorously by Hilbert, govern how points, lines, and planes relate. For any two distinct points, there exists a unique line containing both, and any two distinct points on a line uniquely determine that line.^[24] Every line contains at least two points, and there exist at least three points not all on the same line. For planes, any three non-collinear points determine a unique plane, and any three non-collinear points in a plane uniquely determine it. If two points of a line lie in a plane, the entire line lies in that plane. If two planes share a point, they share at least a second point, implying their intersection is a line. Every plane contains at least three non-collinear points, ensuring dimensional structure.^[24] Basic relations among these elements include collinearity and coplanarity. Points are collinear if they all lie on the same line, as defined by the incidence relation where multiple points share a unique line.^[24] Points are coplanar if they all lie on the same plane, extending the incidence to planar containment for sets of points not reducible to a line.^[24] These relations form the basis for classifying configurations in Euclidean space.

Angles and Triangles

In Euclidean geometry, a plane angle is defined as the inclination to one another of two lines in a plane that meet at a point and do not lie straight. When these lines are straight, the angle is termed rectilineal. This configuration can be visualized as two rays emanating from a common vertex, forming the sides of the angle. Angles are typically measured using degrees, a unit tracing back to Babylonian sexagesimal systems where a full rotation comprises 360 degrees, or radians, a modern unit defined such that a full rotation equals $2\pi radians for compatibility with calculus. Angles are classified based on their measure relative to a right angle, which occurs when a straight line standing on another straight line creates two equal adjacent angles. A right angle measures exactly 90 degrees or \pi/2 radians. An acute angle is less than a right angle, an obtuse angle greater than a right angle but less than a straight angle of 180 degrees or \pi radians, and a straight angle equals 180 degrees. A reflex angle exceeds 180 degrees but is less than 360 degrees, though Euclidean constructions often focus on angles up to 180 degrees. A triangle is the simplest polygon in Euclidean geometry, consisting of three straight line segments connecting three non-collinear points, thereby enclosing a region with three sides and three angles. The parallel postulate plays a crucial role in establishing consistent angle properties within triangles, ensuring that alternate interior angles formed by a transversal are equal when lines are parallel. Triangles are classified by side lengths as scalene, with all sides of different lengths; isosceles, with exactly two sides equal; or equilateral, with all three sides equal. By interior angles, they are acute if all three angles are acute, right if one angle is a right angle, or obtuse if one angle is obtuse. A key property is that the sum of the interior angles equals two right angles, though proofs of this rely on foundational postulates. An important basic property is the exterior angle theorem: in any triangle, extending one side beyond a vertex creates an exterior angle that is greater than each of the two non-adjacent interior angles. This inequality sets the stage for further theorems on angle relations. Additionally, the pons asinorum, or "bridge of asses," asserts that in an isosceles triangle, the two base angles are equal to each other.

Circles and Polygons

In Euclidean geometry, a circle is defined as a plane figure contained by one line such that all straight lines drawn from one point within the figure to the containing line are equal in length.^[25] This defining point is called the center of the circle, and the constant distance from the center to any point on the containing line, known as the circumference, is the radius.^[25] The diameter is any straight line passing through the center and bounded at both ends by the circumference, which bisects the circle into two equal parts.^[26] Additional elements of a circle include the arc, which is a portion of the circumference between two points; the chord, a straight line segment connecting two points on the circumference; and the tangent, a straight line that intersects the circle at exactly one point.^[27] A fundamental property is that the radius drawn to the point of tangency is perpendicular to the tangent line.^[28] This relationship holds because any other line from the center to the tangent would lead to a contradiction in the equality of distances defining the circle.^[28] A polygon is a plane figure bounded by three or more straight line segments forming a closed chain.^[29] Polygons are classified as regular if all sides and interior angles are equal, or irregular otherwise; they are convex if every interior angle is less than 180 degrees and no sides bend inward, or concave if at least one interior angle exceeds 180 degrees, creating a reflex angle. Common examples include quadrilaterals, which have four sides, and pentagons, which have five sides; these can be regular, such as a square or regular pentagon, or irregular with varying side lengths and angles.^[29] Circles and polygons are interrelated through inscription and circumscription: a polygon is inscribed in a circle if all its vertices lie on the circumference, making it cyclic, while a polygon is circumscribed about a circle if the circle is tangent to all its sides, forming the incircle.^[3] Conversely, a circle can be inscribed in a polygon or circumscribed around it, with Book IV of Euclid's Elements detailing constructions for regular polygons in these configurations.^[3]

Constructions and Proofs

Geometric Constructions

Geometric constructions in Euclidean geometry involve creating geometric figures using only an unmarked straightedge and a compass, as specified in Euclid's postulates for drawing straight lines and circles. The straightedge allows the connection of any two points with a line, while the compass enables the drawing of circles with a given center and radius, or the transfer of distances between points. These tools embody Euclid's constructive approach, where all figures are built step-by-step from given elements without measurements or markings.^[3] Basic constructions form the foundation of this system and are detailed in the early books of Euclid's Elements. To construct an equilateral triangle on a given finite straight line, one draws circles centered at each endpoint of the line with radius equal to the line's length; the circles intersect at two points, and connecting one to the endpoints yields the triangle.^[3] Bisecting a given angle involves drawing an arc from the vertex intersecting the rays, then drawing equal arcs from those intersection points to find their intersection, and connecting it back to the vertex to form the bisector.^[3] Constructing a perpendicular bisector of a finite straight line requires drawing circles centered at each endpoint with radius greater than half the line's length; their intersections define points equidistant from the endpoints, and the line through them is the bisector.^[3] Additional perpendiculars, such as from a point not on a line or at a point on a line, follow similar intersection methods using circles to locate midpoints or symmetric points.^[3] Despite their power, these constructions have inherent limitations, as not all geometric problems can be solved with straightedge and compass alone. For instance, it is impossible to trisect an arbitrary angle, such as a 60° angle into three 20° angles, using only these tools.^[30] Similarly, duplicating a cube—constructing a cube with twice the volume of a given unit cube, which requires constructing the length

\sqrt{{grok:render&&&type=render_inline_citation&&&citation_id=3&&&citation_type=wikipedia}}{2}

—cannot be achieved.^[30] A third classical problem, squaring the circle—constructing a square with the same area as a given circle— is also impossible, as proven by Ferdinand von Lindemann in 1882 using the transcendence of \pi.^[31] These impossibilities were rigorously established by Pierre Wantzel in 1837 for trisection and duplication, who showed that such constructions would require solving irreducible cubic equations, leading to field extensions of degrees not powers of 2, which exceed the quadratic extensions possible with straightedge and compass operations.^[30] This algebraic perspective, rooted in field theory, underscores the boundaries of Euclidean constructions while highlighting their role in foundational mathematics.^[32]

Methods of Proof

Euclidean geometry, as systematized in Euclid's Elements, relies on a deductive method to establish the truth of its propositions. This approach begins with a foundational set of axioms, postulates, and common notions, from which all subsequent theorems are derived through logical inference, often in the form of syllogisms that connect premises to conclusions without gaps in reasoning.^[33] Propositions are constructed sequentially, with each new statement building upon previously proven results, ensuring a hierarchical structure where complex geometric properties emerge from simpler ones via rigorous deduction.^[34] This method emphasizes logical necessity, treating geometry as a deductive science where diagrams serve as intuitive aids but not as substitutes for formal proof steps.^[35] The primary proof types in Euclidean geometry are direct proofs and indirect proofs, known as reductio ad absurdum. In a direct proof, one assumes the given premises—such as axioms or prior propositions—and derives the conclusion through a chain of logical steps, often involving constructions or applications of congruence.^[33] For instance, to establish the congruence of two triangles sharing two sides and the included angle (side-angle-side criterion), the proof proceeds by superimposing one triangle onto the other, verifying equality of corresponding parts step by step using postulates on circles and lines, without invoking contradiction.^[35] Direct proofs dominate Euclid's Elements, forming the backbone of its 465 propositions by accumulating evidence linearly from foundational elements.^[34] Indirect proofs, by contrast, assume the negation of the desired conclusion and demonstrate that this leads to a logical contradiction with established axioms or prior results, thereby affirming the original statement.^[33] This method, inherited from classical Greek logic, is used sparingly but effectively in cases requiring existence or uniqueness, such as proving that the base angles of an isosceles triangle are equal by assuming inequality and deriving an absurd overlap of lines.^[35] Reductio ad absurdum ensures completeness in the deductive framework, particularly when direct construction alone cannot resolve ambiguities.^[34] Central to these methods is synthetic geometry, which develops proofs without recourse to coordinate systems or algebraic manipulations, instead relying on qualitative relations like incidence, betweenness, and congruence visualized through diagrams.^[33] Diagrams in Euclid's work encode coexact properties—such as points lying on lines or segments being between others—that remain valid under small perturbations, allowing general inferences while exact metrics (e.g., equality of lengths) are justified textually via axioms.^[35] This synthetic approach preserves the purity of geometric intuition, distinguishing Euclidean proofs from later analytic methods and enabling a focus on spatial relationships derived solely from the axioms.^[34]

Notation and Terminology

In Euclidean geometry, points are conventionally denoted by uppercase letters of the Latin alphabet, such as A, B, or C, to identify specific locations in the plane or space.^[36] This practice facilitates clear reference in diagrams and proofs, where a point's position is indicated without implying any size or dimension. Lines, line segments, and rays employ distinct symbols to convey their extent and direction. A line segment between two points A and B is denoted by \overline{AB}, emphasizing the finite portion connecting them.^[37] Rays, which extend infinitely in one direction from an endpoint, are represented with an arrow symbol, as in \overrightarrow{AB}, where A is the origin and B lies along the ray.^[38] Infinite lines, lacking endpoints, may use two arrows, \overleftrightarrow{AB}, though this is less common in basic treatments.^[37] Angles are named using the angle symbol \angle followed by three points, with the middle point as the vertex; for example, \angle ABC indicates the angle formed by rays \overrightarrow{BA} and \overrightarrow{BC}.^[37] Complementary angles are a pair whose measures sum to $90^\circ, often arising in right triangles where the non-right angles add to a right angle.^[39] Supplementary angles, in contrast, sum to $180^\circ, typically forming a straight line.^[39] Modern adaptations in Euclidean geometry incorporate vector notation for directed quantities, where vectors are often boldfaced lowercase letters (e.g., \mathbf{v}) or arrows over points (e.g., \overrightarrow{[AB](/page/AB)}) to represent displacement or direction in the plane.^[40] For scholarly publication, LaTeX provides standardized symbols such as \overline{[AB](/page/AB)} for segments, \overrightarrow{[AB](/page/AB)} for rays, and \angle [ABC](/page/ABC) for angles, ensuring precise rendering in mathematical documents. These conventions support concise expression in proofs and extend classical notation to computational and analytical contexts.^[41]

Key Theorems

Congruence and Similarity

In Euclidean geometry, congruence refers to the relation between two figures that have identical size and shape, such that one can be superimposed onto the other through rigid transformations including translations, rotations, and reflections. This concept is foundational for establishing equality of geometric properties without measurement. For triangles, which form the basic polygonal units as discussed in prior sections on angles and triangles, specific criteria determine congruence, allowing proofs of equality in sides, angles, and derived quantities. The primary congruence criteria for triangles are as follows. The side-side-side (SSS) criterion holds that two triangles are congruent if their corresponding sides are equal in length; this is demonstrated in Euclid's Elements, Book I, Proposition 8, where triangles with equal bases and equal sides enclosing the bases are shown to have equal angles. The side-angle-side (SAS) criterion states that congruence follows if two sides and the included angle of one triangle are equal to two sides and the included angle of another; Euclid proves this in Book I, Proposition 4. The angle-side-angle (ASA) criterion applies when two angles and the included side are equal, a result derivable from Euclid's propositions on isosceles triangles in Book I, Proposition 26. Additionally, the angle-angle-side (AAS) criterion establishes congruence if two angles and a non-included side are equal, following from the fact that equal angles determine the third angle by the angle sum property. For right triangles, the hypotenuse-leg (HL) criterion specifies congruence when the hypotenuse and one leg are equal, as outlined in standard geometric treatments building on Euclidean foundations. Similarity, in contrast, describes figures of the same shape but possibly different sizes, obtained by uniform scaling, translation, rotation, or reflection. For triangles, similarity implies equal corresponding angles and proportional corresponding sides. The angle-angle (AA) criterion states that two triangles are similar if two angles of one are equal to two angles of the other, since the third angles must then be equal; this is proven in Euclid's Elements, Book VI, Proposition 4. The side-side-side (SSS) similarity criterion requires that the ratios of corresponding sides are equal, as in Book VI, Proposition 5. The side-angle-side (SAS) similarity criterion holds if two sides are proportional and the included angles are equal, per Book VI, Proposition 6. The scaling factor k quantifies the proportional relationship, where corresponding linear dimensions of similar figures are related by k > 0, such that if one figure is scaled by k, its sides become k times longer while angles remain unchanged. Applications of congruence and similarity extend to verifying equalities in geometric configurations. Congruent triangles have corresponding parts that are equal, a principle known as corresponding parts of congruent triangles are congruent (CPCTC), which is used to prove equal lengths or angles in complex figures. For instance, congruence implies equal areas for the figures involved, as superposition preserves enclosed regions. Similarity enables proofs of proportional relationships, such as identifying corresponding parts in scaled diagrams for design or verification purposes.

Pythagorean Theorem

The Pythagorean theorem states that in a right-angled triangle, the square on the hypotenuse is equal to the sum of the squares on the other two sides.^[3] If the legs adjacent to the right angle have lengths a and b, and the hypotenuse opposite the right angle has length c, this relation is expressed as

a^2 + b^2 = c^2.

^[3] Knowledge of this relation predates the Greek tradition, with evidence from ancient civilizations. Babylonian mathematicians around 1800 BCE documented Pythagorean triples—sets of integers satisfying the equation—on the Plimpton 322 clay tablet, demonstrating practical use in generating right triangles without an explicit proof.^[42] In ancient China, the Zhoubi Suanjing (compiled around the 1st century CE but drawing on earlier Warring States period material) presents the theorem as the gougu rule and provides a proof through geometric rearrangement using a diagram that shows the sum of the areas of the squares on the legs equals the area of the square on the hypotenuse, as illustrated in the xuan tu for the 3-4-5 triangle.^[43] Indian mathematician Bhāskara II (12th century CE) offered a concise dissection proof in his Lilavati, arranging four copies of the right triangle inside a large square of side a + b; the four triangles and the inner square of side c fill the area (a + b)^2, and rearranging the triangles reveals two squares of sides a and b, yielding a^2 + b^2 = c^2 with the terse annotation "Behold!".^[44] Euclid's formal proof appears as Proposition 47 in Book I of the Elements (c. 300 BCE), building on earlier propositions about parallels, parallelograms, and congruence.^[3] To prove it, construct squares outwardly on each side of the right triangle ABC with right angle at C; denote the squares on legs CA and CB as having areas a^2 and b^2, and on hypotenuse AB as c^2. Draw the altitude from C to AB, meeting at D, which divides the original triangle into two smaller right triangles ACD and BCD, each similar to ABC by angle correspondence (Proposition VI.8, though anticipated in Books I-II).^[3] The similarities yield proportions: a/c = (segment AD)/a and b/c = (segment DB)/b, so a^2 = c \cdot AD and b^2 = c \cdot DB; since AB = AD + DB = c, adding gives a^2 + b^2 = c(AD + DB) = c^2. This area-based argument, supported by Book II's geometric algebra (e.g., Proposition II.4 on sums of squares and rectangles), avoids coordinate methods and emphasizes spatial equality.^[3]^[45] A similarity-based proof, akin to but distinct from Euclid's, directly exploits the altitude construction without initial squares. In right triangle ABC with right angle at C and altitude CD to hypotenuse AB, triangles ACD, BCD, and ABC are similar, leading to the side ratios a/c = AD/a, b/c = DB/b, and thus a^2 = c \cdot AD, b^2 = c \cdot DB; summing over AD + DB = c confirms a^2 + b^2 = c^2.^[45] Rearrangement proofs, such as that by Frans van Schooten (1657), dissect the squares on the legs into pieces that can be reassembled to form the square on the hypotenuse, preserving areas through congruent triangles and shears; for instance, two right triangles and associated rectangles are shifted to fill the hypotenuse square exactly, visually equating a^2 + b^2 to c^2.^[46] The Pythagorean theorem generalizes to the law of cosines for any triangle with sides a, b, c and angle C opposite c: c^2 = a^2 + b^2 - 2ab \cos C. When C = 90^\circ, \cos C = 0, recovering the original relation; this extension applies to obtuse and acute triangles via vector projections or area formulas.^[47]

Circle Theorems

Circle theorems form a cornerstone of Euclidean geometry, elucidating the relationships between angles, chords, and points within a circle. These results, systematically developed in Book III of Euclid's Elements, rely on the foundational axioms and prior propositions to demonstrate properties that distinguish circular figures from linear and triangular ones. They enable proofs of more complex configurations and underpin applications in constructions and measurements, such as determining right angles or equal segments without direct computation.^[48] Thales' theorem, attributed to the ancient Greek mathematician Thales of Miletus (c. 624–546 BCE), asserts that a triangle inscribed in a semicircle with the hypotenuse as the diameter is a right-angled triangle. Formally, if AB is the diameter of a circle with center O and C is any point on the circumference, then \angle ACB = 90^\circ. This result highlights the circle's role in generating perpendicularity and is proven using properties of isosceles triangles and circle symmetries in Euclid's Elements, Book III, Proposition 31. The theorem's significance lies in its simplicity and utility for verifying orthogonality in geometric figures.^[49] The inscribed angle theorem establishes a proportional relationship between angles subtended by the same arc at the center and at the circumference. Specifically, the measure of an angle inscribed in a circle, formed by two chords sharing a common endpoint on the circumference and subtending an arc, is half the measure of the central angle subtending the same arc. For a circle with center O and points A, B on the circumference, \angle AOB = 2 \angle ACB, where C lies on the major arc AB. This doubling effect arises from the congruence of isosceles triangles formed by radii and is rigorously demonstrated in Euclid's Elements, Book III, Proposition 20, which extends to cases where the inscribed angle is in a segment of the circle. The theorem is essential for comparing angular measures and solving problems involving cyclic quadrilaterals. Properties of chords reveal symmetries relative to the circle's center. Equal chords are equidistant from the center, meaning the perpendicular distances from the center to the chords are equal; conversely, chords at equal distances from the center have equal lengths. If chords AB and CD are equal, then the perpendiculars from the center O to AB and CD satisfy OA' = OC', where A' and C' are the feet of the perpendiculars. This bidirectional equivalence follows from the Pythagorean theorem applied to right triangles formed by the radii and half-chords, as established in Euclid's Elements, Book III, Proposition 14. Such properties facilitate the classification of chords and aid in constructions like dividing circles into equal parts. The intersecting chords theorem, also known as the power of a point theorem for internal intersections, quantifies the products of chord segments at their intersection. If two chords AB and CD intersect at point E inside the circle, then AE \times EB = CE \times ED. This equality holds regardless of the specific positions, provided the intersection is internal, and reflects an invariant power associated with the point E relative to the circle. The proof in Euclid's Elements, Book III, Proposition 35, employs similar triangles formed by the intersecting lines and vertical angles to equate the segment products via cross-multiplication. This theorem extends to other configurations like tangents and secants, underscoring the circle's multiplicative invariances in Euclidean space.

Area and Volume Scaling

In Euclidean geometry, the areas of similar plane figures are related by the square of their similarity ratio k, meaning if one figure is scaled by k relative to another, its area is multiplied by k^2. This fundamental property arises from the proportional correspondence of sides and the equality of angles in similar figures, as established for triangles and extended to other polygons. For instance, the area of a triangle is given by \frac{1}{2}bh, where b is the base length and h is the corresponding height; under scaling by k, both b and h increase by k, yielding a new area of \frac{1}{2}(kb)(kh) = k^2 \left( \frac{1}{2}bh \right). Similarly, the area of a parallelogram is bh, scaling by k^2 since it can be decomposed into two congruent triangles.^[50] The area of a circle is \pi r^2, where \pi is the constant ratio of the circumference to the diameter, approximately 3.14159; scaling the radius by k multiplies the area by k^2. Euclid demonstrated this proportionality using the method of exhaustion in Book XII, Proposition 2, by showing that circles are to one another as the squares on their diameters through limits of inscribed and circumscribed regular polygons. For regular polygons, which approximate circles as the number of sides increases, the area can be calculated by dividing the polygon into congruent isosceles triangles from the center, each with area \frac{1}{2} r^2 \sin\left(\frac{2\pi}{n}\right) for n sides and apothem r, yielding a total area of \frac{1}{2} n r^2 \sin\left(\frac{2\pi}{n}\right); as n grows, this converges to \pi r^2. Extending to three dimensions, volumes of similar solids scale by the cube of the similarity ratio k, so a scaled solid's volume is multiplied by k^3. For a pyramid, the volume is \frac{1}{3} B h, where B is the base area and h is the height; scaling linear dimensions by k affects B by k^2 and h by k, resulting in k^3 \left( \frac{1}{3} B h \right). The volume of a sphere is \frac{4}{3} \pi r^3; Euclid's exhaustion method in Book XII, Proposition 18, relates the sphere's volume to that of its circumscribed cylinder as 2:3, implying the cubic scaling for similar spheres without specifying the constant, which was later quantified. Euclid's exhaustion technique, credited to Eudoxus and refined in the Elements, approximates irregular areas and volumes by successive refinements of polygonal and polyhedral inscriptions, providing a rigorous foundation for these limits without invoking infinitesimals.^[51]^[52]^[53]

Measurement Systems

Units of Length and Angle

In Euclidean geometry, early civilizations relied on anthropometric units for measuring lengths, derived from human body parts to facilitate practical constructions and surveys. The ancient Egyptian royal cubit, approximately 52.3 to 52.5 cm in length, served as a fundamental unit, subdivided into 7 palms each comprising 4 digits, and was employed in monumental architecture like the pyramids around 2700 BCE.^[54] The cubit influenced subsequent systems, including the ancient foot, typically around 30 cm, which approximated the length of a human foot and was used across Mesopotamian and Mediterranean cultures for land measurement.^[54] In ancient Greece, the digit (daktylos), about 1.85 cm or the breadth of a finger, formed the smallest common subunit, building up to larger measures like the plethron, equivalent to 100 Greek feet or roughly 30.8 meters, often applied in athletic tracks and agricultural plotting.^[55] For angles, the degree system originated with Babylonian astronomers around the 2nd millennium BCE, who divided the circle into 360 parts based on their sexagesimal (base-60) numeral system, facilitating celestial observations and geometric calculations.^[56] This convention persisted through Greek mathematicians like Hipparchus in the 2nd century BCE, who subdivided each degree into 60 arcminutes for precise arc measurements.^[56] The radian, a dimensionless unit defined as the angle subtended by an arc equal in length to the radius, emerged in the 19th century; James Thomson coined the term around 1871 to simplify calculus involving circular motion, where one full circle measures $2\pi radians.^[57] The modern metric system standardized length measurement during the French Revolution, with the meter defined in 1799 as one ten-millionth of the Earth's meridian quadrant from pole to equator, determined via surveys from Dunkirk to Barcelona.^[58] This universal approach, adopted internationally by the late 19th century, replaced variable ancient units in scientific and engineering applications of Euclidean geometry. Despite such variations in measurement systems, Euclidean theorems maintain consistency across units, as their proofs rely on relational properties like congruence and proportionality rather than absolute scales, ensuring applicability to any sized figure.^[12]

Arithmetic in Geometry

In Euclidean geometry, arithmetic operations underpin geometric calculations primarily through the theory of ratios and proportions applied to magnitudes, as articulated in Book V of Euclid's Elements. A ratio is defined as the measure of one magnitude relative to another of the same kind, while a proportion equates two such ratios, enabling inferences about equality or inequality among figures without recourse to numerical values. This system allows for the manipulation of lengths, angles, and areas via proportional scaling, such as in the division of segments or the comparison of similar triangles, where if four magnitudes are proportional (A:B = C:D), then their products satisfy A·D = B·C. These principles extend Euclid's common notions on equality to ensure consistent arithmetic relations in geometric contexts.^[59] The arithmetic and geometric means of two line segments illustrate how basic arithmetic integrates with constructions using compass and straightedge. The arithmetic mean of segments of lengths a and b is constructed by placing them end-to-end to form a segment of length a + b, then finding its midpoint, yielding \frac{a + b}{2}. The geometric mean, \sqrt{ab}, is obtained by constructing a semicircle with diameter a + b and erecting a perpendicular at the junction of a and b, where the intersection with the semicircle gives the desired length; this relies on the theorem that the altitude to the hypotenuse in a right triangle is the geometric mean of the segments it creates. Such constructions support proportion-based problems, like duplicating the cube or finding means in harmonic divisions.^[60] Euclidean methods further enable solving quadratic equations geometrically by interpreting them as intersections of curves. For the equation x^2 + px + q = 0, one constructs a circle with diameter related to the coefficients and intersects it with a line shifted by -p/2, where the intersection points' distances from the center provide the roots \frac{-p \pm \sqrt{p^2 - 4q}}{2}, derived from the power of a point or similar triangles. This technique transforms algebraic problems into synthetic constructions, preserving the geometric purity of the approach.^[61]^[62] Despite these capabilities, the original Elements imposes limitations by avoiding algebraic symbolism or manipulation, treating all operations through proportions and avoiding general solutions for higher-degree equations, with algebraic enhancements introduced in subsequent interpretations like those by Omar Khayyam.^[63]^[64]

Coordinate Geometry Introduction

Coordinate geometry, also known as analytic geometry, represents a pivotal advancement in Euclidean geometry by integrating algebraic methods to describe geometric figures. René Descartes introduced this framework in his 1637 work La Géométrie, where he proposed representing points in the plane as ordered pairs of numbers (x, y) relative to a fixed origin and perpendicular axes.^[65] This innovation allows geometric entities to be expressed through algebraic equations, bridging the synthetic methods of classical Euclidean geometry with the precision of coordinate-based analysis.^[66] In this system, straight lines are defined by linear equations of the form ax + by = c, where a, b, and c are constants, and the coefficients determine the line's slope and intercept.^[67] Points satisfying the equation lie on the line, enabling the algebraic manipulation of geometric properties such as intersections and parallelism. The distance between two points (x_1, y_1) and (x_2, y_2) is given by the formula \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}, which derives directly from the Pythagorean theorem applied to the horizontal and vertical segments forming the right triangle between the points.^[68] Euclidean transformations, such as translations and rotations, maintain the structure of the coordinate system by preserving distances and angles. Translations shift all points by a fixed vector (h, k), resulting in new coordinates (x + h, y + k), while rotations about the origin by an angle \theta transform points via the equations x' = x \cos \theta - y \sin \theta and y' = x \sin \theta + y \cos \theta.^[69] These operations are isometries, ensuring that the fundamental Euclidean metric remains invariant.^[70] One key advantage of coordinate geometry lies in its facilitation of algebraic proofs for classical theorems, allowing complex relationships to be verified through equation solving rather than purely diagrammatic arguments. For instance, properties of triangles, such as congruence or the location of centroids, can be demonstrated by assigning coordinates to vertices and applying distance and midpoint formulas.^[71] This approach not only simplifies computations but also extends Euclidean principles to more intricate configurations, enhancing both theoretical insight and practical applicability.^[72]

Applications

Engineering and Design

Euclidean geometry forms the foundational framework for engineering and design, enabling precise representation and analysis of structures through concepts like parallelism, perpendicularity, and congruence. In structural design, engineers rely on these principles to create accurate two-dimensional representations of three-dimensional objects, ensuring that manufactured components fit together seamlessly. This geometric rigor supports the development of robust systems in fields ranging from civil infrastructure to mechanical assemblies, where spatial relationships must be maintained under real-world constraints.^[73] Orthographic projections, a core technique in engineering drawing, utilize Euclidean principles of parallel projection to depict three-dimensional objects on two-dimensional planes without distortion from perspective. These projections involve lines perpendicular to the projection plane, preserving lengths and angles in the plane of projection, which allows designers to visualize and dimension parts accurately for manufacturing. In mechanical design, tolerances are defined using congruence, ensuring that parts are interchangeable by specifying allowable variations that maintain geometric equivalence between mating components. The notion of congruence directly relates to engineering interchangeability, as it guarantees that parts with identical shapes and sizes can be substituted without affecting assembly function.^[73]^[74]^[75] Computer-aided design (CAD) systems leverage Euclidean geometry for vector graphics, where shapes are constructed from points, lines, and curves defined in a Cartesian coordinate space, facilitating scalable and editable representations of engineering models. Boolean operations on polygons, such as union, intersection, and difference, are performed within this Euclidean framework to combine or subtract geometric primitives, enabling the creation of complex assemblies from simple components. These operations rely on algorithms that respect planar Euclidean properties to compute boundaries and overlaps accurately. CAD tools often incorporate coordinate systems to position and transform these elements, aligning with introductory coordinate geometry principles for precise spatial control.^[76]^[77]^[78] In mechanical analysis, Euclidean geometry aids in evaluating stress vectors, which represent force distributions per unit area on surfaces defined by perpendicular planes in three-dimensional space. The stress state at a point is determined by resolving these vectors along mutually orthogonal axes, a process rooted in Euclidean vector addition and scalar multiplication. For beam deflection, similar triangles are employed to relate geometric deformations under load, allowing engineers to predict how elastic curves scale with applied moments through proportional relationships in the deflection diagram.^[79]^[80]^[81] Practical examples illustrate these applications vividly. In bridge truss design, the Pythagorean theorem is used to resolve forces at joints, calculating horizontal and vertical components in right-angled members to ensure structural equilibrium under load. For instance, in a simple Warren truss, engineers apply the theorem to determine tension and compression in diagonal braces by decomposing external forces into perpendicular directions. Architectural scaling employs similarity transformations from Euclidean geometry to proportion models to full-scale buildings, preserving angles and ratios to verify that enlarged designs maintain proportional stability and aesthetics.^[82]^[83]

Physics and Dynamics

In classical dynamics, Euclidean geometry plays a fundamental role in describing the motion of projectiles under gravity, where trajectories form parabolas. Galileo Galilei demonstrated that a projectile launched with an initial horizontal velocity and subject to uniform vertical acceleration traces a parabolic path, derived from the superposition of uniform rectilinear horizontal motion and accelerated vertical fall. This geometric insight allows for the prediction of range and height using properties of conic sections, with the parabola arising as the locus of points equidistant from a focus and directrix in Euclidean space. Vector resolutions using angles further enable the decomposition of forces or velocities into components aligned with coordinate axes, facilitating the application of Newton's laws in rectangular frameworks.^[84] Kinematics employs similar triangles to analyze velocity components in two-dimensional motion, particularly for projectiles or objects moving at angles. By resolving the initial velocity vector into horizontal and vertical parts via the launch angle θ, the components satisfy v_x = v \cos \theta and v_y = v \sin \theta, where the right triangle formed by these components mirrors the geometric proportions of similar triangles. This approach simplifies the independent treatment of horizontal (constant velocity) and vertical (accelerated) motions, with the magnitude of the resultant velocity recoverable via the Pythagorean theorem as v = \sqrt{v_x^2 + v_y^2}. Such geometric decompositions are essential for calculating time of flight and impact points without coordinate transformations.^[85] In the description of conservative fields, Euclidean geometry delineates equipotential lines as perpendicular to the direction of the field lines, ensuring no work is done along these contours. For gravitational or electrostatic fields, the potential V defines level curves where ∇V is orthogonal to the equipotential, a direct consequence of the field's alignment with the negative gradient in flat space. Flux calculations through surfaces rely on the geometric areas and orientations, with Gauss's theorem integrating field strength over closed Euclidean volumes to quantify total flow, as in the divergence theorem applied to vector fields.^[86]/19:_Electric_Potential_and_Electric_Field/19.04:_Equipotential_Lines) Euclidean geometry approximates the spacetime structure in special relativity for low-speed regimes, where Lorentz transformations reduce to Galilean ones, preserving classical distances and angles.^[87]

Other Fields

Euclidean geometry extends its principles beyond traditional mathematics into various interdisciplinary domains, providing foundational tools for modeling spatial relationships and symmetries in computer science, engineering, biology, and the arts. In these fields, concepts such as lines, planes, circles, and transformations enable precise representations and analyses that would otherwise be challenging to achieve. In computer graphics, Euclidean geometry underpins essential operations like geometric transformations and ray tracing. Transformations, including translations, rotations, and scalings, rely on Euclidean vector spaces to manipulate 3D models for rendering scenes realistically. For instance, these affine transformations preserve parallelism and ratios, allowing seamless integration of objects into virtual environments. Ray tracing further employs Euclidean primitives such as lines and planes to simulate light paths: rays are cast from the viewer through pixels, intersecting with scene geometry to compute shading and reflections based on intersection points and normals in 3D space. This method ensures accurate depiction of shadows and global illumination by solving linear equations derived from Euclidean distances. Circuit design leverages Euclidean geometry in the layout and routing phases of integrated circuits, where components are positioned using coordinate systems and signal paths are optimized as straight-line connections. Nodal analysis, while primarily graph-based, incorporates Euclidean coordinates to map node positions on a plane, facilitating the calculation of voltage potentials across the circuit. In very-large-scale integration (VLSI) design, routing algorithms compute Euclidean shortest paths between pins to minimize signal propagation delays, treating interconnects as line segments while adhering to geometric design rules like minimum spacing and layer alignments. This spatial optimization ensures efficient signal integrity, with paths often approximated as Manhattan distances but fundamentally evaluated against Euclidean metrics for performance. In biology, Euclidean geometry informs the study of phyllotaxis, the spiral arrangements of leaves, seeds, or florets in plants, which approximate circular patterns to maximize exposure to sunlight. These spirals, observed in sunflowers and pinecones, form parastichies that follow logarithmic approximations to circles, with divergence angles like the golden angle (approximately 137.5°) derived from Euclidean circle divisions to avoid overlap. Symmetry in organisms also draws on Euclidean principles, such as bilateral or radial configurations in animal bodies, where mirror reflections and rotational symmetries model developmental patterns and structural stability. For example, the bilateral symmetry in vertebrates aligns anatomical features along a central axis, quantifiable through Euclidean distances and angles that underpin evolutionary adaptations. Artistic practices, particularly in perspective drawing, apply Euclidean geometry to create illusions of depth on flat surfaces using vanishing points and similar triangles. Vanishing points represent the convergence of parallel lines in 3D space projected onto a 2D plane, governed by the Euclidean property that parallel lines meet at infinity. Artists construct these by drawing lines from a principal vanishing point to form similar triangles, where ratios of corresponding sides remain constant, allowing proportional scaling of objects receding into the distance. This technique, central to Renaissance works, ensures accurate representation of architecture and landscapes by solving projective relations rooted in Euclidean axioms.

Historical Development

Ancient Foundations

The foundations of Euclidean geometry trace back to practical applications in ancient civilizations, particularly Egyptian surveying techniques used for land measurement after Nile floods, which influenced early Greek mathematicians. Thales of Miletus (c. 624–546 BCE), often regarded as the first Greek geometer, traveled to Egypt and adapted these methods, introducing deductive reasoning to geometry; for instance, he reportedly measured pyramid heights by comparing shadows at midday using similar triangles, a technique that demonstrated proportional relationships in figures.^[88] Egyptian geometry, however, remained empirical and rule-based, lacking the axiomatic structure that Thales began to develop.^[88] Building on Thales' work, Pythagoras (c. 570–495 BCE) and his followers advanced geometric theory through philosophical inquiry, emphasizing numerical harmony and proofs. The Pythagorean school is credited with proving the theorem that in a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides—a result known empirically to earlier Babylonians but rigorously demonstrated in Greece.^[89] They also explored properties of similar figures, the sum of angles in a triangle (equal to two right angles), and constructions of regular polyhedra, laying groundwork for systematic geometry.^[89] These contributions shifted geometry from mere measurement to abstract deduction, influencing subsequent developments. Euclid of Alexandria (fl. c. 300 BCE) synthesized these pre-Euclidean ideas into a comprehensive framework in his seminal work, Elements, comprising 13 books that organized plane and solid geometry, number theory, and irrationals. The text begins with definitions, common notions (axioms), and postulates, then proceeds deductively: Books I–VI cover triangles, circles, and proportions; Books VII–IX address arithmetic and perfect numbers; Book X treats irrationals; and Books XI–XIII explore three-dimensional figures, culminating in proofs for the five Platonic solids.^[90] Written in Alexandria under Ptolemaic rule, Elements compiled results from predecessors like Eudoxus and Theaetetus, establishing geometry as a model of logical rigor that dominated mathematical education for over two millennia.^[90] Post-Euclid, Hellenistic mathematicians extended these principles, with Archimedes (c. 287–212 BCE) advancing volume calculations and conic applications through works like On the Sphere and Cylinder, where he proved a sphere's volume is two-thirds that of its circumscribing cylinder, and Quadrature of the Parabola, employing the method of exhaustion for areas.^[91] Apollonius of Perga (c. 262–190 BCE) further refined conic sections in his eight-book Conics, introducing terminology such as ellipse, parabola, and hyperbola, and deriving properties like tangents and asymptotes using Euclidean methods.^[92] These innovations built directly on Euclid's system, enhancing its applicability to curves and solids. The Hellenistic period saw geometry's spread facilitated by the Library of Alexandria, established around 300 BCE under Ptolemy I and expanded to hold hundreds of thousands of scrolls, serving as a research hub within the Mouseion.^[93] Scholars like Euclid, Eratosthenes, and Apollonius worked there, preserving and disseminating Greek texts while integrating influences from Egypt and beyond, ensuring Euclidean geometry's enduring influence across the Mediterranean world.^[93]

Medieval to Renaissance Advances

During the Islamic Golden Age, scholars at the House of Wisdom in Baghdad played a pivotal role in preserving and advancing Euclidean geometry through translations and commentaries on ancient Greek texts. The first complete Arabic translation of Euclid's Elements was undertaken by al-Ḥajjāj ibn Yūsuf ibn Maṭar around 820 CE, providing a foundational resource that facilitated further mathematical inquiry and integration with Islamic scholarship.^[94] Muhammad ibn Mūsā al-Khwārizmī, active in the early 9th century, contributed to geometry by incorporating Euclidean principles into his algebraic methods, particularly using geometric constructions from Book II of the Elements to justify solutions for quadratic equations in his treatise Kitāb al-jabr wa-l-muqābala. This approach bridged algebra and geometry, demonstrating how lengths and areas could represent unknown quantities, thus extending Euclidean techniques to practical computations.^[95] In the 11th century, Omar Khayyam advanced discussions on the parallel postulate by attempting a proof based on the intersection of a circle and a hyperbola, as outlined in his Sharḥ mā ashkala min muṣādarāt Uqlīdis (Commentary on the Difficulties of the Postulates of Euclid). Although his proof assumed the postulate's validity and did not resolve its independence, it highlighted innovative uses of conic sections within Euclidean frameworks.^[96] Nasīr al-Dīn al-Ṭūsī, in the 13th century, produced a comprehensive commentary on the Elements titled Taḥrīr al-uṣūl li-Uqlīdis (Revision of the Principles for Euclid), which clarified the parallel postulate through rigorous logical analysis and attempted a demonstration using limiting arguments on intersecting lines. His work synthesized earlier Islamic efforts and influenced subsequent European interpretations by emphasizing axiomatic precision.^[97] In medieval Europe, the preservation of Euclidean geometry relied on limited Latin translations and educational texts amid the decline following the fall of Rome. Anicius Manlius Severinus Boethius, in the early 6th century, translated and adapted Greek geometrical works, including elements from Euclid, into Latin as part of his quadrivium treatises, ensuring basic geometric knowledge survived in monastic schools through works like his Geometria, which covered plane and solid figures.^[98] The 13th century saw renewed interest through the introduction of Hindu-Arabic numerals, popularized by Leonardo of Pisa (Fibonacci) in his 1202 Liber Abaci, which demonstrated their utility for geometric calculations such as computing areas and solving Diophantine problems derived from Euclidean propositions. This numeral system facilitated more efficient arithmetic in geometry, bridging Islamic transmissions with European practice and enabling advancements in surveying and architecture.^[99] The Renaissance marked a revival of Euclidean geometry in Europe, driven by access to Greek manuscripts and printing technology. Johannes Regiomontanus (Johann Müller) in the mid-15th century prepared a critical Latin edition of the Elements based on Byzantine Greek texts, correcting earlier medieval translations like that of Campanus of Novara and restoring propositions closer to Euclid's originals, which was instrumental in the 1482 Venice printed edition.^[100] Artistic applications flourished as well, with Leon Battista Alberti applying Euclidean principles to develop linear perspective in his 1435 treatise Della pittura, where he described constructing visual depth using intersecting lines and vanishing points analogous to parallel lines in projective geometry, thereby integrating geometry into Renaissance painting for realistic spatial representation.^[101]

17th to 19th Century Developments

In 1637, René Descartes published La Géométrie, an appendix to his Discours de la méthode, which introduced the method of assigning algebraic coordinates to geometric points, thereby founding analytic geometry and enabling the representation of curves and lines through equations.^[102] This approach transformed Euclidean geometry by bridging algebra and geometry, allowing problems like finding intersections of conic sections to be solved via polynomial equations rather than purely synthetic methods.^[103] During the 18th century, Leonhard Euler advanced the study of polyhedra within Euclidean geometry by deriving a fundamental relation among their vertices, edges, and faces. In his 1758 paper "Elementa doctrinae solidorum," Euler established that for any convex polyhedron, the number of vertices V minus the number of edges E plus the number of faces F equals 2, expressed as V - E + F = 2.^[104] This formula, initially conjectured in 1750, provided a topological invariant that unified properties of Platonic solids and other polyhedra, influencing later developments in combinatorial geometry.^[105] John Playfair reformulated Euclid's parallel postulate in 1795 as a simpler equivalent statement in his Elements of Geometry: through a point not on a given line, exactly one line can be drawn parallel to the given line.^[106] This version, known as Playfair's axiom, gained widespread adoption in textbooks for its clarity and intuitive appeal, facilitating proofs and pedagogical use in Euclidean plane geometry.^[107] Joseph-Louis Lagrange contributed to Euclidean geometry by attempting a proof of the parallel postulate in 1806, using principles from mechanics and the infinity of space to argue for its necessity, though his approach relied on unstated assumptions about homogeneity.^[108] In the 19th century, efforts to rigorously justify Euclid's parallel postulate intensified, with Adrien-Marie Legendre making multiple attempts across editions of his Éléments de géométrie (first published 1794). Legendre sought to derive the postulate from the other axioms using arguments based on the properties of triangles and the concept of equal angles, spanning over 30 years of revisions, but ultimately fell short due to circular reasoning involving infinite regions.^[109] Carl Friedrich Gauss also investigated the parallel postulate in the early 1800s, exploring its implications through measurements on curved surfaces and attempting proofs via limiting arguments on triangles, which highlighted its independence without fully resolving it in the Euclidean context. These investigations underscored the postulate's foundational role, paving the way for axiomatic refinements. Toward the century's end, David Hilbert presented a complete, rigorous axiomatization of Euclidean geometry in his 1899 work Grundlagen der Geometrie, organizing 20 independent axioms into groups for incidence, order, congruence, parallels, and continuity.^[24] Hilbert's system eliminated gaps in Euclid's treatment, such as the undefined notion of "betweenness," and demonstrated the consistency of Euclidean geometry relative to arithmetic, establishing a modern logical foundation.^[110] The 19th century also saw the generalization of Euclidean geometry to higher dimensions, with precursors like August Ferdinand Möbius's introduction of barycentric coordinates in 1827, extending methods toward higher dimensions.^[111] Hermann Grassmann further developed this in his 1844 Die Lineale Ausdehnungslehre, formalizing n-dimensional spaces through multilinear algebra, which allowed the definition of distances and angles in arbitrary dimensions using the Euclidean metric.^[112] These advancements enabled the study of n-dimensional Euclidean spaces as abstract structures, influencing fields from linear algebra to physics.

20th Century and Beyond

In the early 20th century, efforts to modernize the axiomatic foundations of Euclidean geometry culminated in George David Birkhoff's 1932 system, which streamlined Euclid's approach by incorporating metric concepts directly into a minimal set of four postulates. These axioms define points and lines in the plane, establish a distance metric using the real numbers, specify angle measurement via a protractor function, and ensure congruence through a SAS (side-angle-side) criterion, effectively replacing the parallel postulate with analytic tools that embed geometry in the coordinate plane. This metric-based framework proved highly influential for pedagogy and computation, as it aligns Euclidean geometry with the rigor of real analysis while preserving classical theorems. The 19th-century discoveries of non-Euclidean geometries provided sharp contrasts that highlighted the distinctive role of Euclid's parallel postulate, spurring 20th-century reflections on its implications. Nikolai Lobachevsky independently developed hyperbolic geometry in 1829, where through a point not on a given line, infinitely many parallels exist, leading to properties like the angle sum of a triangle being less than 180 degrees. János Bolyai similarly formulated hyperbolic geometry in 1832, emphasizing absolute geometry independent of the parallel postulate. Bernhard Riemann extended this in 1854 by introducing elliptic geometry, in which no parallels exist and triangle angles sum to more than 180 degrees, thus framing Euclidean geometry as a special case amid a broader landscape of consistent alternatives. These developments underscored Euclidean geometry's reliance on the single-parallel assumption, influencing topology and differential geometry.^[113] In physics, 20th-century relativity theory extended Euclidean concepts through Hermann Minkowski's 1908 formulation of spacetime as a four-dimensional manifold with a pseudo-Euclidean (Lorentzian) metric, where the interval ds² = c²dt² - dx² - dy² - dz² contrasts the positive-definite Euclidean metric by allowing timelike, spacelike, and lightlike separations. This Minkowski space underpins special relativity, resolving simultaneity issues in Einstein's framework by treating time as a geometric dimension, though it deviates from pure Euclidean flatness in higher dimensions. General relativity further generalized this to curved spacetimes, but Minkowski's model remains a foundational non-Euclidean extension rooted in Euclidean intuitions.^[114] Contemporary applications sustain Euclidean geometry's relevance in computational fields, where algorithms process geometric primitives like points, lines, and polygons in 2D and 3D Euclidean spaces. Computational geometry, emerging in the 1970s, addresses problems such as convex hull computation (e.g., Graham's scan, O(n log n) time) and Voronoi diagrams for spatial partitioning, enabling applications in graphics, robotics, and GIS. Recent advances in AI-driven theorem proving have automated Euclidean proofs, with DeepMind's AlphaGeometry 2 (2025) achieving gold-medal proficiency on International Mathematical Olympiad-level geometry problems by synthesizing constructs and leveraging millions of synthetic theorems for training.^[115]^[116] These tools, building on formal systems like Birkhoff's, demonstrate Euclidean geometry's enduring utility in verifying complex constructions algorithmically.

Advanced Topics

Treatment of Infinity

In Euclidean geometry, lines and planes are conceptualized as infinite objects that extend without bound. Euclid's second postulate asserts that any finite straight line segment can be continuously extended in a straight line, implying that lines lack endpoints and possess unbounded length.^[12] This extension is not merely practical but axiomatic, allowing constructions and proofs to assume indefinite prolongation, as seen in demonstrations involving parallel lines that never intersect. Planes, similarly, are treated as unbounded surfaces, derivable from the postulates governing points and lines, ensuring the geometry encompasses all directions without limitation.^[12] To address infinite processes, ancient geometers employed the method of exhaustion, a precursor to integration that avoids direct computation with infinity by using finite approximations. Attributed to Eudoxus and refined by Archimedes, this technique proves properties of areas and volumes—such as the area of a circle equaling that of a right triangle with base equal to the circumference and height equal to the radius—through inscribed and circumscribed polygons with increasing sides. By reductio ad absurdum, it demonstrates that the true measure lies between these approximations and cannot differ from it, effectively handling convergence without invoking completed infinities.^[117] Zeno's paradoxes, including the dichotomy (requiring infinite halvings to traverse a finite distance) and Achilles and the tortoise (where the pursuer covers infinite intervals to catch up), highlight tensions in treating space as infinitely divisible. These are resolved through limits, where infinite geometric series sum to finite totals, permitting motion to complete in bounded time within a continuous line.^[118] Aristotle's framework mitigated such issues by endorsing potential infinity—as an ongoing process of extension or division, applicable to geometric constructions like indefinitely prolonging a line—while rejecting actual infinity as a completed totality, which preserved coherence in Greek mathematics.^[119] Modern treatments integrate the completeness axiom of the real numbers, stating that every nonempty subset bounded above has a least upper bound, which underpins the continuity of Euclidean space by ensuring no gaps in lines or planes.^[120] In Hilbert's axiomatization, a dedicated completeness axiom declares the geometric system maximal, unable to add points, lines, or planes without contradicting prior axioms, thereby aligning the infinite extent of Euclidean figures with the uncountable density of the reals.^[121]

Relation to Physical Space

Euclidean geometry provides an intuitive framework for modeling physical space on macroscopic scales, assuming it to be a three-dimensional, homogeneous continuum where properties are uniform at every point and isotropic, meaning directions are equivalent without preferred orientations. This model aligns with everyday experience and classical physics, where distances and angles conform to Euclidean axioms, such as the parallel postulate and Pythagorean theorem. In cosmology, the large-scale structure of the universe is often approximated as homogeneous and isotropic, leading to a flat, Euclidean spatial geometry for zero curvature cases in the Robertson-Walker metric.^[122]^[12] Empirical validations of these assumptions include the near-straight-line propagation of light in the absence of significant gravitational fields, which serves as a practical test of Euclidean paths over vast distances, as proposed in historical debates on geometric empiricism. For instance, astronomical observations of light from distant stars generally follow Euclidean expectations in flat spacetime regions, confirming isotropy through experiments like the Michelson-Morley test, which supported uniform light speed in all directions. In practical applications, the Global Positioning System (GPS) employs Euclidean distance formulas in an Earth-centered inertial frame to compute signal propagation times from satellites to receivers, treating space as flat for positioning accuracy; relativistic corrections, such as gravitational time dilation, amount to only about 45 microseconds per day and are pre-applied to satellite clocks to maintain sub-meter precision.^[12]^[123] However, Euclidean geometry encounters limitations in describing physical space under extreme conditions. In general relativity, the presence of mass and energy induces spacetime curvature, deviating from Euclidean flatness; for example, the sum of angles in a triangle exceeds 180 degrees near massive bodies, and light paths bend, as observed during solar eclipses. These effects are negligible on everyday scales but become pronounced in strong gravitational fields, such as black holes or the early universe. At quantum scales, near the Planck length of approximately $1.6 \times 10^{-35} meters, quantum gravity theories predict that spacetime geometry loses its classical Euclidean structure, potentially becoming discrete, foamy, or relational, where notions of smooth manifolds and fixed distances break down due to quantum fluctuations.^[124]^[125] Philosophically, the relation between Euclidean geometry and physical space has sparked debate between a priori and empirical interpretations. Immanuel Kant posited space as an a priori form of intuition, inherently Euclidean and necessary for synthetic a priori judgments in geometry, independent of empirical content and structuring all outer experience. This view contrasted with empiricist perspectives, which hold that geometric knowledge derives from sensory experience and can be tested or falsified, as evidenced by the viability of non-Euclidean geometries and their empirical realizations in relativity, rendering Euclidean structure a useful approximation rather than an absolute necessity.^[126]^[12]

Axiomatic Modernizations

In the late 19th century, efforts to rigorize Euclidean geometry culminated in David Hilbert's axiomatic system, presented in his 1899 work Grundlagen der Geometrie. Hilbert proposed 20 axioms divided into five groups: eight incidence axioms relating points, lines, and planes; four order axioms defining betweenness; five congruence axioms for segments and angles; one parallel axiom; and two continuity axioms (the Archimedean property and a completeness condition). This system addressed gaps in Euclid's original postulates by explicitly stating assumptions about existence, uniqueness, and ordering, ensuring a complete foundation for plane and solid geometry.^[24] Hilbert's axioms demonstrated independence, as no single axiom could be derived from the others, proven by constructing models satisfying all but one axiom at a time, such as non-Desarguesian planes or non-Archimedean fields. With the completeness axiom, the system achieves categoricity, meaning all models are isomorphic to the real Euclidean plane, providing a precise characterization up to isomorphism. The order axioms refined betweenness by introducing explicit conditions for collinearity and segment ordering (e.g., if B is between A and C, then C is not between A and B), resolving Euclid's implicit reliance on intuitive notions of position. Similarly, congruence axioms were refined to include side-angle-side and angle-side-angle criteria for triangles, with clear definitions of transferable segments and angles, eliminating undefined equalities in Euclid.^[127] In the mid-20th century, Alfred Tarski developed a first-order axiomatization of Euclidean plane geometry using a single sort of points and two primitives: a ternary betweenness relation and a quaternary equidistance relation. His system consists of nine axioms plus a continuity axiom schema, capturing incidence, order, congruence, parallels, and continuity in a decidable theory—any first-order sentence can be algorithmically proven true or false via quantifier elimination over real closed fields. Unlike Euclid's synthetic approach, Tarski's explicitly incorporates order through betweenness axioms (e.g., transitivity and density) and continuity via an axiom schema ensuring the reals' order-completeness, making the theory complete and model-theoretically robust.^[128] These modernizations differ markedly from Euclid's five postulates and common notions by introducing explicit axioms for betweenness to formalize linear order and continuity axioms to handle infinite divisibility and completeness, which Euclid assumed without proof. Hilbert's system remains influential for its synthetic rigor, while Tarski's offers computational advantages through decidability.^[127]

References

[1]
Euclidean Geometry: The First Great Science - University of Pittsburgh
Like Euclid, Newton listed definitions and, where Euclid gave axioms and postulates, Newton gave his celebrated three laws of motion.
[2]
The Axioms of Euclidean Plane Geometry - Brown Math
The Axioms of Euclidean Plane Geometry · 1. A straight line may be drawn between any two points. · 2. Any terminated straight line may be extended indefinitely.Missing: definition | Show results with:definition
[3]
[PDF] Euclid's Elements of Geometry - Richard Fitzpatrick
Euclid's Elements is by far the most famous mathematical work of classical antiquity, and also has the distinction of being the world's oldest continuously ...
[4]
[PDF] Definitions, Postulates, Axioms and Propositions of Euclid's ...
Definition 1. A point is that which has no part. Definition 2. A line is breadthless length. Definition 3. The ends of a line are points. Definition 4.
[5]
Euclid's Elements, Book I, Postulate 1
### Extracted Statement of Euclid's Postulate 1
[6]
Math-History Timeline
Elements of Hippocrates of Chios. Hippocrates was the first to write an Elements of Geometry and although his work is no longer extant it has been reported by ...<|separator|>
[7]
[PDF] 2. Greek mathematics before Euclid - UCR Math Department
Hippocrates took important steps towards the systematic development of geometry from an axiomatic viewpoint, he was one of the first persons credited with using ...
[8]
[PDF] Axiomatic Systems for Geometry - University of Illinois
postulates and axioms. The assumptions that were directly related to geometry, he called postulates.
[9]
Euclid's Elements, Book I, Postulate 2
### Extracted Euclid's Postulate 2
[10]
Euclid's Elements, Book I, Postulate 3
### Extracted Euclid's Postulate 3
[11]
Euclid's Elements, Book I, Postulate 4
- **Euclid's Postulate 4**: "That all right angles equal one another."
[12]
Epistemology of Geometry - Stanford Encyclopedia of Philosophy
Oct 14, 2013 · Geometrical knowledge typically concerns two kinds of things: theoretical or abstract knowledge contained in the definitions, axioms, theorems, ...
[13]
Euclid's Elements, Book I, Postulate 5 - Clark University
Euclid develops the theory of parallel lines in propositions through I.31. Post.5. The parallel postulate is historically the most interesting postulate.
[14]
3.1 Equivalent Parallel Postulates
(Playfair) Given a line and a point not on that line, there exists exactly one line through that point parallel to the given line.
[15]
Euclid - American Mathematical Society
This postulate has a no- table advantage over Euclid's fifth postulate, because it focuses attention on the uniqueness of parallel lines, which (as later ...
[16]
Attempts to Prove Euclid's Fifth Postulate
Proclus mentions Ptolemy's (2nd century) attempts to prove the postulate and demonstrates that Ptolemy had unwittingly assumed what in later years became known ...
[17]
KHAYYAM, OMAR xv. As Mathematician - Encyclopaedia Iranica
May 7, 2014 · Qorra (211-88/826-901) made two attempts to prove the Parallel Postulate. In his treatise on the proof of Euclid's celebrated Postulate ...
[18]
Introduction
He insisted that the parallel postulate cannot be proved from Euclid's first four postulates. In this sense, Lobachevski was a great defender of Euclid: he ...<|separator|>
[19]
Revision v2.0, Chapter I Foundations of Geometry in the Plane
A central concept in Euclidean geometry is that of parallel lines. ... Numerous important consequences follow from the Parallel Postulate, as we now show.
[20]
[PDF] Euclid's Common Notions and the Theory of Equivalence - HAL
other mathematical entities referred to by the Euclidean common notions. 13 Translation in HEATH, The Elements, vol. 1, pp. 247-48. The Greek reads: τὸ Β ...
[21]
Euclid's Elements, Common Notions - Clark University
Common Notions · 1. Things which equal the same thing also equal one another. · 2. If equals are added to equals, then the wholes are equal. · 3. If equals are ...
[22]
Euclid's Elements, Book I - Clark University
A plane surface is a surface which lies evenly with the straight lines on itself. Definition 8. A plane angle is the inclination to one another of two lines in ...
[23]
[PDF] Foundations of Geometry - UC Berkeley math
The material contained in the following translation was given in substance by Professor Hilbert as a course of lectures on euclidean geometry at the ...
[24]
Euclid's Elements, Book I, Definitions 15-18 - Clark University
A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure equal one ...
[25]
404 Not Found
- **Status**: Not Found
[26]
[PDF] Circles in Neutral Geometry Text section 3.8 We will use the usual ...
A diameter is a chord which passes through the center of the circle. A secant to the circle is a line which meets the circle at exactly two points . A tangent ...
[27]
Euclid's Elements, Book III, Proposition 18
### Summary of Proposition 18
[28]
Euclid's Elements, Book I, Definition 19 - Clark University
Euclid names polygons by the number of their angles. For example, Book IV includes constructions of regular pentagons, hexagons, and pentadecagons (15 ...
[29]
[PDF] Why was Wantzel overlooked for a century? The changing ...
Oct 28, 2009 · Finally he showed that the duplication of the cube and the trisection of the angle lead to irreducible cubic equations. I shall now give a ...
[30]
Geometric Construction -- from Wolfram MathWorld
Geometric construction uses a straightedge and compass to create figures and lengths, sometimes called Euclidean constructions, and can create constructible ...
[31]
[PDF] A FORMAL SYSTEM FOR EUCLID'S ELEMENTS - andrew.cmu.ed
Although this marks a slight departure from Euclid, the fact that all assumptions are made explicit provides a more flexible framework to explore the issue as ...Missing: unprovable | Show results with:unprovable
[32]
[PDF] Euclid and beyond: towards a long-term history of deductivity
The deductive organization of Euclid's Elements serves as a model for mathematical and scientific texts in a variety of subjects from antiquity through the ...
[33]
[PDF] On Constructive-Deductive Method For Plane Euclidean Geometry
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that ...
[34]
Points, Lines, Line Segments, Rays and Angles - Kate's Math Lessons
In this introduction to geometry lesson, we'll go over some of the most basic objects that are used: points, lines, line segments, rays, and angles.
[35]
Basic Geometric Symbols and Labeling - MathBitsNotebook (Geo)
Angles are labeled by specifying 3 points, with the center point being the vertex of the angle. This angle is NOT ∠BAC.
[36]
8.01 Introduction to geometric notation - Textbooks :: Mathspace
A ray is denoted by its endpoint and another point on the line, with the ray symbol pointing from the endpoint- in this case, A B → \overrightarrow{AB} AB . ...
[37]
Complementary and supplementary angles review - Khan Academy
Complementary angles are two angles with a sum of 90 ∘. A common case is when they form a right angle.
[38]
[PDF] The Comprehensive LaTeX Symbol List - CTAN
Jan 3, 2024 · Table 334: Miscellaneous LATEX 2 Math Symbols ... TEX imposes a limitation of at most 16 math alphabets per document, but symbols typeset with.
[39]
Plimpton 322 is Babylonian exact sexagesimal trigonometry
Plimpton 322 is a Babylonian tablet containing a proto-trigonometric table, using exact sexagesimal trigonometry, and is a sophisticated scientific artifact.
[40]
Mathematical Treasures - Zhoubi suanjing
These diagrams were added to the original text at some point in an attempt to illustrate a dissection proof of the "Pythagorean Theorem," known by the Chinese ...<|separator|>
[41]
Lilavati of Bhaskara | Mathematical Association of America
Two pages from a 1650 manuscript of the Lilavati of Bhaskara II (1114-1185). The second photo is an illustration of the Pythagorean Theorem.Missing: proof | Show results with:proof
[42]
[PDF] A New Approach to Proving the Pythagorean Theorem
We will develop a simple method based on similarity and geometric progression to prove the. Pythagorean Theorem. While this method can be applied to more ...
[43]
Pythagorean Theorem and its many proofs
The Pythagorean (or Pythagoras') Theorem is the statement that the sum of (the areas of) the two small squares equals (the area of) the big one.
[44]
Full article: Pythagorean Theorem, Law of Sines and Law of Cosines
In this paper, we show how one can use it to give an alternative proof of the Pythagorean theorem (in dimension 2 and higher), the law of sines, and the law of ...
[45]
Book III - Euclid's Elements - Clark University
If in a circle a straight line cuts a straight line into two equal parts and at right angles, then the center of the circle lies on the cutting straight line.
[46]
Euclid's Elements, Book III, Proposition 31 - Clark University
Proposition 31. In a circle the angle in the semicircle is right, that in a greater segment less than a right angle, and that in a less segment ...
[47]
Euclid's Elements, Book VI, Proposition 19 - Clark University
Similar triangles are to one another in the duplicate ratio of the corresponding sides. V.Def.11. Let ABC and DEF be similar triangles having the angle at B ...
[48]
Euclid's Elements, Book XII, Proposition 18 - Clark University
The arguments given in this proof are fairly convincing that any two similar solids are to each other in triplicate ratio of their linear parts. One difficulty ...
[49]
Sphere -- from Wolfram MathWorld
S · = 4piR^2 ; V · = 4/3piR^3.
[50]
Method of exhaustion | calculus, geometry, limits - Britannica
Oct 11, 2025 · Method of exhaustion, in mathematics, technique invented by the classical Greeks to prove propositions regarding the areas and volumes of geometric figures.
[51]
The Cubit: A History and Measurement Commentary - Stone - 2014
Jan 30, 2014 · Some scholars suggest that the longer dimension was the original cubit making it 20.24 inches for the ordinary cubit, and 21.88 inches for the ...
[52]
[PDF] The History of Cartography, Volume 1
the height is at 1/16 size, or one digit (finger's breadth;. Greek daktylos, 1.85 centimeters) to one Greek foot. (29.6 centimeters). Each foot of height was ...
[53]
[PDF] A Genetic Context for Understanding the Trigonometric Functions ...
Readers who work through the entire collection of units will encounter six milestones in the history of the development of trigonometry. ... ancient Babylonian ...
[54]
[PDF] Trigonometry.pdf - Adelphi University
Radian. James Thomson, brother of the physicist Lord William Kelvin, used the word “radian” in his private papers in or before the year 1871. He first used ...
[55]
Defining the International System of Units (SI) | NIST
Sep 29, 2023 · METER (m). Measurement of Length. 1799: The meter is one ten-millionth part of the quadrant of the earth based on a measurement of a meridian ...
[56]
Euclid's Elements, Book V - Clark University
If a first magnitude has to a second the same ratio as a third has to a fourth, and the first is greater than the third, then the second is also greater than ...<|control11|><|separator|>
[57]
[PDF] On Compass and Straightedge Constructions: Means
May 24, 2013 · Construction. 1. Construct the arithmetic and geometric means through the same processes in 4.1 and 4.2. 2. Draw the line perpendicular to ...
[58]
Geometric Construction of Roots of Quadratic Equation
As to the solving of quadratic equations, the simple way of locating the required positions X with ∠AXD = 90°, is by drawing a circle on AD as diameter and ...
[59]
[PDF] 3.7. Geometric Solution of Quadratic Equations
Apr 30, 2023 · In this section, we consider compass and straight edge constructions of solutions to certain quadratic equations. We use similar triangles, ...
[60]
Plane geometry. Introduction to Euclid's Elements. - The Math Page
There is no algebra, no symbols for "angle" or "equals." And there are no two-column proofs! Geometry in this way embraces logic, grammar and rhetoric, which ...Missing: synthetic | Show results with:synthetic
[61]
[PDF] Ratio and Proportion in Euclid James J. Madden Louisiana State ...
The earliest reference is Book V of Euclid's Elements, where Euclid develops the concepts of ratio and proportion for (unmeasured) geometric magnitudes. The ...Missing: scholarly | Show results with:scholarly
[62]
1-01 The Cartesian Plane
René Descartes first published the coordinate system that bears his name in 1637. It is sometimes called the rectangular coordinate system because the grid is ...Plot Ordered Pairs In The... · Plot Points · Endpoint From Midpoint
[63]
René Descartes - Stanford Encyclopedia of Philosophy
Dec 3, 2008 · When the right-angled coordinate system of algebraic geometry was subsequently developed, the name “Cartesian coordinates” honored Descartes' ...
[64]
[PDF] Equations of straight lines | Mathcentre
The equation ax+by +c = 0 is the most general equation for a straight line, and can be used where other forms of equation are not suitable. x y ax + c = 0 x y.
[65]
Distance formula | Analytic geometry (article) - Khan Academy
The distance formula comes from the Pythagorean theorem. The horizontal leg has length |x2-x1|, the vertical leg has length |y2-y1|, and the hypotenuse has ...Missing: source | Show results with:source
[66]
2. Euclidean Group
There are the four types of isometries: translations and rotations (direct isometries), reflections and glide reflections (indirect isometries).
[67]
Euclidean Transformation - an overview | ScienceDirect Topics
Euclidean transformations are a subset of affine transformations in computer vision that include rotations, reflections, and translations. They are simple ...
[68]
Coordinate Geometry Proofs - MathBitsNotebook(Geo)
Coordinate geometry proofs employ the use of formulas such as the Slope Formula, the Midpoint Formula and the Distance Formula, as well as postulates, theorems ...
[69]
13.3 Proofs using coordinate geometry - Fiveable
We can prove midpoint formulas, perpendicular bisectors, and triangle properties using coordinates. This method also helps establish congruence and similarity ...
[70]
[PDF] Basic Concepts of Descriptive Geometry - andrew.cmu.ed
The parallel projection of a figure on p by ƒ is an orthographic projection if the lines in ƒ are normal. (perpendicular) to p. If g is an orthographic ...
[71]
[PDF] Reflections on the Role of Science in the Evolution of Dimensioning ...
The geometric notion of congruence is closely related to the practical engineering notion of interchangeability of parts, as they both belong to an equivalence ...
[72]
Principles of Tolerancing | Engineering Design - McGill University
Tolerance is the total amount a dimension may vary and is the difference between the upper (maximum) and lower (minimum) limits.
[73]
Euclidean Geometry - an overview | ScienceDirect Topics
Euclidean geometry is algebraically represented by the Cartesian co-ordinate system in which points are defined by tuples of numbers.
[74]
[PDF] A simple algorithm for Boolean operations on polygons - Well, quite.
Boolean operations on polygons play an important role in dif- ferent applied fields such as Computer Graphics, GIS or CAD.
[75]
[PDF] AN ALGORITHM FOR COMPUTING THE UNION, INTERSECTION ...
A boolean set operation on two polygons is done by traversing the quadtrees of the polygons and looking for the common parts in nodes representing the same ...
[76]
Stress Vector - an overview | ScienceDirect Topics
Stress vector is defined as a force per unit reference area that results from the application of a stress tensor to a normal vector, representing the intensity ...
[77]
[PDF] An Introduction to Vectors and Tensors from a Computational ... - UTC
The state of stress at a point is uniquely determined by knowledge of the three-component stress vector acting on each of three mutually perpendicular planes.
[78]
1.7: Deflection of Beams- Geometric Methods - Engineering LibreTexts
Aug 24, 2023 · This method entails obtaining the deflection of a beam by integrating the differential equation of the elastic curve of a beam twice and using boundary ...
[79]
5.2 Method of Joints – Engineering Mechanics: Statics
Method of joints is an analysis technique to find the forces in the members of a truss. It looks at each joint individually using the particle equilibrium ...
[80]
Mathematics > Euclidean Geometry > Similarity - Socratica
Equality of Angles: Corresponding angles of similar figures are equal. Area Ratio: The ratio of the areas of two similar figures is equal to the square of the ...
[81]
GALILEO'S STUDIES OF PROJECTILE MOTION
By varying the ball's horizontal velocity and vertical drop, Galileo was able to determine that the path of a projectile is parabolic. A page from Galileo's ...
[82]
Initial Velocity Components - The Physics Classroom
Initial velocity components are the horizontal (v_x) and vertical (v_y) parts of a projectile's initial velocity, describing its horizontal and vertical ...
[83]
Equipotential Lines - HyperPhysics
Equipotential lines are always perpendicular to the electric field. In three dimensions, the lines form equipotential surfaces. Movement along an equipotential ...
[84]
[PDF] 7. Special Relativity - DAMTP
We learn that if a particle is travelling slower than the speed of light in one inertial frame, it will also be travelling slower than light in all others. 7.3 ...
[85]
Thales of Miletus (624 BC - 547 BC) - Biography - MacTutor
Thales discovered how to obtain the height of pyramids and all other similar objects, namely, by measuring the shadow of the object at the time when a body and ...
[86]
Pythagoras - Biography
### Summary of Pythagoras' Geometric Contributions and Historical Context
[87]
Euclid - Biography - MacTutor - University of St Andrews
Euclid was a Greek mathematician best known for his treatise on geometry: The Elements. This influenced the development of Western mathematics for more than ...
[88]
Archimedes - Biography - MacTutor - University of St Andrews
He invented a system for expressing large numbers. In mechanics Archimedes discovered fundamental theorems concerning the centre of gravity of plane figures and ...
[89]
Apollonius (262 BC - 190 BC) - Biography - MacTutor
He developed the hemicyclium, a sundial which has the hour lines drawn on the surface of a conic section giving greater accuracy.
[90]
Eratosthenes - Biography - MacTutor - University of St Andrews
The library is said to have contained hundreds of thousands of papyrus and vellum scrolls. Despite being a leading all-round scholar, Eratosthenes was ...
[91]
[PDF] 8.2. The Period of Transmission
Jul 19, 2023 · This version seems to be based on one of al-Hajjaj's Arabic translations from Greek. This is the oldest surviving Latin translation of Euclid's ...
[92]
[PDF] Part 1: Al-Khw¯arizm¯ı, Quadratic Equations, and the Birth of Algebra
Justification of the rules for solving quadratic equations is given by ex- plicit reference to theorems in Euclid's Elements, mainly from Book II. (this had ...
[93]
Umar Khayyam - Stanford Encyclopedia of Philosophy
Sep 6, 2011 · Khayyam's “Commentary on the Difficulties of Certain Postulates of Euclid's Work ... Euclid's fifth “parallel” postulate states that if a ...The Philosophical Works and... · Khayyam the Mathematician...
[94]
[PDF] 5.3. Euclid's “Elements”
Aug 14, 2023 · In this section we consider the history of the most influential book on math- ematics! The axiom/definition/theorem/proof approach of the ...
[95]
Anicius Manlius Severinus Boethius
May 6, 2005 · Besides writing text-books on arithmetic and geometry, closely based on Greek models, Boethius devoted himself to translating Aristotle's logic ...Missing: Europe | Show results with:Europe
[96]
Fibonacci - Evansville
In the Liber Abbaci, Fibonacci explains (sometimes tediously) the nature of the Hindu-Arabic numerals, their use in calculations with integers and fractions, ...
[97]
[PDF] Menso Folkerts' medieval list of Euclid manuscripts
It is known that the Elements had been translated or reworked by al- Hajjaj, Ishaq b.
[98]
Geometry in Art & Architecture Unit 11 - Dartmouth Mathematics
We will start with explanations of what perspective is, and then outline its historical development, from Brunelleschi's experiment to Alberti's Treatise.What is perspective? · Donatello · Masaccio · Alberti
[99]
Descartes' Mathematics - Stanford Encyclopedia of Philosophy
Nov 28, 2011 · To speak of René Descartes' contributions to the history of mathematics is to speak of his La Géométrie (1637), a short tract included with ...Descartes' Early Mathematical... · La Géométrie (1637) · Book One: Descartes...
[100]
[PDF] René Descartes' Foundations of Analytic Geometry ... - DiVA portal
Jun 19, 2013 · Descartes' La Géométrie of 1637 laid the foundation for analytic geometry with all its applications. This essay investigates whether the ...
[101]
Euler's polyhedron formula | plus.maths.org
Jun 1, 2007 · V - E + F = 2;. or, in words: the number of vertices, minus the number of edges, plus the number of faces, is equal to two. ... which is what ...Missing: Euclidean | Show results with:Euclidean
[102]
Investigating Euler's Polyhedral Formula Using Original Sources
Here, we will discuss Euler's first paper on polyhedra. This topic is particularly appealing to a large audience of students because it is very visual.
[103]
John Playfair (1748 - 1819) - Biography - MacTutor
Two straight lines cannot be drawn through the same point, parallel to the same straight line, without coinciding with one another. This form of axiom was ...Missing: 18th | Show results with:18th
[104]
Mathematical Treasure: Playfair on Teaching Geometry
Playfair's Axiom: Given a line and a point not on the line, it is possible to draw exactly one line through the point parallel to the given line. Although it ...Missing: 18th | Show results with:18th
[105]
[PDF] Why Did Lagrange “Prove” the Parallel Postulate? - Penn Math
Lagrange, in his Analytical Mechanics, used the principle of sufficient reason, Euclid's theory of parallels, and the infinity of space and its Euclidean ...
[106]
Adrien-Marie Legendre - Biography - MacTutor
Adrien-Marie Legendre's major work on elliptic integrals provided basic ... Legendre's attempt to prove the parallel postulate extended over 30 years.Missing: 19th | Show results with:19th
[107]
Hilbert's Program - Stanford Encyclopedia of Philosophy
Jul 31, 2003 · Hilbert, David, 1899, “Grundlagen der Geometrie,” in Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, Leipzig ...<|separator|>
[108]
A Short History of Multiple Dimensions | Galileo Unbound
Mar 8, 2023 · Here is a short history of hyperspace. It begins with advances by Möbius and Liouville and Jacobi who never truly realized what they had invented.
[109]
Nineteenth Century Geometry - Stanford Encyclopedia of Philosophy
Jul 26, 1999 · In the nineteenth century, geometry, like most academic disciplines, went through a period of growth verging on cataclysm.
[110]
Non-Euclidean geometry - MacTutor History of Mathematics
Lobachevsky went on to develop many trigonometric identities for triangles which held in this geometry, showing that as the triangle became small the identities ...Missing: primary | Show results with:primary
[111]
[PDF] Space and Time - UCSD Math
Einstein's initial reaction to Minkowski's view of spacetime and the associated with it four- dimensional physics (also introduced by Minkowski) was not quite ...
[112]
Solving olympiad geometry without human demonstrations - Nature
Jan 17, 2024 · We propose AlphaGeometry, a theorem prover for Euclidean plane geometry that sidesteps the need for human demonstrations by synthesizing millions of theorems ...
[113]
[PDF] The method of exhaustion - UBC Math
For example,. Euclid says that the area of two parallelograms of equal height and base is the same, rather than say that area is equal to the product of base ...
[114]
Zeno's Paradoxes | Internet Encyclopedia of Philosophy
It won't do to react and say the solution to the paradox is that there are biological limitations on how small a step Achilles can take. Achilles' feet are not ...
[115]
Infinity - MacTutor History of Mathematics - University of St Andrews
Aristotle argued against the actual infinite and, in its place, he considered the potential infinite. His idea was that we can never conceive of the natural ...
[116]
https://arxiv.org/abs/2502.03544
[117]
(PDF) Hilbert, completeness and geometry - ResearchGate
This paper aims to show how the mathematical content of Hilbert's Axiom of Completeness consists in an attempt to solve the more general problem
[118]
[PDF] 1 Introduction/Motivation 2 The Geometry of the Universe
The goal is to nd the metric for a space that is isotropic and homogeneous. That will mean that the large-scale curvature is the same every location. Consider.
[119]
[PDF] GPS RECEWRS AND RELATIVITY* INTRODUCTION THEORY
We illustrate the general methods for applying relativistic corrections needed by a GPS receiver in providing time or position to a user.
[120]
The Feynman Lectures on Physics Vol. II Ch. 42: Curved Space
In general, a two-dimensional world will have a curvature which varies from place to place and may be positive in some places and negative in other places. In ...
[121]
Toward a Transformative Hermeneutics of Quantum Gravity
At small (Planck-scale) distances, the geometry of space-time is a weave: a complex interconnection of threads.
[122]
Kant's Views on Space and Time
Sep 14, 2009 · In the first argument of the Metaphysical Exposition, Kant suggests that the representation of space cannot be empirical: 1. Space is not an ...
[123]
[PDF] Hilbert's Axioms - IME-USP
6 Axioms of Incidence. The axioms of incidence deal with points and lines and their intersections. The points and lines are undefined objects. We simply ...
[124]
[PDF] Tarski axioms of Euclidean geometry - Univerzita Karlova
1.1 Axioms. Tarski considered geometry as a first-order theory. Accordingly, all theories here will be in first-order logic. Each theory is formulated in a ...