Re: Simplification question
- To: mathgroup at smc.vnet.net
- Subject: [mg110402] Re: Simplification question
- From: Alexei Boulbitch <alexei.boulbitch at iee.lu>
- Date: Wed, 16 Jun 2010 05:41:33 -0400 (EDT)
FullSimplify[(
1/2 Log[(Exp[a + b] + Exp[-a - b])/(Exp[-a + b] + Exp[a - b])])/
ArcTanh[Tanh[a] Tanh[b]]
, Assumptions -> {a > 0 && b > 0}]
1
FullSimplify[
1/2 Log[(Exp[a + b] + Exp[-a - b])/(Exp[-a + b] + Exp[a - b])] -
ArcTanh[Tanh[a] Tanh[b]]
, Assumptions -> {a > 0 && b > 0}]
0
??
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?
--
Alexei Boulbitch, Dr. habil.
Senior Scientist
Material Development
IEE S.A.
ZAE Weiergewan
11, rue Edmond Reuter
L-5326 CONTERN
Luxembourg
Tel: +352 2454 2566
Fax: +352 2454 3566
Mobile: +49 (0) 151 52 40 66 44
e-mail: alexei.boulbitch at iee.lu
www.iee.lu
--
This e-mail may contain trade secrets or privileged, undisclosed or
otherwise confidential information. If you are not the intended
recipient and have received this e-mail in error, you are hereby
notified that any review, copying or distribution of it is strictly
prohibited. Please inform us immediately and destroy the original
transmittal from your system. Thank you for your co-operation.