曲線の長さの定義を積分で与えると内接の場合でも証明できない気がしてきた(-A-)
「異なる2点間を結ぶ曲線で長さが最小なものは線分である」ということを認めれば自明だけど。
これを公理として外接の場合も証明できるんでしょうか？どなたかお願いします。