# Euclidean geometry

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.

Table of contents |

2 Modern introduction to Euclidean geometry 3 Classical theorems 4 See also 5 External link |

## Axiomatic approach

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:

- Any two points can be joined by a straight line.
- Any straight line segment can be extended indefinitely in a straight line.
- Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
- All right angles are congruent.
- If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough.

*Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.*

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.

## Modern introduction to Euclidean geometry

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 way does not have the beauty of axiomatic one but it is extremely short.

### The construction

First let us define the *set of points* as set of pairs of real numbers (*x*,*y*). Then given two points *P*=(*x*,*y*) and *Q*= (*z*,*t*) one can define distances using the following formula:

*Euclidean metric*. All other notions as a straight line, angle, circle can be defined in terms of points as pairs of real numbers and the distances between them. For example straight line through

*P*and

*Q*can be defined as a set of points

*A*such that the triangle

*APQ*is degenerate, i.e.