三角錐(さんかくすい、triangular pyramid, trigonal pyramid)とは、垂直断面に三角形を持つ錐体のことである。辺6本、頂点4つからなる。さらに、面の数は立体に於ける最小限界の 4 つである。このことからまた、四面体(しめんたい、tetrahedron)とも呼ぶ。三角錐は、最小の頂点数で構成することができる立体であると表現することもできる。
垂直断面が正三角形である場合、特に正三角錐という。幾何学に於いて、角錐の側面は全て三角形であるが、この場合は底面も三角形であるから、三角錐は、全ての面が三角形である立体である。
正四面体
全ての面が正三角形であるような三角錐を、
正四面体(せいしめんたい、
regular tetrahedoron)という。
双対多面体に関しては特殊であり、各面の
重心を線分で結んで構成される立体も正四面体であるという特殊な性質(
自己双対性)を持っている。このような立体は、3 次元では正四面体のみである。
正四面体の一辺の長さを a とすれば、その表面積 S、体積 V は、
-
-
として得られる。
正四面体は、デルタ多面体の一種である。
多面体分割
面積の等しい三角形と
四角形は、適当に多角形に有限回
分割することによって
合同にすることができるが、三角錐と四角錐は、たとえ体積が等しくとも多面体に分割して合同にすることは一般的には無理である。これは、
ボヤイの定理が 3 次元空間では一般に成立しないことを示す。こうして 3 次元空間に於けるボヤイの定理(それは
ヒルベルトの第三の問題でもあった)が否定的に解かれた。ただし、分割の仕方を多面体に限らなければ体積が等しくなくても有界な図形は合同にすることができる(
バナッハ=タルスキーのパラドックス)。
一般次元への拡張
一般次元
ユークリッド空間 Rn にも、当然、最小の頂点で構成できる立体は存在する。そのような立体を総称して
単体あるいは三角錐と言うことがある。一般に、空間の次元が
n であるとき、その空間内に存在する三角錐は
n+1 個の頂点を持つ。
また、三角錐は、“空間上にある基準点 O を取ったとき、O からの位置ベクトルが互いに一次独立な関係にあるような n+1 個の点 P1,…,Pn+1 を頂点にもつ多面体。” と定義することもできる。このとき、vecOPi=(x1i,…,xni) とすれば、この三角錐の表面積 S は、
S = \frac{1}{n!}{\rm abs}
\begin{vmatrix}
x_{11} & x_{12} & \cdots & x_{1,n+1} \\
& \cdots & \cdots & \\
x_{n1} & x_{n2} & \cdots & x_{n,n+1} \\
1 & 1 & 1 & 1
\end{vmatrix}
と表すことができる。特に、P
n+1=O であるとき、
S = \frac{1}{n!}{\rm abs}
\begin{vmatrix}
x_{11} & \cdots & x_{1n} \\
\vdots & \ddots & \vdots \\
x_{n1} & \cdots & x_{nn}
\end{vmatrix}
である。
関連項目
曲面 | 初等数学 | 角柱・角錐 | 正多面体
Tetràedre | Tetraeder | Tetraeder | Tetrahedron | Kvaredro | Tetraedro | Tetraedro | Tetraedri | Tétraèdre | ארבעון | Tetraedro | 사면체 | Tetraedras | Viervlak | Tetraeder | Czworościan | Tetraedro | Тетраэдр | Tetrahedron | Tetraeder | Tetraeder | 正四面體