Доказательство.
С учетом константы первого интеграла имеем:

Уравнение движения:

Условие диссипативнсти силы

эквивалентно следующему неравенству:

.
В случае непроскальзывания

легко проверить, что

поэтому отрыва не происходит. Достаточно выразить

из уравнений

и первого интеграла.
Рассмотрим случай когда проскальзывание есть

Предположим противное: происходит отрыв. Это значит, что на некотором промежутке времени функция

возрастает и

.
1 случай:

функция

--возрастает. Из последнего следует, что

значит, в силу уравнения движения,

. В силу условия дисипативности

. Последнее неравенство несовместимо с неравенством

.
Действительно,

откуда

, что невозможно. Противоречие.
2 случай:

функция

--убывает. -- разбирается аналогично