Доказательство.
С учетом константы первого интеграла имеем:
Уравнение движения:
Условие диссипативнсти силы
эквивалентно следующему неравенству:
.
В случае непроскальзывания
легко проверить, что
поэтому отрыва не происходит. Достаточно выразить
из уравнений
и первого интеграла.
Рассмотрим случай когда проскальзывание есть
Предположим противное: происходит отрыв. Это значит, что на некотором промежутке времени функция
возрастает и
.
1 случай:
функция
--возрастает. Из последнего следует, что
значит, в силу уравнения движения,
. В силу условия дисипативности
. Последнее неравенство несовместимо с неравенством
.
Действительно,
откуда
, что невозможно. Противоречие.
2 случай:
функция
--убывает. -- разбирается аналогично