Misplaced Pages

#154845

39-420: (Compare the above with Playfair's axiom , the modern version of Euclid 's parallel postulate .) The hyperbolic plane is a plane where every point is a saddle point . Hyperbolic plane geometry is also the geometry of pseudospherical surfaces , surfaces with a constant negative Gaussian curvature . Saddle surfaces have negative Gaussian curvature in at least some regions, where they locally resemble

78-400: A horocycle or hypercycle , then the triangle has no circumscribed circle . As in spherical and elliptical geometry , in hyperbolic geometry if two triangles are similar, they must be congruent. Special polygons in hyperbolic geometry are the regular apeirogon and pseudogon uniform polygons with an infinite number of sides. In Euclidean geometry , the only way to construct such

117-429: A line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles , then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles. The complexity of this statement when compared to Playfair's formulation is certainly a leading contribution to the popularity of quoting Playfair's axiom in discussions of

156-421: A coordinate system: the angle sum of a quadrilateral is always less than 360°; there are no equidistant lines, so a proper rectangle would need to be enclosed by two lines and two hypercycles; parallel-transporting a line segment around a quadrilateral causes it to rotate when it returns to the origin; etc. There are however different coordinate systems for hyperbolic plane geometry. All are based around choosing

195-409: A curve called a hypercycle . Another special curve is the horocycle , whose normal radii ( perpendicular lines) are all limiting parallel to each other (all converge asymptotically in one direction to the same ideal point , the centre of the horocycle). Through every pair of points there are two horocycles. The centres of the horocycles are the ideal points of the perpendicular bisector of

234-420: A point (the origin) on a chosen directed line (the x -axis) and after that many choices exist. The Lobachevsky coordinates x and y are found by dropping a perpendicular onto the x -axis. x will be the label of the foot of the perpendicular. y will be the distance along the perpendicular of the given point from its foot (positive on one side and negative on the other). Another coordinate system measures

273-407: A polygon is to make the side lengths tend to zero and the apeirogon is indistinguishable from a circle, or make the interior angles tend to 180° and the apeirogon approaches a straight line. However, in hyperbolic geometry, a regular apeirogon or pseudogon has sides of any length (i.e., it remains a polygon with noticeable sides). The side and angle bisectors will, depending on the side length and

312-466: A small enough circle. If the Gaussian curvature of the plane is −1 then the geodesic curvature of a circle of radius r is: 1 tanh ⁡ ( r ) {\displaystyle {\frac {1}{\tanh(r)}}} In hyperbolic geometry, there is no line whose points are all equidistant from another line. Instead, the points that are all the same distance from a given line lie on

351-800: A third line is introduced, then there can be properties of intersecting lines that differ from intersecting lines in Euclidean geometry. For example, given two intersecting lines there are infinitely many lines that do not intersect either of the given lines. These properties are all independent of the model used, even if the lines may look radically different. Non-intersecting lines in hyperbolic geometry also have properties that differ from non-intersecting lines in Euclidean geometry : This implies that there are through P an infinite number of coplanar lines that do not intersect R . These non-intersecting lines are divided into two classes: Some geometers simply use

390-414: A triangle is always strictly less than π radians (180°). The difference is called the defect . Generally, the defect of a convex hyperbolic polygon with n {\displaystyle n} sides is its angle sum subtracted from ( n − 2 ) ⋅ 180 ∘ {\displaystyle (n-2)\cdot 180^{\circ }} . The area of a hyperbolic triangle

429-514: A triangle, which is stated in Book 1 Proposition 27 in Euclid's Elements . Now it can be seen that no other parallels exist. If n was a second line through P , then n makes an acute angle with t (since it is not the perpendicular) and the hypothesis of the fifth postulate holds, and so, n meets ℓ {\displaystyle \ell } . Given that Playfair's postulate implies that only

SECTION 10

#1732869051155

468-592: A unique parallel through the given point. In 1883 Arthur Cayley was president of the British Association and expressed this opinion in his address to the Association: When David Hilbert wrote his book, Foundations of Geometry (1899), providing a new set of axioms for Euclidean geometry, he used Playfair's form of the axiom instead of the original Euclidean version for discussing parallel lines. Euclid's parallel postulate states: If

507-418: Is Y ) and its logically equivalent contrapositive , is Euclid I.30, the transitivity of parallelism (No Y is X ). More recently the implication has been phrased differently in terms of the binary relation expressed by parallel lines : In affine geometry the relation is taken to be an equivalence relation , which means that a line is considered to be parallel to itself . Andy Liu wrote, "Let P be

