どうも根本的に納得いかない。
円弧には長さが存在することを示せと言うわけだが、
１．「sinx/x→1(x→0)をロピタルの定理を使わずに示せ」というような問題のときに、
このような議論をせねばならない積極的な理由が全く分からない。
（トートロジーがどうこう言っているがナンセンス。トートロジーで
なにが悪いのか？）
２．円弧に長さが存在しない可能性をまず言うべき。
言い換えると、円弧の長さというものが自明でないと思えるような言及をすべき。
これではアブストラクトナンセンスだ。
こんなことを言うんだったら、たとえばじゃあ実数とは何だ？数とは何だ？
極限とは何だ？それに答えなければ、証明出来てないことになるぞ。