Допустил неточность в условии. Итак:

,
Dan B-Yallay: 1) не требуется, поскольку интересует взаимнооднозначность на свой образ; по сути требуется только обосновать инъективность
Цитата:
Ну эт вряд ли. Там у производной нули какие-то...
Когда писал условие в первом сообщении перепутал x и y местами. Теперь нулей нет...