Раздел II. Дифференциальное исчисление функций одной переменной — § 3. Геометрический смысл производной

Демидович — задача 1080

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Доказать, что трактриса

x=a\left(\ln\tan\frac t2+\cos t\right),\qquady=a\sin t,\qquad(a>0,\ 0<t<\pi)

имеет отрезок касательной постоянной длины.

Доказательство

Длина отрезка касательной

L

от точки касания до оси абсцисс вычисляется по формуле:

L = \left| \frac{y}{y'_x} \sqrt{1 + (y'_x)^2} \right|

Найдём производные по параметру

t

x'_t = a\left( \frac{1}{\tan\frac{t}{2}} \cdot \frac{1}{2\cos^2\frac{t}{2}} - \sin t \right) = a\left( \frac{1}{\sin t} - \sin t \right) = a \frac{1-\sin^2 t}{\sin t} = a \frac{\cos^2 t}{\sin t}

y'_t = a\cos t

Найдём производную

y'_x

y'_x = \frac{y'_t}{x'_t} = \frac{a\cos t}{a \frac{\cos^2 t}{\sin t}} = \frac{\sin t}{\cos t} = \tan t

Подставим

y(t)

y'_x(t)

в формулу длины:

L = \left| \frac{a\sin t}{\tan t} \sqrt{1 + \tan^2 t} \right| = \left| a\sin t \cdot \frac{\cos t}{\sin t} \cdot \frac{1}{\cos t} \right| = |a| = a

Поскольку

a

— константа, длина отрезка касательной постоянна и равна

a

, что и требовалось доказать.

Что и требовалось доказать