DLMF:25.4.E6 (Q7613): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Add constraint
Changed an Item: Add constraint
 
(2 intermediate revisions by the same user not shown)
Property / Symbols used
 
Property / Symbols used: imaginary unit / rank
 
Normal rank
Property / Symbols used: imaginary unit / qualifier
 
Defining formula:

i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}

\iunit
Property / Symbols used: imaginary unit / qualifier
 
xml-id: C1.S9.E1.m2adec
Property / Symbols used
 
Property / Symbols used: principal branch of logarithm function / rank
 
Normal rank
Property / Symbols used: principal branch of logarithm function / qualifier
 
Defining formula:

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

\ln@@{\NVar{z}}
Property / Symbols used: principal branch of logarithm function / qualifier
 
xml-id: C4.S2.E2.m2adec
Property / Symbols used
 
Property / Symbols used: Q12155 / rank
 
Normal rank
Property / Symbols used: Q12155 / qualifier
 
Defining formula:

c 𝑐 {\displaystyle{\displaystyle c}}

c
Property / Symbols used: Q12155 / qualifier
 
xml-id: C25.S4.XMD1.m1adec

Latest revision as of 13:24, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:25.4.E6
No description defined

    Statements

    c - ln ( 2 π ) - 1 2 π i . equal-by definition 𝑐 2 𝜋 1 2 𝜋 imaginary-unit {\displaystyle{\displaystyle c\equiv-\ln\left(2\pi\right)-\tfrac{1}{2}\pi% \mathrm{i}.}}
    0 references
    DLMF:25.4.E6
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2addec
    0 references
    equal-by definition {\displaystyle{\displaystyle\equiv}}
    introduction.Sx4.p1.t1.r9.m2adec
    0 references
    i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}
    C1.S9.E1.m2adec
    0 references
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2adec
    0 references
    c 𝑐 {\displaystyle{\displaystyle c}}
    C25.S4.XMD1.m1adec
    0 references