数学ナビゲーター掲示板

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

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

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

記事リスト ( )内の数字はレス数
New数列の極限(0) | Nomalフェルマーの最終定理の証明(71) | Nomal不等式(2) | Nomal無平方な多項式(2) | Nomal難しい積分(2) | Nomal積分不等式(1) | Nomalスピアマンの順位相関係数の求め方について(0) | Nomal相加相乗で(2) | Nomal微分で関数の最大値を求める(3) | Nomal自然数 階乗(0) | Nomal期待値と極限(0) | Nomal回転体の体積(6) | Nomal円と三角形、有理数と無理数(2) | Nomal定積分(2) | Nomal二次関数の9に等しい桁(1) | Nomalベクトル(4) | Nomal複素数(2) | Nomal式の値を求める(4) | Nomal漸化式と不等式(2) | Nomal最大公約数(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) | 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素因数の個数について(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) |



■記事リスト / ▼下のスレッド
■52887 / 親記事)  積分不等式
□投稿者/ 秋田犬 一般人(1回)-(2025/06/04(Wed) 19:42:48)
    a≧0
    f(x)>0
    f'(x)>0
    のとき0≦x≦π/4で
    f(x)≧∫[a,x+a]sin(t-a)cos(t-a)f(sin(t-a))dt
    が成り立つことの証明を教えてください
    秋田大の問題です
引用返信/返信 [メール受信/OFF]

▽[全レス1件(ResNo.1-1 表示)]
■52890 / ResNo.1)  Re[1]: 積分不等式
□投稿者/ WIZ 一般人(14回)-(2025/06/05(Thu) 12:01:34)
    2025/06/05(Thu) 19:59:41 編集(投稿者)

    不定積分の1つを g(t) = ∫{sin(t-a)cos(t-a)f(sin(t-a))}dt とおきます。

    x > 0 の場合、平均値の定理より a < c < x+a となるcが存在して、
    g(x+a)-g(a) = ((x+a)-a)g'(c) = x*sin(c-a)cos(c-a)f(sin(c-a)) となります。
    0 < c-a < x ≦ π/4 なので sin(c-a) > 0, cos(c-a) > 0 ですので、
    g(x+a)-g(a) = x*sin(c-a)cos(c-a)f(sin(c-a)) > 0 といえます。

    ここで、0 < sin(c-a)cos(c-a) = sin(2(c-a))/2 < 2(c-a)/2 < x です。
    また、f'(x) > 0 よりf(x)は単調増加なのと、
    0 < sin(c-a) < c-a < x なので 0 < f(sin(c-a)) ≦ f(x) ですので、
    0 < g(x+a)-g(a) ≦ (x^2)f(x) となります。

    x = 0 の場合、g(x+a)-g(a) = (x^2)f(x) = 0 ですので、
    0 ≦ x ≦ π/4 の範囲で 0 ≦ g(x+a)-g(a) ≦ (x^2)f(x) は成立します。

    0 ≦ x ≦ π/4 < 1 なので x^2 < 1 ですので、
    f(x) > (x^2)f(x) ≧ g(x+a)-g(a) = ∫[a, x+a]{sin(t-a)cos(t-a)f(sin(t-a))}dt
    といえます。

    # a ≧ 0 という条件は使用せず、不要となってしまっていることから、
    # 私の解法は何らかの考え漏れがあるのかもしれません。
引用返信/返信 [メール受信/OFF]

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



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52886 / 親記事)  スピアマンの順位相関係数の求め方について
□投稿者/ ねこねこ 一般人(1回)-(2025/05/27(Tue) 00:13:58)
    スピアマンの順位相関係数について質問です。

    以下のような2つのデータがあります。これは10人の学生について調査したもので、
    「アロハ」は親指と小指を広げた長さ(cm)、
    「キュビット」は肘から中指までの長さ(cm)を表しています。

    学生名とそれぞれの値は以下のとおりです:
    &#8226; 学生:イ、ロ、ハ、ニ、ホ、ヘ、ト、チ、リ、ヌ
    &#8226; アロハ(cm):17.0, 15.5, 16.5, 17.5, 17.0, 16.0, 16.0, 18.0, 17.0, 16.0
    &#8226; キュビット(cm):36, 39, 40, 41, 38, 40, 42, 41, 41, 40

    スピアマンの相関係数を求めて、どのような相関関係があるのか確かめなさい。

    数値は少数第2位まで、3位以下は四捨五入して入力してください。

    (携帯)
