Математика / Пределы, ряды

Нормаль как прикладное перпендикулярное направление

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

Опубликовано: Обновлено:

Формула

$$\vec n=(-f'(x_0),1),\quad y-f(x_0)=-\frac{1}{f'(x_0)}(x-x_0),\quad f'(x_0)\neq 0$$
normal-line Перпендикуляр к касательной

Показаны кривая, касательная и нормаль, проходящие через одну точку. Видно, что нормаль образует прямой угол с касательной и дает отдельное направление для прикладных построений.

Нормаль превращает локальный наклон графика в перпендикулярное направление.

Обозначения

$x_0$
точка, через которую проходит нормаль, единицы аргумента
$f'(x_0)$
наклон касательной в точке, единицы функции на единицу аргумента
$\vec n$
направляющий вектор нормали, условные координатные единицы
$y_0$
ордината точки графика, равная f(x_0), единицы функции

Условия применения

  • Функция должна быть дифференцируема в точке x_0.
  • Если f'(x_0)\neq 0, нормаль имеет обычный вид с наклоном -1/f'(x_0).
  • Если f'(x_0)=0, нормаль вертикальна и задается уравнением x=x_0.

Ограничения

  • Обычная формула не работает при нулевом наклоне касательной, потому что возникает деление на ноль.
  • При вертикальной касательной нужен отдельный разбор, а не механическое применение дроби -1/f'.
  • Нормаль определяют только после того, как найдена сама точка на графике.

Подробное объяснение

Нормаль появляется там, где геометрии графика нужно второе направление, дополняющее касательную. Если касательная показывает, как функция локально идет вдоль себя, то нормаль указывает туда, куда это движение не направлено. В координатах это удобно выражается через отрицательный обратный наклон: если касательная имеет коэффициент f'(x_0), то перпендикулярная ей прямая имеет коэффициент -1/f'(x_0), когда производная не равна нулю. Вместе с точкой (x_0,f(x_0)) этого достаточно, чтобы записать уравнение нормали. При нулевой производной касательная горизонтальна, и перпендикуляр к ней становится вертикальным. Это отдельный геометрический случай, а не поломка формулы. В университетских задачах нормаль нужна не только для чистой геометрии, но и для прикладных интерпретаций: вектор нормали задает направление реакции, кратчайшего отклонения от кривой, локальной ориентации поверхности или оптического отражения. Через производную нормаль связывает алгебру и геометрию очень прямым способом: сначала измеряется локальный наклон графика, а затем из него получается направление, образующее прямой угол. Именно поэтому нормаль так хорошо работает рядом с касательной, а не вместо нее. Она раскрывает тот же локальный анализ, но с иной стороны и часто дает более удобную геометрическую интерпретацию для прикладной задачи.

Как пользоваться формулой

  1. Найдите точку x_0 и вычислите y_0=f(x_0).
  2. Найдите производную и подставьте x_0.
  3. Если f'(x_0)\neq 0, возьмите наклон -1/f'(x_0).
  4. Если f'(x_0)=0, запишите вертикальную нормаль x=x_0.

Историческая справка

Понятие нормали выросло из классической геометрии кривых задолго до того, как появилось современное обозначение производной. В аналитической геометрии нужно было уметь описывать не только сам график, но и направления, связанные с ним под прямым углом. Когда анализ стал использовать касательную как локальную прямую к кривой, нормаль естественно стала ее перпендикулярной парой. В работах Ньютона, Лейбница и их последователей эта связь сначала была интуитивной, а затем получила строгую формулировку через производную. В XIX веке Коши и школьная традиция анализа закрепили понятный учебный язык: наклон касательной выражается производной, а наклон нормали получается как отрицательный обратный, если касательная не горизонтальна. Дальнейшее развитие связано уже не с отдельным открытием, а с широким применением этой геометрии в механике, оптике, теории кривых и вычислительных методах. Поэтому нормаль сегодня - это не экзотическая линия на чертеже, а часть стандартного языка локального анализа.

Историческая линия формулы

Нормаль как геометрическое понятие не приписывается одному человеку. Ее учебная связь с производной формировалась в общей линии развития аналитической геометрии и анализа: от Декарта и классической геометрии кривых к Ньютону, Лейбницу, Коши и более поздней университетской традиции. Корректно говорить о развитии метода, а не об одном авторе формулы.

Пример

Рассмотрим f(x)=x^2 в точке x_0=1. Тогда f(1)=1, а f'(x)=2x, значит f'(1)=2. Направляющий вектор нормали можно взять как (-2,1), а уравнение прямой записывается в виде y-1=-\frac12(x-1). Проверка проста: наклон касательной равен 2, наклон нормали равен -1/2, и их произведение равно -1. Если взять x_0=0, то f'(0)=0, касательная становится горизонтальной, а нормаль - вертикальной, то есть x=0. Это уже отдельный случай, и его нельзя получить делением на производную. В прикладных задачах такой переход важен, например, когда нужно описать направление реакции в точке соприкосновения или задать перпендикуляр к траектории движения. Тогда нормаль используется как рабочее направление, а не как вспомогательная геометрическая игрушка. Она особенно удобна, когда надо быстро построить ось симметрии локального контакта или проверить, перпендикулярно ли объект касается поверхности.

Частая ошибка

Самая распространенная ошибка - перепутать наклон касательной и нормали. Еще одна - забыть поставить минус в коэффициенте -1/f'(x_0). Нельзя также механически подставлять формулу, если производная равна нулю: тогда нужна вертикальная прямая x=x_0. Иногда забывают и саму точку на графике, из-за чего получается правильный наклон, но неверное положение прямой. Наконец, нормаль не стоит считать просто обратным коэффициентом: нужен именно отрицательный обратный, потому что речь идет о перпендикуляре, а не о параллельном переносе чисел.

Практика

Задачи с решением

Нормаль к параболе

Условие. Найдите уравнение нормали к f(x)=x^2 в точке x_0=1.

Решение. f(1)=1, f'(x)=2x, значит f'(1)=2. Наклон нормали равен -1/2, поэтому y-1=-\frac12(x-1).

Ответ. y-1=-\frac12(x-1)

Горизонтальная касательная

Условие. Найдите нормаль к f(x)=x^2 в точке x_0=0.

Решение. f'(0)=0, значит касательная горизонтальна, а нормаль вертикальна. Ее уравнение x=0.

Ответ. x=0

Дополнительные источники

  • OpenStax Calculus Volume 1, tangent and normal lines
  • MIT OpenCourseWare, Single Variable Calculus, geometry of derivatives
  • Thomas' Calculus, tangent and normal lines

Связанные формулы

Математика

Нормаль к графику функции

$y-f(x_0)=-\frac{1}{f'(x_0)}(x-x_0),\quad f'(x_0)\neq 0;\qquad x=x_0,\quad f'(x_0)=0$

Нормаль к графику - это прямая, перпендикулярная касательной в точке. Нормаль нужна там, где важно не направление движения вдоль графика, а перпендикулярное направление.

Математика

Касательная к графику функции

$y=f(x_0)+f'(x_0)(x-x_0)$

Уравнение касательной строится по точке касания и производной в этой точке. Это первая локальная модель функции и основной мост к линейным приближениям.

Математика

Геометрический смысл производной

$f'(x_0)=k_{\text{кас}}=\tan\alpha$

Производная в точке равна угловому коэффициенту касательной и связывает анализ с наклоном графика. Поэтому одна и та же величина одновременно читается как скорость изменения и как наклон графика.