Pythagorean identity for sinh and cosh

Theorem

The following formula holds: $$\cosh^2(z)-\sinh^2(z)=1,$$ where $\cosh$ denotes the hyperbolic cosine and $\sinh$ denotes the hyperbolic sine.

Proof

From the definitions $$\cosh(z)=\dfrac{e^{z}+e^{-z}}{2}$$ and $$\sinh(z)=\dfrac{e^{z}-e^{-z}}{2},$$ we see $$\begin{array}{ll} \cosh^2(z) - \sinh^2(z) &= \left( \dfrac{e^{z}+e^{-z}}{2} \right)^2 - \left( \dfrac{e^{z}-e^{-z}}{2} \right)^2 \\ &= \dfrac{1}{4} \left( e^{2z}+2+e^{-2z}-e^{2z}+2-e^{-2z} \right) \\ &= 1, \end{array}$$ as was to be shown. █

References

• 1964: {{ #if: |{{{2}}}|Milton Abramowitz}}{{#if: Irene A. Stegun|{{#if: |, {{ #if: |{{{2}}}|Irene A. Stegun}}{{#if: |, [[Mathematician:{{{author3}}}|{{ #if: |{{{2}}}|{{{author3}}}}}]]{{#if: |, [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]{{#if: |, [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]] and [[Mathematician:{{{author6}}}|{{ #if: |{{{2}}}|{{{author6}}}}}]]| and [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]]}}| and [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]}}| and [[Mathematician:{{{author3}}}|{{ #if: |{{{2}}}|{{{author3}}}}}]]}}| and {{ #if: |{{{2}}}|Irene A. Stegun}}}}|}}: [[Book:Milton Abramowitz/Handbook of mathematical functions{{#if: |/Volume {{{volume}}}|}}{{#if: |/{{{edpage}}}}}|Handbook of mathematical functions{{#if: |: Volume {{{volume}}}|}}{{#if: |: {{{eddisplay}}}|{{#if: | ({{{ed}}} ed.)}}}}]]{{#if: | (translated by [[Mathematician:{{{translated}}}|{{ #if: |{{{2}}}|{{{translated}}}}}]])}}{{#if: |, {{{publisher}}}|}}{{#if: |, ISBN {{{isbn}}}|}}{{#if: Period of tanh | ... (previous)|}}{{#if: Pythagorean identity for tanh and sech | ... (next)|}}{{#if: |: Entry: {{#if: |[[{{{entryref}}}|{{{entry}}}]]|{{{entry}}}}}|}}: $4.5.16$