Берем
![$f(x_1,...,x_n)$ $f(x_1,...,x_n)$](https://dxdy-04.korotkov.co.uk/f/3/d/d/3ddf06fd0fab79cf2094326b02d6229d82.png)
, заменяем любое
![$x_i$ $x_i$](https://dxdy-02.korotkov.co.uk/f/9/f/c/9fc20fb1d3825674c6a279cb0d5ca63682.png)
на
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, если при любых заменах не изменяется, значит
![$(x_0,...,x_0)$ $(x_0,...,x_0)$](https://dxdy-02.korotkov.co.uk/f/d/b/9/db92d33fa62670c0581ea831420dbad382.png)
неподвижная точка
Вы, кажется, неправильно понимаете, что значит термин "неподвижная точка". Выражение "берем и заменяем" --- это не описание какого-то отображения. Впрочем, тут неподвижные точки вообще ни при чем.
А вы не могли бы привести пример, где данные рассуждения некорректны, а максимум не в этой точке?
Такой пример я знаю. Рассмотрим функцию
![$f(x,y)=x^4+y^4-3x^2y^2$ $f(x,y)=x^4+y^4-3x^2y^2$](https://dxdy-02.korotkov.co.uk/f/1/9/7/1977a535e445bf210a0bf16b1dd9a17e82.png)
. Легко видеть, что существует такая точка
![$(x_0,y_0)$ $(x_0,y_0)$](https://dxdy-03.korotkov.co.uk/f/a/5/e/a5ea27cb355f1e7cd8f10223c3b158e782.png)
, что
![$f(x_0,y_0)<f(x,y_0)$ $f(x_0,y_0)<f(x,y_0)$](https://dxdy-01.korotkov.co.uk/f/c/c/f/ccfddc8634438f41723337463f144a1482.png)
при всех
![$x\ne x_0$ $x\ne x_0$](https://dxdy-03.korotkov.co.uk/f/6/e/f/6ef4d457a0b860b3e7bde6b10f0f604782.png)
, и
![$f(x_0,y_0)<f(x_0,y)$ $f(x_0,y_0)<f(x_0,y)$](https://dxdy-01.korotkov.co.uk/f/8/7/8/878cfba823dbaf5b352889a3f5674c0382.png)
при всех
![$y\ne y_0$ $y\ne y_0$](https://dxdy-02.korotkov.co.uk/f/d/3/d/d3d947ba3b681b582b578f3943ea91cd82.png)
. А именно,
![$(x_0,y_0)=(0,0)$ $(x_0,y_0)=(0,0)$](https://dxdy-03.korotkov.co.uk/f/a/3/7/a37d0ac43143163edcd6837a43ff515082.png)
. Причем такая точка ровно одна. Но это не точка глобального и даже локального минимума.