ヘッセ標準形

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

解析幾何学においてヘッセ標準形（ヘッセひょうじゅんけい、テンプレート:Lang-en-short）は、ルートヴィヒ・オットー・ヘッセに名を因む、平面 テンプレート:Math 上の直線やユークリッド空間 テンプレート:Math 内の平面あるいはより高次元の空間内の超平面を記述する方程式である。この標準形は基本的に点と直線との距離を計算するのに用いられ、ベクトル方程式として書けば $$\overrightarrow{r}\cdot {\overrightarrow{n}}_0-d=0$$ の形に表される。ただし、ここでは任意の点 テンプレート:Mvar がその位置ベクトル テンプレート:Mvar で表されるものとし、それはちょうどある平面 テンプレート:Mvar（三次元の場合）またはある直線 テンプレート:Mvar（二次元の場合）にあるものと仮定する。ベクトル テンプレート:Math は テンプレート:Mvar または テンプレート:Mvar の単位法ベクトルで、とくに座標系の原点から平面または直線へ向かう向きを持つものとする。また定数 テンプレート:Math は原点から平面または直線までの距離に等しい。中黒は点乗積である。

標準形の導出と計算

注

簡単のため以下では三次元の場合を述べるが、同様のことは二次元あるいは高次元の場合でもほとんどそのまま通用する。

法線標準形の方程式 $$(\overrightarrow{r}-\overrightarrow{a})\cdot \overrightarrow{n}=0$$ は位置ベクトル テンプレート:Mvar をもつ任意の点 テンプレート:Mvar を通り、テンプレート:Mvar を法ベクトルとする平面 テンプレート:Mvar を表す。法ベクトルの向きは テンプレート:Math を満たすものと仮定する。法ベクトルをその大きさ テンプレート:Math で割って単位法ベクトル テンプレート:Math を得れば、式は $$(\overrightarrow{r}-\overrightarrow{a})\cdot {\overrightarrow{n}}_0=0$$ となるから、テンプレート:Math と置けば、ヘッセ標準形 $$\overrightarrow{r}\cdot {\overrightarrow{n}}_0-d=0$$ を得る。

ヘッセ標準形

図において、テンプレート:Mvar は原点からの距離になる。実際、テンプレート:Math はこの平面上の任意の点が満足するのだから、特に原点から平面 テンプレート:Math に下ろした垂線の足 テンプレート:Mvar も、テンプレート:Math の場合として満足する。点乗積の定義によれば $$d={\overrightarrow{r}}_s\cdot {\overrightarrow{n}}_0=|{\overrightarrow{r}}_s|\cdot |{\overrightarrow{n}}_0|\cdot \cos (0^{\circ })=|{\overrightarrow{r}}_s|\cdot 1=|{\overrightarrow{r}}_s|$$ であって、テンプレート:Mvar の大きさ テンプレート:Math は原点からこの平面へ結んだ最短距離に等しいのであった。 テンプレート:-

一般化

超平面のヘッセ標準形

一般にヘッセ標準形は テンプレート:Mvar-次元ユークリッド空間内の超平面を記述する。テンプレート:Mvar-次元の場合にも、超平面上の点の位置ベクトルを テンプレート:Math として標準形の方程式は $$\overrightarrow{x}\cdot {\overrightarrow{n}}_0=d$$ の形であり、平面や空間でベクトルの成分の数が テンプレート:Math や テンプレート:Math だったところが テンプレート:Mvar 成分になるだけである。

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

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

ヘッセ標準形は平面曲線に対しても考えることができる。曲線が陰函数表示 テンプレート:Math で与えられ、条件 テンプレート:Math を満たすとき、これを曲線のヘッセ標準形と呼ぶ。例えば $$h(x,y)=\sqrt{x^2+y^2}-r=0$$ は円の方程式 テンプレート:Math のヘッセ標準形である。函数 テンプレート:Mvar は原点からこの曲線への向き付けられた距離を記述するもので、距離函数 テンプレート:Lang とも呼ばれる。

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

関連項目

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