# Euclidean plane

Geometry :
Projecting a sphere to a plane :
Branches
Euclidean
Non-Euclidean
Elliptic
Spherical
Hyperbolic
Non-Archimedean geometry
Projective
Affine
Synthetic
Analytic
Algebraic
Arithmetic
Diophantine
Differential
Riemannian
Symplectic
Discrete differential
Complex
Finite
Discrete/Combinatorial
Digital
Convex
Computational
Fractal
Incidence
Noncommutative geometry
Noncommutative algebraic geometry :
ConceptsFeaturesDimension
Straightedge and compass constructions
Angle
Curve
Diagonal
Orthogonality (Perpendicular)
Parallel
Vertex
Congruence
Similarity
Symmetry :
Zero-dimensional
Point :
One-dimensional
Line
segment
ray
Length :
Two-dimensional
Plane
Area
Polygon
Triangle
Altitude
Hypotenuse
Pythagorean theorem
Parallelogram
Square
Rectangle
Rhombus
Rhomboid
Quadrilateral
Trapezoid
Kite
Circle
Diameter
Circumference
Area :
Three-dimensional
Volume
Cube
cuboid
Cylinder
Dodecahedron
Icosahedron
Octahedron
Pyramid
Platonic Solid
Sphere
Tetrahedron :
Four-/other-dimensional
Tesseract
Hypersphere :
Geometers :
by name
Aida
Aryabhata
Ahmes
Alhazen
Apollonius
Archimedes
Atiyah
Baudhayana
Bolyai
Brahmagupta
Cartan
Chern
Coxeter
Descartes
Euclid
Euler
Gauss
Gromov
Hilbert
Huygens
Jyeṣṭhadeva
Kātyāyana
Khayyám
Klein
Lobachevsky
Manava
Minkowski
Minggatu
Pascal
Pythagoras
Parameshvara
Poincaré
Riemann
Sakabe
Sijzi
al-Tusi
Veblen
Virasena
Yang Hui
al-Yasamin
Zhang
List of geometers :
by period
BCE
Ahmes
Baudhayana
Manava
Pythagoras
Euclid
Archimedes
Apollonius
1–1400s
Zhang
Kātyāyana
Aryabhata
Brahmagupta
Virasena
Alhazen
Sijzi
Khayyám
al-Yasamin
al-Tusi
Yang Hui
Parameshvara
1400s–1700s
Jyeṣṭhadeva
Descartes
Pascal
Huygens
Minggatu
Euler
Sakabe
Aida
1700s–1900s
Gauss
Lobachevsky
Bolyai
Riemann
Klein
Poincaré
Hilbert
Minkowski
Cartan
Veblen
Coxeter
Chern
Present day
Atiyah
Gromov :
vte :
In mathematics, a Euclidean plane is a Euclidean space of dimension two, denoted ${\textbf {E}}^{2}$ or $\mathbb {E} ^{2}$. It is a geometric space in which two real numbers are required to determine the position of each point. It is an affine space, which includes in particular the concept of parallel lines. It has also metrical properties induced by a distance, which allows to define circles, and angle measurement.
A Euclidean plane with a chosen Cartesian coordinate system is called a Cartesian plane. The set $\mathbb {R} ^{2}$ of the ordered pairs of real numbers (the real coordinate plane), equipped with the dot product, is often called the Euclidean plane or standard Euclidean plane, since every Euclidean plane is isomorphic to it.

## History

