
Re: Simplification question
Posted:
Jun 16, 2010 5:37 AM


Hi, sometimes mathematica needds just a little help from a friend... Assuming[Element[{a, b,}, Reals], 1/2 Log[(Exp[a + b] + Exp[a  b])/(Exp[a + b] + Exp[a  b])] == ArcTanh[Tanh[a] Tanh[b]] // TrigToExp // Simplify]
cheers, Daniel
Am 15.06.2010 08:30, schrieb Yaroslav Bulatov: > I'd like to verify that the following expression is true for a,b real. > It seems to hold numerically. > > 1/2 Log[(Exp[a + b] + Exp[a  b])/(Exp[a + b] + Exp[a  b])] == > ArcTanh[Tanh[a] Tanh[b]] > > I tried Reduce and combinations of TrigToExp/Simplify with no luck, > any suggestions? >

