数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■ 過去ログ検索の勧め⇒ここを読んでみてください
★ google検索

　
この掲示板の過去ログをgoogleで検索します。
検索条件:
現在のログを検索過去のログを検索
■ 2006/2/20より、累計：、本日：、昨日：
■ 数式の記述方法
■TeX入力ができます。 \[ TeX形式数式 \]　あるいは，$ TeX形式数式 $　で数式を記述します。
　TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。文字化けが発生したときはここを見てください。
■ 質問をする方は、回答者に失礼のないようにお願いします。
■ 携帯電話でこの掲示板を見れるようにしました。⇒ここを見てください。
■ 24時間以内に作成されたスレッドは New で表示されます。
■ 24時間以内に更新されたスレッドは UpDate で表示されます。
記事リスト ( )内の数字はレス数
Nomal積分不等式(1) | Nomalスピアマンの順位相関係数の求め方について(0) | Nomal微分で関数の最大値を求める(3) | Nomal自然数　階乗(0) | Nomal期待値と極限(0) | Nomal相加相乗で(2) | Nomal無平方な多項式(2) | Nomal回転体の体積(6) | Nomal円と三角形、有理数と無理数(2) | Nomal定積分(2) | Nomal二次関数の9に等しい桁(1) | Nomalベクトル(4) | Nomal式の値を求める(4) | Nomal難しい積分(2) | Nomalsin(x)sin(x+1)<c(2) | Nomal4次多項式(2) | Nomal偶数の約数(2) | Nomal青空学園数学科(0) | Nomal積分(0) | Nomal一次変数の微分可能性について(1) | Nomal三角形の面積の大小(4) | Nomal最大公約数(4) | Nomal高校数学 確率の問題です。(2) | Nomal(x^x)^x = x^(x^2)(4) | Nomal数字が重複しない積(1) | Nomalイデアル(2) | Nomal自然数(2) | Nomalklog(1+1/k) < 1を証明する(2) | Nomal有限小数(2) | Nomal余り(2) | Nomal平方数と素数(2) | Nomalフェルマーの最終定理の証明(69) | Nomal積分の極限(3) | Nomal期待値(2) | Nomal整数問題(4) | Nomal定積分(4) | Nomal確率(3) | Nomaln乗根(1) | Nomallim[θ→0](θ/sinθ)(2) | Nomal常微分方程式の基本的な質問(2) | Nomal単位円と正三角形(2) | Nomal証明 微積(0) | Nomal漸化式と不等式(2) | Nomal設問ミスですか？それとも解けますか？(1) | Nomal台形(1) | Nomal二次関数(1) | Nomalコラッツ予想(0) | Nomal（削除）(0) | Nomal高校数学 期待値の問題です(2) | Nomal二項係数(1) | Nomalフェルマーの最終定理の普通の証明(10) | Nomal高校数学レベルの定積分(2) | Nomal場合の数 (カタラン数に関係したもの)(2) | Nomal和文差分を利用した数列について(1) | Nomal面積体積表面積です。(2) | Nomal確率の基礎問題(1) | Nomal確率の最大値(0) | Nomal至急お願いします(2) | Nomal不等式(3) | Nomal場合の数(2) | Nomalζ関数(1) | Nomal整数の方程式(1) | Nomal形式的べき級数(0) | NomalG(0) | Nomal岩波講座基礎数学集合の補題6.1についての質問(1) | Nomal羅生門(1) | Nomal確率(2) | Nomal平方数(3) | Nomal52545の「約数の個数」の式変形について(5) | Nomal不等式(2) | Nomal素因数の個数について(2) | Nomal場合の数(1) | Nomal体(3) | Nomal部分分数分解(3) | Nomal約数の個数(6) | Nomal約数(1) | Nomal数珠順列(0) | Nomal微積分(1) | Nomal線形代数の微分(1) | Nomaleは無理数だけど(0) | Nomal素数(2) | Nomal（削除）(1) | Nomalフーリエ級数展開・フーリエ変換(2) | Nomal線形代数(1) | Nomal無限和(7) | Nomal進数の表現(4) | Nomal高校数学 整数問題(4) | Nomal整数の表現の同値証明(4) | Nomal多項式の既約性(0) | Nomal円錐台の断面積(9) | Nomal相関係数と共分散(1) | Nomallogの計算(3) | Nomaltan(z) を z = π/2 中心にローラン展開する(2) | Nomal極限(3) | Nomal確率の問題が分かりません　助けてください(1) | Nomalメビウス変換(0) | Nomal複素数 写像 (0) | Nomal複素数平面(0) | Nomal複素数平面(1) | Nomal複素数 証明（難）(0) | Nomal解答を教えてください(0) |


