재밌어서 글로 남겨봄


cos 3이나 sin 3 을 유리수라고 가정하면 cos 6은 배각공식으로 유리수임. cos 0=1도 유리수

근데 cos 합공식으로 cos (n+6) + cos (n-6) = 2 cos 6 cos n 이고, 여기서 귀납적으로 cos 6n은 유리수임

근데 cos 30=cos 5*6은 무리수임 모순


레퍼런스는 https://math.stackexchange.com/a/94487