Hesse normal form

Last updated
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. Hesse normalenform.svg
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 , a plane in Euclidean space , or a hyperplane in higher dimensions. [1] [2] It is primarily used for calculating distances (see point-plane distance and point-line distance).

Contents

It is written in vector notation as

The dot indicates the dot product (or scalar product). Vector points from the origin of the coordinate system, O, to any point P that lies precisely in plane or on line E. The vector represents the unit normal vector of plane or line E. The distance 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,

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

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

and the above equation can be rewritten as

Substituting

we obtain the Hesse normal form

Ebene Hessesche Normalform.PNG

In this diagram, d is the distance from the origin. Because 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 , per the definition of the Scalar product

The magnitude of is the shortest distance from the origin to the plane.

Distance to a line

The Quadrance (distance squared) from a line to a point is

If has unit length then this becomes

Related Research Articles

In mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Euclidean vector</span> Geometric object that has length and direction

In mathematics, physics, and engineering, a Euclidean vector or simply a vector is a geometric object that has magnitude and direction. Euclidean vectors can be added and scaled to form a vector space. A vector quantity is a vector-valued physical quantity, including units of measurement and possibly a support, formulated as a directed line segment. A vector is frequently depicted graphically as an arrow connecting an initial pointA with a terminal pointB, and denoted by

<span class="mw-page-title-main">Affine transformation</span> Geometric transformation that preserves lines but not angles nor the origin

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

In physics, a plane wave is a special case of a wave or field: a physical quantity whose value, at any moment, is constant through any plane that is perpendicular to a fixed direction in space.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

<span class="mw-page-title-main">Euclidean planes in three-dimensional space</span> Flat surface

In Euclidean geometry, a plane is a flat two-dimensional surface that extends indefinitely. Euclidean planes often arise as subspaces of three-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 their embedding in the ambient space .

In mathematics, a quadric or quadric surface (quadric hypersurface in higher dimensions), is a generalization of conic sections (ellipses, parabolas, and hyperbolas). It is a hypersurface (of dimension D) in a (D + 1)-dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in D + 1 variables; for example, D = 1 in the case of conic sections. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a degenerate quadric or a reducible quadric.

<span class="mw-page-title-main">Normal (geometry)</span> Line or vector perpendicular to a curve or a surface

In geometry, a normal is an object that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the line perpendicular to the tangent line to the curve at the point.

Unit quaternions, known as versors, provide a convenient mathematical notation for representing spatial orientations and rotations of elements in three dimensional space. Specifically, they encode information about an axis-angle rotation about an arbitrary axis. Rotation and orientation quaternions have applications in computer graphics, computer vision, robotics, navigation, molecular dynamics, flight dynamics, orbital mechanics of satellites, and crystallographic texture analysis.

<span class="mw-page-title-main">Evolute</span> Centers of curvature of a curve

In the differential geometry of curves, the evolute of a curve is the locus of all its centers of curvature. That is to say that when the center of curvature of each point on a curve is drawn, the resultant shape will be the evolute of that curve. The evolute of a circle is therefore a single point at its center. Equivalently, an evolute is the envelope of the normals to a curve.

<span class="mw-page-title-main">Line (geometry)</span> Straight figure with zero width and depth

In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points.

Screw theory is the algebraic calculation of pairs of vectors, also known as dual vectors – such as angular and linear velocity, or forces and moments – that arise in the kinematics and dynamics of rigid bodies.

<span class="mw-page-title-main">Three-dimensional space</span> Geometric model of the physical space

In geometry, a three-dimensional space is a mathematical space in which three values (coordinates) are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called 3-manifolds. The term may also refer colloquially to a subset of space, a three-dimensional region, a solid figure.

In Euclidean space, the distance from a point to a plane is the distance between a given point and its orthogonal projection on the plane, the perpendicular distance to the nearest point on the plane.

<span class="mw-page-title-main">Euclidean plane</span> Geometric model of the planar projection of the physical universe

In mathematics, a Euclidean plane is a Euclidean space of dimension two, denoted or . It is a geometric space in which two real numbers are required to determine the position of each point. It is an affine space, which includes in particular the concept of parallel lines. It has also metrical properties induced by a distance, which allows to define circles, and angle measurement.

<span class="mw-page-title-main">Isophote</span> Curve on an illuminated surface through points of equal brightness

In geometry, an isophote is a curve on an illuminated surface that connects points of equal brightness. One supposes that the illumination is done by parallel light and the brightness b is measured by the following scalar product:

The distancefrom a point to a line is the shortest distance from a fixed point to any point on a fixed infinite line in Euclidean geometry. It is the length of the line segment which joins the point to the line and is perpendicular to the line. The formula for calculating it can be derived and expressed in several ways.

<span class="mw-page-title-main">Intersection (geometry)</span> Shape formed from points common to other shapes

In geometry, an intersection is a point, line, or curve common to two or more objects. The simplest case in Euclidean geometry is the line–line intersection between two distinct lines, which either is one point or does not exist. Other types of geometric intersection include:

<span class="mw-page-title-main">Intersection curve</span> Curve that is common to two geometric objects

In geometry, an intersection curve is a curve that is common to two geometric objects. In the simplest case, the intersection of two non-parallel planes in Euclidean 3-space is a line. In general, an intersection curve consists of the common points of two transversally intersecting surfaces, meaning that at any common point the surface normals are not parallel. This restriction excludes cases where the surfaces are touching or have surface parts in common.

References

  1. Bôcher, Maxime (1915), Plane Analytic Geometry: With Introductory Chapters on the Differential Calculus, H. Holt, p. 44.
  2. John Vince: Geometry for Computer Graphics. Springer, 2005, ISBN   9781852338343, pp. 42, 58, 135, 273