Message Boards Message Boards

5 Replies
0 Total Likes
View groups...
Share this post:

Can mathematica display or verify trig identities?

Posted 9 years ago

I was trying to prove $ |cosh\:z|^2 = sinh^2\:x + cos^2\:x $, ended up with a different answer and wanted to see how Mathematica did it - so is there a way to ask mathematica to either display or verify this - and other trig identities?

POSTED BY: Alan Smith
5 Replies

The equality looks false:

Plot[{Abs[Cosh[x]]^2, Sinh[x]^2 + Cos[x]^2}, {x, -1, 1}]
POSTED BY: Gianluca Gorni
Posted 9 years ago

Sorry, typo - $ | { cosh(z)}|^2 = sinh^2 x + cos^2y $

POSTED BY: Alan Smith

Because of $\overline{\cosh(z)}=\cosh(\bar{z})$ it can be produced by

In[23]:= Simplify[TrigExpand[TrigReduce[Cosh[x + I y] Cosh[x - I y]]] /. {Sin[y]^2 -> (1 - Cos[y]^2),
                                                                          Cosh[x]^2 -> (1 + Sinh[x]^2)}]
Out[23]= Cos[y]^2 + Sinh[x]^2

and then checked again by

In[37]:= FullSimplify[Cosh[x + I y] Cosh[x - I y] - (Cos[y]^2 + Sinh[x]^2)]
Out[37]= 0

B.t.w. there are equivalent answers, e.g. if one takes the other side of the basic identies in replacement

In[39]:= Simplify[TrigExpand[TrigReduce[Cosh[x + I y] Cosh[x - I y]]] /. {Cos[y]^2 -> (1 - Sin[y]^2), 
                                                                          Sinh[x]^2 -> (Cosh[x]^2 - 1)}]
Out[39]= Cosh[x]^2 - Sin[y]^2

In[41]:= FullSimplify[Cosh[x + I y] Cosh[x - I y] - Cosh[x]^2 + Sin[y]^2]
Out[41]= 0
POSTED BY: Udo Krause
Posted 9 years ago

That's cool thanks - and I will especially remember the simple but clever check - but it seems I would need to know the correct intermediate identities first, so my question is now - what if I had no idea of how to approach this? I was hoping for something like a 'complexidentityexpand' command, which would list all the possibilities ... ?

POSTED BY: Alan Smith

what if I had no idea of how to approach this?

Then one gains some insight with the help of the functions site, reads around in mathworld, experiments with the trig functions family trigonometric expressions, and tries putting expressions into different forms.

Usually there is no canonical form for a trigonometric expression: Sometimes you prefer the exponential form, then you need arguments as functions of many variables, then you need possibly to separate variables and want to express it as a bundle of functions of a single variable each.

Last but not least, there are sources like wikipedia, all giving hints what can be done next.

I was hoping for something like a 'complexidentityexpand' command

Of course you do. Me too. But instead we got only (!) tools like $Mathematica$, which implement lots of GetTheJobDone-facilities, if only one is able to specify the job ...

POSTED BY: Udo Krause
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
or Discard

Group Abstract Group Abstract