DLMF:4.21.E28 (Q1941): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: cosine function / rank
 
Normal rank
Property / Symbols used: cosine function / qualifier
 
DLMF defining formula:

cos z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}

\cos@@{\NVar{z}}
Property / Symbols used: cosine function / qualifier
 
xml-id: C4.S14.E2.m2asdec

Revision as of 11:30, 21 December 2021

No description defined
Language Label Description Also known as
English
DLMF:4.21.E28
No description defined

    Statements

    cos ( 2 z ) = 2 cos 2 z - 1 = 1 - 2 sin 2 z = cos 2 z - sin 2 z = 1 - tan 2 z 1 + tan 2 z , 2 𝑧 2 2 𝑧 1 1 2 2 𝑧 2 𝑧 2 𝑧 1 2 𝑧 1 2 𝑧 {\displaystyle{\displaystyle\cos\left(2z\right)=2{\cos^{2}}z-1=1-2{\sin^{2}}z=% {\cos^{2}}z-{\sin^{2}}z=\frac{1-{\tan^{2}}z}{1+{\tan^{2}}z},}}
    0 references
    cos z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}
    C4.S14.E2.m2asdec
    0 references

    Identifiers