HOME

TheInfoList



OR:

In
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
, the distance from a point to a plane is the distance between a given point and its
orthogonal projection In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself (an endomorphism) such that P\circ P=P. That is, whenever P is applied twice to any vector, it gives the same result as if it we ...
on the plane, the
perpendicular distance In geometry, the perpendicular distance between two objects is the distance from one to the other, measured along a line that is perpendicular to one or both. The distance from a point to a line is the distance to the nearest point on that lin ...
to the nearest point on the plane. It can be found starting with a
change of variables In mathematics, a change of variables is a basic technique used to simplify problems in which the original variables are replaced with functions of other variables. The intent is that when expressed in new variables, the problem may become si ...
that moves the origin to coincide with the given point then finding the point on the shifted plane ax + by + cz = d that is closest to the origin. The resulting point has
Cartesian coordinate In geometry, a Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called ''coordinates'', which are the signed distances to the point from two fixed perpendicular o ...
s (x,y,z): :\displaystyle x = \frac , \quad \quad \displaystyle y = \frac , \quad \quad \displaystyle z = \frac . The distance between the origin and the point (x,y,z) is \sqrt.


Converting general problem to distance-from-origin problem

Suppose we wish to find the nearest point on a plane to the point (X_0, Y_0, Z_0), where the plane is given by aX + bY + cZ = D. We define x = X - X_0, y = Y - Y_0, z = Z - Z_0, and d = D - aX_0 - bY_0 - cZ_0, to obtain ax + by + cz = d as the plane expressed in terms of the transformed variables. Now the problem has become one of finding the nearest point on this plane to the origin, and its distance from the origin. The point on the plane in terms of the original coordinates can be found from this point using the above relationships between x and X, between y and Y, and between z and Z; the distance in terms of the original coordinates is the same as the distance in terms of the revised coordinates.


Restatement using linear algebra

The formula for the closest point to the origin may be expressed more succinctly using notation from
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as :a_1x_1+\cdots +a_nx_n=b, linear maps such as :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrix (mathemat ...
. The expression ax+by+cz in the definition of a plane is a
dot product In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a Scalar (mathematics), scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. N ...
(a,b,c)\cdot(x,y,z), and the expression a^2+b^2+c^2 appearing in the solution is the squared norm , (a,b,c), ^2. Thus, if \mathbf=(a,b,c) is a given vector, the plane may be described as the set of vectors \mathbf for which \mathbf\cdot\mathbf=d and the closest point on this plane to the origin is the vector :\mathbf=\frac... The
Euclidean distance In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is o ...
from the origin to the plane is the norm of this point, :\frac = \frac.


Why this is the closest point

In either the coordinate or vector formulations, one may verify that the given point lies on the given plane by plugging the point into the equation of the plane. To see that it is the closest point to the origin on the plane, observe that \mathbf is a scalar multiple of the vector \mathbf defining the plane, and is therefore orthogonal to the plane. Thus, if \mathbf is any point on the plane other than \mathbf itself, then the line segments from the origin to \mathbf and from \mathbf to \mathbf form a
right triangle A right triangle or right-angled triangle, sometimes called an orthogonal triangle or rectangular triangle, is a triangle in which two sides are perpendicular, forming a right angle ( turn or 90 degrees). The side opposite to the right angle i ...
, and by the
Pythagorean theorem In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite t ...
the distance from the origin to q is :\sqrt. Since , \mathbf-\mathbf, ^2 must be a positive number, this distance is greater than , \mathbf, , the distance from the origin to \mathbf. Alternatively, it is possible to rewrite the equation of the plane using dot products with \mathbf in place of the original dot product with \mathbf (because these two vectors are scalar multiples of each other) after which the fact that \mathbf is the closest point becomes an immediate consequence of the
Cauchy–Schwarz inequality The Cauchy–Schwarz inequality (also called Cauchy–Bunyakovsky–Schwarz inequality) is an upper bound on the absolute value of the inner product between two vectors in an inner product space in terms of the product of the vector norms. It is ...
.


Closest point and distance for a hyperplane and arbitrary point

The vector equation for a
hyperplane In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is ...
in n-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
\mathbb^n through a point \mathbf with normal vector \mathbf \ne \mathbf is (\mathbf-\mathbf)\cdot\mathbf = 0 or \mathbf\cdot\mathbf=d where d=\mathbf\cdot\mathbf. The corresponding Cartesian form is a_1x_1+a_2x_2+\cdots+a_nx_n=d where d=\mathbf\cdot\mathbf=a_1p_1+a_2p_2+\cdots a_np_n. The closest point on this hyperplane to an arbitrary point \mathbf is :\mathbf=\mathbf-\left dfrac\rightmathbf=\mathbf-\left dfrac\rightmathbf and the distance from \mathbf to the hyperplane is :\left\, \mathbf-\mathbf\right\, = \left\, \left dfrac\rightmathbf\right\, =\dfrac=\dfrac. Written in Cartesian form, the closest point is given by x_i=y_i-ka_i for 1\le i\le n where :k=\dfrac=\dfrac, and the distance from \mathbf to the hyperplane is :\dfrac. Thus in \mathbb^3 the point on a plane ax+by+cz=d closest to an arbitrary point (x_1,y_1,z_1) is (x,y,z) given by :\left.\beginx=x_1-ka\\y=y_1-kb\\z=z_1-kc\end\right\} where :k=\dfrac, and the distance from the point to the plane is :\dfrac.


See also

* Distance from a point to a line * Hesse normal form *


References

{{DEFAULTSORT:Point On Plane Closest To Origin Euclidean geometry Distance Planes (geometry)