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