- 606 名前：１３２人目の素数さん mailto:sage [2020/02/27(木) 20:16:26.22 ID:6SmBw6gg.net]
- >>570
tan(30ﾟ) が有理数でないことを示すには
sin(30ﾟ) = s とおく。
1 = sin(90ﾟ) = 3s -4s^3,
(s+1)(2s-1)^2 = 0,
s≠-1 だから s=1/2,
tan(30ﾟ) = s/√(1-ss) = 1/√3,
1/√3 が有理数でないことを示せばよい。
1/√3 が有理数だったと仮定すると
1/√3 = p/q (p,qは自然数)
q^2 = 3p^2,
ここで両辺を素因数分解すると
左辺の3の指数は偶数(または0)、右辺の3の指数は奇数
となって UFD に反する。 (矛盾)
