Обра́тные гиперболи́ческие фу́нкции (ареафункции), функции, обратные гиперболическим функциям: ареасинус гиперболический, ареакосинус гиперболический, ареатангенс гиперболический, ареакотангенс гиперболический, обозначаются соответственно: Arshx,Archx,Arthx,Arcthx. Эти названия происходят от латинского area – площадь (гиперболические функции могут рассматриваться как функции площади гиперболического сектора). Другие обозначения: arshx,sh–1x;archx,ch–1x;arthx,th–1x;arcthx,cth–1x. Впервые обратные гиперболические функции изучал французский математик Г. Ж. Уэль (1878).
Обратные гиперболические функции действительного переменного x вычисляются по формулам:
ArshxArchxArthxArcthx=ln(x+x2+1,−∞<x<∞,=±ln(x+x2−1,x⩾1,=21ln1−x1+x,∣x∣<1,=21lnx−1x+1,∣x∣>1.Обратные гиперболические функции однозначны и непрерывны в каждой точке своей области определения, за исключением функции Archx, которая двузначна. При изучении свойств обратной гиперболической функции для Archx выбирается одна из её непрерывных ветвей, т. е. в формуле для Archx выбирается только один знак: плюс или минус. Свойства обратных гиперболических функций вытекают из свойств гиперболических функций или непосредственно из формул для обратных гиперболических функций, т. е. из свойств логарифмической функции. Графики обратных гиперболических функций получаются из графиков гиперболических функций зеркальным отражением относительно биссектрисы первого и третьего координатных углов.
Производные обратных гиперболических функций находятся по формулам
(Arshx)′(Archx)′(Arthx)′(Arcthx)′=x2+11,=±x2−11,=1−x21,=−x2−11.Обратные гиперболические функции связаны между собой рядом соотношений. Например,
ArshxArthx=Arthx2+1x,=Arthx1=Arsh1−x2x.Обратные гиперболические функции комплексного переменного z=x+iy определяются по формулам:
ArshzArchzArthzArcthz=Ln(z+z2+1,=Ln(z+z2−1,=21Ln1−z1+z,=21Lnz−1z+1,где Lnz – логарифмическая функция комплексного переменного. Обратные гиперболические функции комплексного переменного являются аналитическими продолжениями соответствующих функций действительного переменного в комплексную плоскость.