А ничего, что доказательство теоремы о выпрямлении использует теорему существования и единственности? И что значит "предъявлено решение"? Спец. функции считаются?
В том то и дело, что можно не использовать.
Для меня как раз это было и не понятно:
теорема о выпрямлении приводится в учебнике Арнольда раньше теоремы существования и единственности,
хотя как кажется из неё следует. Был нарушен обычай: всё выводить последовательно.
Но на самом деле теорема существования не нужна, если есть алгебраическое (или на худой конец аналитическое) решение. Решение, полученное в явном виде формул, выпрямляет поле.
А все учебные задачи обычно решаются в явном виде, поэтому там поле выпрямляется без теоремы существования.
-- Вт июн 25, 2013 23:48:08 --На мой взгляд корректное точное
решение может быть предъявлено в виде алгебраических соотношений на переменные.
Никакие спецфункции, экспоненты и тригонометрические функции не годятся
(интегрирование спрятано в другой нотации).
Но Арнольд несомненно допускал использование экспонент и т.п.
Хотя понятие "точное решение" весьма условно, если имеешь дело с числовой прямой.