Books I through IV and VI of Euclid's Elements dealt with two-dimensional geometry, developing such notions as similarity of shapes, the Pythagorean theorem (Proposition 47), equality of angles and areas, parallelism, the sum of the angles in a triangle, and the three cases in which triangles are "equal" (have the same area), among many other topics.
Later, the plane was described in a so-called Cartesian coordinate system, a coordinate system that specifies each point uniquely in a plane by a pair of numerical coordinates, which are the signed distances from the point to two fixed perpendicular directed lines, measured in the same unit of length. Each reference line is called a coordinate axis or just axis of the system, and the point where they meet is its origin, usually at ordered pair (0, 0). The coordinates can also be defined as the positions of the perpendicular projections of the point onto the two axes, expressed as signed distances from the origin.
The idea of this system was developed in 1637 in writings by Descartes and independently by Pierre de Fermat, although Fermat also worked in three dimensions, and did not publish the discovery. Both authors used a single (abscissa) axis in their treatments, with the lengths of ordinates measured along lines not-necessarily-perpendicular to that axis. The concept of using a pair of fixed axes was introduced later, after Descartes' La Géométrie was translated into Latin in 1649 by Frans van Schooten and his students. These commentators introduced several concepts while trying to clarify the ideas contained in Descartes' work.
Later, the plane was thought of as a field, where any two points could be multiplied and, except for 0, divided. This was known as the complex plane. The complex plane is sometimes called the Argand plane because it is used in Argand diagrams. These are named after Jean-Robert Argand (1768–1822), although they were first described by Danish-Norwegian land surveyor and mathematician Caspar Wessel (1745–1818). Argand diagrams are frequently used to plot the positions of the poles and zeroes of a function in the complex plane.

## In geometry
### Coordinate systems

In mathematics, analytic geometry (also called Cartesian geometry) describes every point in two-dimensional space by means of two coordinates. Two perpendicular coordinate axes are given which cross each other at the origin. They are usually labeled x and y. Relative to these axes, the position of any point in two-dimensional space is given by an ordered pair of real numbers, each number giving the distance of that point from the origin measured along the given axis, which is equal to the distance of that point from the other axis.
Another widely used coordinate system is the polar coordinate system, which specifies a point in terms of its distance from the origin and its angle relative to a rightward reference ray.
* Cartesian coordinate system
* Polar coordinate system

### Embedding in three-dimensional space

In Euclidean geometry, a plane is a flat two-dimensional surface that extends indefinitely. Euclidean planes often arise as subspaces of three-dimensional space $\mathbb {R} ^{3}$. A prototypical example is one of a room's walls, infinitely extended and assumed infinitesimal thin.
$\mathbb {R} ^{2}$
$\mathbb {R} ^{3}$

### Polytopes

In two dimensions, there are infinitely many polytopes: the polygons. The first few regular ones are shown below:

#### Convex

The Schläfli symbol $\{n\}$ represents a regular n-gon.
| Name | Triangle (2-simplex) | Square (2-orthoplex) (2-cube) | Pentagon | Hexagon | Heptagon | Octagon |
| Schläfli symbol | {3} | {4} | {5} | {6} | {7} | {8} |
| Image | | | | | | |
| Name | Nonagon | Decagon | Hendecagon | Dodecagon | Tridecagon | Tetradecagon |
| Schläfli | {9} | {10} | {11} | {12} | {13} | {14} |
| Image | | | | | | |
| Name | Pentadecagon | Hexadecagon | Heptadecagon | Octadecagon | Enneadecagon | Icosagon | ...n-gon |
| Schläfli | {15} | {16} | {17} | {18} | {19} | {20} | {n} |
| Image | | | | | | |

#### Degenerate (spherical)

The regular monogon (or henagon) {1} and regular digon {2} can be considered degenerate regular polygons and exist nondegenerately in non-Euclidean spaces like a 2-sphere, 2-torus, or right circular cylinder.
| Name | Monogon | Digon |
| Schläfli | {1} | {2} |
| Image | | |

#### Non-convex

There exist infinitely many non-convex regular polytopes in two dimensions, whose Schläfli symbols consist of rational numbers {n/m}. They are called star polygons and share the same vertex arrangements of the convex regular polygons.
In general, for any natural number n, there are n-pointed non-convex regular polygonal stars with Schläfli symbols {n/m} for all m such that m < n/2 (strictly speaking {n/m} = {n/(n − m)}) and m and n are coprime.
| Name | Pentagram | Heptagrams | Heptagrams | Octagram | Enneagrams | Enneagrams | Decagram | ...n-agrams |
| Schläfli | {5/2} | {7/2} | {7/3} | {8/3} | {9/2} | {9/4} | {10/3} | {n/m} |
| Image | | | | | | | | |

### Circle

The hypersphere in 2 dimensions is a circle, sometimes called a 1-sphere (S$^1$) because it is a one-dimensional manifold. In a Euclidean plane, it has the length 2πr and the area of its interior is
    $A=\pi r^{2}$