546-455: Is logically equivalent to Playfair’s axiom. This notice was recounted by T. L. Heath in 1908. De Morgan’s argument runs as follows: Let X be the set of pairs of distinct lines which meet and Y the set of distinct pairs of lines each of which is parallel to a single common line. If z represents a pair of distinct lines, then the statement, is Playfair's axiom (in De Morgan's terms, No X

585-513: Is a hyperbolic triangle group . There are also infinitely many uniform tilings that cannot be generated from Schwarz triangles, some for example requiring quadrilaterals as fundamental domains. Though hyperbolic geometry applies for any surface with a constant negative Gaussian curvature , it is usual to assume a scale in which the curvature K is −1. This results in some formulas becoming simpler. Some examples are: Compared to Euclidean geometry, hyperbolic geometry presents many difficulties for

624-418: Is constructed as follows. Choose a line in the hyperbolic plane together with an orientation and an origin o on this line. Then: Playfair%27s axiom In geometry , Playfair's axiom is an axiom that can be used instead of the fifth postulate of Euclid (the parallel postulate ): In a plane , given a line and a point not on it, at most one line parallel to the given line can be drawn through

663-415: Is given by its defect in radians multiplied by R , which is also true for all convex hyperbolic polygons. Therefore all hyperbolic triangles have an area less than or equal to R π. The area of a hyperbolic ideal triangle in which all three angles are 0° is equal to this maximum. As in Euclidean geometry , each hyperbolic triangle has an incircle . In hyperbolic space, if all three of its vertices lie on

702-408: Is one and only one parallel". In Euclid's Elements , two lines are said to be parallel if they never meet and other characterizations of parallel lines are not used. This axiom is used not only in Euclidean geometry but also in the broader study of affine geometry where the concept of parallelism is central. In the affine geometry setting, the stronger form of Playfair's axiom (where "at most one"

741-458: Is replaced by "one and only one") is needed since the axioms of neutral geometry are not present to provide a proof of existence. Playfair's version of the axiom has become so popular that it is often referred to as Euclid's parallel axiom , even though it was not Euclid's version of the axiom. Proclus (410–485 A.D.) clearly makes the statement in his commentary on Euclid I.31 (Book I, Proposition 31). In 1785 William Ludlam expressed

780-494: Is shown by constructing a geometry that redefines angles in a way that respects Hilbert's axioms of incidence, order, and congruence, except for the Side-Angle-Side (SAS) congruence. This geometry models the classical Playfair's axiom but not Euclid's fifth postulate. Proposition 30 of Euclid reads, "Two lines, each parallel to a third line, are parallel to each other." It was noted by Augustus De Morgan that this proposition

819-560: Is the Gaussian curvature of the plane. In hyperbolic geometry, K {\displaystyle K} is negative, so the square root is of a positive number. Then the circumference of a circle of radius r is equal to: And the area of the enclosed disk is: Therefore, in hyperbolic geometry the ratio of a circle's circumference to its radius is always strictly greater than 2 π {\displaystyle 2\pi } , though it can be made arbitrarily close by selecting

SECTION 20

#1732869051155

858-401: The spherical model of elliptical geometry one statement is true and the other isn't. Logically equivalent statements have the same truth value in all models in which they have interpretations. The proofs below assume that all the axioms of absolute (neutral) geometry are valid. The easiest way to show this is using the Euclidean theorem (equivalent to the fifth postulate) that states that

