InEuclidean geometry, aplane is aflat two-dimensionalsurface that extends indefinitely.Euclidean planes often arise assubspaces ofthree-dimensional space.A prototypical example is one of a room's walls, infinitely extended and assumed infinitesimal thin.While a pair of real numbers suffices to describe points on a plane, the relationship with out-of-plane points requires special consideration for theirembedding in theambient space.
Aplane segment orplanar region (or simply "plane", in lay use) is a planar surfaceregion; it is analogous to aline segment.Abivector is anoriented plane segment, analogous todirected line segments.[a]Aface is a plane segment bounding asolid object.[1]Aslab is a region bounded by two parallel planes.Aparallelepiped is a region bounded by three pairs of parallel planes.
Euclid set forth the first great landmark of mathematical thought, an axiomatic treatment of geometry.[2] He selected a small core of undefined terms (calledcommon notions) and postulates (oraxioms) which he then used to prove various geometrical statements. Although the plane in its modern sense is not directly given a definition anywhere in theElements, it may be thought of as part of the common notions.[3] Euclid never used numbers to measure length, angle, or area. The Euclidean plane equipped with a chosenCartesian coordinate system is called aCartesian plane; a non-Cartesian Euclidean plane equipped with apolar coordinate system would be called apolar plane.
A plane is aruled surface.
Inmathematics, aEuclidean plane is aEuclidean space ofdimension two, denoted or. It is ageometric space in which tworeal numbers are required to determine theposition of eachpoint. It is anaffine space, which includes in particular the concept ofparallel lines. It has alsometrical properties induced by adistance, which allows to definecircles, andangle measurement.
A Euclidean plane with a chosenCartesian coordinate system is called aCartesian plane.
The set of the ordered pairs of real numbers (thereal coordinate plane), equipped with thedot product, is often calledthe Euclidean plane orstandard Euclidean plane, since every Euclidean plane isisomorphic to it.This section is solely concerned with planes embedded in three dimensions: specifically, inR3.
In a Euclidean space of any number of dimensions, a plane is uniquely determined by any of the following:
The following statements hold in three-dimensional Euclidean space but not in higher dimensions, though they have higher-dimensional analogues:
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 (thenormal vector) to indicate its "inclination".
Specifically, letr0 be the position vector of some pointP0 = (x0,y0,z0), and letn = (a,b,c) be a nonzero vector. The plane determined by the pointP0 and the vectorn consists of those pointsP, with position vectorr, such that the vector drawn fromP0 toP is perpendicular ton. 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 pointsr such thatThe dot here means adot (scalar) product.
Expanded this becomeswhich is thepoint–normal form of the equation of a plane.[4] This is just alinear equationwherewhich is the expanded form of
In mathematics it is a common convention to express the normal as aunit vector, but the above argument holds for a normal vector of any non-zero length.
Conversely, it is easily shown that ifa,b,c, andd are constants anda,b, andc are not all zero, then the graph of the equationis a plane having the vectorn = (a,b,c) as a normal.[5] This familiar equation for a plane is called thegeneral form of the equation of the plane or just theplane equation.[6]
Thus for example aregression equation of the formy =d +ax +cz (withb = −1) establishes a best-fit plane in three-dimensional space when there are two explanatory variables.
Alternatively, a plane may be described parametrically as the set of all points of the form
wheres andt range over all real numbers,v andw are givenlinearly independentvectors defining the plane, andr0 is the vector representing the position of an arbitrary (but fixed) point on the plane. The vectorsv andw can be visualized as vectors starting atr0 and pointing in differentdirections along the plane. The vectorsv andw can beperpendicular, but cannot be parallel.
Letp1 = (x1,y1,z1),p2 = (x2,y2,z2), andp3 = (x3,y3,z3) be non-collinear points.
The plane passing throughp1,p2, andp3 can be described as the set of all points (x,y,z) that satisfy the followingdeterminant equations:
To describe the plane by an equation of the form, solve the following system of equations:
This system can be solved usingCramer's rule and basic matrix manipulations. Let
IfD is non-zero (so for planes not through the origin) the values fora,b andc can be calculated as follows:
These equations are parametric ind. Settingd 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–normal form and general form of the equation of a plane prescription above. A suitable normal vector is given by thecross productand the pointr0 can be taken to be any of the given pointsp1,p2 orp3[7] (or any other point in the plane).
InEuclidean space, thedistance from a point to a plane is the distance between a given point and itsorthogonal projection on the plane, theperpendicular distance to the nearest point on the plane.
It can be found starting with achange of variables that moves the origin to coincide with the given point then finding the point on the shiftedplane that is closest to theorigin. The resulting point hasCartesian coordinates:
In analyticgeometry, the intersection of aline and aplane inthree-dimensional space can be theempty set, apoint, or a line. It is the entire line if that line is embedded in the plane, and is the empty set if the line is parallel to the plane but outside it. Otherwise, the line cuts through the plane at a single point.
Distinguishing these cases, and determining equations for the point and line in the latter cases, have use incomputer graphics,motion planning, andcollision detection.When the intersection of a sphere and a plane is not empty or a single point, it is a circle. This can be seen as follows:
LetS be a sphere with centerO,P a plane which intersectsS. DrawOE perpendicular toP and meetingP atE. LetA andB be any two different points in the intersection. ThenAOE andBOE are right triangles with a common side,OE, and hypotenusesAO andBO equal. Therefore, the remaining sidesAE andBE are equal. This proves that all points in the intersection are the same distance from the pointE in the planeP, in other words all points in the intersection lie on a circleC with centerE.[8] This proves that the intersection ofP andS is contained inC. Note thatOE is the axis of the circle.
Now consider a pointD of the circleC. SinceC lies inP, so doesD. On the other hand, the trianglesAOE andDOE are right triangles with a common side,OE, and legsEA andED equal. Therefore, the hypotenusesAO andDO are equal, and equal to the radius ofS, so thatD lies inS. This proves thatC is contained in the intersection ofP andS.
As a corollary, on a sphere there is exactly one circle that can be drawn through three given points.[9]
The proof can be extended to show that the points on a circle are all a common angular distance from one of its poles.[10]
Compare alsoconic sections, which can produceovals.A plane serves as a mathematical model for many physical phenomena, such asspecular reflection in aplane mirror orwavefronts in atraveling plane wave.Thefree surface of undisturbed liquids tends to be nearly flat (seeflatness).The flattest surface ever manufactured is a quantum-stabilized atom mirror.[11]In astronomy, variousreference 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 ofimaging, such as thefocal plane,picture plane, andimage plane.
The attitude of alattice plane is the orientation of the line normal to the plane,[12] and is described by the plane'sMiller indices. In three-space a family of planes (a series of parallel planes) can be denoted by itsMiller indices (hkl),[13][14] so the family of planes has an attitude common to all its constituent planes.
Many features observed in geology are planes or lines, and their orientation is commonly referred to as theirattitude. These attitudes are specified with two angles.
For a line, these angles are called thetrend and theplunge. The trend is the compass direction of the line, and the plunge is the downward angle it makes with a horizontal plane.[15]
For a plane, the two angles are called itsstrike (angle) and itsdip (angle). Astrike line is the intersection of a horizontal plane with the observed planar feature (and therefore a horizontal line), and the strike angle is thebearing of this line (that is, relative togeographic north or frommagnetic north). The dip is the angle between a horizontal plane and the observed planar feature as observed in a third vertical plane perpendicular to the strike line.