sin(−z)=−sin(z)
Assumptions:z∈C
TeX:
\sin\!\left(-z\right) = -\sin(z)
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Sin | sin(z)
| Sine |
| CC | C
| Complex numbers |
Source code for this entry:
Entry(ID("a2a30d"),
Formula(Equal(Sin(Neg(z)), Neg(Sin(z)))),
Variables(z),
Assumptions(Element(z, CC)))