>>534
多角形近似や数値積分の収束値が円周の長さであることは、
π を用いずに厳密に証明するのは困難です。
これらの方法では、結果が「円周らしい値」に近づくことは示せても、それが円周そのものである自明性は欠けます。なぜなら、円周の長さの数学的定義が π\pi\pi
と結びついている以上、π を排除すると「円周とは何か」を再定義する必要が生じるからです。

まず、「円周とは何か」を定義してください。