数学ナビゲーター掲示板

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

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

 
この掲示板の過去ログをgoogleで検索します。
検索条件:
現在のログを検索過去のログを検索
■ 2006/2/20より、累計:、本日:、昨日:
数式の記述方法
TeX入力ができます。 \[ TeX形式数式 \] あるいは,$ TeX形式数式 $ で数式を記述します。
 TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。文字化けが発生したときはここを見てください。
■ 質問をする方は、回答者に失礼のないようにお願いします。
携帯電話でこの掲示板を見れるようにしました。⇒ここを見てください。
■ 24時間以内に作成されたスレッドは New で表示されます。
■ 24時間以内に更新されたスレッドは UpDate で表示されます。

記事リスト ( )内の数字はレス数
UpDate漸化式と不等式(2) | UpDate最大公約数(4) | Nomalsin(x)sin(x+1)<c(2) | Nomal三角形の面積の大小(4) | Nomal4次多項式(2) | Nomal偶数の約数(2) | Nomal青空学園数学科(0) | Nomal一次変数の微分可能性について(1) | Nomal積分(0) | Nomal有限小数(2) | Nomalイデアル(2) | Nomal確率(3) | Nomalフェルマーの最終定理の証明(69) | Nomal52545の「約数の個数」の式変形について(5) | Nomal約数の個数(6) | Nomal羅生門(1) | Nomal高校数学 確率の問題です。(2) | Nomal(x^x)^x = x^(x^2)(4) | Nomal数字が重複しない積(1) | Nomal自然数(2) | Nomal余り(2) | Nomalklog(1+1/k) < 1を証明する(2) | Nomal積分の極限(3) | Nomal平方数と素数(2) | Nomal約数(1) | Nomal整数問題(4) | Nomal期待値(2) | Nomal定積分(4) | Nomaln乗根(1) | Nomallim[θ→0](θ/sinθ)(2) | Nomal常微分方程式の基本的な質問(2) | Nomal単位円と正三角形(2) | Nomal証明 微積(0) | Nomal台形(1) | Nomal設問ミスですか?それとも解けますか?(1) | Nomal二次関数(1) | Nomalコラッツ予想(0) | Nomalζ関数(1) | Nomal(削除)(0) | Nomal高校数学 期待値の問題です(2) | Nomal二項係数(1) | Nomalフェルマーの最終定理の普通の証明(10) | Nomal高校数学レベルの定積分(2) | Nomal場合の数 (カタラン数に関係したもの)(2) | Nomal和文差分を利用した数列について(1) | Nomal面積体積表面積です。(2) | Nomal確率の基礎問題(1) | Nomal微積分(1) | Nomal整数の方程式(1) | Nomal確率の最大値(0) | Nomal至急お願いします(2) | Nomal不等式(3) | Nomal場合の数(2) | Nomal平方数(3) | Nomal形式的べき級数(0) | NomalG(0) | Nomal岩波講座基礎数学集合の補題6.1についての質問(1) | Nomal確率(2) | Nomal不等式(0) | Nomal素因数の個数について(2) | Nomal場合の数(1) | Nomal体(3) | Nomal部分分数分解(3) | Nomal線形代数の微分(1) | Nomal数珠順列(0) | 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複素数平面(1) | Nomal複素数 証明(難)(0) | Nomal確率の問題が分かりません 助けてください(1) | Nomal極限(3) | Nomalメビウス変換(0) | Nomal複素数 写像 (0) | Nomal複素数平面(0) | Nomal解答を教えてください(1) | Nomal解答を教えてください(0) | Nomal解答を教えてください(0) | Nomal解答を教えてください(0) | Nomal解答を教えてください(0) | Nomal確率の不等式(1) | Nomal無理関数の積分(大学)(2) | Nomal複素数(1) | Nomal確率(2) | Nomal囲まれた面積(2) | Nomal複素数(2) | Nomal微分可能な点を求める問題(1) | Nomal初等数学によるフェルマーの最終定理の証明(5) | Nomal極限の問題 2改(1) |



