Татьяна Данилочкина
так устроена производная многомерной функции. Доказательство в одну строчку.
Если не перпендикелярен, значит, есть составляющая поля вдоль поверхности. Но тогда она не эквипотенциальна! (поле это градиент потенциала).