■記事リスト / ▼下のスレッド
■50684 / 親記事) 　循環小数
□投稿者/ 混合 一般人(1回)-(2021/04/02(Fri) 11:00:49)
    nを自然数とすると
    1/(n+1)+1/(n+2)+1/(n+3)
    は混合循環小数であることを示せ。

    教えて下さい。
引用返信/返信 [メール受信/OFF]
▽[全レス2件(ResNo.1-2 表示)]
■50690 / ResNo.1) 　Re[1]: 循環小数
□投稿者/ らすかる 一般人(24回)-(2021/04/03(Sat) 06:28:03)
    有理数のうち
    分母が2,5以外の素因数を持たない→有限小数
    分母が2,5以外の素因数を持つ→無限小数
    そして有理数の無限小数のうち
    分母が素因数2,5を含まない→純循環小数
    分母が素因数2,5を含む→混循環小数
    です。
    与式はn+1,n+2,n+3のうちどれか一つが3の倍数、
    また偶数も含むことから、
    「2,5以外の素因数3を含み、素因数2も含む」
    となりますので、混循環小数ということになります。

引用返信/返信 [メール受信/OFF]
■50696 / ResNo.2) 　Re[2]: 循環小数
□投稿者/ 混合 一般人(2回)-(2021/04/04(Sun) 13:47:14)
    とても分かりやすい説明ありがとうございました。
引用返信/返信 [メール受信/OFF]
■記事リスト / レス記事表示 → [親記事-2]


■記事リスト / ▼下のスレッド / ▲上のスレッド
■50682 / 親記事) 　三角形の角
□投稿者/ 磯村 一般人(1回)-(2021/04/02(Fri) 08:43:11)
    三角形ABCにおいて、AB=2,BC=1,CA=√2とし、∠A=α,∠B=βとする。
    正の整数m,nがmα+nβ=πを満たすとき、mとnを全て求めよ。

    m=2,n=3は見つけられたのですが、これ以外にあるのかこれだけなのかがよく分かりませんでした。
    教えてください。
引用返信/返信 [メール受信/OFF]
▽[全レス3件(ResNo.1-3 表示)]
■50683 / ResNo.1) 　Re[1]: 三角形の角
□投稿者/ らすかる 一般人(22回)-(2021/04/02(Fri) 09:59:41)
    cosα=5√2/8, sinα=√14/8
    cos2α=9/16, sin2α=5√7/16
    cos3α=5√2/64, sin3α=17√14/64
    cos4α=-47/128, sin4α=45√7/128
    cos5α=-275√2/512, sin5α=89√14/512
    cos6α=-999/1024, sin6α=85√7/1024
    sin7α＜0

    cosβ=3/4, sinβ=√7/4
    cos2β=1/8, sin2β=3√7/8
    cos3β=-9/16, sin3β=5√7/16
    cos4β=-31/32, sin4β=3√7/32
    sin5β＜0

    mα+nβ=πのとき
    mα=π-nβ
    sin(mα)=sin(π-nβ)=sin(nβ)
    cos(mα)=cos(π-nβ)=-cos(nβ)
    でなければならないので、m=2,n=3のみ。

引用返信/返信 [メール受信/OFF]
■50685 / ResNo.2) 　Re[2]: 三角形の角
□投稿者/ 磯村 一般人(2回)-(2021/04/02(Fri) 11:01:09)
    有り難うございます。
    やはりしっかり計算して考える必要がありそうですね。。。