■記事リスト / ▼下のスレッド
■52663 / 親記事)  漸化式と不等式
□投稿者/ 数列 一般人(3回)-(2025/01/09(Thu) 17:16:37)
    a[0]=1,a[1]=1/2,
    (n+1)a[n+1]=(n+ 1/2)a[n] -na[n-1]
    のとき,
    a[n]^2>a[n+1]a[n-1]
    の証明を教えて下さい.
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52700 / ResNo.1)  Re[1]: 漸化式と不等式
□投稿者/ WIZ 一般人(2回)-(2025/03/02(Sun) 21:45:52)
    2025/03/02(Sun) 21:50:38 編集(投稿者)

    べき乗演算子^は四則演算より優先度が高いものとする。
    また、nは自然数で、以下の漸化式と解釈して回答します。
    (n+1)a[n+1] = (n+(1/2))a[n]-n*a[n-1]

    ⇒ a[n] = {(n+1)a[n+1]+n*a[n-1]}/(n+1/2)
    ⇒ a[n]^2 = {((n+1)^2)a[n+1]^2+2(n+1)n*a[n+1]a[n-1]+(n^2)a[n-1]^2}/{(n+1/2)^2}
    ⇒ a[n]^2-a[n+1]a[n-1] = {((n+1)^2)a[n+1]^2+((2n^2+2n)-(n^2+n+1/4))a[n+1]a[n-1]+(n^2)a[n-1]^2}/{(n+1/2)^2}

    ここで、上記の右辺分母は正ですから、左辺と右辺分子の符号は同じです。

    {上記右辺分子} = ((n+1)^2)a[n+1]^2+(n^2+n-1/4)a[n+1]a[n-1]+(n^2)a[n-1]^2
    = ((n+1)^2)a[n+1]^2+2(n/2+1/2-1/(8n))a[n+1]*n*a[n-1]+(n^2)a[n-1]^2
    = ((n+1)^2-(n/2+1/2-1/(8n))^2)a[n+1]^2+{(n/2+1/2-1/(8n))a[n+1]+n*a[n-1]}^2
    = (n/2+1/2+1/(8n))(3n/2+3/2-1/(8n))a[n+1]^2+{(n/2+1/2-1/(8n))a[n+1]+n*a[n-1]}^2
    ≧ 0

    上記で等号が成立するのは、(n/2+1/2+1/(8n))(3n/2+3/2-1/(8n)) > 0であることから、
    a[n+1]^2 = 0 かつ {(n/2+1/2-1/(8n))a[n+1]+n*a[n-1]}^2 = 0 のときであり、
    整理すると a[n+1] = 0 かつ a[n-1] = 0 の場合です。
    また、この場合、漸化式から a[n] = 0 です。
    更に a[n] = 0 かつ a[n+1] = 0 ならば、漸化式より a[n+2] 以降の全ての項が0となります。

    以下、連続する2項が0にはなり得ないことを示します。
    a[0] ≠ 0 かつ a[1] ≠ 0 なので、mを2以上の自然数として a[m-1] ≠ 0 かつ a[m] = 0 であると仮定します。
    漸化式から、(m+1)a[m+1] = m*a[m-1] つまり a[m+1] ≠ 0 となります。
    同様に漸化式から、(m+2)a[m+2] = (m+1+1/2)a[m+1] つまり a[m+2] ≠ 0 となります。

    a[m+3] = 0 か a[m+3] ≠ 0 かは漸化式からは決定できませんが、
    a[m+3] 以降で最初に 0 となる項を a[p] とすれば、a[p-1] ≠ 0 ですので、
    上記の「a[m-1] ≠ 0 かつ a[m] = 0 である〜」の論法を繰り返すことにより、
    a[p+1] ≠ 0 かつ a[p+2] ≠ 0 と言えますので、連続した2項が0になることはないと言えます。

    以上から、不等式で等号は成立せず a[n]^2-a[n+1]a[n-1] > 0 となります。

    # 計算間違いと、後半の論理には自信がありませんので識者の方のツッコミをお願いします。
