У меня получилось следующее уравнение связи:

Я как-то над этим уравнением не задумывался, и был уверен, что глобально оно не разрешимо. Но если немного подумать, то оказывается, что именно глобально (при всех

) оно определяет гладкую функцию

которую даже не так трудно выписать. Там, какая-то тривиальная неединственность есть, но это неважно. Поэтому, действительно, удобнее пользоваться уравнением Лагранжа на обобщенную координату

(без множителей.)
А имели ли в виду
amon и
Padawan именно это -- непонятно. В качестве аргумента предлагалась голономность, но голономность как таковая существования глобальных координат совсем не гарантирует, как и теорема о неявной функции, впрочем.
Вопрос о вычислении обобщенной силы, отвечающей моментам

остался на повестке.