DLMF:4.32.E3 (Q1856)

From DRMF
Revision as of 19:06, 1 January 2020 by Admin (talk | contribs) (‎Changed an Item: Add constraint)
Jump to navigation Jump to search
No description defined
Language Label Description Also known as
English
DLMF:4.32.E3
No description defined

    Statements

    Defining formula
    | 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
    DLMF id
    DLMF:4.32.E3
    0 references
    constraint
    y > 0 𝑦 0 {\displaystyle{\displaystyle y>0}}
    0 references
    Symbols used
    hyperbolic cosine function
    Defining formula
    cosh ⁡ z 𝑧 {\displaystyle{\displaystyle\cosh\NVar{z}}}
    xml-id
    C4.S28.E2.m2aadec
    0 references
     
        Retrieved from "https://drmf-beta.wmflabs.org/index.php?title=Item:Q1856&oldid=27828"