引用返信/返信 [メール受信/OFF]
■52842 / ResNo.2)  Re[2]: 漸化式と不等式
□投稿者/ 数列 一般人(1回)-(2025/05/01(Thu) 11:00:05)
    ありがとうございます。

    もしよろしければ
    Σ[k=0→n]a[k]≧0
    の証明も教えていただけないでしょうか。
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-2]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52802 / 親記事)  最大公約数
□投稿者/ すき家のねずみ 一般人(1回)-(2025/04/04(Fri) 18:08:03)
    mを2以上の自然数とするとき
    2^m-2, 3^m-3, 4^m-4, 5^m-5, 6^m-6, 7^m-7, …
    の最大公約数ってどう求めるのでしょうか?
引用返信/返信 [メール受信/OFF]

▽[全レス4件(ResNo.1-4 表示)]
■52805 / ResNo.1)  Re[1]: 最大公約数
□投稿者/ らすかる 一般人(13回)-(2025/04/05(Sat) 14:06:56)
    求め方はわかりませんが、
    2^m-2,3^m-3,4^m-4,…の最大公約数は
    「m-1がp-1で割り切れる」を満たす素数pの積
    となるようです。
    具体的には、m=2,3,4,5,6,7,8,9,10,11,12,13,14,…に対して
    最大公約数は2,6,2,30,2,42,2,30,2,66,2,2730,2,…のようになります。
    ↓参考
    oeis.org/A027760

引用返信/返信 [メール受信/OFF]
■52822 / ResNo.2)  Re[2]: 最大公約数
□投稿者/ すき家のねずみ 一般人(2回)-(2025/04/19(Sat) 09:45:03)
    とても参考になりましたありがとうございます。
    偶数の場合ですら難しいですね。
解決済み!
引用返信/返信 [メール受信/OFF]
■52826 / ResNo.3)  Re[1]: 最大公約数
□投稿者/ WIZ 一般人(5回)-(2025/04/25(Fri) 14:00:43)
    # 解決済みになってるけど、解けた気がするので投稿しちゃいます!

    べき乗演算子^は四則演算子より優先度が高いものとします。

    {2^m-2, 3^m-3, 4^m-4, 5^m-5, 6^m-6, 7^m-7, …}の最大公約数をg(m)とします。
    nを2以上の自然数とすれば、n^m-nは偶数なので、mの値に関わらずg(m)は2を因数に持ちます。

    (1)mが偶数の場合
    q = g(m)/2とおくと、qは自然数です。
    g(m) = 2qは2^m-2 = 2(2^(m-1)-1)の約数なので、qは2^(m-1)-1の約数となります。
    2^(m-1)-1は奇数なので、qも奇数となります。

    qが素因数を持つと仮定し、その素因数のひとつをpとします。pは奇素数となります。
    2からp-1までの自然数の中には法pの原始根が存在するので、原始根のひとつをaとします。
    pはa^m-a = a(a^(m-1)-1)の約数となりますが、2 ≦ a ≦ p-1なので、pはa^(m-1)-1の約数となります。

    a^(m-1)-1 ≡ 0 (mod p) つまり、a^(m-1) ≡ 1 (mod p)ならば、
    フェルマーの小定理とaが法pの原始根であることから、m-1はp-1の倍数でなければなりません。

    m-1は奇数で、p-1は偶数なので、m-1はp-1の倍数にはなり得ません。
    よって、奇数qの素因数pが存在しないので、q = 1であり、g(m) = 2といえます。

    (2)mが奇数の場合
    g(m)が素因数pを持つと仮定します。(p = 2も含みます。)
    つまり、nを2以上の自然数とするとき、n^m-n = n(n^(m-1)-1)はpを約数に持つと仮定します。

    nとn^(m-1)-1は互いに素ですから、仮定の成立には以下の2通りの場合があります。
    (2A) n ≡ 0 (mod p)
    (2B) n^(m-1)-1 ≡ 0 (mod p)

    nが法pで0に合同である場合、これは(2A)の成立そのものです。
    nが法pで0に合同でない場合、nが法pの原始根である可能性もあることから、
    (2B)の成立はフェルマーの小定理より、m-1がp-1の倍数であることが必要となります。

    従って、nが法pで0に合同であるかないかに関わらず、m-1がp-1の倍数であれば、
    n^m-nはpを約数に持ち、pはg(m)の因数であるといえます。

    更に、p^m-p = p(p^(m-1)-1)がp^2で割り切れないため、p^2はg(m)の因数とはなり得ないといえます。
    以上から、g(m) = Π{m-1がp-1の倍数である素数p}となります。
    上記g(m)をmの式で表せるのかは分かりませんでした。
