DLMF:4.32.E3 (Q2193): Difference between revisions

From MaRDI portal
Changed an Item: Add constraint
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: hyperbolic sine function / rank
 
Normal rank
Property / Symbols used: hyperbolic sine function / qualifier
 
DLMF defining formula:

sinh z 𝑧 {\displaystyle{\displaystyle\sinh\NVar{z}}}

\sinh@@{\NVar{z}}
Property / Symbols used: hyperbolic sine function / qualifier
 
xml-id: C4.S28.E1.m2aadec

Revision as of 11:50, 21 December 2021

No description defined
Language Label Description Also known as
English
DLMF:4.32.E3
No description defined

    Statements

    | cosh x - cosh y | | x - y | sinh x sinh y , 𝑥 𝑦 𝑥 𝑦 𝑥 𝑦 {\displaystyle{\displaystyle|\cosh x-\cosh y|\geq|x-y|\sqrt{\sinh x\sinh y},}}
    0 references
    y > 0 𝑦 0 {\displaystyle{\displaystyle y>0}}
    0 references
    cosh z 𝑧 {\displaystyle{\displaystyle\cosh\NVar{z}}}
    C4.S28.E2.m2aadec
    0 references
    sinh z 𝑧 {\displaystyle{\displaystyle\sinh\NVar{z}}}
    C4.S28.E1.m2aadec
    0 references

    Identifiers