Здесь, видимо, гладкость окружности не нужна, а нужна только выпуклость круга.
Гладкость не нужна, а вот с достаточностью выпуклости -- некоторые проблемы. Как минимум потому, что не вполне понятно (на элементарном уровне), что бы в точности это могло означать для неокружности.
-- Вс июн 01, 2014 23:14:54 --И зачем доказывать существование длины, когда нам нужны лишь её грубые оценки?
Затем, что невозможно оценивать ни грубо, ни даже тонко, пока не раскроешь страшную тайну -- что же, собственно, оцениваешь.
У-ф-ф.