From: Sam Takoy on
Hi,

For some reason Mathematica fails to do this:

Assuming[ a Cosh[H/(2 a)] == 1,
FullSimplify[
Cosh[H/a] +
1/2 ((H/a - H/a Cosh[H/a] + 2 Sinh[H/a]) Sinh[H/(2 a)] )/(
H/(2 a) Sinh[H/(2 a)] - 1/a)]]


The answer is actually 1 and I would think Mathematica could handle
that. Is there a way to fix this? (This is a warmup for me more
complicated problems.)

Thanks!

From: Themis Matsoukas on
Here is one way:

expression =
Cosh[H/a] +
1/2 ((H/a - H/a Cosh[H/a] + 2 Sinh[H/a]) Sinh[
H/(2 a)])/(H/(2 a) Sinh[H/(2 a)] - 1/a);

sln = Flatten[Solve[a Cosh[H/(2 a)] == 1, H]]
FullSimplify[expression /. sln]


Themis

> Hi,
>
> For some reason Mathematica fails to do this:
>
> Assuming[ a Cosh[H/(2 a)] == 1,
> FullSimplify[
> Cosh[H/a] +
> 1/2 ((H/a - H/a Cosh[H/a] + 2 Sinh[H/a])
> /a]) Sinh[H/(2 a)] )/(
> H/(2 a) Sinh[H/(2 a)] - 1/a)]]
>
>
> The answer is actually 1 and I would think
> Mathematica could handle
> that. Is there a way to fix this? (This is a warmup
> for me more
> complicated problems.)
>
> Thanks!
>