Plane_(mathematics)

This article or section is in need of attention from an expert on the subject. WikiProject Mathematics may be able to help recruit one. If a more appropriate WikiProject or portal exists, please adjust this template accordingly.

This article is about the mathematical construct. For other uses, see Plane.

Two intersecting planes in three-dimensional space

In mathematics, a plane is a two-dimensional manifold or surface that is perfectly flat. Informally, it can be thought of as an infinitely vast and infinitesimally thin sheet oriented in some space. Formally, it is an affine space of dimension two.

When working in two-dimensional Euclidean space, the definite article is used, the plane, to refer to the whole space. Many fundamental tasks in geometry, trigonometry, and graphing are performed in two-dimensional space, or in other words, in the plane. A lot of mathematics can be and has been performed in the plane, notably in the areas of geometry, trigonometry, graph theory and graphing.

Contents 1 Euclidean geometry 2 Planes embedded in R3 2.1 Properties 2.2 Define a plane with a point and a normal vector 2.3 Define a plane through three points 2.4 Distance from a point to a plane 2.5 Line of intersection between two planes 2.6 Dihedral angle 3 Planes in various areas of mathematics 4 See also 5 External links

Euclidean geometry

In Euclidean space a plane is a surface such that, given any two distinct points on the surface, the surface also contains the unique straight line that passes through those points.

The fundamental structure of two such planes will always be the same. In mathematics this is described as topological equivalence. Informally though, it means that any two planes look the same.

A plane can be uniquely determined by any of the following (sets of) objects:

• three non-collinear points (i.e., not lying on the same line)
• a line and a point not on the line
• two lines with one point of intersection
• two parallel lines

Planes embedded in R³

This section is specifically concerned with planes embedded in three dimensions: specifically, in ℝ³.

Properties

In three-dimensional Euclidean space, we may exploit the following facts that do not hold in higher dimensions:

• Two planes are either parallel or they intersect in a line.
• A line is either parallel to a plane or intersects it at a single point or is contained in the plane.
• Two lines perpendicular to the same plane must be parallel to each other.
• Two planes perpendicular to the same line must be parallel to each other.

Define a plane with a point and a normal vector

In a three-dimensional space, another important way of defining a plane is by specifying a point and a normal vector to the plane.

Let $\backslash bold\; p$ be the point we wish to lie in the plane, and let $\backslash vec\; n$ be a nonzero normal vector to the plane. The desired plane is the set of all points $\backslash bold\; r$ such that $\backslash vec\; n\backslash cdot\; (r-\backslash bold\; p)=0.$

If we write $\backslash vec\; n\; =\; \backslash begin\{bmatrix\}a\backslash \backslash \; b\backslash \backslash \; c\backslash end\{bmatrix\}$, $\backslash bold\; r\; =\; (x,\; y,\; z)$ and d as the dot product $\backslash vec\; n\backslash cdot\; \backslash bold\; p=-d$, then the plane $\backslash Pi$ is determined by the condition $ax\; +\; by\; +\; cz\; +\; d\; =\; 0\backslash ,$, where a, b, c and d are real numbers and a,b, and c are not all zero.

Alternatively, a plane may be described parametrically as the set of all points of the form $\backslash vec\{u\}\; +\; s\backslash vec\{v\}\; +\; t\backslash vec\{w\},$ where s and t range over all real numbers, and $\backslash vec\{u\}$, $\backslash vec\{v\}$ and $\backslash vec\{w\}$ are given vectors defining the plane. $\backslash vec\{u\}$ points from the origin to an arbitrary point on the plane, and $\backslash vec\{v\}$ and $\backslash vec\{w\}$ can be visualized as starting at $\backslash vec\{u\}$ and pointing in different directions along the plane. $\backslash vec\{v\}$ and $\backslash vec\{w\}$ can, but do not have to be perpendicular (but they cannot be collinear).

Define a plane through three points