引用返信/返信 [メール受信/OFF]



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52876 / 親記事)  相加相乗で
□投稿者/ 相加相乗 一般人(1回)-(2025/05/15(Thu) 05:51:58)
    相加相乗平均の不等式を使って x+1/x-1/(x+1) (x>0) の最小値を求められますか?
引用返信/返信 [メール受信/OFF]

▽[全レス2件(ResNo.1-2 表示)]
■52883 / ResNo.1)  Re[1]: 相加相乗で
□投稿者/ WIZ 一般人(11回)-(2025/05/25(Sun) 08:49:10)
    解答ではなく参考情報です。
    べき乗演算子^は四則演算子より優先度が高いものとします。

    x > 0 で f(x) = x+1/x-1/(x+1) = x+1/(x^2+x) とおくと、1/(x^2+x) > 0 ですから、
    相加相乗平均の大小関係から f(x) ≧ 2√(x*(1/(x^2+x))) = 2√(1/(x+1)) となり、
    0 < 2√(1/(x+1)) < 2 だから最小値があればこの範囲の値だろうとは推論できます。

    そもそも最小値が存在するのかどうかも分からない状態で、
    ある定数sに対して f(x) ≧ s の形に持ち込めるのか試行錯誤しても徒労に終わる可能性があります。

    余談ですが数学では「どうしてそれを思い付いたのか」を説明する必要はないので、
    いきなり s = {-3+√(13+16√2)}/2, w = {(-1+√2)+√(2√2-1)}/2 とおけば、
    x > 0 で f(x) ≧ s であり、f(w) = s であることさえ示せればsが最小値であるといえると思います。

    とは言っても、f(x)を眺めていただけで最小値 {-3+√(13+16√2)}/2 を見出せる方はいないと思うので、
    以下、相加相乗平均の不等式は使いませんが、最小値の存在とその値の求め方を解説します。

    f'(x) = (x^4+2x^3+x^2-2x-1)/{(x^2)(x+1)^2}

    f'(x)の分母は正なので、分子の符号を調べます。
    g(x) = x^4+2x^3+x^2-2x-1 とおくと、
    g'(x) = 4x^3+6x^2+2x-2
    g''(x) = 12x^2+12x+2 = 3(2x+1)^2-1 > 0
    # x > 0なので2x+1 > 1 ⇒ 3(2x+1)^2 > 3

    x > 0 で g''(x) > 0 なので g'(x) は単調増加です。
    g'(0) = -2, g'(1) = 10 なので、0 < u < 1 となる実数uで g'(u) = 0
    0 < x < u で g'(x) < 0 なのでg(x)は減少、g(x) < 0
    x = u で g'(x) = 0 なのでg(x)は極小、g(x) < 0
    u < x で g'(x) > 0 なのでg(x)は増加

    つまり、0 < u < w < 1 となる実数wが存在して、
    u < x < w で g'(x) > 0 なのでg(x)は増加、g(x) < 0
    x = w で g'(x) > 0 なのでg(x)は増加、g(x) = 0
    w < x で g'(x) > 0 なのでg(x)は増加、g(x) > 0
    となる訳で、g(x)とf'(x)の符号は同じだから x = w でf(x)は極小になるといえます。

    g(x) = 0 となる x = w を求めます。フェラーリの公式を使うた為、y = x+1/2とおくと、
    x^4+2x^3+x^2-2x-1 = y^4-(1/2)y^2-2y+1/16 = 0
    ⇒ y^4+z(y^2)+(z^2)/4 = (z+1/2)y^2+2y+((z^2)/4-1/16)

    右辺も平方完成できるようにzを定めます。分解方程式は右辺の2次式の判別式を0とおけば良いので
    2^2-4(z+1/2)((z^2)/4-1/16) = 0
    ⇒ z^3+(1/2)z^2-(1/4)z-33/8 = 0
    ⇒ 8z^3+4z^2-2z-33 = (2z-3)((2z)^2+4(2z)+11) = 0

    z = 3/2 と選ぶと、
    ⇒ (y^2+3/4)^2 = 2(y+1/2)^2
    ⇒ {y^2-(√2)y+(3-2√2)/4}{y^2+(√2)y+(3+2√2)/4} = 0
    と因数分解できます。

    上記後半の2次方程式は実数解を持ちません。
    前半の2次方程式は実数解を持ちますが、x = y-1/2 > 0 を満たすのは
    y = {(√2)+√(2√2-1)}/2 のみで、w = {(-1+√2)+√(2√2-1)}/2 となります。
    よって、最小値は f(w) = {-3+√(13+16√2)}/2 となります。

