Why (correct) expressions like
Assuming[p > 0, 2 ArcTan[Sinh[p]] == Pi - 2 ArcTan[Csch[p]] // FullSimplify]
Are not correctly evaluated to: True? What is the best approach in these cases
Asked
Viewed
33 times
3
$\begingroup$
$\endgroup$
Assuming[p > 0, 2 ArcTan[p] == Pi - 2 ArcTan[1/p] // FullSimplify]does evaluate toTrue. The problem seems to be that Mathematica doesn't recognize $\sinh x = 1/\mathrm{csch}\, x$ in this context. $\endgroup$ – Michael Seifert Mar 14 at 13:57