关于“sin(10°)是无理数”的一个证明

因为某些特殊原因，突然想起这个或许出现在当年PKU自主招生的问题，瞎想了一个做法，算是对时光不再与自己长大的感慨吧。

---

证明：
利用三倍角公式有$\sin (30°)=\sin (20°)\cos (10°)+\sin (10°)\cos (20°)=2\sin (10°)[1-{\sin }^2(10°)]+\sin (10°)[1-2{\sin }^2(10°)]=\frac{1}{2}$

记$\sin (10°)=x$，则有$-4x^3+3x+\frac{1}{2}=0$

考虑反证法，假定$\sin (10°)$是有理数，则有$x=\frac{p}{q}(>0)$，其中$p,q$为互质的正整数，将其代入上述方程中，并在方程两边同时乘以$q^3$：

$-4p^3+3p{q}^2+\frac{q^3}{2}=0$

由于方程左边前两项均是整数且右边是0，所以$\frac{q^3}{2}$一定是整数，也即$q$为偶数，故可设$q=2q^{\prime }$，其中$q^{\prime }$为正整数，将其代入方程并在两边同除以4：

$-p^3+3p(q^{\prime }{)}^2+(q^{\prime }{)}^3=0$

又因为$q$为偶数，$p,q$互质，所以$p$一定为奇数，进一步有$-p^3,3p$均为奇数。下面考虑对$q^{\prime }$的奇偶进行分类讨论，若$q^{\prime }$为奇数，则方程左边就是“奇数+奇数+奇数”的形式，显然不可能等于0；若$q^{\prime }$为偶数，由于“奇数×偶数=偶数”，方程左边是“奇数+偶数+偶数”的形式，也不可能等于0，故假设不成立，$\sin (10°)$为无理数得证