:: Haltyの日記帳 ::

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

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