が無理数であることの簡単な証明
余弦定理より半径の円周より少し小さい内接する正角形の、を無限に飛ばす。その多角形を、無限角形と呼ぶことにする。
無限角形、外接する無限角形の間に円周の長さが存在する。
内接する無限角形の一辺はより少し大きく、よりわずかに大きい無理数。
は無理数で、しかも微小数の無限倍は必ずになる可能性がある。
……それはないかな。
しかし、最低でも微小数の無限倍は不定になるとは限らない。極限なので微分したように値が定まることがあることが分かる。
無理数である証明
無理数の倍である為は無理数である。
なぜは無理数か?
有理数の近傍は無理数である為。