引用返信/返信 [メール受信/OFF]
■52841 / ResNo.4)  Re[2]: 最大公約数
□投稿者/ すき家のねずみ 一般人(3回)-(2025/04/30(Wed) 16:28:33)
    ありがとうございます。
    難しいですが、なんとなく雰囲気は分かりました。
解決済み!
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-4]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52837 / 親記事)  sin(x)sin(x+1)<c
□投稿者/ イーライ 一般人(1回)-(2025/04/30(Wed) 00:13:28)
    sin(x/2)sin((x+1)/2)は積和の公式を使うなどすると
    xによらず上から2sin(1/2)(<1)でおさえられるのが分かるのですが、
    sin(x)sin(x+1)<c<1となるようなcって何かないでしょうか?
    2sin(1/2)のように手計算で評価できるものが希望です。
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52839 / ResNo.1)  Re[1]: sin(x)sin(x+1)<c
□投稿者/ らすかる 一般人(19回)-(2025/04/30(Wed) 03:13:18)
    sin(x)sin(x+1)=(cos1-cos(2x+1))/2≦(cos1+1)/2≒0.77015
    なので、例えばc=7/9とすれば
    sin(x)sin(x+1)<c<1
    が成り立ちますね。

引用返信/返信 [メール受信/OFF]
■52840 / ResNo.2)  Re[2]: sin(x)sin(x+1)<c
□投稿者/ イーライ 一般人(2回)-(2025/04/30(Wed) 11:23:22)
    なるほど!ありがとう!
解決済み!
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-2]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52818 / 親記事)  三角形の面積の大小
□投稿者/ 掛け流し 一般人(1回)-(2025/04/14(Mon) 23:58:51)
    43年前の学習院大学理学部の入試問題です。
    「△ABC,△A'B'C'を2つの鋭角三角形とする。このとき,

    AB<A’B', BC<B'C', CA<C'A' ならば △ABC<△A'B'C'

    であることを証明せよ。」

    の証明の過程として、c<c',a<a',b<b'とするとき,
        
           0<b^2+c^2-a^2<2bc かつ 0<b'^2+c'^2-a'^2<2b'c'

    △ABC=1/4・sqr{4b^2c^2-(b^2+c^2-a^2)^2

    △A'B'C'=1/4・sqr{4b'^2c'^2-(b'^2+c'^2-a'^2)^2}

    とここまで求めたのですが,これから,△ABC<△A'B'C' であることをどう導いたらいいのか分かりません。ご教授お願いします。


引用返信/返信 [メール受信/OFF]

▽[全レス4件(ResNo.1-4 表示)]
■52820 / ResNo.1)  Re[1]: 三角形の面積の大小
□投稿者/ らすかる 一般人(15回)-(2025/04/15(Tue) 01:31:10)
    その式からは導けません。
    例えば a=b=c=9, a'=b'=10,c'=19 は
    a<a', b<b', c<c',
    0<b^2+c^2-a^2<2bc かつ 0<b'^2+c'^2-a'^2<2b'c'
    を満たしますが、△ABC>△A'B'C'です。

引用返信/返信 [メール受信/OFF]
■52827 / ResNo.2)  Re[2]: 三角形の面積の大小
□投稿者/ 掛け流し 一般人(2回)-(2025/04/25(Fri) 19:17:11)
    らすかる様、ご指摘有り難うございます。
             
    2つの三角形がとも鋭角三角形であることから、0<b^2+c^2-a^2<2bc, 0<c^2+a^2-b^2<2ca, 0<c^2+b^2-c^2<2ac および,a',b',c'についても上と同様の等式 計6つの等式が成立し、これらと a<a',b<b', c<c'の条件から,2つの三角形の面積の大小を示したいのですが、出来ず悩んでいます。
    何か, アドバイス頂ければ幸いです。
