Даже не зная последнего, можно было бы расписать

как

, где

— угол между вектором направления и градиентом. Т. к. градиент для данной точки константен, а так же

, получим, что величина производной по направлению в данной точке зависит только от угла между ортом направления и градиентом. Наибольшее значение

принимает при

. Собственно, это и является доказательством того, что производная по направлению максимальна по направлению градиента и при этом равна его длине.