4
$\begingroup$

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

Improve this question
$\endgroup$
2
  • 3
    $\begingroup$ Note that the simpler expression Assuming[p > 0, 2 ArcTan[p] == Pi - 2 ArcTan[1/p] // FullSimplify] does evaluate to True. The problem seems to be that Mathematica doesn't recognize $\sinh x = 1/\mathrm{csch}\, x$ in this context. $\endgroup$
    – Michael Seifert
    Mar 14 '19 at 13:57
  • $\begingroup$ Series shows that the difference between the LHS and RHS is zero, i.e., Assuming[p > 0, Series[ 2 ArcTan[Sinh[p]] - (Pi - 2 ArcTan[Csch[p]]), {p, 0, 50}]] // Normal evaluates to 0 $\endgroup$
    – Bob Hanlon
    Nov 14 '19 at 1:51
1
$\begingroup$

Your have to help a bit to FoolSimplify[]

f[e_] := 100 Count[e, _Gudermannian | _Csch, {0, Infinity}] + 
      LeafCount[e]

Assuming[p > 0, 
 FullSimplify[2 ArcTan[Sinh[p]] == Pi - 2 ArcTan[Csch[p]], 
  ComplexityFunction -> f]]

(True)

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.