引用返信/返信 [メール受信/OFF]
■52828 / ResNo.3)  Re[3]: 三角形の面積の大小
□投稿者/ 掛け流し 一般人(3回)-(2025/04/25(Fri) 19:19:50)
    文中, 不等式の間違いです。お許し下さい。
引用返信/返信 [メール受信/OFF]
■52836 / ResNo.4)  Re[1]: 三角形の面積の大小
□投稿者/ WIZ 一般人(6回)-(2025/04/28(Mon) 10:04:18)
    2025/04/29(Tue) 14:33:24 編集(投稿者)

    a = |BC|, b = |CA|, c = |AB|, a' = |B'C'|, b' = |C'A'|, c' = |A'B'|と解釈します。

    (1)∠A' ≧ ∠Aまたは∠B' ≧ ∠Bの場合
    xy座標で、頂点Aと頂点A'を原点に重ねます。
    また、頂点Bと頂点B'をx軸上のx > 0の部分に置きます。

    頂点の座標は、A(0, 0), B(c, 0), A'(0, 0), B'(c', 0)となります。
    また、頂点Cの座標を(u, v)かつv > 0、頂点C'の座標を(u', v')かつv' > 0とします。
    |△ABC| = cv/2, |△A'B'C'| = c'v'/2となります。

    ∠A' ≧ ∠Aであれば、b' > bと合わせて、v' = b'*sin(A') > b*sin(A) = vとなます。
    ∠B' ≧ ∠Bであれば、a' > aと合わせて、v' = a'*sin(B') > a*sin(B) = vとなます。
    c' > cですから、c'v'/2 > cv/2といえます。

    (2)∠A' < ∠Aかつ∠B' < ∠Bの場合
    ∠C' = π-∠A'-∠B' > π-∠A-∠B = ∠Cとなります。

    xy座標で、頂点Cと頂点C'を原点に重ねます。
    また、頂点Aと頂点A'をx軸上のx > 0の部分に置きます。

    頂点の座標は、C(0, 0), A(b, 0), C'(0, 0), A'(b', 0)となります。
    また、頂点Bの座標を(p, q)かつq > 0、頂点B'の座標を(p', q')かつq' > 0とします。
    |△ABC| = bq/2, |△A'B'C'| = b'q'/2となります。

    a' > aかつ∠C' > ∠Cですので、q' = a'*sin(C') > a*sin(C) = qとなます。
    b' > bですから、b'q'/2 > bq/2といえます。

    以上から、いずれの場合も|△A'B'C'| > |△ABC|といえます。
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-4]



■記事リスト / ▲上のスレッド
■52833 / 親記事)  4次多項式
□投稿者/ 扇風機つけた 一般人(1回)-(2025/04/27(Sun) 12:18:35)
    整数係数の既約な4次多項式f(x)=x^4+ax^3+bx^2+cx+d
    が、任意の整数mに対してf(m)>0となるとします。
    このとき、任意の実数xに対してf(x)>0となりますか?
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52834 / ResNo.1)  Re[1]: 4次多項式
□投稿者/ らすかる 一般人(17回)-(2025/04/27(Sun) 12:51:04)
    なりません。
    f(x)=x^4-5x^2+5
    は任意の整数mに対してf(m)>0ですが、
    f(±3/2)<0です。
    ※-2と-1の間、1と2の間で負になりますが、x≦-2, -1≦x≦1, 2≦xでは正です

引用返信/返信 [メール受信/OFF]
■52835 / ResNo.2)  Re[2]: 4次多項式
□投稿者/ 扇風機つけた 一般人(2回)-(2025/04/27(Sun) 22:08:10)
    おっしゃる通りです。
    有難うございました。
解決済み!
引用返信/返信 [メール受信/OFF]

■記事リスト / レス記事表示 → [親記事-2]






Mode/  Pass/

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

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