- 186 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 07:22:31.48 ID:2muVTg0N.net]
- >>166
この問題は昔どこかの掲示板で、「学校の試験で
cos(x)∈Q(sin(x))を証明しろという問題を出されたけど
ルートが外せるわけないですよね？」
と訊いてたひとがいたことから、「おそらく元はこういう話だったんだろう」
と思って回答したことのある問題なんですよ。
勿論、cos(x)∈Q(sin(x))が一般的に言えるはずがないし
cox(x)=√(1-sin(x)^2) のルートが一般的に外れるわけがない。
それと、前々スレかでどなたかが貴方のことを
「特化した証明という概念がない」と評していたこと。
証明は「2πが周期であることとnが奇数であることが寄与する」
という意味で「特化した証明」になります。
このような証明は一般的に代数的・数論的になるものです。
なぜなら、解析的な証明というのはx一般に成り立つものであり
xの特殊性を反映しにくいからです。
