"Производная функции по данному направлению равна скалярному произведению градиента функции
на единичный вектор этого направления.
…
Производная функции по данному направлению равна проекции градиента функции на направление дифференцирования, т.е
где
– угол между векторами
и лучом
(рис. 149).
Отсюда сразу следует, что производная по направлению достигает наибольшего значения, когда
, т.е.
. Это наибольшее значение равно
. … т.е. направление градиента есть направление наискорейшего возрастания функции." [А.Ф.Бермант, И.Г.Араманович, Краткий курс математического анализа, "Наука". М., 1971, стр.427]
"Производная по направлению градиента равна его модулю" [там же, стр.430]
Исходя из приведенных определений, производная скалярной функции поля
по направлению градиента выражается следующим образом:
, (*)
где
– угол между вектором
и ортом
.
Следовательно, учитывая следствие (*) в виде
,
получаем возможность, на основании приведенного выражения производной по направлению градиента, и замечая, что
,
определить взаимную ориентацию векторов
и
путем отыскания значения скалярного произведения
:
.
Получили закономерный результат: так как скалярное произведение векторов
и
равно нулю, следовательно они ОРТОГОНАЛЬНЫ В ЛЮБОМ СЛУЧАЕ. Что и требовалось доказать.
Чтобы у уважаемых участников и посетителей форума не возникало ощущения недосказанности в отношении тождества
,
стоит отметить, что
, (**)
а так как орт
ортогонален орту
по определению, то, следовательно, орт
ортогонален и вектору
(если " Производная по направлению градиента равна его модулю ", то вектор
коллинеарен орту
, когда угол между ними
), что влечет за собой равенство нулю в (*) скалярного произведения
.
Изложенное подтверждает, что иногда звучащие заявления о том, что вектора
и
неортогональны в общем случае, являются голословными и математически необоснованными.