А Вы когда-нибудь считали производную неявно заданной функции? Подставьте и проверьте.
Пусть

,

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

, то верно

. Беря

вместо

получаем

.
Далее, в точке

мы знаем начальное условие

Получаем на характеристике через

(кажется, они так называются, забыл уже, извините, если что не так)

. То бишь,

. Так как решение на этой самой характеристике не меняется, получаем

. Вот и получаем

.