引用返信/返信 [メール受信/OFF]
■50686 / ResNo.3) 　Re[3]: 三角形の角
□投稿者/ らすかる 一般人(23回)-(2021/04/02(Fri) 21:50:16)
    cosα=5√2/8, sinα=√14/8 から tanα=√7/5
    cosβ=3/4, sinβ=√7/4 から tanβ=√7/3
    t(x)=tanx/√7とおくとt(a+b)={t(a)+t(b)}/{1-7t(a)t(b)}
    t(α)=1/5, t(2α)=5/9, t(3α)=17/5, t(4α)=-45/47,
    t(5α)=-89/275, t(6α)=-85/999, t(7α)＞0
    t(β)=1/3, t(2β)=3, t(3β)=-5/9, t(4β)=-3/31, t(5β)＞0
    なので
    tan(mα)+tan(nβ)=0すなわちt(mα)+t(nβ)=0となるのはm=2,n=3のみ

    のようにすると計算がいくぶん簡単になりますが、これでも面倒ですね。

引用返信/返信 [メール受信/OFF]
■記事リスト / レス記事表示 → [親記事-3]


■記事リスト / ▼下のスレッド / ▲上のスレッド
■50679 / 親記事) 　コラッツ予想について
□投稿者/ 成清　愼 ＠ 一般人(1回)-(2021/03/27(Sat) 14:47:33)
http://koubeichizoku.atwebpages.com/colattz20211.pdf
    標記につきましては上記URLに拙論を記載いたしました。諸兄におかれましてはご多忙中恐縮ながらよろしくご査収の上、ご高配ご指導賜れば幸甚に存じます
引用返信/返信 [メール受信/ON]
▽[全レス3件(ResNo.1-3 表示)]
■50680 / ResNo.1) 　イヴ・サンローラン
□投稿者/ vogcopy 一般人(1回)-(2021/03/30(Tue) 15:17:41)
    ファッションは消えゆくが、スタイルは永遠に残る」。比類なきデザイナー、イヴ・サンローランは、そう見事に表現した。vogcopy /vogcopy.net/一生使える宝石箱を作るなら、決して流行遅れにならないものを覚えておくことが大事。//vogcopy.net/brand-338-c0.html　イヴ・サンローラン コピー /www.eklablog.com/profile/32969224

引用返信/返信 [メール受信/OFF]
■50689 / ResNo.2) 　Re[1]: コラッツ予想について
□投稿者/ 極限 一般人(3回)-(2021/04/03(Sat) 03:11:40)
    間違っています。

    間違いの本質的なところは、最後の「極限において」という部分です。
    コラッツ予想の主張は「有限回の操作によって1にたどり着く」ですので、件の極限操作を行った段階でこの主張から外れたものを相手にしてしまっていることになります。

    次に、この誤りにご自身が気づきにくくしている箇所があります。
    それが"Operation transposition of Collatz"中で、S, D_0を再定義している箇所です。
    数学の証明において一度定義した対象を「再定義」することは、読み手（引いては自分自身）を混乱させる以上の効果を持ちません。
    実際ここでも「再定義」などせずに集合列 (S^0, D_0^0), (S^1, D_0^1), (S^2, D_0^2), (S^3, D_0^3), ... を用意して、「(S^n, D_0^n)に"Operation transposition of Collatz"を一度適用した結果を(S^(n+1), D_0^(n+1))とする」などとすれば同じことを混乱なく記述できます。

    そして一旦こう書いてしまうと、最初に述べた誤りが自然と浮き上がってくるのが見て取れると思います。

    有限な整数n（単に自然数と言っても同じことですが）に対して (S^n, D_0^n) が (φ, N^1) になっていると主張できるのならともかく、nに対して極限を取った (S^∞, D_0^∞) とでも書くべきものが (φ, N^1) であったとしてもそれは有限回の操作で1になることを主張するコラッツ予想を「証明」するものではありません。
引用返信/返信 [メール受信/OFF]
■51957 / ResNo.3) 　Re[2]: コラッツ予想について
□投稿者/ 成清　愼 ＠ 一般人(1回)-(2022/09/20(Tue) 21:27:51)
    貴重なご意見感謝いたします。ご指摘に従って「極限」という記述の部分を削除し改訂版を下記ＵＲＬにアップいたしました。「再定義」のほうは使用している集合
    中に余分なものを残したくないのでご破算で願いましてはという意味で残させていただきました。何卒ご容赦願いたく。
    dongram.web.fc2.com/collatz20221.pdf
