Prove this hyperbolic identities

  • Context: MHB 
  • Thread starter Thread starter arroww
  • Start date Start date
  • Tags Tags
    Hyperbolic identities
Click For Summary

Discussion Overview

The discussion revolves around proving the hyperbolic identity: tanh²(x) + 1/cosh²(x) = 1. Participants explore various approaches to derive this identity, including substitutions and manipulations of fundamental hyperbolic identities.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Technical explanation

Main Points Raised

  • One participant suggests substituting definitions of cosh and tanh to start the proof.
  • Another participant proposes using the fundamental hyperbolic identity: cosh²(x) - sinh²(x) = 1, as a basis for the proof.
  • Several participants discuss dividing the fundamental identity by cosh²(x) and splitting the resulting expression into two fractions.
  • There is a back-and-forth regarding the interpretation of terms and ensuring all parts of the identity are accounted for in manipulations.
  • Participants explore the implications of the identity and how it relates to the definitions of hyperbolic functions.
  • One participant realizes that the expression sinh²(x)/cosh²(x) simplifies to tanh²(x), which is crucial for completing the proof.
  • There are moments of clarification where participants correct each other on the steps taken in the proof process.

Areas of Agreement / Disagreement

Participants generally agree on the validity of the fundamental hyperbolic identity and the approach of manipulating it to prove the target identity. However, there are varying interpretations of the steps involved, and the discussion remains somewhat unresolved as participants refine their understanding of the proof.

Contextual Notes

Some participants express uncertainty about specific steps in the proof, particularly regarding the division and simplification of terms. There is also a focus on ensuring that all parts of the identity are properly addressed in the proof process.

arroww
Messages
16
Reaction score
0
6b) tanh^2(x) + 1/cosh^2(x) = 1

Could someone help start me off? I know that you have to sub in (e^x + e^-x)/2 for cosh and (e^x - e ^-x)/(e^x + e ^-x) for tanh. Then I'd add these together, but I'm not sure how I'd solve/simplify them arithmetically after that.

Help would be appreciated! thanks.
 
Mathematics news on Phys.org
I would think it easier to use the fundamental hyperbolic trigonometric identity:

$\cosh^2 x - \sinh^2 x = 1$

EDIT: If you've never seen this proved, here it is:

$\cosh^2 x - \sinh^2 x = \left(\dfrac{e^x + e^{-x}}{2}\right)^2 - \left(\dfrac{e^x - e^{-x}}{2}\right)^2$

$=\dfrac{e^{2x} + 2 + e^{-2x}}{4} - \dfrac{e^{2x} - 2 + e^{-2x}}{4} = \dfrac{2}{4} - \dfrac{-2}{4} = 1$
 
Last edited:
Deveno said:
I would think it easier to use the fundamental hyperbolic trigonometric identity:

$\cosh^2 x - \sinh^2 x = 1$

That was actually the previous question. So I'm not sure what you mean?
 
Divide the fundamental identity by $\cosh^2 x$, what do you get?
 
Deveno said:
Divide the fundamental identity by $\cosh^2 x$, what do you get?

$\frac{cosh^2 x - sin^2x}{cosh^2x}$ ?
 
You only divided HALF of the identity (the stuff on one side of the equals sign). What about the other half?
 
Deveno said:
You only divided HALF of the identity (the stuff on one side of the equals sign). What about the other half?

Oh, so it's: $\frac{cosh^2 x - sin^2x}{cosh^2x} = \frac {1}{cosh^2x}$
 
Now split up the sum on the left into 2 fractions.
 
Deveno said:
Now split up the sum on the left into 2 fractions.

$\frac{cosh^2 x}{cosh^2x} - \frac{sin^2x}{cosh^2x}$

so then you'd get, - $\frac{sin^2x}{cosh^2x}$ ?

 
  • #10
Can you think of another way to write:

$\dfrac{\sinh x}{\cosh x}$?

And, don't "skip steps". Write down the WHOLE IDENTITY. Don't confuse "parts" and "whole" (a word is not a sentence).
 
  • #11
Deveno said:
Can you think of another way to write:

$\dfrac{\sinh x}{\cosh x}$?

And, don't "skip steps". Write down the WHOLE IDENTITY. Don't confuse "parts" and "whole" (a word is not a sentence).

Hm I'm not sure. The only think I can think of is subbing $\frac{e^x + e^{-x}}{2}$ for coshx and $\frac{e^x - e^{-x}}{2}$ for sinhx.
 
  • #12
I don't think you're getting what I'm driving at.Objective: we want to prove