• The plane passing through three points $\backslash bold\; p\_1\; =\; (x\_1,y\_1,z\_1)$, $\backslash bold\; p\_2\; =\; (x\_2,y\_2,z\_2)$ and $\backslash bold\; p\_3\; =\; (x\_3,y\_3,z\_3)$ can be defined as the set of all points (x,y,z) that satisfy the following determinant equations:

$\backslash begin\{vmatrix\}$

x - x_1 & y - y_1 & z - z_1 \\ x_2 - x_1 & y_2 - y_1& z_2 - z_1 \\ x_3 - x_1 & y_3 - y_1 & z_3 - z_1 \end{vmatrix} =\begin{vmatrix} x - x_1 & y - y_1 & z - z_1 \\ x - x_2 & y - y_2 & z - z_2 \\ x - x_3 & y - y_3 & z - z_3 \end{vmatrix} = 0.

• To describe the plane as an equation in the form $ax\; +\; by\; +\; cz\; +\; d\; =\; 0$, solve the following system of equations:

$\backslash ,\; ax\_1\; +\; by\_1\; +\; cz\_1\; +\; d\; =\; 0$

$\backslash ,\; ax\_2\; +\; by\_2\; +\; cz\_2\; +\; d\; =\; 0$

$\backslash ,\; ax\_3\; +\; by\_3\; +\; cz\_3\; +\; d\; =\; 0$.

This system can be solved using Cramer\'s Rule and basic matrix manipulations. Let . Then,

$a\; =\; \backslash frac\{-d\}\{D\}\; \backslash begin\{vmatrix\}$

1 & y_1 & z_1 \\ 1 & y_2 & z_2 \\ 1 & y_3 & z_3 \end{vmatrix}

$b\; =\; \backslash frac\{-d\}\{D\}\; \backslash begin\{vmatrix\}$

x_1 & 1 & z_1 \\ x_2 & 1 & z_2 \\ x_3 & 1 & z_3 \end{vmatrix}

$c\; =\; \backslash frac\{-d\}\{D\}\; \backslash begin\{vmatrix\}$

x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \end{vmatrix}.

These equations are parametric in d. Setting d equal to any non-zero number and substituting it into these equations will yield one solution set.

• This plane can also be described by the "point and a normal vector" prescription above.

A suitable normal vector is given by the cross product $\backslash vec\; n\; =\; (\; \backslash bold\; p\_2\; -\; \backslash bold\; p\_1\; )\; \backslash times\; (\; \backslash bold\; p\_3\; -\; \backslash bold\; p\_1\; ),$ and the point $\backslash bold\; p$ can be taken to be any of given points $\backslash bold\; p\_1,\; \backslash bold\; p\_2$ or $\backslash bold\; p\_3$.

Distance from a point to a plane

For a plane $\backslash Pi :\; ax\; +\; by\; +\; cz\; +\; d\; =\; 0\backslash ,$ and a point $\backslash bold\; p\_1\; =\; (x\_1,y\_1,z\_1)$ not necessarily lying on the plane, the shortest distance from $\backslash bold\; p\_1$ to the plane is

$D\; =\; \backslash frac\{\backslash left\; |\; a\; x\_1\; +\; b\; y\_1\; +\; c\; z\_1+d\; \backslash right\; |\}\{\backslash sqrt\{a^2+b^2+c^2\}\}.$

It follows that $\backslash bold\; p\_1$ lies in the plane if and only if D=0.

If $\backslash sqrt\{a^2+b^2+c^2\}=1$ meaning that a, b and c are normalized then the equation becomes

$D\; =\; \backslash \; |\; a\; x\_1\; +\; b\; y\_1\; +\; c\; z\_1+d\; |\; .$

Line of intersection between two planes

Given intersecting planes described by $\backslash Pi\_1 :\; \backslash vec\; n\_1\backslash cdot\; \backslash bold\; r\; =\; h\_1$ and $\backslash Pi\_2 :\; \backslash vec\; n\_2\backslash cdot\; \backslash bold\; r\; =\; h\_2$, the line of intersection is perpendicular to both $\backslash vec\; n\_1$ and $\backslash vec\; n\_2$ and thus parallel to $\backslash vec\; n\_1\; \backslash times\; \backslash vec\; n\_2$ .

