Мне очень нравится авторское решение. И то, что написано ниже, ни в коем случае не претендует на «делай так!». Это только упражнение.
Физики часто в рассуждениях используют бесконечно малые кубики, малые, почти прямолинейные участки криволинейной нити и т.д. Известно, что рассуждения с использованием этих понятий, в принципе, могут быть строго обоснованы. Физики о таком обосновании заботятся редко, и эцилопы нашего брата за это, бывает, бьют. Но обычно можно выкрутиться и вообще не использовать бесконечно малых
явно.

Пусть

— точка раздела лежащей части и висящей. Будем рассматривать такие конечные участки верёвки, один конец которых — точка

, другой где-то в воздухе (как участок, отмеченный красным). Фишка в том, что для любого такого участка выполняются условия равновесия:


Здесь

скалярные переменные. Кстати, можно считать, что висящая часть верёвки продолжается вверх неограниченно.
Продифференцируем уравнения по

:


Если первое уравнение умножить на

, а второе на

и сложить, получим

Учитывая, что

,
получим

.