MathGroup Archive 2007

[Date Index] [Thread Index] [Author Index]

Search the Archive

RE: Re: Showing that ArcSinh[2]/ArcCsch[2] is 3?

Dear Oleksandr,

              That's interesting: but looking at what is produced by 
  ArcSinh[2]/ArcCsch[2] == 3 // FullSimplify
 makes me wonder just how Mathematica achieved this. In other words, what
does the message that Bob Hanlon so carefully suppressed mean? Similar
messages sometimes occur when checking the results of simple equations by
back-substituting, especially when the solutions contain surds, and appear
to show that Mathematica is diving off into real numbers to prove results
involving integers and powers of integers. 


Dr A.H. Harker
Department of Physics and Astronomy
University College London
Gower Street


]->-----Original Message-----
]->From: sashap [mailto:pavlyk at] 
]->Sent: 21 February 2007 11:04
]->To: mathgroup at
]->Subject: [mg73550] Re: Showing that ArcSinh[2]/ArcCsch[2] is 3?
]->Dear David,
]->It is the case in the CAS and in the real life as well that 
]->proving left hand side equal to right hand side is easier 
]->than deriving what right hand side the left hand side equals to.
]->I can not think of a direct way to use built-in 'knowledge' 
]->to reduce ArcSinh[2]/ArcCsch[2] to 3, but want to point out 
]->that proving it post-factum does not seem problematic:
]->Oleksandr Pavlyk
]->Special Functions Developer
]->Wolfram Research Inc
]->On Feb 20, 5:24 am, "David W.Cantrell" 
]-><DWCantr... at> wrote:
]->> I hope I've just overlooked something very simple.
]->> I want to transform ArcSinh[2]/ArcCsch[2] to 3, using just 
]->> already implemented in Mathematica. I tried FullSimplify 
]->first, and it 
]->> doesn't help. I tried several other things. For example,
]->> TrigToExp[ArcSinh[2]/ArcCsch[2]]  yields
]->> Log[2 + Sqrt[5]]/Log[1/2 + Sqrt[5]/2].
]->> But then how should we transform that to 3?
]->> David

  • Prev by Date: Re: ReplaceList and //.
  • Next by Date: Re: Maclaurin series for ArcCosh[x]
  • Previous by thread: Re: Showing that ArcSinh[2]/ArcCsch[2] is 3?
  • Next by thread: Re: RE: Re: Showing that ArcSinh[2]/ArcCsch[2] is 3?