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