Hesse normal form

From HandWiki
Short description: Equation in analytic geometry
Distance from the origin O to the line E calculated with the Hesse normal form. Normal vector in red, line in green, point O shown in blue.

In analytic geometry, the Hesse normal form (named after Otto Hesse) is an equation used to describe a line in the Euclidean plane ℝ2, a plane in Euclidean space ℝ3, or a hyperplane in higher dimensions.[1][2] It is primarily used for calculating distances (see point-plane distance and point-line distance).

It is written in vector notation as

r→⋅n→0−d=0.

The dot ⋅ indicates the dot product (or scalar product). Vector r→ points from the origin of the coordinate system, O, to any point P that lies precisely in plane or on line E. The vector n→0 represents the unit normal vector of plane or line E. The distance d≥0 is the shortest distance from the origin O to the plane or line.

Derivation/Calculation from the normal form

Note: For simplicity, the following derivation discusses the 3D case. However, it is also applicable in 2D.

In the normal form,

(r→−a→)⋅n→=0

a plane is given by a normal vector n→ as well as an arbitrary position vector a→ of a point A∈E. The direction of n→ is chosen to satisfy the following inequality

a→⋅n→≥0

By dividing the normal vector n→ by its magnitude |n→|, we obtain the unit (or normalized) normal vector

n→0=n→|n→|

and the above equation can be rewritten as

(r→−a→)⋅n→0=0.

Substituting

d=a→⋅n→0≥0

we obtain the Hesse normal form

r→⋅n→0−d=0.

center

In this diagram, d is the distance from the origin. Because r→⋅n→0=d holds for every point in the plane, it is also true at point Q (the point where the vector from the origin meets the plane E), with r→=r→s, per the definition of the Scalar product

d=r→s⋅n→0=|r→s|⋅|n→0|⋅cos⁡(0∘)=|r→s|⋅1=|r→s|.

The magnitude |r→s| of r→s is the shortest distance from the origin to the plane.

Distance to a line

The Quadrance (distance squared) from a line ax+by+c=0 to a point (x,y) is

(ax+by+c)2a2+b2.

If (a,b) has unit length then this becomes (ax+by+c)2.

References

  1. ↑ Bôcher, Maxime (1915), Plane Analytic Geometry: With Introductory Chapters on the Differential Calculus, H. Holt, p. 44, https://books.google.com/books?id=bYkLAAAAYAAJ&pg=PA44 .
  2. ↑ John Vince: Geometry for Computer Graphics. Springer, 2005, ISBN 9781852338343, pp. 42, 58, 135, 273