Search results
Results from the WOW.Com Content Network
If the sum of the interior angles α and β is less than 180°, the two straight lines, produced indefinitely, meet on that side. In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's Elements, is a distinctive axiom in 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.
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.
The exterior angle theorem is Proposition 1.16 in Euclid's Elements, which states that the measure of an exterior angle of a triangle is greater than either of the measures of the remote interior angles. This is a fundamental result in absolute geometry because its proof does not depend upon the parallel postulate.
Since Euclid's postulate is equivalent to the statement that the sum of the internal angles of a triangle is 180°, he considered both the hypothesis that the angles add up to more or less than 180°. The first led to the conclusion that straight lines are finite, contradicting Euclid's second postulate. So Saccheri correctly rejected it.
In hyperbolic geometry (where Wallis's postulate is false) similar triangles are congruent. In the axiomatic treatment of Euclidean geometry given by George David Birkhoff (see Birkhoff's axioms ) the SAS similarity criterion given above was used to replace both Euclid's parallel postulate and the SAS axiom which enabled the dramatic shortening ...