where $r$ is the radius.

### Other shapes

There are an infinitude of other curved shapes in two dimensions, notably including the conic sections: the ellipse, the parabola, and the hyperbola.

## In linear algebra

Another mathematical way of viewing two-dimensional space is found in linear algebra, where the idea of independence is crucial. The plane has two dimensions because the length of a rectangle is independent of its width. In the technical language of linear algebra, the plane is two-dimensional because every point in the plane can be described by a linear combination of two independent vectors.

### Dot product, angle, and length

The dot product of two vectors A = [A$_1$, A$_2$] and B = [B$_1$, B$_2$] is defined as:
    $\mathbf {A} \cdot \mathbf {B} =A_{1}B_{1}+A_{2}B_{2}$
A vector can be pictured as an arrow. Its magnitude is its length, and its direction is the direction the arrow points. The magnitude of a vector A is denoted by $\|\mathbf {A} \|$. In this viewpoint, the dot product of two Euclidean vectors A and B is defined by
    $\mathbf {A} \cdot \mathbf {B} =\|\mathbf {A} \|\,\|\mathbf {B} \|\cos \theta ,$
where θ is the angle between A and B.
The dot product of a vector A by itself is
    $\mathbf {A} \cdot \mathbf {A} =\|\mathbf {A} \|^{2},$
which gives
    $\|\mathbf {A} \|={\sqrt {\mathbf {A} \cdot \mathbf {A} }},$
the formula for the Euclidean length of the vector.

## In calculus
### Gradient

In a rectangular coordinate system, the gradient is given by
    $\nabla f={\frac {\partial f}{\partial x}}\mathbf {i} +{\frac {\partial f}{\partial y}}\mathbf {j} \,.$

### Line integrals and double integrals

For some scalar field f : U ⊆ R$^2$ → R, the line integral along a piecewise smooth curve C ⊂ U is defined as
    $\int \limits _{C}f\,ds=\int _{a}^{b}f(\mathbf {r} (t))|\mathbf {r} '(t)|\,dt,$
where r: [a, b] → C is an arbitrary bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C and $a<b$.
For a vector field F : U ⊆ R$^2$ → R$^2$, the line integral along a piecewise smooth curve C ⊂ U, in the direction of r, is defined as
    $\int \limits _{C}\mathbf {F} (\mathbf {r} )\cdot \,d\mathbf {r} =\int _{a}^{b}\mathbf {F} (\mathbf {r} (t))\cdot \mathbf {r} '(t)\,dt,$
where · is the dot product and r: [a, b] → C is a bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C.
A double integral refers to an integral within a region D in R$^2$ of a function $f(x,y),$ and is usually written as:
    $\iint \limits _{D}f(x,y)\,dx\,dy.$

### Fundamental theorem of line integrals

The fundamental theorem of line integrals says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve.
Let $\varphi :U\subseteq \mathbb {R} ^{2}\to \mathbb {R}$. Then
    $\varphi \left(\mathbf {q} \right)-\varphi \left(\mathbf {p} \right)=\int _{\gamma [\mathbf {p} ,\mathbf {q} ]}\nabla \varphi (\mathbf {r} )\cdot d\mathbf {r} ,$
with p, q the endpoints of the curve γ.

### Green's theorem

Let C be a positively oriented, piecewise smooth, simple closed curve in a plane, and let D be the region bounded by C. If L and M are functions of (x, y) defined on an open region containing D and have continuous partial derivatives there, then
    $\oint _{C}(L\,dx+M\,dy)=\iint _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dx\,dy$
where the path of integration along C is counterclockwise.

## In topology

In topology, the plane is characterized as being the unique contractible 2-manifold.
Its dimension is characterized by the fact that removing a point from the plane leaves a space that is connected, but not simply connected.

## In graph theory

In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross each other. Such a drawing is called a plane graph or planar embedding of the graph. A plane graph can be defined as a planar graph with a mapping from every node to a point on a plane, and from every edge to a plane curve on that plane, such that the extreme points of each curve are the points mapped from its end nodes, and all curves are disjoint except on their extreme points.