If we further assume that $\backslash vec\; n\_1$ and $\backslash vec\; n\_2$ are orthonormal then the closest point on the line of intersection to the origin is $\backslash bold\; r\_0\; =\; h\_1\backslash vec\; n\_1\; +\; h\_2\backslash vec\; n\_2$ .

Dihedral angle

Given two intersecting planes described by $\backslash Pi\_1 :\; a\_1\; x\; +\; b\_1\; y\; +\; c\_1\; z\; +\; d\_1\; =\; 0\backslash ,$ and $\backslash Pi\_2 :\; a\_2\; x\; +\; b\_2\; y\; +\; c\_2\; z\; +\; d\_2\; =\; 0\backslash ,$, the dihedral angle between them is defined to be the angle $\backslash alpha$ between their normal directions:

$\backslash cos\backslash alpha\; =\; \backslash hat\; n\_1\backslash cdot\; \backslash hat\; n\_2\; =\; \backslash frac\{a\_1\; a\_2\; +\; b\_1\; b\_2\; +\; c\_1\; c\_2\}\{\backslash sqrt\{a\_1^2+b\_1^2+c\_1^2\}\backslash sqrt\{a\_2^2+b\_2^2+c\_2^2\}\}.$

Planes in various areas of mathematics

In addition to its familiar geometric structure, with isomorphisms that are isometries with respect to the usual inner product, the plane may be viewed at various other levels of abstraction. Each level of abstraction corresponds to a specific category.

At one extreme, all geometrical and metric concepts may be dropped to leave the topological plane, which may be thought of as an idealised homotopically trivial infinite rubber sheet, which retains a notion of proximity, but has no distances. The topological plane has a concept of a linear path, but no concept of a straight line. The topological plane, or its equivalent the open disc, is the basic topological neighbourhood used to construct surfaces (or 2-manifolds) classified in low-dimensional topology. Isomorphisms of the topological plane are all continuous bijections. The topological plane is the natural context for the branch of graph theory that deals with planar graphs, and results such as the four color theorem.

The plane may also be viewed as an affine space, whose isomorphisms are combinations of translations and non-singular linear maps. From this viewpoint there are no distances, but colinearity and ratios of distances on any line are preserved.

Differential geometry views a plane as a 2-dimensional real manifold, a topological plane which is provided with a differential structure. Again in this case, there is no notion of distance, but there is now a concept of smoothness of maps, for example a differentiable or smooth path (depending on the type of differential structure applied). The isomorphisms in this case are bijections with the chosen degree of differentiability.

In the opposite direction of abstraction, we may apply a compatible field structure to the geometric plane, giving rise to the complex plane and the major area of complex analysis. The complex field has only two isomorphisms that leave the real line fixed, the identity and conjugation.

In the same way as in the real case, the plane may also be viewed as the simplest, one-dimensional (over the complex numbers) complex manifold, sometimes called the complex line. However, this viewpoint contrasts sharply with the case of the plane as a 2-dimensional real manifold. The isomorphisms are all conformal bijections of the complex plane, but the only possibilities are maps that correspond to the composition of a multiplication by a complex number and a translation.

In addition, the Euclidean geometry (which has zero curvature everywhere) is not the only geometry that the plane may have. The plane may be given a spherical geometry by using the stereographic projection. This can be thought of as placing a sphere on the plane (just like a ball on the floor), removing the top point, and projecting the sphere onto the plane from this point). This is one of the projections that may be used in making a flat map of part of the Earth\'s surface. The resulting geometry has constant positive curvature.

Alternatively, the plane can also be given a metric which gives it constant negative curvature giving the hyperbolic plane. The latter possibility finds an application in the theory of special relativity in the simplified case where there are two spatial dimensions and one time dimension. (The hyperbolic plane is a timelike hypersurface in three-dimensional Minkowski space.)

See also

• Half-plane
• Hyperplane
• Line-plane intersection
• Point on plane closest to origin

External links

• Mathworld: Plane
• Polygons & the Plane Equation

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia