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 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
:
:
.
The distance between the origin and the point
is
.
Converting general problem to distance-from-origin problem
Suppose we wish to find the nearest point on a plane to the point (
), where the plane is given by
. We define
,
,
, and
, to obtain
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
and
, between
and
, and between
and
; 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
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 ...
, and the expression
appearing in the solution is the squared
norm . Thus, if
is a given vector, the plane may be described as the set of vectors
for which
and the closest point on this plane to the origin is the vector
:
.
[.][.]
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,
:
.
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
is a scalar multiple of the vector
defining the plane, and is therefore orthogonal to the plane.
Thus, if
is any point on the plane other than
itself, then the line segments from the origin to
and from
to
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
is
:
.
Since
must be a positive number, this distance is greater than
, the distance from the origin to
.
[
Alternatively, it is possible to rewrite the equation of the plane using dot products with in place of the original dot product with (because these two vectors are scalar multiples of each other) after which the fact that 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 -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 ...
through a point with normal vector is or where .
The corresponding Cartesian form is where .[
The closest point on this hyperplane to an arbitrary point is
:
and the distance from to the hyperplane is
:.][
Written in Cartesian form, the closest point is given by for where
:,
and the distance from to the hyperplane is
:.
Thus in the point on a plane closest to an arbitrary point is given by
:
where
:,
and the distance from the point to the plane is
:.
]
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)