数学 › 高校数学:図形と幾何 › 立体の体積・球面・多面体
正多面体
凸多面体で、すべての面が合同な正 角形()であり、各頂点にちょうど 個の面と 本の辺が集まる()ものを正多面体といい、 の型であるという。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
数学 › 高校数学:図形と幾何 › 立体の体積・球面・多面体
凸多面体で、すべての面が合同な正 角形()であり、各頂点にちょうど 個の面と 本の辺が集まる()ものを正多面体といい、 の型であるという。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。