根式化简

hbghlyj

在这帖中($0<\text{ta},\text{tb}<1$)，由\[x=\frac{\sqrt{\text{ta}^2+\text{tb}^2} \sqrt{\text{ta}^2 \text{tb}^2+1}+\text{ta} \text{tb} (\text{ta}+\text{tb})+\text{ta}+\text{tb}}{\text{ta}^2\text{tb}^2+ \left(\text{ta}+\text{tb}\right)^2+1}\]
怎么才能得到\[\frac{1-\sqrt{1-x^2}}{x}=\frac{\left(\sqrt{\text{ta}^2+\text{tb}^2}+\text{ta}+\text{tb}\right) \left(-\sqrt{\text{ta}^2 \text{tb}^2+1}+\text{ta} \text{tb}+1\right)}{2 \text{ta} \text{tb}}\]
呢？
直接代入FullSimplify

1. FullSimplify[(1-Sqrt[1-x^2])/x/.x->(ta+tb+ta tb (ta+tb)+Sqrt[ta^2+tb^2] Sqrt[1+ta^2 tb^2])/(1+2 ta tb+tb^2+ta^2 (1+tb^2))]

复制代码

没有效果啊

hbghlyj

上面是tanh半角公式$\tanh(\frac{\tanh^{-1}x}2)=\frac{1-\sqrt{1-x^2}}{x}$，多重根式算不出来

若从结果出发，可以代入tanh二倍角公式$\tanh(2\tanh^{-1}y)=\frac{2y}{1+y^2}$验证

1. FullSimplify[(ta+tb+ta tb (ta+tb)+Sqrt[ta^2+tb^2] Sqrt[1+ta^2 tb^2])/(1+2 ta tb+tb^2+ta^2 (1+tb^2))-(2y)/(1+y^2)/.y->((ta+tb+Sqrt[ta^2+tb^2]) (1+ta tb-Sqrt[1+ta^2 tb^2]))/(2 ta tb)]

复制代码

很快就输出了0
从结果出发很容易验证，但是在不知结果时，怎么正向计算出tanh半角？