Niven’s Theorem - Wikipedia
https://en.wikipedia.org/wiki/Niven's_theorem

これは度数法で x = sin θ° の両方が有理数になるのは3つしかないって言ってる定理（どうでもいい）