Assumptions:
TeX:
\sin(z) = \sum_{k=0}^{\infty} {\left(-1\right)}^{k} \frac{{z}^{2 k + 1}}{\left(2 k + 1\right)!} z \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Sin | Sine | |
Sum | Sum | |
Pow | Power | |
Factorial | Factorial | |
Infinity | Positive infinity | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("f340cb"), Formula(Equal(Sin(z), Sum(Mul(Pow(-1, k), Div(Pow(z, Add(Mul(2, k), 1)), Factorial(Add(Mul(2, k), 1)))), For(k, 0, Infinity)))), Variables(z), Assumptions(Element(z, CC)))