Задача 510

Условие:

Доказать, что уравнение движения маятника у" + sin у = 0 имеет частное решение y(x), стремящееся к π при x → +∞.  

Решение: