How can we find the true solution for cosh x = tanh x?

  • Context: Graduate 
  • Thread starter Thread starter dimension10
  • Start date Start date
  • Tags Tags
    Sin
Click For Summary

Discussion Overview

The discussion revolves around finding solutions to the equations cosh x = tanh x and sin x = cosh x, exploring their derivations and relationships. Participants engage in mathematical reasoning, substitutions, and the use of exponential forms, while also considering complex solutions.

Discussion Character

  • Exploratory, Technical explanation, Mathematical reasoning, Debate/contested

Main Points Raised

  • Some participants reference Wolfram Alpha's output for sin x = cosh x, suggesting specific complex solutions, but express uncertainty about the derivation process.
  • There is a proposal to express sin and cosh in their exponential forms, leading to further discussion on how these forms can aid in solving the equations.
  • One participant challenges the equivalence of statements regarding the solutions, emphasizing the importance of logical implications in proofs.
  • Another participant suggests substituting y = e^x, leading to a complex equation that they find difficult to simplify further.
  • Some participants discuss the potential for messy equations arising from substitutions and express frustration at reaching a dead end in their calculations.
  • There are mentions of alternative approaches, such as recognizing the relationship between cosh and cos, and using complementary relationships between sine and cosine.
  • One participant notes that Mathematica's solutions may lack insight and proposes a unifying way to represent the solutions in the complex plane.
  • Another participant expresses that they have reached a point of confusion regarding the solutions, particularly in relation to the arcsin function.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the best approach to derive the solutions, and multiple competing views and methods remain present throughout the discussion.

Contextual Notes

Limitations include unresolved mathematical steps and the complexity of the equations involved, which may depend on specific substitutions and interpretations of the functions.

dimension10
Messages
371
Reaction score
0
According to Wolfram Alpha, if sin x =cosh x then [tex]x=-(\frac{3\pi}{4}+\frac{3i\pi}{4})[/tex]

But how do you derive this?

Also, what is the solution to cos x = sinh x in exact form?


Thanks.
 
Physics news on Phys.org
Express sin and cosh in their exponential form.
 
dimension10 said:
According to Wolfram Alpha, if sin x =cosh x then [tex]x=-(\frac{3\pi}{4}+\frac{3i\pi}{4})[/tex]

But how do you derive this?

Also, what is the solution to cos x = sinh x in exact form? Thanks.
This is not true. What's true is that if [tex]x=-(\frac{3\pi}{4}+\frac{3i\pi}{4}),[/tex] then sin x=cosh x. Note that "if A, then B" (where A and B are statements, not numbers) is not equivalent to "if B, then A". For example, "if x=dimension10, then x is human" is not equivalent to "if x is human, then x=dimension10". "if A, then B" is however equivalent to "if not B, then not A". This fact is very useful in proofs.

I would start with the formulas \begin{align}
\sin x=\frac{e^{ix}-e^{-ix}}{2i}\\
\cosh x=\frac{e^{x}-e^{-x}}{2}
\end{align} This is what SteamKing had in mind. I'm including them in this post because I suspect that you don't know them. I realize that you're going to need more than this, but I don't have time to think about this now.

If you type "solve sin x=cosh x" into Wolfram Alpha, it will tell you all the solutions in the complex plane.
 
Last edited:
Fredrik said:
I would start with the formulas

[tex]\sin x=\frac{e^{ix}-e^{-ix}}{2i}[/tex]

[tex]\cosh x=\frac{e^{x}-e^{-x}}{2}[/tex]

This is what SteamKing had in mind. I'm including them in this post because I suspect that you don't know them.

I do know the exponential forms. However, they do not seem to be helpful in finding x. I even used Euler's formula, but nothing works.
 
dimension10 said:
I do know the exponential forms. However, they do not seem to be helpful in finding x. I even used Euler's formula, but nothing works.

I suggest substituting y=ex...
 
But that is still going to give you a messy equation. With the substitution [itex]y= e^x[/itex], I get [itex]y^{1+ i}- y^{1- i}= iy[/itex].

What next?
 
HallsofIvy said:
But that is still going to give you a messy equation. With the substitution [itex]y= e^x[/itex], I get [itex]y^{1+ i}- y^{1- i}= iy[/itex].

What next?

This might work:

Dividing out y, we get:

[itex]y^{i}- y^{-i}= i[/itex]. (since y != 0)

Setting [itex]z = y^{i}[/itex], you'll get [itex]z - \frac{1}{z} = i[/itex], so:

[tex]z^2 - 1 = iz[/tex] and [itex]z^2 - iz - 1[/itex]

From here, you should get:

[tex]z = \frac{i \pm \sqrt{-1 + 4}}{2}[/tex]

Now, we managed to solve for y^i, but this is where I get stuck.
 
Fredrik said:
If you type "solve sin x=cosh x" into Wolfram Alpha, it will tell you all the solutions in the complex plane.
Yes, but it does so in a way that shows lack of insight (Mathematica's results ofttimes are messy; but then again, so are Maple's and Maxima's) . Mathematica doesn't recognize that there is a unifying way to represent these solutions:

[tex]x = (n+1/4)(1\pm i)\pi,\quad n\in\mathbb{Z}[/tex]
 
SteamKing said:
Express sin and cosh in their exponential form.
I like Serena said:
I suggest substituting y=ex...

I suggest setting [itex]x=u+iv[/itex].

After just a bit of work you should arrive at
[tex]\begin{align}<br /> \sin x &= \sin u \cosh v + i \cos u \sinh v \\<br /> \cosh x &= \cos v \cosh u + i \sin v \sinh u<br /> \end{align}[/tex]
Equating the real and imaginary parts yields
[tex]\begin{align}<br /> \sin u \cosh v &= \cos v \cosh u \\<br /> \cos u \sinh v &= \sin v \sinh u<br /> \end{align}[/tex]

And that is more than enough of a hint for now.
 
Last edited:
  • #10
Another way to do it is to recognize that cosh(x) = cos(ix)

Then you have sin(x) = cos(ix) and from there you can use the complementary relationship between sin and cos.
 
Last edited by a moderator:
  • #11
DH said:
Last edited by D H; T at 03:38 PM.. Reason: Too much help. We don't know if this is homework.
It's not homework. dimension10 is too young to get this sort of problems in school.
 
Last edited:
  • #12
uart said:
Another way to do it is to recognize that cosh(x) = cos(ix)

Then you have sin(x) = cos(ix) and from there you can use the complementary relationship between sin and cos.

That's a nice way. Probably wouldn't get any easier.
 
  • #13
gb7nash said:
This might work:

Dividing out y, we get:

[itex]y^{i}- y^{-i}= i[/itex]. (since y != 0)

Setting [itex]z = y^{i}[/itex], you'll get [itex]z - \frac{1}{z} = i[/itex], so:

[tex]z^2 - 1 = iz[/tex] and [itex]z^2 - iz - 1[/itex]

From here, you should get:

[tex]z = \frac{i \pm \sqrt{-1 + 4}}{2}[/tex]

Now, we managed to solve for y^i, but this is where I get stuck.

Thanks. Strangely, [tex]i \arcsin z[/tex] is the solution for cosh x = tanh x.

But then x would pi/6 which is false.
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
7K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 33 ·
2
Replies
33
Views
8K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K