• ベストアンサー

sin(π^2)

sin(π^2)やcos(π^2)は有理数ですか?それとも無理数ですか? またそのどちらかだったとき、その証明はどうやってやるのでしょうか?

質問者が選んだベストアンサー

  • ベストアンサー
  • ramayana
  • ベストアンサー率75% (215/285)
回答No.1

シャヌールの仮説を使えば、 sin(π^2) も cos(π^2) も無理数(というか超越数)であることを証明できると思います。Macintyre という人が1991年にシャヌールの仮説を証明した、と下のサイトに書かれています。 http://mathworld.wolfram.com/SchanuelsConjecture.html

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 三角関数の証明(有理数であること等)

    m,nは自然数、0≦θ<2πとする。 (1)cosθ、sinθがともに有理数ならば、cosmθ、sinnθはともに有理数となることを示せ。 (2)cosθ=(n^2-1)/(n^2+1)、sinθ=2n/(n^2+1)ならば、θ<π/nとなることを示せ。 無理数の証明のときに背理法を使ってうまくいくことが多かったので、同様にやってみようと思ったのですが「無理数と仮定する」ということが数式で表せずだめでした。(2)はtanθ/2=nとおいてcosθ、sinθを作る式に非常に似ているのですがそのことは利用できるのでしょうか? ヒントをいただけると助かります。よろしくお願いします

  • 三角関数の有理性(cosθ)

    度数表記の自然数の角度について cosθが有理数になるθを調べています。 おそらく、cos(60°+360°×n)のみ有理数となると考えています。 (この事実ではなく、証明方法に関心があります。) 教えて頂きたいのは、 ・以下の議論に間違いがないか ・cos100°(またはcos80°)が有理数か無理数か ・他に、cos60°のみが有理数であることを示す方法はないか です。 以下、とても長くなります。 時間がありましたらよろしくお願いします。 2倍角の公式cos(2θ)=2(cosθ)^2-1から 【補題A】---------------------------------- cosθが有理数⇒cos(nθ)が有理数(nは自然数) -------------------------------------------- であることがわかります。この補題の対偶を考えることにより 【定理B】---------------------------------- 自然数の角度θに対して、 cosθが無理数⇒θの約数αに対してcosαは無理数 -------------------------------------------- が成り立ちます。 さらに、 cos(180°+ θ)=-cosθ、 cos(180°- θ)=-cosθ より、調べるθは1°~89°までで良いことがわかります。 また、cos(180°-θ )とcosθの有理性が一致することもわかります。 cos(-θ)=cosθより、cos(-θ)とcosθの有理性も一致します。 さて、cos72°が無理数であることがわかっています。 定理Bより、cos36°も無理数です。 すると、 cos(180°×n + 36°)=cos36°(5n + 1) cos(180°×n - 36°)=cos36°(5n - 1) cos(180°×n + 72°)=cos36°(5n + 2) cos(180°×n - 72°)=cos36°(5n - 2) の4つの式の左辺の値は無理数なので、定理Bより、 cos(5n±1)°、coscos(5n±2)°は無理数です。 【補題C】---------------------------------- 自然数の角度θに対して、 cosθが有理数⇒θは5の倍数 -------------------------------------------- 同様の考え方より、 cos45°が無理数であることがわかっているので、 cos(180°×n + 45°)=cos45°(4n + 1) cos(180°×n - 45°)=cos45°(4n - 1) より、奇数θについては、cosθが無理数であることがわかります。 【補題D】---------------------------------- 自然数の角度θに対して、 cosθが有理数⇒θは2の倍数 -------------------------------------------- 補題Cと補題Dから 以降調べる必要がある角度10°の倍角、 10°、20°、30°、40°、50°、60°、70°、80° であり、特に、30°と60°についてはそれぞれcosの値がわかっています。(cos60°は有理数、cos30°は無理数) そこで、10°、20°、40°、50°、70°、80° について調べます。 この6つの角度の最小公倍数(公倍角というべき?)は 2800°で、2800°≡100°(mod 180°)です。 そこで、cos100°またはcos80°が無理数であることが示せれば、 cos2800°は無理数であることがわかり、 定理Bから、10°、20°、40°、50°、70°、80° も無理数となります。 これで目標が示せると思うのですが、 cos100°の値を求める方法がわかりません。 cos150°が無理数であることがわかっているので、 定理Bよりcos50°やcos10°も無理数ですので、 10°、20°、40°、50°、70°、80°から cos10°、cos50°を除いて同様に考えると、 cos560°≡cos20°に帰着されますが、 今後はcos20°でつまづいてしまいます。 また、例えば、 仮に、89!/60を180で割った余りωが求められれば、 定理Bからcosωについて無理数であることを示すだけでよい(ωを求めることの方が難しい?)ように、その他のアプローチ方法も発見できれば嬉しいです。 以前、tanに関する同様の問題についてアドバイスを頂き、 とても参考になりました。その考え方を参考にしながら、 今度はcosについて考えているのですが、 あと一歩のところで辿りつけないでいます。

  • θ=5 sin(2θ) = sin(3θ)の証明をお願いします...e

    θ=5 sin(2θ) = sin(3θ)の証明をお願いします...etc (1)θ=5 sin(2θ) = sin(3θ) (2)(1)を使ってcos(π/5)の値

  • sin^4θ-cos^4θ=1-2cos^2θを証明

    sin^4θ-cos^4θ=1-2cos^2θを証明せよという問題で、 (sin^2θ+cos^2θ)^2=1^2 sin^4θ+2sin^2θcos^2θ+cos^4θ=1 sin^4θ+cos^4θ=1-2sin^2θcos^2θ sin^2θ+cos^4θ/sin^2θ=1-2cos^2θ この先はどう考えたらいいのでしょうか?よそしくお願いします。

  • 2(sinӨcosӨ)=2sinӨcosӨ?

    画像の印刷されている式を証明せよ、という問題です。 手書きが私の答えです。 私の答えは2(sinӨcosӨ)となりました。 私の考えでは括弧を外すと2sinӨ2cosӨ となり証明する事が出来ません。 私の答えは間違っていますか? それとも2(sinӨcosӨ)=2sinӨcosӨ なんでしょうか?

  • すごく緊急です!わかる方お願いします。

    すごく緊急です!わかる方お願いします。 cos20°が無理数であることを途中まで証明してあるので続きを書けという問題です。 問題 3倍角公式を用いて cos60°=4(cos20°)^3-3cos20°   →8(cos20°)^3-6cos20°=1 cos20°=x cos20°は8x^3-6x=1の解…(1) (1)が有理数解を持たないことを示せばよい。 2x=zとおくとz^3-3z=1…(2) この続きがわかりません。よろしくお願いします。

  • 三角関数の値の有理性

    角度は度数表記とし、さらにθを自然数とする。 このとき、sinθ, cosθ, tanθのそれぞれについて、 その値が有理数となるθを求めたい。 但し、自明な角度θ≡0°(mod 90°)は除く。 例えば,tanθの場合は, θが45°の定数倍の角度のときに限られるようです。ですが,事実を知ったのみで、証明がわかりません。 tanに関する加法定理から、 『tanA, tanBが有理数であればtan(A+B)は有理』・・・補題1 なので,この系として 『tanDが無理数なら, Dの“約数”Cに対してtanCは無理数』・・・補題2 ※角度の約数とは,角度から単位をとり自然数と見なしています。 が成り立ちます。この補題2とtan60°が無理数であることから 1°,2°,3°,4°,5°,6°, 10°,12°,15°,°20°,°30° についてそのtanの値は無理数であることがわかります。 ここまで理解できたのですが,それ以外の絞り込みができません。 どうしたら候補を45°の定数倍の角まで絞り込めるのでしょうか? ご存知の方がいましたら教えてください。

  • 背理法は必要十分ですか

    たとえば √2が無理数であることを証明するときの定石として √2が有理数でないことを証明しますが 議論を複素数まで拡張し √2が純虚数であるとしたら √2は有理数でないが無理数でもないじゃないですか つまり √2が有理数でない←√2が無理数である は成り立ちますが √2が有理数でない→√2が無理数である は成り立たないのではないでしょうか(反例√2が純虚数) お願いします

  • sin1°は有理数ですか?

    tan1°は無理数との証明があります。 http://www.sundai.ac.jp/yobi/sokuhou/kyodai2/sugakua/k05.htm では、sin1°も多分無理数と思うのですが、証明はありますか?

  • (√2)^(√2)は有理数か無理数か

    (無理数)^(無理数)=有理数 となる場合が存在する、という証明(下記)の中で出てくる(√2)^(√2)は、有理数なのか無理数なのかわかっているのでしょうか。教えてください。 証明:(√2)^(√2)が有理数なら、そういう場合が存在する。もし(√2)^(√2)が無理数なら、((√2)^(√2))^(√2)=2だからそういう場合は存在する。(√2)^(√2)は有理数か無理数なのだから、以上で証明終わり。