| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
| First Prev [ 1 2 ] Next Last |
In mathematics, Euclidean geometry is the familiar kind of geometry on the plane or in three dimensions. Mathematicians sometimes use the term to encompass higher dimensional geometries with similar properties.
Euclidean geometry sometimes means geometry in the plane which is also called plane geometry. Plane geometry is the topic of this article.
Euclidean geometry in three dimensions is traditionally called solid geometry. For information on higher dimensions see Euclidean space.
Plane geometry is the kind of geometry usually taught in high school. Euclidean geometry is named after the Greek mathematician Euclid. Euclid's text Elements is an early systematic treatment of this kind of geometry.
The traditional presentation of Euclidean geometry is as an axiomatic system, setting out to prove all the "true statements" as theorems in geometry from a set of finite number of axioms.
The five postulates of the Elements are:
The fifth postulate is called the parallel postulateIn geometry, the parallel postulate also called Euclid's fifth postulate since it is the fifth postulate in Euclid's Elements, is a distinctive axiom in what is now called Euclidean geometry. It states: If a line segment intersects two straight lines form, which leads to the same geometry as the statement:
The parallel postulate seems less obvious than the others and many geometers tried in vain to prove it from them. In the 19th century it was shown that this could not be done, by constructing hyperbolic geometry where the parallel postulate is false, while the other axioms hold. (If one simply drops the parallel postulate from the list of axioms then you get more general geometry called absolute geometry).
Another thing that was observed was that Euclid's five axioms are actually somewhat incomplete. For instance, one of his theorems is that any line segment is part of a triangle; he constructs this in the usual way, by drawing circles around both endpoints and taking their intersection as third vertex. His axioms, however, do not guarantee that the circles actually intersect. Many revised systems of axioms were constructed, the most standard ones are Hilbert's axioms and Birkhoff's axioms.
Today Euclidean geometry is usually constructed rather than axiomatized, by means of analytic geometry. If one introduces geometry this way one can then prove the Euclidean (or any other) axioms as theorems in this particular model. This does not have the beauty of the axiomatic approach, but it is extremely concise.