Уравнение движения имеет вид
Решения продолжимы неограниченно.
Пусть
- решение с начальными условиями
.
По теореме единственности, из симметричности системы получаем нечетность
(и тогда
- четна).
Пусть
,
.
Ускорение
равномерно ограничено. Потому для всех достаточно больших (отрицательных)
, скорость
на участке
достаточно велика (по модулю), так что
достаточно большое (отрицательное). По непрерывной зависимости от начальных условий, отсюда следует, что
при некотором
(т.е.,
). Но тогда (четность-нечетность)
, и
. И опять - по теореме единственности - получаем, при всех
,
для построенного решения. Что и требовалось....