Search results
Results from the WOW.Com Content Network
Euclid gave the definition of parallel lines in Book I, Definition 23 [2] just before the five postulates. [3] Euclidean geometry is the study of geometry that satisfies all of Euclid's axioms, including the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive.
Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry , there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point (rather than two).
In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry.As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or relaxing the metric requirement.
Saccheri quadrilaterals. A Saccheri quadrilateral is a quadrilateral with two equal sides perpendicular to the base.It is named after Giovanni Gerolamo Saccheri, who used it extensively in his 1733 book Euclides ab omni naevo vindicatus (Euclid freed of every flaw), an attempt to prove the parallel postulate using the method reductio ad absurdum.
Parallel lines are the subject of Euclid's parallel postulate. [2] Parallelism is primarily a property of affine geometries and Euclidean geometry is a special instance of this type of geometry. In some other geometries, such as hyperbolic geometry , lines can have analogous properties that are referred to as parallelism.
Given that Playfair's postulate implies that only the perpendicular to the perpendicular is a parallel, the lines of the Euclid construction will have to cut each other in a point. It is also necessary to prove that they will do it in the side where the angles sum to less than two right angles, but this is more difficult. [17]
The various attempted proofs of the parallel postulate produced a long list of theorems that are equivalent to the parallel postulate. Equivalence here means that in the presence of the other axioms of the geometry each of these theorems can be assumed to be true and the parallel postulate can be proved from this altered set of axioms.
Aristotle's axiom is a consequence of the Archimedean property, [1] and the conjunction of Aristotle's axiom and the Lotschnittaxiom, which states that "Perpendiculars raised on each side of a right angle intersect", is equivalent to the Parallel Postulate. [2] Without the parallel postulate, Aristotle's axiom is equivalent to each of the ...