引用返信/返信 [メール受信/ON]
■記事リスト / レス記事表示 → [親記事-3]


■記事リスト / ▼下のスレッド / ▲上のスレッド
■50677 / 親記事) 　有理数と素数
□投稿者/ ぽる塾 一般人(1回)-(2021/03/26(Fri) 10:45:09)
    正の有理数rでどのような素数p,qに対しても
    r≠(p+1)/(q+1)
    であるrの例をなにかひとつ教えてください。
引用返信/返信 [メール受信/OFF]
▽[全レス1件(ResNo.1-1 表示)]
■50678 / ResNo.1) 　Re[1]: 有理数と素数
□投稿者/ らすかる 一般人(21回)-(2021/03/26(Fri) 14:17:12)
    なさそうな気がしますが、あるんですか？
引用返信/返信 [メール受信/OFF]
■記事リスト / レス記事表示 → [親記事-1]


■記事リスト / ▲上のスレッド
■50674 / 親記事) 　フィボナッチ数列について。
□投稿者/ メラゾーム 一般人(1回)-(2021/03/19(Fri) 03:07:39)
    フィボナッチ数列 F[1]=1, F[2]=1, F[n+2]=F[n+1]+F[n] (n≧1) について、
    F[n] (n≠5) が素数 ならば F[n] ≡ ±1 (mod n) であることを示してください。 よろしくお願いします。
引用返信/返信 [メール受信/OFF]
▽[全レス3件(ResNo.1-3 表示)]
■50884 / ResNo.1) 　Re[1]: フィボナッチ数列について。
□投稿者/ WIZ 一般人(8回)-(2021/07/05(Mon) 19:33:43)
    Wikipediaの「フィボナッチ数」や「フィボナッチ素数」を見ると以下の記述があります。
    # 若干表現は変更しています。
    L(a/p) はルジャンドルの記号とします。

    (1) n = 4 の場合を除いて、F[n] がフィボナッチ素数となる n は素数である。
    しかし、n が素数でも F[n] が素数になるとは限らない。

    (2) p が 2 でも 5 でもない素数のとき、F[p-L(5/p)] は p で割り切れる。

    (3) F[n−1]F[n+1]−F[n]^2 = (-1)^n

    以下、F[3] = 2 と F[4] = 3 と F[5] = 5 以外のフィボナッチ素数について考察します。

    (1)により、自然数 p に対して F[p] が素数ならば p も素数です。
    L(5/p) = 1 または L(5/p) = -1 なので、(2)より、F[p-1] または F[p+1] が p で割り切れます。
    つまり、F[p-1]F[p+1] は p で割り切れます。よって(3)と p が奇数であることより、
    F[p−1]F[p+1]−F[p]^2 = (-1)^p = -1
    ⇒ F[p]^2 ≡ 1 (mod p)
    ⇒ F[p] ≡ ±1 (mod p)
    となり、題意は肯定的に示されます。
    (F[3] = 2 と F[4] = 3 は別途示す必要がありますが、これは目視でわかりますよね。)

    スレ主さん(もう見てないと思うけど)も上記程度は分かった上での質問なのかもしれません。
    つまり、(1)(2)(3)の証明が分からないということかもしれません。
    まあ、(3)は F[n] の一般項の式から容易に導けるのではないかと思います。(確認してないけど)
    (2)は2次体 Q(√5) の整数環の性質から導けるかも? (希望的観測)
    (1)は F[n] の一般項の式から導けるかもしれない。(願望)
