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

关于“sin(10°)是无理数”的一个证明祝福与缅怀 sin10 是无理数证明

大家好,欢迎来到IT知识分享网。

因为某些特殊原因,突然想起这个或许出现在当年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°)[1sin2(10°)]+sin(10°)[12sin2(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://haidsoft.com/144687.html

(0)
上一篇 2025-04-24 22:10
下一篇 2025-04-24 22:15

相关推荐

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注微信