Здравствуйте. Помогите, пожалуйста, применить преобразование Лежандра для

.
Продифференцировав сначала по x, затем по y, получим, что переменные двойственной функции - например,

и

- соответственно равны частным производным по x и y.


В общем, выразить отсюда x и y с целью их дальнейшего использования для вычисления двойственной функции, не представляет труда, но y получается напичканный корнями, хотя препод уверяет, что там все аккуратно сокращается и двойственная функция в итоге принимает почти такой же вид, что и искомая.
Можно также заметить, что

, откуда следует

И, из первого уравнения,

Тогда, из второго уравнения,

И это, по сути, верно, но потом корни и прочее. Возможно, где-то ошибаюсь. Наставьте студента на путь истинный, пожалуйста

Заранее всем огромное спасибо.
Кстати, софта по этому преобразованию я не обнаружил.