引用返信/返信 [メール受信/OFF]
■52885 / ResNo.2)  Re[1]: 相加相乗で
□投稿者/ WIZ 一般人(12回)-(2025/05/26(Mon) 07:24:14)
    2025/05/26(Mon) 15:22:36 編集(投稿者)

    最小値が存在することを前提とする別解です。

    f(x) = x+1/(x^2+x) ≧ 2√(1/(x+1)) > 0 なので、最小値sは s > 0 となります。
    すると、f(x) = (x^3+x^2+1)/(x^2+x) ≧ s となりますが、
    x^2+x > 0ですので、(x^3+x^2+1)-s(x^2+x) ≧ 0 となります。

    つまり、h(x) = x^3+(1-s)x^2-sx+1 ≧ 0 とおくことができます。
    またwを正の実数定数として h(w) = 0 ならば、s = f(w) が求める最小値となります。

    h'(x) = 3x^2+2(1-s)x-s です。
    x > 0 の範囲で「h(x) ≧ 0」かつ「h(x) = 0となるxが存在する」ということは、
    xy座標で y = h(x) のグラフが x > 0 の範囲で極小値を持ち、その極小なる点でx軸に接する必要があります。
    h(x)が極小になるのが x = w > 0 とすると、「x = wはh(x) = 0の重解」かつ「h'(w) = 0」となることが必要です。

    h(w) = w^3+(1-s)w^2-sw+1 = 0・・・・・(1)
    h'(w) = 3w^2+2(1-s)w-s = 0・・・・・(2)

    (1)より、3w^3+3(1-s)w^2-3sw+3 = 0・・・・・(3)
    (2)より、3w^3+2(1-s)w^2-sw = 0・・・・・(4)
    (3)-(4)より、(1-s)w^2-2sw+3 = 0
    ⇒ 3(1-s)w^2-6sw+9 = 0・・・・・(5)

    (2)より、3(1-s)w^2+2((1-s)^2)w-s(1-s) = 0・・・・・(6)
    (6)-(5)より、{2((1-s)^2)+6s}w-s(1-s)-9
    ⇒ 2(s^2+s+1)w+(s^2-s-9)

    ここで、s^2+s+1 > 0 ですので、w = (-1/2)(s^2-s-9)/(s^2+s+1) となります。

    h'(w) = 0 = 3{(-1/2)(s^2-s-9)/(s^2+s+1)}^2+2(1-s)(-1/2)(s^2-s-9)/(s^2+s+1)-s
    整理すると s^4+6s^3+7s^2-6s-31 = 0 となります。

    4次方程式 s^4+6s^3+7s^2-6s-31 = 0 をフェラーリの公式を使って解こうとすると、
    分解方程式は有理数解を持たないので簡単には因数分解できません。
    分解方程式をカルダーノの公式で解くことはできますが、解は非常に複雑な式となり、
    元の4次方程式の因数分解も非常に困難な計算となり、諦めました(!)。

    そこで、複2次式に変形できないか試行錯誤の末、以下のようになりました。
    a, b, c, dを定数として、
    s^4+6s^3+7s^2-6s-31
    = (s^2+as+b)^2+c(s^2+as+b)+d
    = s^4+2as^3+(a^2+2b+c)s^2+(2ab+ac)s+(b^2+bc+d)
    と変形できると仮定します。

    係数を比較して、
    2a = 6・・・・・(A)
    a^2+2b+c = 7・・・・・(B)
    2ab+ac = -6・・・・・(C)
    b^2+bc+d = -31・・・・・(D)

    (A)より、a = 3・・・・・(E)
    (E)を(B)に代入すると、3^2+2b+c = 7 ⇒ 2b+c = -2・・・・・(F)
    (E)を(C)に代入すると、2*3b+3c = -6 ⇒ 2b+c = -2・・・・・(Fと同じ)
    ⇒ c = -2b-2・・・・・(G)

    (G)を(D)に代入すると、b^2+b(-2b-2)+d = -31 ⇒ -b^2-2b+d = -31・・・・・(H)
    (G)(H)と式が2個で変数は3個なので、b = 0とすれば c = -2, d = -31 となります。

    以上から、
    s^4+6s^3+7s^2-6s-31 = (s^2+3s)^2-2(s^2+3s)-31 = 0
    ⇒ s^2+3s = 1±√32 = 1±4√2

    s^2+3s > 0 なので、s^2+3s = 1+4√2 です。
    ⇒ s = {-3±√(13+16√2)}/2

    s > 0 なので、s = {-3+√(13+16√2)}/2 となります。
    # 本当はwの値を求めるなりして、w > 0 を確認する必要がありますが・・・省略!
