ポールケの定理

ポールケの定理（ポールケのていり、、）は、軸測投影の基礎的な結果である。1853年にドイツの図法幾何学教師によって発見された。1864年、ポールケの学生のドイツの数学者ヘルマン・シュヴァルツによって最初の証明が与えられたことからポールケ・シュワルツの定理（theorem of Pohlke and Schwarz、Pohlke-Schwarz's theorem）とも呼ばれる。

 主張 
サムネイル|ポールケの定理

 平面上で点から3点に向けて3線分を描く。このとき、3辺のがであるような立方体を構成することができる。

単位立方体の射影においては、空間または平面上での操作が必要となる。平行射影および拡大縮小の操作の際、辺の比は保存されているため、下に挙げるように軸測投影によって任意の点を射影像として得ることができる。

線型代数学の言葉でポールケの定理を述べることができる。

 3次元空間から平面への任意のアフィン写像は相似変換と平行射影の合成と見なすことができる。

 軸測射影への応用 
サムネイル|軸測射影の原理。
ポールケの定理は座標系を用いて3次元の対象の相似平行射影を構成するための、次に説明する手順を正当化するものであるUlrich Graf, Martin Barner: Darstellende Geometrie. Quelle & Meyer, Heidelberg 1961, , p.144.Roland Stärk: Darstellende Geometrie, Schöningh, 1978, , p.156.。

 各座標軸が点へ縮退しないように座標軸を見る角度を設定する。
 各座標軸を長さがとなるまで短縮する。
 空間のの像となる点は、点からスタートしてこの手順で決定される。

 を軸方向へ 、軸方向へ、軸方向へ移動する。
 4. 移動後の点がと一致する。

歪みのない画像を得るためには、軸の取り方とその短縮を慎重に行う必要がある。直投影を得るには軸の取り方は厭われないが、軸の短縮方法は一定となる。

 シュヴァルツによる証明 
シュヴァルツはより一般的な主張を定式化・証明した。

 任意四角形の頂点は、ある特定の四面体と相似な四面体の頂点の斜平行射影として定めることができる。

証明にはリュイリエの定理を用いた。

 任意の三角形は、一定に形の定められた三角形の直射影として得ることができる。

 脚注 

 注釈 

 出典 

 参考文献 











 外部リンク 

 Pohlke–Schwarz theorem, Encyclopedia of Mathematics.

Category:線型代数学
Category:数学のエポニム
Category:数学に関する記事