>>826
内接多角形の周が円周より短いことなら、曲線長の定義から示せるが、
外接正12角形の周が円周より長いことは、どうやって証明するのか。
見た目？