引用返信/返信 [メール受信/OFF]

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



■記事リスト / ▼下のスレッド / ▲上のスレッド
■52879 / 親記事)  微分で関数の最大値を求める
□投稿者/ 星は昴 一般人(1回)-(2025/05/24(Sat) 18:30:11)
      f(x) = (n+mx)/√(1+x^2 ) = (n+mx)/(1+x^2 )^(1/2)   (n,m は正の定数:x>0)

      f'(x) = (m-nx)/{(1+x^2 )√(1+x^2 )} = 0

      x = m/n
      x<m/n⇒f'(x)>0
      x>m/n⇒f'(x)<0

     したがってf(x)はx = mnで極大値をとる。

      f(m/n) = √{(n^2+m^2)/n}  @

      lim[x→∞](n+mx)/√(1+x^2 ) = lim[x→∞](n/x+m)/√(1/x^2 +1) = m ……A

      lim[x→∞](n+mx)/√(1+x^2 ) = n ……B

     @が最大値であることを示すために、@ABの二乗を比較して@>A、@>Bを証明したいがうまくいきません。
     @とBを比較して

      {(n^2+m^2)/n}/n^2 = (n^2+m^2)/n^3

    とやっても、大小関係がわかりません。どうしたらいいでしょうか?

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

▽[全レス3件(ResNo.1-3 表示)]
■52881 / ResNo.1)  Re[1]: 微分で関数の最大値を求める
□投稿者/ らすかる 一般人(30回)-(2025/05/24(Sat) 18:55:41)
    x<m/n ⇔ f'(x)>0
    x>m/n ⇔ f'(x)<0
    とわかっているならば、それだけでf(m/n)が最大値と決まりますので
    AやBの計算は不要です。

    また、@は間違っています。f(m/n)=√(n^2+m^2)です。

引用返信/返信 [メール受信/OFF]
■52882 / ResNo.2)  微分で関数の最大値を求める
□投稿者/ 星は昴 一般人(2回)-(2025/05/24(Sat) 19:02:08)
     すばやい回答まことにありがとうございます。
    > x<m/n ⇔ f'(x)>0
    > x>m/n ⇔ f'(x)<0
    > とわかっているならば、それだけでf(m/n)が最大値と決まります
     極値(この場合極大値)が1つしかないからですか?

引用返信/返信 [メール受信/OFF]
■52884 / ResNo.3)  Re[3]: 微分で関数の最大値を求める
□投稿者/ らすかる 一般人(31回)-(2025/05/25(Sun) 11:36:47)
    結果的にはそういうことになるかも知れませんが、そんな難しいことは考えていません。
    グラフで考えて
    f(x)はx<m/nで増加 → xをm/nから減らしていけばf(x)は減少し続ける → x<m/nの範囲にf(x)≧f(m/n)となるようなxは存在しない
    f(x)はx>m/nで減少 → xをm/nから増やしていけばf(x)は減少し続ける → x>m/nの範囲にf(x)≧f(m/n)となるようなxは存在しない
    ということですから、f(m/n)は最大値になります。
    # もちろん、これが言えるのはf(x)が連続だからです。
引用返信/返信 [メール受信/OFF]

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



■記事リスト / ▲上のスレッド
■52878 / 親記事)  自然数 階乗
□投稿者/ ココス 一般人(1回)-(2025/05/18(Sun) 09:05:47)
    a,b,c,dが自然数で
    a! b! +a = c! d! +c
    が成り立つとき
    (a,b) = (c,d)
    であると結論できますか?
引用返信/返信 [メール受信/OFF]






Mode/  Pass/

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

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