ヘッセ標準形

ウィキペディア

ヘッセ標準形

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/04/12 15:16 UTC 版)

法線の図示とヘッセ標準形からの距離の計算

解析幾何学においてヘッセ標準形（ヘッセひょうじゅんけい、英: Hesse normal form）は、ルートヴィヒ・オットー・ヘッセに名を因む、平面 R² 上の直線やユークリッド空間 R³ 内の平面あるいはより高次元の空間内の超平面を記述する方程式である。この標準形は基本的に点と直線との距離を計算するのに用いられ、ベクトル方程式として書けば

$${\vec {r}}\cdot {\vec {n}}_{0}-d=0$$

ヘッセ標準形

図において、d は原点からの距離になる。実際、r→⋅n→₀ = d はこの平面上の任意の点が満足するのだから、特に原点から平面 E に下ろした垂線の足 Q も、r→ = r→_s の場合として満足する。点乗積の定義によれば

$$d={\vec {r}}_{s}\cdot {\vec {n}}_{0}=|{\vec {r}}_{s}|\cdot |{\vec {n}}_{0}|\cdot \cos(0^{\circ })=|{\vec {r}}_{s}|\cdot 1=|{\vec {r}}_{s}|$$

であって、r→_s の大きさ || r→_s || は原点からこの平面へ結んだ最短距離に等しいのであった。

一般化

超平面のヘッセ標準形

一般にヘッセ標準形は n-次元ユークリッド空間内の超平面を記述する。n-次元の場合にも、超平面上の点の位置ベクトルを x→ として標準形の方程式は

$${\vec {x}}\cdot {\vec {n}}_{0}=d$$

の形であり、平面や空間でベクトルの成分の数が 2 や 3 だったところが n 成分になるだけである。

超平面は n-次元空間を二つの半空間に分割し、超平面上の点は先の方程式を満たす位置ベクトルの全体であり、またある点の位置ベクトル x→ が x→⋅n→₀ > d を満たすならば、その点は二つある半空間のうち法ベクトル n→₀ の指す方に属する。不等号が逆ならば反対側の半空間に入る。

曲線や曲面のヘッセ標準形

ヘッセ標準形は平面曲線に対しても考えることができる。曲線が陰函数表示 h(x, y) = 0 で与えられ、条件 || ∇h || = 1 を満たすとき、これを曲線のヘッセ標準形と呼ぶ。例えば

$$h(x,y)={\sqrt {x^{2}+y^{2}}}-r=0$$

は円の方程式 x² + y² = r² のヘッセ標準形である。函数 h は原点からこの曲線への向き付けられた距離を記述するもので、距離函数 (Distanzfunktion) とも呼ばれる。

曲面の場合にも、ヘッセ標準形を考えることができる。曲線や曲面のヘッセ標準形は幾何学的モデリングにおける実用だけではなく、理論的にも（曲線の弧長と類似の意味で）重要である。

関連項目

• 平面における直線の標準形