ニーベンの定理

3行要約

1. xが有理数で sin(xπ) も有理数となるのは、値が 0, ±1/2, ±1 に限られるという定理。
2. 三角関数の値が有理数になるケースが極めて限定的であることを示している。
3. 初等的な外見に反して、代数的数論の知識を用いて証明される。