因为某些特殊原因，突然想起这个或许出现在当年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 ° ) ] = 1 2 \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(30°)=sin(20°)cos(10°)+sin(10°)cos(20°)=2sin(10°)[1−sin2(10°)]+sin(10°)[1−2sin2(10°)]=21
记 sin ( 10 ° ) = x \sin(10°)=x sin(10°)=x，则有 − 4 x 3 + 3 x + 1 2 = 0 -4x^3+3x+\frac1 2 =0 −4x3+3x+21=0
考虑反证法，假定 sin ( 10 ° ) \sin (10°) sin(10°)是有理数，则有 x = p q ( > 0 ) x=\frac p q(>0) x=qp(>0)，其中 p , q p,q p,q为互质的正整数，将其代入上述方程中，并在方程两边同时乘以 q 3 q^3 q3：
− 4 p 3 + 3 p q 2 + q 3 2 = 0 -4p^3+3pq^2+\cfrac {q^3}{2}=0 −4p3+3pq2+2q3=0
由于方程左边前两项均是整数且右边是0，所以 q 3 2 \cfrac {q^3}{2} 2q3一定是整数，也即 q q q为偶数，故可设 q = 2 q ′ q=2q' q=2q′，其中 q ′ q' q′为正整数，将其代入方程并在两边同除以4：
− p 3 + 3 p ( q ′ ) 2 + ( q ′ ) 3 = 0 -p^3+3p(q')^2+(q')^3=0 −p3+3p(q′)2+(q′)3=0
又因为 q q q为偶数， p , q p,q p,q互质，所以 p p p一定为奇数，进一步有 − p 3 , 3 p -p^3,3p −p3,3p均为奇数。下面考虑对 q ′ q' q′的奇偶进行分类讨论，若 q ′ q' q′为奇数，则方程左边就是“奇数+奇数+奇数”的形式，显然不可能等于0；若 q ′ q' q′为偶数，由于“奇数×偶数=偶数”，方程左边是“奇数+偶数+偶数”的形式，也不可能等于0，故假设不成立， sin ( 10 ° ) \sin(10°) sin(10°)为无理数得证
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/64844.html