tan1°は無理数との証明があります。
http://www.sundai.ac.jp/yobi/sokuhou/kyodai2/sug …
では、sin1°も多分無理数と思うのですが、証明はありますか?
No.2ベストアンサー
- 回答日時:
回答ではありませんが、追加情報です。
一般に
tan(θ)が有理数ならtan(2θ),tan(3θ),tan(4θ),…は有理数。
cos(θ)が有理数ならcos(2θ),cos(3θ),cos(4θ),…は有理数。
sin(θ)が有理数ならsin(3θ),sin(5θ),sin(7θ),…は有理数。
が成立します。このことはn倍角の公式と密接に関係しています。sinだけはやや仲間はずれですが、たとえばsin(30°)=1/2なのにsin(60°)=√3/2と無理数になってしまうのですね。
証明はn倍角の公式の係数に注意すれば容易ですが、いろいろ面倒な議論も必要ですので、ここに書くのは諦めます。ご興味があれば実際に試してみてください。ただn倍角の公式を直接扱うより、三角多項式のフーリエ級数展開:
例)sin(θ)^7=(-1/64)sin(7θ)+(7/64)sin(5θ)+(-21/64)sin(3θ)+(35/64)sin(θ)
sin(θ)^9=(1/256)sin(9θ)+(-9/256)sin(7θ)+(36/256)sin(5θ)+(-84/256)sin(3θ)+(126/256)sin(θ)
などを使うと速いと思います。この公式がどれぐらいよく使われているのか僕は知りませんが、n倍角の公式を誰よりも速く計算できる優秀な公式だと(僕は)思っています。しかも暗記しやすいのです。出てくる係数は二項係数と関係があるので。
いろいろありがとうございます。sin1°が無理数であることを示すには、cos89°が無理数であることを示してもいいと思います。
拡張して、cos(n°)が有理数になるのは、1≦n≦89の範囲では、n=60のときになる理由を次のように考えてみました。
cos5θ=16(cosθ)^5-20(cosθ)^3+5cosθ(5倍角の公式)で、θ=72°として計算すると、cos72°は整数係数の5次方程式の解となるが、その解が有理数であれば、(定数項の約数/最高次の係数の約数)の形になるはずだが、その全パターンを調べてみても解とはならないことが分かる。つまり、cos72°は無理数。
ここで、72+360mの約数におけるcosは無理数になる。
たとえば、m=2とした72+360*2の約数の11において、
cos11°は無理数。
なぜなら、cos11°が有理数と仮定すると、一般の倍角の公式によって、11°の倍数のcosは全部有理数となるが、cos(11°*72)=cos(72°+360°*2)も有理数となり矛盾するから。
そうして、72+360mにおける約数をしらみつぶしに調べる。
しかし、たとえば10は決してその約数にならない。
そこで、
cos3θ=4(cosθ)^3-3cosθ(3倍角の公式)で、θ=20°として計算するとcos20°は無理数とわかる。
同様に、20+360mにおける約数をしらみつぶしに調べる。
こんなことでがんばれば、cos(60°)だけが有理数と分かる。
しかし、もっといい方法は無いでしょうか?
また、もっと一般に、cos(π*p/q)が有理数となる場合はどういったときか、調べれないでしょうか?
新に質問を投稿させていただく予定ですので、またよろしくお願いいたします。
No.4
- 回答日時:
#3です。
あとcos18°= (√(10+2√5))/4と、cos15°=(√6+√2)/4も必要ですね。んでもって加法定理で、sin3°をもとめればOKのはずです。No.3
- 回答日時:
sin18°=(√5-1)/4, sin15°=(√6-√2)/4を用いて、sin3°を求めます。
これは無理数です。(計算してませんが)
有理数の有理係数整式の値は有理数となりますから、3倍角の公式よりsin1°が有理数ならsin3°は有理数のはずです。ところがsin3°は有理数ではないので、sin1°も有理数ではないことになります。
いろいろありがとうございます。sin1°が無理数であることを示すには、cos89°が無理数であることを示してもいいと思います。
拡張して、cos(n°)が有理数になるのは、1≦n≦89の範囲では、n=60のときになる理由を次のように考えてみました。
cos5θ=16(cosθ)^5-20(cosθ)^3+5cosθ(5倍角の公式)で、θ=72°として計算すると、cos72°は整数係数の5次方程式の解となるが、その解が有理数であれば、(定数項の約数/最高次の係数の約数)の形になるはずだが、その全パターンを調べてみても解とはならないことが分かる。つまり、cos72°は無理数。
ここで、72+360mの約数におけるcosは無理数になる。
たとえば、m=2とした72+360*2の約数の11において、
cos11°は無理数。
なぜなら、cos11°が有理数と仮定すると、一般の倍角の公式によって、11°の倍数のcosは全部有理数となるが、cos(11°*72)=cos(72°+360°*2)も有理数となり矛盾するから。
そうして、72+360mにおける約数をしらみつぶしに調べる。
しかし、たとえば10は決してその約数にならない。
そこで、
cos3θ=4(cosθ)^3-3cosθ(3倍角の公式)で、θ=20°として計算するとcos20°は無理数とわかる。
同様に、20+360mにおける約数をしらみつぶしに調べる。
こんなことでがんばれば、cos(60°)だけが有理数と分かる。
しかし、もっといい方法は無いでしょうか?
また、もっと一般に、cos(π*p/q)が有理数となる場合はどういったときか、調べれないでしょうか?
新に質問を投稿させていただく予定ですので、またよろしくお願いいたします。
No.1
- 回答日時:
特にその証明、というのは見つけられませんが、・・・
http://www.asahi-net.or.jp/~jb2y-bk/NaturalSci/m …
を参考にすると、
sin3θ=・・・(3倍角の公式)
sin5θ=sin(2θ+3θ)=・・・(加法定理、2倍角、3倍角の公式を使って変形)
以上と、sin^2θ+cos^2θ=1 であることをふまえると、
sin3θ、sin5θ、はすべて sinθ の積和の形に変形できそうです。
したがって、sinθ を有理数であると仮定すると、θを
3×3×5=45倍して、sin45θ も有理数。
よって、sin1°が有理数ならば、sin45°も有理数になります。
しかし sin45°=1/√2 で無理数、だから矛盾します。
したがって、sin1°は無理数です。
ちなみに tan の場合は、
http://blog.livedoor.jp/enjoy_math/archives/5057 …
のようなよりスマートな解法が見つかりましたが、sin の場合
はこうも単純にはいかないようです。
いろいろありがとうございます。sin1°が無理数であることを示すには、cos89°が無理数であることを示してもいいと思います。
拡張して、cos(n°)が有理数になるのは、1≦n≦89の範囲では、n=60のときになる理由を次のように考えてみました。
cos5θ=16(cosθ)^5-20(cosθ)^3+5cosθ(5倍角の公式)で、θ=72°として計算すると、cos72°は整数係数の5次方程式の解となるが、その解が有理数であれば、(定数項の約数/最高次の係数の約数)の形になるはずだが、その全パターンを調べてみても解とはならないことが分かる。つまり、cos72°は無理数。
ここで、72+360mの約数におけるcosは無理数になる。
たとえば、m=2とした72+360*2の約数の11において、
cos11°は無理数。
なぜなら、cos11°が有理数と仮定すると、一般の倍角の公式によって、11°の倍数のcosは全部有理数となるが、cos(11°*72)=cos(72°+360°*2)も有理数となり矛盾するから。
そうして、72+360mにおける約数をしらみつぶしに調べる。
しかし、たとえば10は決してその約数にならない。
そこで、
cos3θ=4(cosθ)^3-3cosθ(3倍角の公式)で、θ=20°として計算するとcos20°は無理数とわかる。
同様に、20+360mにおける約数をしらみつぶしに調べる。
こんなことでがんばれば、cos(60°)だけが有理数と分かる。
しかし、もっといい方法は無いでしょうか?
また、もっと一般に、cos(π*p/q)が有理数となる場合はどういったときか、調べれないでしょうか?
新に質問を投稿させていただく予定ですので、またよろしくお願いいたします。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 三角関数教えてください! 3 2022/05/06 19:46
- 数学 【 数Ⅰ 180°ーθの三角比 】 ①sin(180°−θ)=sinθとなる理由 ②cos(180° 4 2022/10/15 17:08
- 数学 多項式の性質と無理数・有理数 2 2022/06/21 06:50
- 数学 1-1+1-1+…=sqrt(2)って証明できるの?(解析接続)(グランディ級数) 解析接続はほぼ入 3 2023/06/08 12:35
- 数学 この証明は高校数学の範囲でできますか?数1 数と式 5 2023/04/06 09:24
- 数学 数学の問題です。回答よろしくお願いします。 sinが無限に続く関数f(X)=sin(sin(sin( 3 2022/09/21 10:40
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 数学 写真の数学の問題を見て、tanθ1+tanθ2+tanθ3=1/2+1/3+1/4 と考えてしまうの 3 2023/05/14 23:05
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
底辺と角度から、高さを求める。
-
数学I 1列目が問題です。 2列目...
-
大学受験時のsin,log,lim,xの表記
-
sin²θとsinθ²と(sinθ)²って全部...
-
sinωTをTで積分。
-
2つの円の一部が重なった図
-
e^(-x)*|sinx| これを積分する...
-
周期の最小値?
-
1を表す数式
-
sin(x + y) = sin x + sin y の...
-
微分をしてもうまくいきません。
-
数学の三角方程式の問題です。 ...
-
f(x)=e^(3x)sinxのx=0におけ...
-
積分 ∫√(4-x^2)dxについて
-
数学・積分の問題について途中...
-
円周上の座標を求める方法を、...
-
近似値
-
sinc関数
-
sinのマイナス1乗の計算方法を...
-
sin1の1って一体・・・
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
sin²θとsinθ²と(sinθ)²って全部...
-
『楕円球体の三重積分を極座標...
-
底辺と角度から、高さを求める。
-
2つの円の一部が重なった図
-
積分 ∫√(4-x^2)dxについて
-
e^(-x)*|sinx| これを積分する...
-
sinのマイナス1乗の計算方法を...
-
どんな整数であってもsin(nπ)=0...
-
eの積分について
-
sinωTをTで積分。
-
sinx=cosxの解き方。
-
極限の問題
-
これsin75°を求めよで答え √6+...
-
0°≦θ≦180° sinθ=0° のとき、 θ=...
-
なぜ2sinθ=1になるんですか?
-
周期の最小値?
-
数学 sin1/2は何を表しているの...
-
大学受験時のsin,log,lim,xの表記
-
0≦x≦πにおける Y=2sinX + 3co...
-
sin1の1って一体・・・
おすすめ情報