Привет, Хабр! Есть прием, который я люблю за наглость: взять одно уравнение, решить его двумя совершенно разными способами и приравнять ответы. Раз левые части равны — равны и правые, а значит, мы получили новое тождество.
В этой статье я проверну такой фокус на простом показательном уравнении, из тех, что решают в школе. Первый способ приведет к обычному логарифму. Второй же — к обратному гиперболическому тангенсу, функции уже из высшей математики. Приравняв два ответа, мы получим формулу через логарифм.
Сразу оговорюсь, что для вывода формулы есть простой способ «в лоб», он буквально в три строки, я покажу его ниже, чтобы было с чем сравнивать. Воспринимайте эту статью не как кратчайший путь, а скорее как красивый подход.
Прямой способ «в лоб»
Вот самый простой способ. Пусть . Распишем тангенс через экспоненту и решим относительно
:
Здесь же видно и ограничение: дробь положительна только при
.
Вот и вся формула. А теперь — окольный путь, ради которого эта статья и существует.
Что нам понадобится?
Вспомним выражения через экспоненты для двух основных гиперболических функций:
По определению гиперболический тангенс — отношение гиперболических синуса и косинуса:
Обратный гиперболический тангенс — не экзотика: через него выражается быстрота в специальной теории относительности, и релятивистское сложение скоростей превращается в обычное сложение.
Конструируем уравнение под нужный ответ
Мне нужно уравнение, которое а) решается школьными методами, б) по пути проходит через дробь тангенса. Каким же оно должно быть?
Не буду делать вид, что вывел это логически, я «повертел» дробь тангенса, заметил единички, а дальше — осмысленная реконструкция.
Мне нужна дробь .
Значит, рядом с нужно суметь получить
— а их можно добавить и вычесть искусственно, не меняя равенства. Сложив
и
, получаю
. Отсюда и уравнение:
Левая часть положительна при любом , поэтому
получается автоматически — это не условие, а следствие. Запомним.
Стандартное решение уравнения
Решим уравнение обычным способом и запишем ответ.
Так как , то решение подходит под ограничения логарифма.
Проворачиваем прием
Теперь приводим уравнение к знакомому нам виду.
Получаем такое уравнение:
Перенесем единицу и представим ее как отношение выражений с экспонентой и единичкой.
Вспомним, что — это половина от параметра. Преобразуем дробь и получим выражение для тангенса:
Отсюда выразим через обратный гиперболический тангенс:
Вывод формулы
Приравняем два решения:
Заменим аргумент обратной функции на другой, назовем его буквой . Далее выразим
через
и подставим это в правую часть уравнения:
Заметим, что положительно тогда и только тогда, когда
.
И вот мы и получили формулу обратного гиперболического тангенса.

Заключение
Что в итоге? Мы не столько вывели формулу — ее, как видели, можно получить в три строки, — сколько показали сам прием: одно уравнение, решенное двумя способами, превращается в тождество. Обратный гиперболический тангенс и обязан был оказаться в итоге логарифмом.
Этот же прием работает и дальше: проделав похожие шаги и аккуратно следя за ограничениями, можно вывести формулу для обратного гиперболического котангенса. Буду рад, если в комментариях кто-то попытается.
Сам трюк появился, когда я, скучая, поигрался с формулой гиперболического тангенса, так что это скорее забава. Это моя первая статья на Хабре — буду рад поправкам и советам.