Для окружности спремляемость очевидна
Понятное дело. Раз не можем доказать - очевидно.
Собственно речь и идет о строгом доказательстве спрямляемости окружности,
а совсем не о спрямляемости каких-то там экзотических непрерывных, но совсем не гладких кривых.
под очевидностью подразумевалось, что строгое доказательство спрямляемости окружности можно провести элементарными методами, используя лишь свойства предельного перехода. И незачем здесь огород городить из производных и интегралов. Если вы не можете этого сделать, это не означает, что кто-то кого-то обманывает.
Цитата:
Предлагаю Вам дать определение длины алгебраической кривой.
Я докажу, что либо оно неадекватно, либо сводится к интегралу.
для алгебраических кривых это не интересно и заранее предсказуемо. Было бы здорово увидеть ваше доказательство для произвольной непрерывной кривой.