引用返信/返信 [メール受信/OFF]
■50888 / ResNo.2) 　Re[1]: フィボナッチ数列について。
□投稿者/ WIZ 一般人(9回)-(2021/07/06(Tue) 21:06:24)
    F[n-1]F[n+1]-F[n]^2 = (-1)^n の証明

    n を 2 以上の自然数として G[n] = F[n-1]F[n+1]−F[n]^2 とします。
    G[2] = F[1]F[3]−F[2]^2 = 1*2-1^2 = 1 = (-1)^2

    k を 2 以上の自然数として G[k] = (-1)^k と仮定します。
    G[k+1] = F[k]F[k+2]-F[k+1]^2
    = (F[k+1]-F[k-1])(F[k]+F[k+1])-F[k+1]^2
    = F[k+1]F[k]+F[k+1]^2-F[k-1]F[k]-F[k-1]F[k+1]-F[k+1]^2
    = (F[k+1]-F[k-1])F[k]-F[k-1]F[k+1]
    = F[k]^2-F[k-1]F[k+1]
    = -G[k]
    = (-1)^(k+1)

    以上から数学的帰納法により 2 以上の自然数 n に対して
    G[n] = F[n-1]F[n+1]-F[n]^2 = (-1)^n が成立する。
引用返信/返信 [メール受信/OFF]
■50889 / ResNo.3) 　Re[1]: フィボナッチ数列について。
□投稿者/ WIZ 一般人(11回)-(2021/07/06(Tue) 23:29:21)
    (A) フィボナッチ数の加法定理 F[m+n] = F[m]F[n+1]+F[m-1]F[n] の証明

    m, n は自然数で、m ≧ 2 とする。

    m = 2 の場合、F[1] = F[2] = 1 なので、
    F[2+n] = F[n+1]+F[n] = F[2]F[n+1]+F[2-1]F[n] となり加法定理は成立する。

    m = 3 の場合、F[2] = 1, F[3] = 2 なので、
    F[3+n] = F[n+2]+F[n+1] = (F[n+1]+F[n])+F[n+1] = 2F[n+1]+F[n] = F[3]F[n+1]+F[3-1]F[n]
    となり加法定理は成立する。

    k を 3 以上の自然数として、m = k と m = k-1 で加法定理の成立を仮定すると、
    F[(k+1)+n] = F[k+n]+F[(k-1)+n]
    = (F[k]F[n+1]+F[k-1]F[n])+(F[k-1]F[n+1]+F[k-2]F[n])
    = (F[k]+F[k-1])F[n+1]+(F[k-1]+F[k-2])F[n]
    = F[k+1]F[n+1]+F[k]F[n]
    となり、m = k+1 でも成立する。

    以上から、数学的帰納法により 2 以上の自然数 m と 任意の自然数 n に対して、
    F[m+n] = F[m]F[n+1]+F[m-1]F[n] が成立する。


    (B) フィボナッチ数の整除定理 m | n ならば F[m] | F[n] の証明

    n を 2 以上の自然数とすると、加法定理より、
    F[n+n] = F[n]F[n+1]+F[n-1]F[n] = F[n](F[n+1]+F[n-1])
    つまり、F[n] | F[2n] が成立する。

    k を 2 以上の自然数、u を自然数として、F[kn] = u*F[n] を仮定すると、
    F[(k+1)n] = F[n]F[kn+1]+F[n-1]F[kn]
    = F[n]F[kn+1]+F[n-1]*u*F[n]
    = F[n](F[kn+1]+F[n-1]*u)
    となり、F[n] | F[(k+1)n] が成立する。

    以上から、数学的帰納法により v と n を 2 以上の自然数とするとき
    F[n] | F[vn] が成立する。
    # n = 1 や v = 1 でも上記は成立しますが。


    (C) F[p] が素数ならば、p は奇素数であるか 4 であることの証明

    3 以上の自然数 a と 2 以上の自然数 b が存在して p = ab ならば、
    a < p であり、1 < F[a] < F[p] かつ整除定理より F[a] | F[p] となり
    F[p] は素数ではありえない。

    従って、F[p] が素数となるためには p は真の約数を持たないか、
    真の約数の値が 2 以下の場合である。

    真の約数を持たないということは、p は素数であるということてある。
    但し、F[2] = 1 は素数ではないので、p は奇素数である。
    真の約数の値が 2 以下ということは p は 2 の冪であることが必要だが、
    2^3 = 8 は 4 という真の約数を持つため、可能性は p = 2^2 のみとなるが、
    F[4] = 3 は素数である。

    以上から、F[p] が素数ならば、p は奇素数か 4 であるといえる。
引用返信/返信 [メール受信/OFF]
■記事リスト / レス記事表示 → [親記事-3]


Mode/　 Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター