sin(πk)=0
Assumptions:k∈Z
TeX:
\sin\!\left(\pi k\right) = 0
k \in \mathbb{Z}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Sin | sin(z)
| Sine |
| Pi | π
| The constant pi (3.14...) |
| ZZ | Z
| Integers |
Source code for this entry:
Entry(ID("c62afa"),
Formula(Equal(Sin(Mul(Pi, k)), 0)),
Variables(k),
Assumptions(Element(k, ZZ)))