$\tanh^2 x + \dfrac{1}{\cosh^2 x} = 1$

Well, we KNOW (because we just proved it) that:

$\cosh^2 x - \sinh^2 x = 1$

is true.

Now equality still holds if we divide two sides of an equation by the same quantity, so:

$\dfrac{\cosh^2 x - \sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$

Splitting the left-hand side into two terms, we get:

$\dfrac{\cosh^2 x}{\cosh^2 x} - \dfrac{\sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$

Now, what is:

$\dfrac{\cosh^2 x}{\cosh^2 x}$, and what is:

$\dfrac{\sinh^2 x}{\cosh^2 x}$? (hint: this occurs in what we're trying to prove).
 
  • #13
Deveno said:
I don't think you're getting what I'm driving at.Objective: we want to prove

$\tanh^2 x + \dfrac{1}{\cosh^2 x} = 1$

Well, we KNOW (because we just proved it) that:

$\cosh^2 x - \sinh^2 x = 1$

is true.

Now equality still holds if we divide two sides of an equation by the same quantity, so:

$\dfrac{\cosh^2 x - \sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$

Splitting the left-hand side into two terms, we get:

$\dfrac{\cosh^2 x}{\cosh^2 x} - \dfrac{\sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$

Now, what is:

$\dfrac{\cosh^2 x}{\cosh^2 x}$, and what is:

$\dfrac{\sinh^2 x}{\cosh^2 x}$? (hint: this occurs in what we're trying to prove).

$\dfrac{\cosh^2 x}{\cosh^2 x}$ is the RS (1). So does that mean $\dfrac{\sinh^2 x}{\cosh^2 x}$ is the LS? though I'm not sure how it is.
 
  • #14
No, the left side has two terms. The question I'm asking when I say what is:

$\dfrac{\cosh^2 x}{\cosh^2 x}$

is a much simpler one: What is the fraction $\dfrac{a}{a}$ no matter WHAT (non-zero, of course) expression "$a$" is?
 
  • #15
Deveno said:
No, the left side has two terms. The question I'm asking when I say what is:

$\dfrac{\cosh^2 x}{\cosh^2 x}$

is a much simpler one: What is the fraction $\dfrac{a}{a}$ no matter WHAT (non-zero, of course) expression "$a$" is?

It's 1.
 
  • #16
Right. so that means that:

$\dfrac{\cosh^2 x}{\cosh^2 x} + \dfrac{\sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$

is really the equation:

$1 + \dfrac{\sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$.

So now, we look at:

$\dfrac{\sinh^2 x}{\cosh^2 x}$, which is really:

$\dfrac{(\sinh x)^2}{(\cosh x)^2} = \left(\dfrac{\sinh x}{\cosh x}\right)^2$.

Do you know of another name for:

$\dfrac{\sinh x}{\cosh x}$?
 
  • #17
Deveno said:
Right. so that means that:

$\dfrac{\cosh^2 x}{\cosh^2 x} + \dfrac{\sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$

is really the equation:

$1 + \dfrac{\sinh^2 x}{\cosh^2 x} = \dfrac{1}{\cosh^2 x}$.

So now, we look at:

$\dfrac{\sinh^2 x}{\cosh^2 x}$, which is really:

$\dfrac{(\sinh x)^2}{(\cosh x)^2} = \left(\dfrac{\sinh x}{\cosh x}\right)^2$.

Do you know of another name for:

$\dfrac{\sinh x}{\cosh x}$?

Isn't it tanhx?
 
  • #18
Yes! So, what is our equation now equivalent to?
 
  • #19
Deveno said:
Yes! So, what is our equation now equivalent to?

Oh, so rearranging it gets:
1 - tanhx = 1/cosh^2x
1 = 1/cosh^2x + tanhx
 
  • #20
Not quite.

We have:

$\dfrac{\sinh^2 x}{\cosh^2 x} = \left(\dfrac{\sinh x}{\cosh x}\right)^2 = (\tanh x)^2 = \tanh^2 x$

(you have forgotten we have a "squared" in there).
 
  • #21
Deveno said:
Not quite.

We have:

$\dfrac{\sinh^2 x}{\cosh^2 x} = \left(\dfrac{\sinh x}{\cosh x}\right)^2 = (\tanh x)^2 = \tanh^2 x$

(you have forgotten we have a "squared" in there).

Oh, oops. ;p
Alright, so it's pretty much the same thing when rearranging:
1 - tanh^2x = 1/cosh^2x
1 = 1/cosh^2x + tanh^2x
 
  • #22
And therein, lies the tale of a proof, yes?
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
4
Views
2K