Как школьное уравнение скрывает в себе гиперболический тангенс

4 часа назад Прокомментировать Просмотры: 14

Привет, SE7EN! Обожаю один дерзкий математический трюк: находим корни уравнения двумя принципиально разными методами, а затем приравниваем результаты. Поскольку левые части совпадают, правые — тоже, и вуаля — перед нами свежее тождество.

В этой публикации я продемонстрирую этот фокус на банальном показательном выражении из школьной программы. Первый путь приведет нас к банальному логарифму, а второй — к ареатангенсу (обратному гиперболическому тангенсу), объекту из сферы высшей математики. Сопоставив оба результата, мы выразим через логарифмическую функцию.

Сразу оговорюсь: существует тривиальный лобовой способ вывода буквально в три шага, я его обязательно приведу для наглядности. Рассматривайте данный материал не как оптимальный маршрут, а скорее как изящную концептуальную зарисовку.

Прямой способ «в лоб»

Начнем с классики. Положим $y = \tanh x$ . Распишем гиперболический тангенс через экспоненты и выразим переменную :

$y = \tanh x \Rightarrow y = \frac{e^{2x}-1}{e^{2x}+1} \Rightarrow e^{2x} = \frac{1+y}{1-y} \Rightarrow x = \frac{1}{2}\ln\left(\frac{1+y}{1-y}\right)$

Тут же очевидно естественное ограничение: дробное выражение $\dfrac{1+y}{1-y}$ остается строго положительным исключительно при выполнении условия .

Формула получена. А теперь перейдем к обходному маневру, ради которого всё и затевалось.

Что нам понадобится?

Освежим в памяти экспоненциальный базис для базовых гиперболических операторов:

$\sinh x = \frac{e^x - e^{-x}}{2}$ $\cosh x = \frac{e^x + e^{-x}}{2}$

По определению гиперболический тангенс представляет собой частное гиперболического синуса и косинуса:

$\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^x - e^{-x}}{e^x + e^{-x}} = \frac{e^{2x} - 1}{e^{2x} + 1}$

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

Конструируем уравнение под нужный ответ

Наша цель — построить уравнение, которое, во-первых, поддается стандартным школьным алгоритмам, а во-вторых, в процессе вычислений генерирует искомую тангенсную дробь. Каким оно должно быть?

Не стану лукавить, будто вывел это чисто дедуктивно: я просто «покрутил» ключевую дробь, обнаружил удобные единицы, после чего восстанил логику обратно.

Требуется получить конструкцию вида $\dfrac{e^{2x} - 1}{e^{2x} + 1}$ .

Следовательно, возле экспоненты $e^{2x}$ полезно уметь выделять слагаемые $\pm1$ , добавляя их искусственным путем без нарушения баланса. Просуммировав выражения $e^{2x}+1$ и $e^{2x}-1$ , получаем удвоенную экспоненту $2e^{2x}$ . Отсюда рождается исходное уравнение:

$2e^{2x} = a$

Левая сторона всегда строго положительна при любых вещественных , поэтому ограничение Стандартное решение уравнения

Решим задачу рутинным способом и зафиксируем корень.

$2e^{2x} = a \implies e^{2x} = \frac{a}{2} \implies 2x = \ln\left(\frac{a}{2}\right) \implies x = \frac{1}{2}\ln\left(\frac{a}{2}\right)$

Учитывая, что Проворачиваем прием

Теперь зайдем с козырей и преобразуем выражение к требуемому виду.

$2e^{2x} = a \implies (e^{2x} + 1) + (e^{2x} - 1) = a \implies \frac{e^{2x} - 1}{e^{2x} + 1} + 1 = \frac{a}{e^{2x} + 1}$

Приходим к следующей модификации:

$\tanh x + 1 = \frac{a}{e^{2x} + 1}$

Изолируем тангенс, перенеся единицу и представив ее подходящей дробью с экспоненциальным знаменателем.

$\tanh x = \frac{a - e^{2x} - 1}{e^{2x} + 1}$

Вспоминая, что $e^{2x}$ равняется половине параметра , производим аккуратные сокращения:

$\tanh x = \frac{a - \frac{a}{2} - 1}{\frac{a}{2} + 1} = \frac{\frac{a - 2}{2}}{\frac{a + 2}{2}} = \frac{a - 2}{a + 2}$

Теперь выразим аргумент через ареатангенс:

$x = \operatorname{artanh}\left(\frac{a - 2}{a + 2}\right)$

Вывод формулы

Сопоставляем оба найденных варианта:

$\operatorname{artanh}\left(\frac{a - 2}{a + 2}\right) = \frac{1}{2}\ln\left(\frac{a}{2}\right)$

Выполним замену переменной, обозначив аргумент обратной функции буквой . Выразим параметр через и подставим в правую часть равенства:

$t = \frac{a - 2}{a + 2} \implies \frac{a}{2} = \frac{1 + t}{1 - t} \implies \operatorname{artanh}(t) = \frac{1}{2}\ln\left(\frac{1 + t}{1 - t}\right)$

Заметьте, что конструкция $a = \dfrac{2(1+t)}{1-t}$ сохраняет знак плюс строго при выполнении требования .

$\boxed{\operatorname{artanh}(t) = \frac{1}{2}\ln\left(\frac{1 + t}{1 - t}\right)}$

Искомое выражение для ареатангенса успешно выведено.

Заключение

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

Аналогичный подход применим и в других сценариях: аккуратно контролируя области определения, можно аналогичным образом получить тождество для обратного гиперболического котангенса (аркотангенса). Буду признателен читателям, которые попробуют проделать это в комментариях.

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

Источник