897-434: The angle between the sides, be limiting or diverging parallel. If the bisectors are limiting parallel then it is an apeirogon and can be inscribed and circumscribed by concentric horocycles . If the bisectors are diverging parallel then it is a pseudogon and can be inscribed and circumscribed by hypercycles (all vertices are the same distance of a line, the axis, also the midpoint of the side segments are all equidistant to

936-408: The angles of a triangle sum to two right angles. Given a line ℓ {\displaystyle \ell } and a point P not on that line, construct a line, t , perpendicular to the given one through the point P , and then a perpendicular to this perpendicular at the point P . This line is parallel because it cannot meet ℓ {\displaystyle \ell } and form

975-411: The arclength of any hypercycle connecting the points and shorter than the arc of any circle connecting the two points. If the Gaussian curvature of the plane is −1, then the geodesic curvature of a horocycle is 1 and that of a hypercycle is between 0 and 1. Unlike Euclidean triangles, where the angles always add up to π radians (180°, a straight angle ), in hyperbolic space the sum of the angles of

1014-526: The distance from the point to the horocycle through the origin centered around ( 0 , + ∞ ) {\displaystyle (0,+\infty )} and the length along this horocycle. Other coordinate systems use the Klein model or the Poincaré disk model described below, and take the Euclidean coordinates as hyperbolic. A Cartesian-like coordinate system ( x, y ) on the oriented hyperbolic plane

1053-421: The existence of parallel/non-intersecting lines. This difference also has many consequences: concepts that are equivalent in Euclidean geometry are not equivalent in hyperbolic geometry; new concepts need to be introduced. Further, because of the angle of parallelism , hyperbolic geometry has an absolute scale , a relation between distance and angle measurements. Single lines in hyperbolic geometry have exactly

1092-396: The hyperbolic plane that is perpendicular to each pair of ultraparallel lines. In hyperbolic geometry, the circumference of a circle of radius r is greater than 2 π r {\displaystyle 2\pi r} . Let R = 1 − K {\displaystyle R={\frac {1}{\sqrt {-K}}}} , where K {\displaystyle K}

1131-512: The hyperbolic plane. The hyperboloid model of hyperbolic geometry provides a representation of events one temporal unit into the future in Minkowski space , the basis of special relativity . Each of these events corresponds to a rapidity in some direction. When geometers first realised they were working with something other than the standard Euclidean geometry, they described their geometry under many different names; Felix Klein finally gave

1170-477: The line-segment between them. Given any three distinct points, they all lie on either a line, hypercycle, horocycle , or circle. The length of a line-segment is the shortest length between two points. The arc-length of a hypercycle connecting two points is longer than that of the line segment and shorter than that of the arc horocycle, connecting the same two points. The lengths of the arcs of both horocycles connecting two points are equal. And are longer than

1209-459: The only axiomatic difference is the parallel postulate . When the parallel postulate is removed from Euclidean geometry the resulting geometry is absolute geometry . There are two kinds of absolute geometry, Euclidean and hyperbolic. All theorems of absolute geometry, including the first 28 propositions of book one of Euclid's Elements , are valid in Euclidean and hyperbolic geometry. Propositions 27 and 28 of Book One of Euclid's Elements prove

Hyperbolic geometry - Misplaced Pages Continue

1248-400: The parallel axiom as follows: This brief expression of Euclidean parallelism was adopted by Playfair in his textbook Elements of Geometry (1795) that was republished often. He wrote Playfair acknowledged Ludlam and others for simplifying the Euclidean assertion. In later developments the point of intersection of the two lines came first, and the denial of two parallels became expressed as

1287-403: The parallel postulate. Within the context of absolute geometry the two statements are equivalent, meaning that each can be proved by assuming the other in the presence of the remaining axioms of the geometry. This is not to say that the statements are logically equivalent (i.e., one can be proved from the other using only formal manipulations of logic), since, for example, when interpreted in

1326-460: 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. The classical equivalence between Playfair's axiom and Euclid's fifth postulate collapses in the absence of triangle congruence. This

1365-406: The phrase " parallel lines" to mean " limiting parallel lines", with ultraparallel lines meaning just non-intersecting . These limiting parallels make an angle θ with PB ; this angle depends only on the Gaussian curvature of the plane and the distance PB and is called the angle of parallelism . For ultraparallel lines, the ultraparallel theorem states that there is a unique line in

1404-465: The point. It is equivalent to Euclid's parallel postulate in the context of Euclidean geometry and was named after the Scottish mathematician John Playfair . The "at most" clause is all that is needed since it can be proved from the first four axioms that at least one parallel line exists given a line L and a point P not on L , as follows: The statement is often written with the phrase, "there

1443-459: The same axis). Like the Euclidean plane it is also possible to tessellate the hyperbolic plane with regular polygons as faces . There are an infinite number of uniform tilings based on the Schwarz triangles ( p q r ) where 1/ p + 1/ q + 1/ r < 1, where p ,  q ,  r are each orders of reflection symmetry at three points of the fundamental domain triangle , the symmetry group

1482-450: The same properties as single straight lines in Euclidean geometry. For example, two points uniquely define a line, and line segments can be infinitely extended. Two intersecting lines have the same properties as two intersecting lines in Euclidean geometry. For example, two distinct lines can intersect in no more than one point, intersecting lines form equal opposite angles, and adjacent angles of intersecting lines are supplementary . When

1521-489: The subject the name hyperbolic geometry to include it in the now rarely used sequence elliptic geometry ( spherical geometry ), parabolic geometry ( Euclidean geometry ), and hyperbolic geometry. In the former Soviet Union , it is commonly called Lobachevskian geometry, named after one of its discoverers, the Russian geometer Nikolai Lobachevsky . Hyperbolic geometry is more closely related to Euclidean geometry than it seems:

#154845