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

From MaRDI portal
Changed an Item: Add constraint
Added link to MaRDI item.
 
(5 intermediate revisions by 3 users not shown)
Property / Symbols used
 
Property / Symbols used: real variable / rank
 
Normal rank
Property / Symbols used: real variable / qualifier
 
DLMF defining formula:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: real variable / qualifier
 
xml-id: C4.S1.XMD6.m1bdec
Property / Symbols used
 
Property / Symbols used: real variable / rank
 
Normal rank
Property / Symbols used: real variable / qualifier
 
DLMF defining formula:

y 𝑦 {\displaystyle{\displaystyle y}}

y
Property / Symbols used: real variable / qualifier
 
xml-id: C4.S1.XMD7.m1dec
Property / instance of
 
Property / instance of: Digital Library of Mathematical Functions Formula / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI formula profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 01:18, 3 March 2024

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
    x 𝑥 {\displaystyle{\displaystyle x}}
    C4.S1.XMD6.m1bdec
    0 references
    y 𝑦 {\displaystyle{\displaystyle y}}
    C4.S1.XMD7.m1dec
    0 references

    Identifiers