どんな円でも、円周÷直径は一定。
これを円周率と定める。
(1行目の主張は、原論でもちゃんと証明されている)