Там 4 точки экстремума и 4 седловых точки - поторопился я сказать, что в 4-х точках

второй дифференциал не работает - работает во всех 8-и точках, но считать его лень, потому что в указанных 4-х точках сразу видно по знакам функции в окрестности, а в остальных четырёх

проводим небольшое рассуждение.
1. Функция имеет предел 0 в начале координат, доопределяем её там нулём.
2. Непрерывная функция внутри первой четверти единичного круга отрицательна, на границе этой области имеет значение 0, следовательно наименьшее значение достигается во внутренней точке, в частности в этой точке локальный минимум.
3. Внутри этой области имеется лишь одна стационарная точка .
Аналогично в остальных четвертях.
Для доопределённой функции седло в нуле тоже видно без очков по знакам функции в окрестности.
Чтобы представить оба случая - применимость второго дифференциала в одних стационарных точках и неприменимость в других можно было остановиться на другом примере из Демидовича №3625:

- первоначально так и собирался, но потом заменил на №3639 - здесь второй дифференциал считать более лениво.