Search results
Results from the WOW.Com Content Network
Nasir al-Din attempted to derive a proof by contradiction of the parallel postulate. [18] He also considered the cases of what are now known as elliptical and hyperbolic geometry, though he ruled out both of them. [17] Euclidean, elliptical and hyperbolic geometry. The Parallel Postulate is satisfied only for models of Euclidean geometry.
Negating the Axiom of Euclid yields hyperbolic geometry, while eliminating it outright yields absolute geometry. Full (as opposed to elementary) Euclidean geometry requires giving up a first order axiomatization: replace φ( x ) and ψ( y ) in the axiom schema of Continuity with x ∈ A and y ∈ B , where A and B are universally quantified ...
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry, Elements.Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions from these.
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.
In absolute geometry, the Saccheri–Legendre theorem states that the sum of the angles in a triangle is at most 180°. [1] Absolute geometry is the geometry obtained from assuming all the axioms that lead to Euclidean geometry with the exception of the axiom that is equivalent to the parallel postulate of Euclid.
Historically, Euclid's parallel postulate has turned out to be independent of the other axioms. Simply discarding it gives absolute geometry, while negating it yields hyperbolic geometry. Other consistent axiom sets can yield other geometries, such as projective, elliptic, spherical or affine geometry.
Independence of the parallel postulate ; Infinite monkey theorem (probability) Integral root theorem (algebra, polynomials) Initial value theorem (integral transform) Inscribed angle theorem ; Integral representation theorem for classical Wiener space (measure theory) Intermediate value theorem ; Intercept theorem (Euclidean geometry)
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.