Fungrim home page

Sine

Table of contents: Definitions - Illustrations - Differential equations - Specific values - Analytic properties - Symmetry and periodicity - Addition and multiplication formulas - Sums and products - Powers - Representations through other functions - Complex parts - Derivatives and integrals - Series expansions - Bounds and inequalities

Definitions

b63dce
Symbol: Sin — sin⁡ ⁣(z)\sin\!\left(z\right) — Sine

Illustrations

31fef8
Image: X-ray of sin⁡ ⁣(z)\sin\!\left(z\right) on z∈[−5,5]+[−5,5]iz \in \left[-5, 5\right] + \left[-5, 5\right] i

Differential equations

21f156
sin⁡′′(z)+sin⁡ ⁣(z)=0\sin''(z) + \sin\!\left(z\right) = 0
984d9c
y′′(z)+y ⁣(z)=0   where y ⁣(z)=c1sin⁡ ⁣(z)+c2cos⁡ ⁣(z)y''(z) + y\!\left(z\right) = 0\; \text{ where } y\!\left(z\right) = {c}_{1} \sin\!\left(z\right) + {c}_{2} \cos\!\left(z\right)
f1691f
y′′(z)+a2y ⁣(z)+b=0   where y ⁣(z)=c1sin⁡ ⁣(az)+c2cos⁡ ⁣(az)−ba2y''(z) + {a}^{2} y\!\left(z\right) + b = 0\; \text{ where } y\!\left(z\right) = {c}_{1} \sin\!\left(a z\right) + {c}_{2} \cos\!\left(a z\right) - \frac{b}{{a}^{2}}

Specific values

c52772
sin⁡ ⁣(0)=0\sin\!\left(0\right) = 0
e2161b
sin⁡ ⁣(π)=0\sin\!\left(\pi\right) = 0
69c5ef
sin⁡ ⁣(π2)=1\sin\!\left(\frac{\pi}{2}\right) = 1
56667c
sin⁡ ⁣(3π2)=−1\sin\!\left(\frac{3 \pi}{2}\right) = -1
3c833f
sin⁡ ⁣(π3)=32\sin\!\left(\frac{\pi}{3}\right) = \frac{\sqrt{3}}{2}
5fc688
sin⁡ ⁣(π4)=22\sin\!\left(\frac{\pi}{4}\right) = \frac{\sqrt{2}}{2}
ad6b74
sin⁡ ⁣(π6)=12\sin\!\left(\frac{\pi}{6}\right) = \frac{1}{2}
c62afa
sin⁡ ⁣(πk)=0\sin\!\left(\pi k\right) = 0
506d0c
sin⁡ ⁣(π2+πk)=(−1)k\sin\!\left(\frac{\pi}{2} + \pi k\right) = {\left(-1\right)}^{k}
09cd0b
sin⁡ ⁣(α)∉Q‾\sin\!\left(\alpha\right) \notin \overline{\mathbb{Q}}
713501
sin⁡ ⁣(πx)∈Q‾\sin\!\left(\pi x\right) \in \overline{\mathbb{Q}}
056c0e
(x∈Q and⁡ sin⁡ ⁣(πx)∈Q)  ⟹  (sin⁡ ⁣(πx)∈{0,12,−12,1,−1})\left(x \in \mathbb{Q} \,\mathbin{\operatorname{and}}\, \sin\!\left(\pi x\right) \in \mathbb{Q}\right) \implies \left(\sin\!\left(\pi x\right) \in \left\{0, \frac{1}{2}, -\frac{1}{2}, 1, -1\right\}\right)
2f6818
zeros⁡ z∈C[sin⁡ ⁣(z)]={πn:n∈Z}\mathop{\operatorname{zeros}\,}\limits_{z \in \mathbb{C}} \left[\sin\!\left(z\right)\right] = \left\{ \pi n : n \in \mathbb{Z} \right\}
c5bdcc
arg max⁡x∈R[sin⁡ ⁣(x)]={π(2n+12):n∈Z}\mathop{\operatorname{arg\,max}}\limits_{x \in \mathbb{R}} \left[\sin\!\left(x\right)\right] = \left\{ \pi \left(2 n + \frac{1}{2}\right) : n \in \mathbb{Z} \right\}
ad04bd
arg min⁡x∈R[sin⁡ ⁣(x)]={π(2n−12):n∈Z}\mathop{\operatorname{arg\,min}}\limits_{x \in \mathbb{R}} \left[\sin\!\left(x\right)\right] = \left\{ \pi \left(2 n - \frac{1}{2}\right) : n \in \mathbb{Z} \right\}
bfe28b
max⁡x∈R[sin⁡ ⁣(x)]=1\mathop{\max}\limits_{x \in \mathbb{R}} \left[\sin\!\left(x\right)\right] = 1
27766c
min⁡x∈R[sin⁡ ⁣(x)]=−1\mathop{\min}\limits_{x \in \mathbb{R}} \left[\sin\!\left(x\right)\right] = -1

