Assumptions:
TeX:
\sin(x) = \operatorname{Im}\!\left({e}^{i x}\right)
x \in \mathbb{R}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Sin | Sine | |
| Im | Imaginary part | |
| Exp | Exponential function | |
| ConstI | Imaginary unit | |
| RR | Real numbers |
Source code for this entry:
Entry(ID("299209"),
Formula(Equal(Sin(x), Im(Exp(Mul(ConstI, x))))),
Variables(x),
Assumptions(Element(x, RR)))