Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
Properties of pi = 3.14159...
sinpi
Next ⟩
pire
Metamath Proof Explorer
Ascii
Unicode
Theorem
sinpi
Description:
The sine of
_pi
is 0.
(Contributed by
Paul Chapman
, 23-Jan-2008)
Ref
Expression
Assertion
sinpi
π
⊢
sin
π
=
0
Proof
Step
Hyp
Ref
Expression
1
pilem3
π
π
⊢
π
∈
2
4
∧
sin
π
=
0
2
1
simpri
π
⊢
sin
π
=
0