:: Haltyの日記帳 ::

フランクモーリーの定理：

任意の三角形 ABCに対して，3つの角の三等分線どうしが最初にぶつかる点を P, Q, Rとおくとき三角形 PQRは正三角形である。

オイラーの多面体定理：

任意の（穴のない）多面体において，
頂点の数をV, 辺の数をE, 面の数をFとおくと，

V−E+F=2

が成立する。