Интеграл от секанса

Интеграл секанса в тригонометрии был одним из объектов одной из «нерешённых задач середины семнадцатого века», которая была решена в 1668 году Джеймсом Грегори.^[1] В 1599 году Эдвард Райт (англ.) оценил интеграл с помощью численных методов — то, что мы сегодня называем Римановыми суммами.^[2] Он нашёл решение для целей картографии — а именно, для построения точных проекций Меркатора.^[1] В 1640-х годах Генри Бонд, преподаватель навигации, геодезической съёмки и других математических дисциплин, сравнил таблицы значений интеграла от секанса, составленные Райтом с помощью численных методов, с таблицами логарифмов от тангенса, и гипотетически заключил^[1], что

$\int \sec\theta\,d\theta = \ln\left| tg\left(\frac{\theta}{2} + \frac{\pi}{4}\right)\right| + C$

Эта догадка стала широко известна, и в 1665 году, Исаак Ньютон узнал о ней.^[3][4]

Задача была решена Исааком Барроу. Его решение было самым ранним случаем использования разложения дробей при интегрировании.^[1] В соответствии с принятыми в наше время обозначениями, решение Барроу начинается так:

$\int \sec \theta \, d\theta = \int \frac{d\theta}{\cos\theta} = \int \frac{\cos\theta \, d\theta}{\cos^2\theta} = \int \frac{\cos\theta \, d\theta}{1 - \sin^2\theta} = \int \frac{du}{1 - u^2}$

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

$\begin{align} \int \frac{du}{1 - u^2} & = \int\frac{du}{(1-u)(1+u)} = \int \frac{1/2}{1+u} + \frac{1/2}{1-u}\,du \\[10pt] & = \frac12 \ln \left|1 + u\right| - \frac12 \ln \left|1 - u\right| + C = \frac12 \ln\left|\frac{1+u}{1-u}\right| + C \end{align}$

И в конце концов, возвращаемся к функции от переменной θ:

$\int \sec\theta\,d\theta = \dfrac12 \ln \left|\dfrac{1+\sin\theta}{1-\sin\theta}\right| + C = \ln\left|\sec\theta + tg\theta\right| + C = \ln\left| tg\left(\dfrac{\theta}{2} + \dfrac{\pi}{4}\right) \right| + C$

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

Примечания

1. ↑ ^{1 2 3 4} V. Frederick Rickey and Philip M. Tuchinsky, «An Application of Geography to Mathematics: History of the Integral of the Secant», Mathematics Magazine, volume 53, number 3, May 1980, pages 162—166.
2. ↑ Edward Wright, Certaine Errors in Navigation, Arising either of the ordinaire erroneous making or vsing of the sea Chart, Compasse, Crosse staffe, and Tables of declination of the Sunne, and fixed Starres detected and corrected, Valentine Simms, London, 1599.
3. ↑ H. W. Turnbull, editor, The Correspondence of Isaac Newton, Cambridge University Press, 1959—1960, volume 1, pages 13-16 and volume 2, pages 99-100.
4. ↑ D. T. Whiteside, editor, The Mathematical Papers of Isaac Newton, Cambridge University Press, 1967, volume 1, pages 466—467 and 473—475.

См. также

• Интеграл от секанса, возведённого в куб (англ.)

Ссылки

• Rickey and Tuchinsky’s paper on the history of this integral