То есть формула 

 имеет все же право на жизнь?
Да. Дифференциальное уравнение можно переписать в виде 

, откуда выражение в скобке постоянно.
Да, чтобы найти 

, надо привлечь и выражение для 

, либо (я бы так и поступил) немного изменить условие задачи: 

 задана, а время отсчитывается от соответствующего момента соприкосновения шарика с плоскостью.
Опять же, немного смущает, что и без функции Ламберта видно, что 

 удовлетворяет.
Пара слов о функции Ламберта. С точки зрения уравнения

,
естественной «скоростью» в задаче является не 

, а 

. Величина 

 в нашей задаче всегда отрицательна, а её модуль при полёте шара уменьшается. В верхней точке 

. Если бы шар достиг предельной скорости 

, то 

 была бы равна нулю. С использованием 

 уравнение перепишется в виде

Важно, что 

.
Теперь обозначим 

. Уравнение тогда гласит, что 

. Чтобы это не приводило к неверному заключению 

 и 

, функция, обратная 

 (а это и есть функция Ламберта 

) должна иметь две ветви. И это действительно так! Взгляните на график:

Так как это функция, обратная 

, здесь 

 откладывается по оси ординат. Уравнение 

 означает, что значениям 

 (зелёная точка) и 

 (синяя точка) соответствует одна абсцисса (что обозначено красной линией). И решить это уравнение — означает найти положение синей точки по известному положению зелёной точки. Фактически, нам лучше подошла бы даже не сама функция 

, а зависимость
«значение синей ветви как функция значения зелёной ветви при одном и том же значении аргумента».