For
Using the math above and taking the imaginary parts:
Using
We know that:
That is clearly irrational.
sin(3) is irrational since sin(15) is irrational.
Finally:
Therefore:
Therefore, since sin(3) is irrational, sin(1) is also irrational.
Using this as logic:
Same with cos(nx)