std::atanh(std::complex)

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

数值库

常用数学函数

数学特殊函数 (C++17)

数学常数 (C++20)

浮点环境 (C++11)

复数

数值数组

伪随机数生成

编译时有理数算术 (C++11)

因数运算

gcd (C++17)

lcm (C++17)

插值

midpoint (C++20)

lerp (C++20)

泛型数值运算

iota (C++11)

accumulate

inner_product

adjacent_difference

partial_sum

位操作

bit_cast (C++20)

byteswap (C++23)

has_single_bit (C++20)

bit_ceil (C++20)

bit_floor (C++20)

bit_width (C++20)

rotl (C++20)

rotr (C++20)

countl_zero (C++20)

countl_one (C++20)

countr_zero (C++20)

countr_one (C++20)

popcount (C++20)

endian (C++20)

 

std::complex

成员函数
complex::complex
complex::operator=
complex::real
complex::imag
complex::operator+=complex::operator-=complex::operator*=complex::operator/=
非成员函数
operator+operator- operator+operator-operator*operator/ operator==operator!= (C++20 前) operator<<operator>>	real imag abs arg norm conj proj (C++11) polar operator""ioperator""ifoperator""il (C++14)(C++14)(C++14)
指数函数
exp
log
log10
幂函数
pow
sqrt
三角函数
sin cos tan	asin (C++11) acos (C++11) atan (C++11)
双曲函数
sinh cosh tanh	asinh (C++11) acosh (C++11) atanh (C++11)

 

定义于头文件 <complex>
template< class T > complex<T> atanh( const complex<T>& z );		(C++11 起)

计算 z 的复反双曲正切，其分支切割为沿实轴的 [−1; +1] 区间外部。

参数

z

-

复数值

返回值

若不发生错误，则返回 z 的复反双曲正切，范围在数学上为沿着实轴无界的半条，沿着虚轴为区间 [−iπ/2; +iπ/2] 。

错误处理及特殊值

报告的错误与 math_errhandling 一致。

若实现支持 IEEE 浮点算术，则

• std::atanh(std::conj(z)) == std::conj(std::atanh(z))
• std::atanh(-z) == -std::atanh(z)
• 若 z 为 (+0,+0) ，则结果为 (+0,+0)
• 若 z 为 (+0,NaN) ，则结果为 (+0,NaN)
• 若 z 为 (+1,+0) ，则结果为 (+∞,+0) 并引发 FE_DIVBYZERO
• 若 z 为 (x,+∞) （对于任何有限正 x ），则结果为 (+0,π/2)
• 若 z 为 (x,NaN) （对于任何有限非零 x ），则结果为 (NaN,NaN) 并可能引发 FE_INVALID
• 若 z 为 (+∞,y) （对于任何有限正 y ），结果为 (+0,π/2)
• 若 z 为 (+∞,+∞) ，则结果为 (+0,π/2)
• 若 z 为 (+∞,NaN) ，则结果为 (+0,NaN)
• 若 z 为 (NaN,y) （对于任何有限的 y ） ，则结果为 (NaN,NaN) 并可能引发 FE_INVALID
• 若 z 为 (NaN,+∞) ，则结果为 (±0,π/2) （实部的符号未指定）
• 若 z 为 (NaN,NaN) ，则结果为 (NaN,NaN)

注意

尽管 C++ 标准命名此函数为“复弧双曲正切”，双曲函数的反函数却是面积函数。其参数是双曲扇形的面积，而非弧长。正确的名称是“复反双曲正切”，和较少见的“复面积双曲正切”。

反双曲正切是多值函数，并要求复平面上的分支切割。我们约定将分支切割置于实轴的划分线 (-∞,-1] 和 [+1,+∞) 。

反双曲正切的主值的数学定义是 atanh z =

ln(1+z)-ln(z-1)

2

。

对于任何 z ， atanh(z) =

atan(iz)

i

。

示例

运行此代码

#include <iostream>
#include <complex>
 
int main()
{
    std::cout << std::fixed;
    std::complex<double> z1(2, 0);
    std::cout << "atanh" << z1 << " = " << std::atanh(z1) << '\n';
 
    std::complex<double> z2(2, -0.0);
    std::cout << "atanh" << z2 << " (the other side of the cut) = "
              << std::atanh(z2) << '\n';
 
    // 对于任何 z ， atanh(z) = atanh(iz)/i
    std::complex<double> z3(1,2);
    std::complex<double> i(0,1);
    std::cout << "atanh" << z3 << " = " << std::atanh(z3) << '\n'
              << "atan" << z3*i << "/i = " << std::atan(z3*i)/i << '\n';
}

输出：

atanh(2.000000,0.000000) = (0.549306,1.570796)
atanh(2.000000,-0.000000) (the other side of the cut) = (0.549306,-1.570796)
atanh(1.000000,2.000000) = (0.173287,1.178097)
atan(-2.000000,1.000000)/i = (0.173287,1.178097)

参阅

asinh(std::complex) (C++11)	计算复数的反双曲正弦（ \({\small\operatorname{arsinh}{z} }\)arsinh(z) ） (函数模板)
acosh(std::complex) (C++11)	计算复数的反双曲余弦（ \({\small\operatorname{arcosh}{z} }\)arcosh(z) ） (函数模板)
tanh(std::complex)	计算复数的双曲正切（ \({\small\tanh{z} }\)tanh(z) ） (函数模板)
atanhatanhfatanhl (C++11)(C++11)(C++11)	计算反双曲正切（ \({\small\operatorname{artanh}{x} }\)artanh(x) ） (函数)