Analytic properties

114913
HolomorphicDomain⁡ ⁣(sin⁡ ⁣(z),z,C∪{∞~})=C\operatorname{HolomorphicDomain}\!\left(\sin\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \mathbb{C}
f4cc9e
Poles⁡ ⁣(sin⁡ ⁣(z),z,C∪{∞~})={}\operatorname{Poles}\!\left(\sin\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
6aa0bc
EssentialSingularities⁡ ⁣(sin⁡ ⁣(z),z,C∪{∞~})={∞~}\operatorname{EssentialSingularities}\!\left(\sin\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{{\tilde \infty}\right\}
96550d
BranchPoints⁡ ⁣(sin⁡ ⁣(z),z,C∪{∞~})={}\operatorname{BranchPoints}\!\left(\sin\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
a45c61
BranchCuts⁡ ⁣(sin⁡ ⁣(z),z,C)={}\operatorname{BranchCuts}\!\left(\sin\!\left(z\right), z, \mathbb{C}\right) = \left\{\right\}

Symmetry and periodicity

a2a30d
sin⁡ ⁣(−z)=−sin⁡ ⁣(z)\sin\!\left(-z\right) = -\sin\!\left(z\right)
82c83f
sin⁡ ⁣(z‾)=sin⁡ ⁣(z)‾\sin\!\left(\overline{z}\right) = \overline{\sin\!\left(z\right)}
6a8889
sin⁡ ⁣(z+2πk)=sin⁡ ⁣(z)\sin\!\left(z + 2 \pi k\right) = \sin\!\left(z\right)
393b62
sin⁡ ⁣(z+πk)=(−1)ksin⁡ ⁣(z)\sin\!\left(z + \pi k\right) = {\left(-1\right)}^{k} \sin\!\left(z\right)
1c22f1
sin⁡ ⁣(π+z)=−sin⁡ ⁣(z)\sin\!\left(\pi + z\right) = -\sin\!\left(z\right)
9cc0f2
sin⁡ ⁣(π−z)=sin⁡ ⁣(z)\sin\!\left(\pi - z\right) = \sin\!\left(z\right)
bae475
sin⁡ ⁣(π2+z)=cos⁡ ⁣(z)\sin\!\left(\frac{\pi}{2} + z\right) = \cos\!\left(z\right)
da58f7
sin⁡ ⁣(π2−z)=cos⁡ ⁣(z)\sin\!\left(\frac{\pi}{2} - z\right) = \cos\!\left(z\right)

Addition and multiplication formulas

742943
sin⁡ ⁣(a+b)=sin⁡ ⁣(a)cos⁡ ⁣(b)+cos⁡ ⁣(a)sin⁡ ⁣(b)\sin\!\left(a + b\right) = \sin\!\left(a\right) \cos\!\left(b\right) + \cos\!\left(a\right) \sin\!\left(b\right)
508e2c
sin⁡ ⁣(a−b)=sin⁡ ⁣(a)cos⁡ ⁣(b)−cos⁡ ⁣(a)sin⁡ ⁣(b)\sin\!\left(a - b\right) = \sin\!\left(a\right) \cos\!\left(b\right) - \cos\!\left(a\right) \sin\!\left(b\right)
3b839c
sin⁡ ⁣(a+bi)=sin⁡ ⁣(a)cosh⁡ ⁣(b)+icos⁡ ⁣(a)sinh⁡ ⁣(b)\sin\!\left(a + b i\right) = \sin\!\left(a\right) \cosh\!\left(b\right) + i \cos\!\left(a\right) \sinh\!\left(b\right)
755655
sin⁡ ⁣(iz)=isinh⁡ ⁣(z)\sin\!\left(i z\right) = i \sinh\!\left(z\right)
1b11be
sin⁡ ⁣(2z)=2sin⁡ ⁣(z)cos⁡ ⁣(z)\sin\!\left(2 z\right) = 2 \sin\!\left(z\right) \cos\!\left(z\right)
729215
sin⁡ ⁣(3z)=3sin⁡ ⁣(z)−4sin⁡3 ⁣(z)\sin\!\left(3 z\right) = 3 \sin\!\left(z\right) - 4 \sin^{3}\!\left(z\right)
e3f8a4
sin⁡ ⁣(nz)=∑k=0⌊(n−1)/2⌋(−1)k(n2k+1)cos⁡n−2k−1 ⁣(z)sin⁡2k+1 ⁣(z)\sin\!\left(n z\right) = \sum_{k=0}^{\left\lfloor \left( n - 1 \right) / 2 \right\rfloor} {\left(-1\right)}^{k} {n \choose 2 k + 1} \cos^{n - 2 k - 1}\!\left(z\right) \sin^{2 k + 1}\!\left(z\right)

Sums and products

d59bd9
sin⁡ ⁣(a)+sin⁡ ⁣(b)=2sin⁡ ⁣(a+b2)cos⁡ ⁣(a−b2)\sin\!\left(a\right) + \sin\!\left(b\right) = 2 \sin\!\left(\frac{a + b}{2}\right) \cos\!\left(\frac{a - b}{2}\right)
e69cf6
sin⁡ ⁣(a)−sin⁡ ⁣(b)=2cos⁡ ⁣(a+b2)sin⁡ ⁣(a−b2)\sin\!\left(a\right) - \sin\!\left(b\right) = 2 \cos\!\left(\frac{a + b}{2}\right) \sin\!\left(\frac{a - b}{2}\right)
ad6c1c
sin⁡ ⁣(a)sin⁡ ⁣(b)=cos⁡ ⁣(a−b)−cos⁡ ⁣(a+b)2\sin\!\left(a\right) \sin\!\left(b\right) = \frac{\cos\!\left(a - b\right) - \cos\!\left(a + b\right)}{2}
012eba
sin⁡ ⁣(a)cos⁡ ⁣(b)=sin⁡ ⁣(a+b)+sin⁡ ⁣(a−b)2\sin\!\left(a\right) \cos\!\left(b\right) = \frac{\sin\!\left(a + b\right) + \sin\!\left(a - b\right)}{2}
f183d0
sin⁡ ⁣(z)+cos⁡ ⁣(z)=2sin⁡ ⁣(z+π4)\sin\!\left(z\right) + \cos\!\left(z\right) = \sqrt{2} \sin\!\left(z + \frac{\pi}{4}\right)
6c3ba9
sin⁡ ⁣(z)−cos⁡ ⁣(z)=2sin⁡ ⁣(z−π4)\sin\!\left(z\right) - \cos\!\left(z\right) = \sqrt{2} \sin\!\left(z - \frac{\pi}{4}\right)
adbc1a
cos⁡ ⁣(z)+isin⁡ ⁣(z)=eiz\cos\!\left(z\right) + i \sin\!\left(z\right) = {e}^{i z}
b8ab9c
∑k=0nsin⁡ ⁣(2ak+b)=sin⁡ ⁣(a(n+1))sin⁡ ⁣(an+b)sin⁡ ⁣(a)\sum_{k=0}^{n} \sin\!\left(2 a k + b\right) = \frac{\sin\!\left(a \left(n + 1\right)\right) \sin\!\left(a n + b\right)}{\sin\!\left(a\right)}
906569
∏k=1n−1sin⁡ ⁣(kπn)=n2n−1\prod_{k=1}^{n - 1} \sin\!\left(\frac{k \pi}{n}\right) = \frac{n}{{2}^{n - 1}}

Powers

4948ea
sin⁡2 ⁣(z)+cos⁡2 ⁣(z)=1\sin^{2}\!\left(z\right) + \cos^{2}\!\left(z\right) = 1
954066
sin⁡2 ⁣(z)−cos⁡2 ⁣(z)=−cos⁡ ⁣(2z)\sin^{2}\!\left(z\right) - \cos^{2}\!\left(z\right) = -\cos\!\left(2 z\right)
244127
sin⁡2 ⁣(z)=1−cos⁡2 ⁣(z)\sin^{2}\!\left(z\right) = 1 - \cos^{2}\!\left(z\right)
cf6e35
sin⁡2 ⁣(z)=1−cos⁡ ⁣(2z)2\sin^{2}\!\left(z\right) = \frac{1 - \cos\!\left(2 z\right)}{2}
acf63c
sin⁡2 ⁣(z)=tan⁡2 ⁣(z)1+tan⁡2 ⁣(z)\sin^{2}\!\left(z\right) = \frac{\tan^{2}\!\left(z\right)}{1 + \tan^{2}\!\left(z\right)}
2a6702
sin⁡3 ⁣(z)=3sin⁡ ⁣(z)−sin⁡ ⁣(3z)4\sin^{3}\!\left(z\right) = \frac{3 \sin\!\left(z\right) - \sin\!\left(3 z\right)}{4}
54f420
sin⁡2n ⁣(z)=14n(2nn)+24n∑k=0n−1(−1)n+k(2nk)cos⁡ ⁣(2(n−k)z)\sin^{2 n}\!\left(z\right) = \frac{1}{{4}^{n}} {2 n \choose n} + \frac{2}{{4}^{n}} \sum_{k=0}^{n - 1} {\left(-1\right)}^{n + k} {2 n \choose k} \cos\!\left(2 \left(n - k\right) z\right)
71a264
sin⁡2n+1 ⁣(z)=14n∑k=0n(−1)n+k(2n+1k)sin⁡ ⁣((2n−2k+1)z)\sin^{2 n + 1}\!\left(z\right) = \frac{1}{{4}^{n}} \sum_{k=0}^{n} {\left(-1\right)}^{n + k} {2 n + 1 \choose k} \sin\!\left(\left(2 n - 2 k + 1\right) z\right)
d0505f
(cos⁡ ⁣(z)+isin⁡ ⁣(z))n=cos⁡ ⁣(nz)+isin⁡ ⁣(nz){\left(\cos\!\left(z\right) + i \sin\!\left(z\right)\right)}^{n} = \cos\!\left(n z\right) + i \sin\!\left(n z\right)
2392f5
sin⁡2 ⁣(a)−sin⁡2 ⁣(b)=sin⁡ ⁣(a+b)sin⁡ ⁣(a−b)\sin^{2}\!\left(a\right) - \sin^{2}\!\left(b\right) = \sin\!\left(a + b\right) \sin\!\left(a - b\right)
f6d0c6
sin⁡2 ⁣(a)−cos⁡2 ⁣(b)=−cos⁡ ⁣(a+b)cos⁡ ⁣(a−b)\sin^{2}\!\left(a\right) - \cos^{2}\!\left(b\right) = -\cos\!\left(a + b\right) \cos\!\left(a - b\right)

Representations through other functions

Elementary functions

925e5b
sin⁡ ⁣(z)=cos⁡ ⁣(π2−z)=cos⁡ ⁣(z−π2)=−cos⁡ ⁣(z+π2)\sin\!\left(z\right) = \cos\!\left(\frac{\pi}{2} - z\right) = \cos\!\left(z - \frac{\pi}{2}\right) = -\cos\!\left(z + \frac{\pi}{2}\right)
3fb3ca
sin⁡ ⁣(z)=2tan⁡ ⁣(z2)tan⁡2 ⁣(z2)+1\sin\!\left(z\right) = \frac{2 \tan\!\left(\frac{z}{2}\right)}{\tan^{2}\!\left(\frac{z}{2}\right) + 1}
18f40c
sin⁡ ⁣(z)=eiz−e−iz2i\sin\!\left(z\right) = \frac{{e}^{i z} - {e}^{-i z}}{2 i}
299209
sin⁡ ⁣(x)=Im⁡ ⁣(eix)\sin\!\left(x\right) = \operatorname{Im}\!\left({e}^{i x}\right)
cfc5c3
sin⁡ ⁣(z)=−isinh⁡ ⁣(iz)\sin\!\left(z\right) = -i \sinh\!\left(i z\right)

Higher transcendental functions

54daa9
sin⁡ ⁣(z)=z 0F1 ⁣(32,−14z2)\sin\!\left(z\right) = z \,{}_0F_1\!\left(\frac{3}{2}, -\frac{1}{4} {z}^{2}\right)
0fbd15
sin⁡ ⁣(z)=πz2J1/2 ⁣(z)\sin\!\left(z\right) = \sqrt{\frac{\pi z}{2}} J_{1 / 2}\!\left(z\right)
d38a03
sin⁡ ⁣(πz)=πΓ ⁣(z)Γ ⁣(1−z)\sin\!\left(\pi z\right) = \frac{\pi}{\Gamma\!\left(z\right) \Gamma\!\left(1 - z\right)}

Complex parts

729b70
Re⁡ ⁣(sin⁡ ⁣(x+iy))=sin⁡ ⁣(x)cosh⁡ ⁣(y)\operatorname{Re}\!\left(\sin\!\left(x + i y\right)\right) = \sin\!\left(x\right) \cosh\!\left(y\right)
037a6e
Im⁡ ⁣(sin⁡ ⁣(x+iy))=cos⁡ ⁣(x)sinh⁡ ⁣(y)\operatorname{Im}\!\left(\sin\!\left(x + i y\right)\right) = \cos\!\left(x\right) \sinh\!\left(y\right)
abaf91
∣sin⁡ ⁣(x+iy)∣=sin⁡2 ⁣(x)+sinh⁡2 ⁣(y)\left|\sin\!\left(x + i y\right)\right| = \sqrt{\sin^{2}\!\left(x\right) + \sinh^{2}\!\left(y\right)}

Derivatives and integrals

f7ab32
sin⁡′(z)=cos⁡ ⁣(z)\sin'(z) = \cos\!\left(z\right)
297b3c
sin⁡′′(z)=−sin⁡ ⁣(z)\sin''(z) = -\sin\!\left(z\right)
612b21
sin⁡(r)(z)=sin⁡ ⁣(z+πr2){\sin}^{(r)}(z) = \sin\!\left(z + \frac{\pi r}{2}\right)
a6667d
sin⁡(r+2)(z)=−sin⁡(r)(z){\sin}^{(r + 2)}(z) = -{\sin}^{(r)}(z)
d81355
sin⁡(r+4)(z)=sin⁡(r)(z){\sin}^{(r + 4)}(z) = {\sin}^{(r)}(z)
c93b81
∫absin⁡ ⁣(z) dz=cos⁡ ⁣(a)−cos⁡ ⁣(b)\int_{a}^{b} \sin\!\left(z\right) \, dz = \cos\!\left(a\right) - \cos\!\left(b\right)

Series expansions

f340cb
sin⁡ ⁣(z)=∑k=0∞(−1)kz2k+1(2k+1)!\sin\!\left(z\right) = \sum_{k=0}^{\infty} {\left(-1\right)}^{k} \frac{{z}^{2 k + 1}}{\left(2 k + 1\right)!}
6b13be
sin⁡ ⁣(z+x)=∑k=0∞sin⁡ ⁣(z+πk2)xkk!\sin\!\left(z + x\right) = \sum_{k=0}^{\infty} \sin\!\left(z + \frac{\pi k}{2}\right) \frac{{x}^{k}}{k !}
11687b
sin⁡ ⁣(z)=z∏k=1∞(1−z2π2k2)\sin\!\left(z\right) = z \prod_{k=1}^{\infty} \left(1 - \frac{{z}^{2}}{{\pi}^{2} {k}^{2}}\right)

Bounds and inequalities

Real arguments

4039ec
∣sin⁡ ⁣(x)∣≤1\left|\sin\!\left(x\right)\right| \le 1
c47a86
∣sin⁡ ⁣(x)∣≤∣x∣\left|\sin\!\left(x\right)\right| \le \left|x\right|
22c4f6
sin⁡ ⁣(x)≤4x(π−x)π2\sin\!\left(x\right) \le \frac{4 x \left(\pi - x\right)}{{\pi}^{2}}
d38739
sin⁡ ⁣(x)≥x(π−x)π\sin\!\left(x\right) \ge \frac{x \left(\pi - x\right)}{\pi}

Complex arguments

f77752
∣sin⁡ ⁣(x+yi)∣≤cosh⁡ ⁣(y)\left|\sin\!\left(x + y i\right)\right| \le \cosh\!\left(y\right)
dd5787
∣sin⁡ ⁣(x+yi)∣≤e∣y∣\left|\sin\!\left(x + y i\right)\right| \le {e}^{\left|y\right|}
3dd162
∣sin⁡ ⁣(x+yi)∣≥sinh⁡ ⁣(∣y∣)\left|\sin\!\left(x + y i\right)\right| \ge \sinh\!\left(\left|y\right|\right)
092377
∣sin⁡ ⁣(x+yi)∣≥∣y∣\left|\sin\!\left(x + y i\right)\right| \ge \left|y\right|
1721bf
∣sin⁡ ⁣(z)∣≤sinh⁡ ⁣(∣z∣)\left|\sin\!\left(z\right)\right| \le \sinh\!\left(\left|z\right|\right)
941a86
∣sin⁡ ⁣(z)∣<e∣z∣\left|\sin\!\left(z\right)\right| \lt {e}^{\left|z\right|}

Perturbations

f3a901
∣sin⁡ ⁣(x+y)−sin⁡ ⁣(x)∣≤2\left|\sin\!\left(x + y\right) - \sin\!\left(x\right)\right| \le 2
03f713
∣sin⁡ ⁣(x+y)−sin⁡ ⁣(x)∣≤∣y∣\left|\sin\!\left(x + y\right) - \sin\!\left(x\right)\right| \le \left|y\right|

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC