# Euclidean plane

The Euclidean plane is the plane that is the object of study in Euclidean geometry (high-school geometry). The plane and the geometry are named after the ancient-Greek mathematician Euclid.

The Euclidean plane is a collection of points P, Q, R, ... between which a distance ρ is defined, with the properties,

1. ρ(P,Q) ∈ ℝ (real line)
2. ρ(P,Q) ≥ 0 and ρ(P,Q) = 0 if and only if P = Q
3. ρ(P,Q) = ρ(Q,P)
4. ρ(P,Q) ≤ ρ(P,R) + ρ(R,Q) (triangle inequality).

In other words, the Euclidean plane is a metric space.

Well-known subsets of the Euclidean plane are straight lines. Any two non-coinciding points P and Q [ρ(P,Q) ≠ 0] in the plane lie on a unique straight line, that is to say, P and Q determine a unique straight line. The length of the straight line segment connecting the points P and Q is by definition the Euclidean distance rho;(P,Q). In a Euclidean plane no upper bound exists on the distance between two points: given a fixed point P and a "running" point Q, the distance ρ(P,Q) is unbounded, so that Q can "run to infinity" without leaving the plane. The straight line segment connecting P and Q may be extended to a half-line, which is a line segment terminated in P and unbounded on the other side. If P also runs to infinity (away from Q), i.e., the straight segment is unbounded on both sides, the segment becomes a straight line. Hence, lines and half-lines in a Euclidean plane are of infinite length.

Straight lines may be intersecting. Two straight lines that do not intersect are called parallel. The point of intersection of two non-parallel straight lines is a single unique point. Angles between intersecting lines can be measured and expressed in degrees. In particular, straight lines may be perpendicular, that is, their angle of intersection is 90°. The maximum number of perpendicular lines that can intersect at a point of a Euclidean plane is equal for all points; this maximum is two for a Euclidean plane. This fact is expressed by the statement that a Euclidean plane is two-dimensional.

A Cartesian coordinate frame can be erected anywhere in the plane, see this article for details and a figure. Briefly, one chooses an arbitrary point O (the origin) and let it be the point of intersection of two perpendicular straight lines, one line called the x-axis, the other line called the y-axis. Given an arbitrary point P in the plane, it is possible to construct a half-line from P intersecting the x-axis perpendicularly at the point X: one says that X is the perpendicular projection of P on the x-axis. The non-negative real number x := ρ(O,X) is the absolute value of the x-coordinate of P. The non-negative number y := ρ(P,X) is the absolute value of the y-coordinate of P. It is useful and common to give signs to coordinates, see Cartesian coordinates for the definition of positive and negative coordinates. If Y is the perpendicular projection of P on the y-axis, one sees easily that the distance ρ(Y,P) is equal to |x| and ρ(O,Y) is equal to |y|.

This construction by means of a Cartesian frame (also known as system of axes) shows that in a Euclidean plane every point in the plane is given by a pair of numbers (x, y) defined with respect to one and the same frame. Let P = (x, y) (this is a short-hand notation for P having coordinates x and y) and let Q = (x′, y′). From the Pythagorean theorem (which holds for Euclidean planes) it follows directly that $\rho(P,Q) = \sqrt{(x-x')^2 +(y-y')^2}.$

Suppose the pairs (x, y) and (x", y") with xx" and yy" would represent P (both pairs with respect to the same Cartesian frame). Then the distance $\sqrt{(x-x'')^2 +(y-y'')^2} \ne 0$

and because axiom 2 states that two points with non-zero distance are necessarily distinct, it follows that both pairs of numbers cannot simultaneously represent the same point P. The coordinate pair (x, y) represents P uniquely. In summary, $\hbox{if}\; P=(x,y)\;\hbox{and}\; Q=(x', y')\;\hbox{then}\;\; P = Q \;\hbox{if and only if}\; x=x'\;\textrm{and}\;y=y'.$

Different geometric figures (triangles, squares, etc.) can be constructed. A geometric figure can be translated and rotated without change of shape. Such a map is called a rigid motion of the figure. The totality of rigid motions form a group of infinite order, the Euclidean group in two dimensions, often written as E(2).

Formally, the Euclidean plane is a 2-dimensional affine space with inner product.