Уравнение движения имеет вид

Решения продолжимы неограниченно.
Пусть

- решение с начальными условиями

.
По теореме единственности, из симметричности системы получаем нечетность

(и тогда

- четна).
Пусть

,

.
Ускорение

равномерно ограничено. Потому для всех достаточно больших (отрицательных)

, скорость

на участке
![$[0,T]$ $[0,T]$](https://dxdy-03.korotkov.co.uk/f/a/a/b/aab0f08201b211261f795050337fa8df82.png)
достаточно велика (по модулю), так что

достаточно большое (отрицательное). По непрерывной зависимости от начальных условий, отсюда следует, что

при некотором

(т.е.,

). Но тогда (четность-нечетность)

, и

. И опять - по теореме единственности - получаем, при всех

,

для построенного решения. Что и требовалось....