円周=直径×π
この式を変形するとπ=円周÷直径ということになる。
つまり円周率とは円周を直径で割った値であり、それはどんな円でも共通して同じであり、一定であるというわけだ。
更に上の式はこのようにも変形出来る。
直径=円周÷π
これはどうってことのない式だが、よく考えれば驚くべき内容を含んでいる。
即ち、無理数の円周の値を同じく無理数のπで割ると有限の有理数になるということだ。
なぜならば直径の値はこちらで決めることの出来る任意の数だからだ。