Английская Википедия:Euclidean planes in three-dimensional space
Шаблон:Short description Шаблон:Use dmy dates
In Euclidean geometry, a plane is a flat two-dimensional surface that extends indefinitely. Euclidean planes often arise as subspaces of three-dimensional space <math>\mathbb{R}^3</math>. A prototypical example is one of a room's walls, infinitely extended and assumed infinitesimal thin. While a pair of real numbers <math>\mathbb{R}^2</math> suffices to describe points on a plane, the relationship with out-of-plane points requires special consideration for their embedding in the ambient space <math>\mathbb{R}^3</math>.
Derived concepts
A plane segment (or simply "plane", in lay use) is a planar surface region; it is analogous to a line segment. A bivector is an oriented plane segment, analogous to directed line segments. A face is a plane segment bounding a solid object.[1] A slab is a region bounded by two parallel planes. A parallelepiped is a region bounded by three pairs of parallel planes.
Occurrence in nature
A plane serves as a mathematical model for many physical phenomena, such as specular reflection in a plane mirror or wavefronts in a traveling plane wave. The free surface of undisturbed liquids tends to be nearly flat (see flatness). The flattest surface ever manufactured is a quantum-stabilized atom mirror.[2] In astronomy, various reference planes are used to define positions in orbit. Anatomical planes may be lateral ("sagittal"), frontal ("coronal") or transversal. In geology, beds (layers of sediments) often are planar. Planes are involved in different forms of imaging, such as the focal plane, picture plane, and image plane.
Background
Euclid set forth the first great landmark of mathematical thought, an axiomatic treatment of geometry.[3] He selected a small core of undefined terms (called common notions) and postulates (or axioms) which he then used to prove various geometrical statements. Although the plane in its modern sense is not directly given a definition anywhere in the Elements, it may be thought of as part of the common notions.[4] Euclid never used numbers to measure length, angle, or area. The Euclidean plane equipped with a chosen Cartesian coordinate system is called a Cartesian plane; a non-Cartesian Euclidean plane equipped with a polar coordinate system would be called a polar plane.
A plane is a ruled surface.
Euclidean plane
Representation
This section is solely concerned with planes embedded in three dimensions: specifically, in [[Cartesian product|Шаблон:Math]].
Determination by contained points and lines
In a Euclidean space of any number of dimensions, a plane is uniquely determined by any of the following:
- Three non-collinear points (points not on a single line).
- A line and a point not on that line.
- Two distinct but intersecting lines.
- Two distinct but parallel lines.
Properties
The following statements hold in three-dimensional Euclidean space but not in higher dimensions, though they have higher-dimensional analogues:
- Two distinct planes are either parallel or they intersect in a line.
- A line is either parallel to a plane, intersects it at a single point, or is contained in the plane.
- Two distinct lines perpendicular to the same plane must be parallel to each other.
- Two distinct planes perpendicular to the same line must be parallel to each other.
Point–normal form and general form of the equation of a plane
In a manner analogous to the way lines in a two-dimensional space are described using a point-slope form for their equations, planes in a three dimensional space have a natural description using a point in the plane and a vector orthogonal to it (the normal vector) to indicate its "inclination".
Specifically, let Шаблон:Math be the position vector of some point Шаблон:Math, and let Шаблон:Math be a nonzero vector. The plane determined by the point Шаблон:Math and the vector Шаблон:Mvar consists of those points Шаблон:Math, with position vector Шаблон:Mvar, such that the vector drawn from Шаблон:Math to Шаблон:Math is perpendicular to Шаблон:Mvar. Recalling that two vectors are perpendicular if and only if their dot product is zero, it follows that the desired plane can be described as the set of all points Шаблон:Mvar such that
<math display="block">\boldsymbol{n} \cdot (\boldsymbol{r}-\boldsymbol{r}_0)=0.</math>
The dot here means a dot (scalar) product.
Expanded this becomes
<math display="block"> a (x-x_0) + b(y-y_0) + c(z-z_0) = 0,</math>
which is the point–normal form of the equation of a plane.[5] This is just a linear equation
<math display="block"> ax + by + cz + d = 0,</math>
where
<math display="block"> d = -(ax_0 + by_0 + cz_0),</math>
which is the expanded form of <math>- \boldsymbol{n} \cdot \boldsymbol{r}_0.</math>
In mathematics it is a common convention to express the normal as a unit vector, but the above argument holds for a normal vector of any non-zero length.
Conversely, it is easily shown that if Шаблон:Math, Шаблон:Math, Шаблон:Math, and Шаблон:Math are constants and Шаблон:Math, Шаблон:Math, and Шаблон:Math are not all zero, then the graph of the equation <math display="block"> ax + by + cz + d = 0,</math> is a plane having the vector Шаблон:Math as a normal.[6] This familiar equation for a plane is called the general form of the equation of the plane.[7]
Thus for example a regression equation of the form Шаблон:Math (with Шаблон:Math) establishes a best-fit plane in three-dimensional space when there are two explanatory variables.
Describing a plane with a point and two vectors lying on it
Alternatively, a plane may be described parametrically as the set of all points of the form <math display="block">\boldsymbol{r} = \boldsymbol{r}_0 + s \boldsymbol{v} + t \boldsymbol{w},</math>
where Шаблон:Mvar and Шаблон:Mvar range over all real numbers, Шаблон:Mvar and Шаблон:Mvar are given linearly independent vectors defining the plane, and Шаблон:Math is the vector representing the position of an arbitrary (but fixed) point on the plane. The vectors Шаблон:Mvar and Шаблон:Mvar can be visualized as vectors starting at Шаблон:Math and pointing in different directions along the plane. The vectors Шаблон:Mvar and Шаблон:Mvar can be perpendicular, but cannot be parallel.
Describing a plane through three points
Let Шаблон:Math, Шаблон:Math, and Шаблон:Math be non-collinear points.
Method 1
The plane passing through Шаблон:Math, Шаблон:Math, and Шаблон:Math can be described as the set of all points (x,y,z) that satisfy the following determinant equations: <math display="block">\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. </math>
Method 2
To describe the plane by an equation of the form <math> ax + by + cz + d = 0 </math>, solve the following system of equations: <math display="block"> ax_1 + by_1 + cz_1 + d = 0</math> <math display="block"> ax_2 + by_2 + cz_2 + d = 0</math> <math display="block"> ax_3 + by_3 + cz_3 + d = 0.</math>
This system can be solved using Cramer's rule and basic matrix manipulations. Let <math display="block">D = \begin{vmatrix} x_1 & y_1 & z_1 \\ x_2 & y_2 & z_2 \\ x_3 & y_3 & z_3 \end{vmatrix}.</math>
If Шаблон:Math is non-zero (so for planes not through the origin) the values for Шаблон:Math, Шаблон:Math and Шаблон:Math can be calculated as follows: <math display="block">a = \frac{-d}{D} \begin{vmatrix} 1 & y_1 & z_1 \\ 1 & y_2 & z_2 \\ 1 & y_3 & z_3 \end{vmatrix}</math> <math display="block">b = \frac{-d}{D} \begin{vmatrix} x_1 & 1 & z_1 \\ x_2 & 1 & z_2 \\ x_3 & 1 & z_3 \end{vmatrix}</math> <math display="block">c = \frac{-d}{D} \begin{vmatrix} x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \end{vmatrix}.</math>
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.
Method 3
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 <math display="block">\boldsymbol n = ( \boldsymbol p_2 - \boldsymbol p_1 ) \times ( \boldsymbol p_3 - \boldsymbol p_1 ), </math> and the point Шаблон:Math can be taken to be any of the given points Шаблон:Math, Шаблон:Math or Шаблон:Math[8] (or any other point in the plane).
Operations
Distance from a point to a plane
Line–plane intersection
Line of intersection between two planes
Sphere–plane intersection
See also
Шаблон:Main cat Шаблон:Div col
- Flat (geometry)
- Half-plane
- Hyperplane
- Plane coordinates
- Plane of incidence
- Plane of rotation
- Plane orientation
- Polygon
Notes
References
External links
- Шаблон:SpringerEOM
- Шаблон:MathWorld
- "Easing the Difficulty of Arithmetic and Planar Geometry" is an Arabic manuscript, from the 15th century, that serves as a tutorial about plane geometry and arithmetic.