DLMF:13.20.E13 (Q4602): Difference between revisions

From testwiki
Jump to navigation Jump to search
← Older edit
imported>Admin
imported>Admin
 
(3 intermediate revisions by the same user not shown)
Property / Symbols used
 
Property / Symbols used: Q11246 / rank
 
Normal rank
Property / Symbols used: Q11246 / qualifier
 
test:

arccosh ⁡ z hyperbolic-inverse-cosine 𝑧 {\displaystyle{\displaystyle\operatorname{arccosh}\NVar{z}}}

\acosh@@{\NVar{z}}
Property / Symbols used: Q11246 / qualifier
 
xml-id: C4.S37.SS2.p1.m9adec
Property / Symbols used
 
Property / Symbols used: principal branch of logarithm function / rank
 
Normal rank
Property / Symbols used: principal branch of logarithm function / qualifier
 
test:

ln ⁡ z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}

\ln@@{\NVar{z}}
Property / Symbols used: principal branch of logarithm function / qualifier
 
xml-id: C4.S2.E2.m2addec
Property / Symbols used
 
Property / Symbols used: Q11566 / rank
 
Normal rank
Property / Symbols used: Q11566 / qualifier
 
test:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: Q11566 / qualifier
 
xml-id: C13.S1.XMD4.m1jdec
Property / Symbols used
 
Property / Symbols used: DLMF:13.20.E6 / rank
 
Normal rank
Property / Symbols used: DLMF:13.20.E6 / qualifier
 
test:

α 𝛼 {\displaystyle{\displaystyle\alpha}}

\alpha
Property / Symbols used: DLMF:13.20.E6 / qualifier
 
xml-id: C13.S20.XMD2.m1bdec

Latest revision as of 15:15, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:13.20.E13
No description defined

    Statements

    test
    ζ ⁢ ζ 2 - α 2 - α 2 ⁢ arccosh ⁡ ( ζ α ) = X μ - 2 ⁢ κ μ ⁢ ln ⁡ ( X + x - 2 ⁢ κ 2 ⁢ κ 2 - μ 2 ) - 2 ⁢ ln ⁡ ( κ ⁢ x - μ ⁢ X - 2 ⁢ μ 2 x ⁢ κ 2 - μ 2 ) , 𝜁 superscript 𝜁 2 superscript 𝛼 2 superscript 𝛼 2 hyperbolic-inverse-cosine 𝜁 𝛼 𝑋 𝜇 2 𝜅 𝜇 𝑋 𝑥 2 𝜅 2 superscript 𝜅 2 superscript 𝜇 2 2 𝜅 𝑥 𝜇 𝑋 2 superscript 𝜇 2 𝑥 superscript 𝜅 2 superscript 𝜇 2 {\displaystyle{\displaystyle\zeta\sqrt{\zeta^{2}-\alpha^{2}}-\alpha^{2}% \operatorname{arccosh}\left(\frac{\zeta}{\alpha}\right)=\frac{X}{\mu}-\frac{2% \kappa}{\mu}\ln\left(\frac{X+x-2\kappa}{2\sqrt{\kappa^{2}-\mu^{2}}}\right)-2% \ln\left(\frac{\kappa x-\mu X-2\mu^{2}}{x\sqrt{\kappa^{2}-\mu^{2}}}\right),}}
    0 references
    DLMF id
    DLMF:13.20.E13
    0 references
    constraint
    x ≥ 2 ⁢ κ + 2 ⁢ κ 2 - μ 2 𝑥 2 𝜅 2 superscript 𝜅 2 superscript 𝜇 2 {\displaystyle{\displaystyle x\geq 2\kappa+2\sqrt{\kappa^{2}-\mu^{2}}}}
    0 references
    Symbols used
    Q11246
    test
    arccosh ⁡ z hyperbolic-inverse-cosine 𝑧 {\displaystyle{\displaystyle\operatorname{arccosh}\NVar{z}}}
    xml-id
    C4.S37.SS2.p1.m9adec
    0 references
    principal branch of logarithm function
    test
    ln ⁡ z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    xml-id
    C4.S2.E2.m2addec
    0 references
    Q11566
    test
    x 𝑥 {\displaystyle{\displaystyle x}}
    xml-id
    C13.S1.XMD4.m1jdec
    0 references
    DLMF:13.20.E6
    test
    α 𝛼 {\displaystyle{\displaystyle\alpha}}
    xml-id
    C13.S20.XMD2.m1bdec
    0 references
     
      Retrieved from "https://lct.wmflabs.org/w/index.php?title=Item:Q4602&oldid=25321"