ArcCosh[z]
给出复数
的反双曲余弦
.
ArcCosh
ArcCosh[z]
给出复数
的反双曲余弦
.
背景
- ArcCosh 是反双曲余弦函数. 对实数
,ArcCosh[x] 表示满足
的双曲角度
且
. - ArcCosh 自动逐项作用于列表. 对某些特定变量值,ArcCosh 自动计算出精确值. 当给出精确数值表达式作为变量时,ArcCosh 可以算出任意精度的数值结果. 对包含 ArcCosh 的符号表达式,适用的操作运算有 FunctionExpand、TrigToExp、TrigExpand、Simplify 和 FullSimplify.
- 对复变量
,ArcCosh 的定义为
. ArcCosh[z] 在复平面
上有一个不连续的分支切割. - 与之相关的数学函数有 Cosh、ArcSinh 和 ArcCos.
范例
打开所有单元 关闭所有单元基本范例 (5)
ArcCosh[2.]Cosh[%]Plot[ArcCosh[x], {x, 1, 10}]ComplexPlot3D[ArcCosh[z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]在 Infinity 处渐近展开:
Series[ArcCosh[x], {x, ∞, 3}]Series[ArcCosh[x], {x, 1, 3}]范围 (41)
数值计算 (6)
ArcCosh[5.0]N[ArcCosh[5], 50]ArcCosh[5.0000000000000000000000000000000000]ArcCosh[1.5 + I]在高精度条件下高效计算 ArcCosh:
ArcCosh[5`500]//TimingArcCosh[5`100000];//Timing用 Interval 和 CenteredInterval 对象计算最坏情况下的区间:
ArcCosh[Interval[{2, Cosh[3]}]]ArcCosh[CenteredInterval[4, 1 / 100]]ArcCosh[CenteredInterval[2 + 3I, (1 + 1) / 100]]或使用 Around 计算一般情况下的统计区间:
ArcCosh[Around[.9, 0.1]]ArcCosh[{{1, 1 / Sqrt[2]}, {0, -1 / Sqrt[2]}}]或用 MatrixFunction 以矩阵形式计算 ArcCosh 函数:
MatrixFunction[ArcCosh[#]&, {{1, 1 / Sqrt[2]}, {0, -1 / Sqrt[2]}}]特殊值 (4)
ArcCosh 在固定点上的值:
Table[ArcCosh[(n /2)], {n, -2, 2}]ArcCosh[Infinity]ArcCosh[ComplexInfinity]ArcCosh 的零点:
ArcCosh[1]f[x_] := ArcCosh[x] - Log[2];sol = Solve[f[x] == 0, x]xzero = x /. First[sol]Plot[f[x], {x, 1, 2}, Epilog -> Style[Point[{xzero, f[xzero]}], PointSize[Large], Red]]可视化 (3)
绘制 ArcCosh 函数:
Plot[ArcCosh[x], {x, 0, 10}]ComplexContourPlot[Re[ArcCosh[z]], {z, -3 - 3 I, 3 + 3 I}, Contours -> 24]ComplexContourPlot[Im[ArcCosh[z]], {z, -3 - 3 I, 3 + 3 I}, Contours -> 24]Table[PolarPlot[ArcCosh[k ϕ], {ϕ, 0, 8π}, Sequence[Frame -> True, PlotLabel -> "k=" <> ToString[k], PlotRange -> All]], {k, 1, 4}]函数的属性 (10)
ArcCosh 对所有大于或等于 1 的实数有定义:
FunctionDomain[ArcCosh[x], x]FunctionDomain[ArcCosh[z], z, Complexes]ArcCosh 的值域是大于或等于 0 的所有实数:
FunctionRange[ArcCosh[x], x, y]FunctionRange[ArcCosh[z], z, y, Complexes]ArcCosh 不是解析函数:
FunctionAnalytic[ArcCosh[x], x]FunctionMeromorphic[ArcCosh[x], x]ArcCosh 在实定义域上是递增的:
FunctionMonotonicity[{ArcCosh[x], x ≥ 1}, x, StrictInequalities -> True]ArcCosh 是单射函数:
FunctionInjective[ArcCosh[x], x]Plot[{ArcCosh[x], 1}, {x, -1, 10}]ArcCosh 不是满射函数:
FunctionSurjective[ArcCosh[x], x]Plot[{ArcCosh[x], -.5}, {x, -5, 5}]ArcCosh 在其实定义域上是非负的:
FunctionSign[{ArcCosh[x], x ≥ 1}, x]FunctionSingularities[ArcCosh[x], x]FunctionDiscontinuities[ArcCosh[x], x]ArcCosh 在其实定义域上是凹的:
FunctionConvexity[{ArcCosh[x], x ≥ 1}, x]TraditionalForm 格式:
ArcCosh[z]//TraditionalForm微分 (3)
D[ArcCosh[x], x]Table[D[ArcCosh[x], {x, n}], {n, 1, 4}]Plot[Evaluate[%], {x, 1, 4}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative", "Fourth Derivative"}]D[ArcCosh[x], {x, n}]积分 (3)
级数展开式 (4)
用 Series 求泰勒级数展开式:
Series[ArcCosh[x], {x, 2, 4}]绘制 ArcCosh 在
处的前三个近似式:
terms = Normal@Table[Series[ArcCosh[x], {x, 2, m}], {m, 1, 3}];
Plot[{ArcCosh[x], terms}, {x, 1, 3}]ArcCosh 在
处的级数展开式的通项:
SeriesCoefficient[ArcCosh[x], {x, 0, n}]Series[ArcCosh[x], {x, 1, 4}]Series[ArcCosh[x], {x, -1, 4}]ArcCosh 可被应用于幂级数:
ArcCosh[2Exp[x] + O[x] ^ 5]函数恒等式和化简 (3)
化简含有 ArcCosh 的表达式:
FullSimplify[Cosh[ArcCosh[x] + ArcCosh[y]] ^ 2 - 2x y Cosh[ArcCosh[x] + ArcCosh[y]] + x ^ 2 + y ^ 2]用 TrigToExp 通过对数和平方根来表示:
TrigToExp@ArcCosh[z]ExpToTrig[%]ComplexExpand[ArcCosh[x + I y]]函数表示 (5)
使用 ArcSech 表示:
ArcSech[1 / x]//FullSimplifyInverseJacobiCN[(1/z), 1]//FullSimplifyInverseJacobiDN[(1/z), 1]//FullSimplify使用 Hypergeometric2F1 表示:
(Sqrt[z - 1] ((π/2) - z HypergeometricPFQ[{(1/2), (1/2)}, {(3/2)}, z^2])/Sqrt[1 - z])//FullSimplifyMeijerGReduce[ArcCosh[x], x]Activate[%]//FullSimplify也可用 DifferentialRoot 表示 ArcCosh:
DifferentialRootReduce[ArcCosh[x], x]应用 (4)
ArcCosh[2]//NTanh[%]2(ArcCosh[(757.7 - y) / 127.7] 127.7) /. y -> 0绘制 ArcCosh 的实值和虚值部:
Plot[{Re[ArcCosh[x]], Im[ArcCosh[x]]}, {x, -2, 2}, PlotStyle -> Thick]DSolve[1 + (2 E^-x y[x] + 3 E^x y[x]) x (y[x] + x y'[x]) == 0, y[x], x]//Quiet属性和关系 (5)
与反函数的合成可能需要 PowerExpand 将其简化为单位元:
{Cosh[ArcCosh[z]], ArcCosh[Cosh[z]]}PowerExpand[%]Simplify[%%, z > 0]这里表示出 ArcCosh 函数的分支线:
Plot3D[Im[ArcCosh[x + I y]], {x, -2, 2}, {y, -2, 2}]Reduce[ArcCosh[z]^3 + 3 ArcCosh[z] == 2, z]Reduce[ArcCosh[Cosh[z]] == w, z]Reduce[ArcCosh[α x + β] == 0, x]求解满足 ArcCosh 的微分方程:
DSolve[{z y'[z] + (z^2 - 1) y''[z] == 0, y[1] == 0}, y[z], z]验证它满足 ArcCosh:
z y'[z] + (z^2 - 1) y''[z] /. y -> ArcCoshSimplify[%]可能存在的问题 (2)
ArcCosh[Cosh[0.3 + 5 I]]Cosh[ArcCosh[0.3 + 5 I]]ArcCosh[-1 + I ((Pi + 1) ^ 2 - Pi ^ 2 - 2Pi - 1 - Exp[-Pi ^ 4])]//NArcCosh[-1 + I ((Pi + 1) ^ 2 - Pi ^ 2 - 2Pi - 1 - Exp[-Pi ^ 4])]//N[#, 30]&巧妙范例 (1)
下面显示 ArcCosh 幂函数的分支切割:
Plot3D[Im[ArcCosh[(x + I y) ^ 4]], {x, -2, 2}, {y, -2, 2}, ...]技术笔记
-
▪
- 初等超越函数
相关指南
-
▪
- 双曲线函数 ▪
- GPU 计算 ▪
- 逆函数 ▪
- 初等函数 ▪
- NVIDIA GPU 计算 ▪
- Apple GPU 计算
历史
1988年引入 (1.0) | 在以下年份被更新:2021 (13.0)
文本
Wolfram Research (1988),ArcCosh,Wolfram 语言函数,https://reference.wolfram.com/language/ref/ArcCosh.html (更新于 2021 年).
CMS
Wolfram 语言. 1988. "ArcCosh." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2021. https://reference.wolfram.com/language/ref/ArcCosh.html.
APA
Wolfram 语言. (1988). ArcCosh. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/ArcCosh.html 年
BibTeX
@misc{reference.wolfram_2026_arccosh, author="Wolfram Research", title="{ArcCosh}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/ArcCosh.html}", note=[Accessed: 14-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_arccosh, organization={Wolfram Research}, title={ArcCosh}, year={2021}, url={https://reference.wolfram.com/language/ref/ArcCosh.html}, note=[Accessed: 14-September-2026]}