数学ナビゲーター掲示板

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

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

　
この掲示板の過去ログをgoogleで検索します。
検索条件:
現在のログを検索過去のログを検索
■ 2006/2/20より、累計：、本日：、昨日：
■ 数式の記述方法
■TeX入力ができます。 \[ TeX形式数式 \]　あるいは，$ TeX形式数式 $　で数式を記述します。
　TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。文字化けが発生したときはここを見てください。
■ 質問をする方は、回答者に失礼のないようにお願いします。
■ 携帯電話でこの掲示板を見れるようにしました。⇒ここを見てください。
■ 24時間以内に作成されたスレッドは New で表示されます。
■ 24時間以内に更新されたスレッドは UpDate で表示されます。
記事リスト ( )内の数字はレス数
UpDate数学的帰納法(2) | Nomal実数、有理数の稠密性(2) | Nomalフェルマーの最終定理の証明(n=3)(1) | Nomalフェルマーの最終定理の証明(p=3)(0) | Nomal広義積分(2) | Nomal必要十分条件(3) | Nomal部分分数分解(6) | Nomal離散数学(1) | Nomal三角関数(3) | Nomal消費税の計算(1) | Nomal関数の問題です。(1) | Nomal無限等比数列と微分の問題です。(7) | Nomal関数についての問題です。(1) | Nomal導関数(4) | Nomal二次不等式(9) | Nomal場合の数(2) | Nomal二項定理(8) | Nomalフェルマーの最終定理の簡単な証明(2) | Nomal一次不等式(1) | Nomal三角比(2) | Nomaljacobson根基の同値な性質について(0) | Nomal積分の漸化式(2) | Nomalベクトルの大きさ(2) | Nomal幾何学の院試問題です。(0) | Nomal一つ一つ解答をお願いしたく存じます。(1) | Nomalcosθ(2) | NomalLambert W関数を用いた数式(4) | Nomal行列 線形代数(0) | Nomal大学数学(1) | Nomal連立方程式(2) | Nomal微分(0) | Nomal大学 数学 線形代数 和空間(1) | Nomal大学 数学 線形代数 行列(1) | Nomal大学 証明問題 真偽判定(2) | Nomal放物線の面積(2) | Nomal時系列解析練習問題(0) | Nomal大学数学　測度論　証明問題(0) | Nomal大学数学　確率(0) | Nomal二重積分について(0) | Nomal幾何学(1) | NomalQ=10√KL　をグラフにする(0) | Nomal論理式(4) | Nomal二次方程式(2) | Nomal積と和が一致する自然数の組(5) | Nomal共分散行列(0) | Nomal大学数学(1) | Nomal素数(6) | Nomal確率 統計の問題(0) | Nomalフェルマの小定理(1) | Nomal大学線形(0) | Nomal大学線形(0) | Nomal最大公約数(0) | Nomal漸化式(1) | Nomalベイズ更新について(0) | Nomal無限積分(2) | Nomal和の求め方がわかりません。(3) | Nomal三角関数の極限(1) | Nomal極限(3) | Nomal約数(2) | Nomal約数(2) | Nomal順列組合せ〜区別するものしないもの(6) | Nomal場合の数(2) | Nomal数的推理(2) | Nomal三角形の辺の長さ(6) | Nomal単位円と三角形(1) | Nomal1/xについて(2) | Nomal命題の真偽(8) | Nomal因数分解(2) | Nomal期待値(13) | Nomal√の問題(2) | Nomal極形式(6) | Nomaltanと自然数(2) | Nomal放物線の標準形(4) | Nomalα^52(2) | Nomal四角形の辺の長さ(2) | Nomal循環小数(2) | Nomal三角形の角(3) | Nomalコラッツ予想について(2) | Nomal有理数と素数(1) | Nomalフィボナッチ数列について。(3) | Nomal導関数の定義について(2) | Nomal楕円曲線(1) | Nomal円と曲線(3) | Nomallog(1+x)<√x(4) | Nomal円と3次関数(4) | NomalΣと積分の交換(3) | Nomal合成数(2) | Nomalcos(1)とtan(1/2)(2) | Nomal積分について(2) | Nomal2次関数(1) | Nomal因数分解(4) | Nomal常用対数と桁数の関係(2) | Nomal（削除）(2) | Nomal行列を含む偏微分(0) | Nomalカタラン数(4) | Nomal無限級数(1) | Nomal大学数学 4次多項式 フェラーリの解法(1) | Nomal写像の問題です。(0) | Nomal離散数学　有向グラフの問題(0) | Nomal三角形と円の関係について(0) | Nomal|e^(icosθ)|、|e^(isinθ)|について(2) |


■記事リスト / ▼下のスレッド
■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]
▽[全レス2件(ResNo.1-2 表示)]
■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]
■記事リスト / レス記事表示 → [親記事-2]


■記事リスト / ▼下のスレッド / ▲上のスレッド
■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 数学ナビゲーター