Up
切断面としての大円
「大円」は，球面の「中心を通る切断面」(ただし，面は生じない) と定義することができます。
大円は，「最も大きい切り口」と特徴づけることができます。
証明には「三角不等式」を使います：
球面は，それの大円から生成される「回転体」と見ることができます。
