広義の正多面体は9つありました。これを、凸型の5つと星型の4つ、と分類することもできます。しかし、ここでは別の分類を考えます。ユークリッド空間の合同変換、すなわち長さや角度を保つ変換を考えます。ユークリッド空間内のある集合 X に対して、X を X …