数学ナビゲーター掲示板 [All Thread / Page: 0]

数学ナビゲーター掲示板

★ google検索	★ 掲示板備え付けのログ検索
この掲示板の過去ログをgoogleで検索します。	検索条件: 現在のログを検索過去のログを検索

■ 2006/2/20より、累計：

、本日：

、昨日：

■ 数式の記述方法
■TeX入力ができます。 \[ TeX形式数式 \]　あるいは，$ TeX形式数式 $　で数式を記述します。
　TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。文字化けが発生したときはここを見てください。
■ 質問をする方は、回答者に失礼のないようにお願いします。
■ 携帯電話でこの掲示板を見れるようにしました。⇒ここを見てください。
■ 24時間以内に作成されたスレッドは

で表示されます。
■ 24時間以内に更新されたスレッドは

で表示されます。

投稿順

レス数

記事リスト ( )内の数字はレス数

スピアマンの順位相関係数の求め方について(0) |

sin(x)sin(x+1)<c(2) |

積分(0) |

確率(3) |

52545の「約数の個数」の式変形について(5) |

約数の個数(6) |

羅生門(1) |

高校数学確率の問題です。(2) |

(x^x)^x = x^(x^2)(4) |

数字が重複しない積(1) |

自然数(2) |

余り(2) |

klog(1+1/k) < 1を証明する(2) |

約数(1) |

n乗根(1) |

lim[θ→0](θ/sinθ)(2) |

常微分方程式の基本的な質問(2) |

単位円と正三角形(2) |

証明微積(0) |

台形(1) |

設問ミスですか？それとも解けますか？(1) |

ζ関数(1) |

フェルマーの最終定理の普通の証明(10) |

高校数学レベルの定積分(2) |

場合の数 (カタラン数に関係したもの)(2) |

G(0) |

岩波講座基礎数学集合の補題6.1についての質問(1) |

確率(2) |

体(3) |

素数(2) |

tan(z) を z = π/2 中心にローラン展開する(2) |

複素数平面(1) |

複素数証明（難）(0) |

確率の問題が分かりません　助けてください(1) |

極限(3) |

メビウス変換(0) |

複素数写像 (0) |

■記事リスト / ▼下のスレッド

■52559 / 親記事)

　不等式

□投稿者/ 不凍液一般人(1回)-(2024/07/02(Tue) 15:10:35)

a,b,c>0のとき
a^a+b^b+c^c≧a^b+b^c+c^a
って成り立ちますか？

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

▽[全レス2件(ResNo.1-2 表示)]

■52893 / ResNo.1)

　Re[1]: 不等式

□投稿者/ WIZ 一般人(16回)-(2025/06/15(Sun) 09:10:03)

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

[補題]
正の実数u, v, x, yに対して、u ≧ v かつ x ≧ y ならば u^x-v^x ≧ u^y-v^y が成立する。

[補題の証明]
y以上の実数xに対して f(x) = u^x+v^x-u^y-v^y とおき、f(x)の増減を調べます。
f'(x) = (u^x)log(u)-(v^x)log(v) です。

(1) u ≧ v ≧ 1 の場合
u^x ≧ v^x > 0 かつ log(u) ≧ log(v) ≧ 0 なので
(u^x)log(u) ≧ (v^x)log(v) つまり f'(x) ≧ 0 と言えます。

(2) u ≧ 1 ≧ v > 0 の場合
log(u) ≧ 0 かつ log(v) ≦ 0 なので f'(x) ≧ 0 と言えます。

(3) 1 > u ≧ v > 0 の場合
u^x ≧ v^x かつ u/v ≧ 1 かつ uv < 1 ですので
f''(x) = (u^x)(log(u)^2)-(v^x)(log(v)^2) ≦ (v^x)(log(u)^2-log(v)^2) = (v^x)log(u/v)log(uv) < 0
となり、f'(x)は単調減少です。

f'(0) = log(u)-log(v) = log(u/v) ≧ 0 です。
また、lim[x→∞]f'(x) = 0 となることから f'(x) ≧ 0 と言えます。

よって、いずれの場合も x > 0 で f'(x) ≧ 0 となりますので、f(x)は単調増加と言えます。
f(y) = 0 ですから x ≧ y で f(x) ≧ 0 が成立します。
[補題終了]

上記補題を用いれば以下のように題意を証明できます。
a ≧ b ≧ c と仮定しても一般性は失われません。

証明すべき式は
a^a+b^b+c^c ≧ a^b+b^c+c^a
⇒ {(a^a-b^a)-(a^b-b^b)}+{(b^a-c^a)-(b^c-c^c)} ≧ 0

a ≧ b なので補題より (a^a-b^a)-(a^b-b^b) ≧ 0
同様に a ≧ c かつ b ≧ c なので (b^a-c^a)-(b^c-c^c) ≧ 0
となって題意は成立すると言えます。

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

■52896 / ResNo.2)

　Re[2]: 不等式

□投稿者/ WIZ 一般人(18回)-(2025/06/16(Mon) 12:11:18)

誤りがありましたので訂正します。

> a ≧ b ≧ c と仮定しても一般性は失われません。

上記が言える為には、a, b, cをどの様に交換しても式の意味が変わらないことが必要でした。
題意の不等式の左辺 a^a+b^b+c^c はこの性質を持ちますが、
右辺 a^b+b^c+c^a この性質を持ちませんでした。
例えば、aとbを交換すると a^b+b^c+c^a は b^a+a^c+c^b と違う式になってしまいます。

a, b, cをどの様に交換しても a^b+b^c+c^a と a^c+b^a+c^b 以外の式は現れません。
既に a ≧ b ≧ c の場合、a^a+b^b+c^c ≧ a^b+b^c+c^a であることは証明したので、
後は、a^a+b^b+c^c ≧ a^c+b^a+c^b であることが証明できれば良いことになります。

a^a+b^b+c^c ≧ a^c+b^a+c^b
⇒ {(a^a-b^a)-(a^b-b^b)}+{(a^b-c^b)-(a^c-c^c)} ≧ 0

a ≧ b ≧ c なので補題より上記不等式は成立すると言えます。

申し訳ありませんでした。

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

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

■記事リスト / ▼下のスレッド / ▲上のスレッド

■52868 / 親記事)

　無平方な多項式

□投稿者/ ふとめネコ一般人(1回)-(2025/05/10(Sat) 20:59:22)

整数係数の2次多項式f(x)で任意の整数nに対してf(n)がsquarefreeになるものは存在しますか？

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

▽[全レス2件(ResNo.1-2 表示)]

■52874 / ResNo.1)

　Re[1]: 無平方な多項式

□投稿者/ らすかる一般人(28回)-(2025/05/12(Mon) 12:05:52)

証明はできないのですが、
f(x)=ax^2+bx+c として
1≦a≦2000, 0≦b≦2000, 0≦c≦2000 の範囲では
そのようなf(x)は存在しなかったことから、
おそらく条件を満たすものは存在しないのではないかと思います。
ちなみにこの範囲の中では
f(x)=293x^2+246x+1307
が最も長くsquarefreeの値が続くもので、このf(x)では
0≦n≦3000でf(n)がsquarefreeとなり、
f(3001)で初めて71^2が登場します。

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

■52894 / ResNo.2)

　Re[1]: 無平方な多項式

□投稿者/ WIZ 一般人(17回)-(2025/06/15(Sun) 15:14:45)

2025/06/16(Mon) 15:33:38 編集(投稿者)

べき乗演算子^は四則演算子より優先度が高いものとします。
1以外の整数の平方を因数に持たない整数を「無平方数」と呼ぶことにします。

a, b, cは整数で a ≠ 0 とします。
またxを整数として f(x) = ax^2+bx+c とします。
結論から言うと、xが整数のときf(x)が常に無平方数となることはないと言えます。

f(x)は2次関数ですから、f(x) = 1 となる整数xは高々2種類の値しかありません。
同様に f(x) = 0 とか f(x) = -1 となる整数xもそれぞれ高々2種類です。
よって、有限個の整数xを除き、無数の整数xに対して |f(x)| > 1 となります。

整数uに対して |f(u)| > 1 とし、f(u)の素因数の1つをpとします。
この時、ある整数vが存在して、f(v)がp^2で割り切れるようにできることを示します。

ある整数mが存在して f(u) = au^2+bu+c = mp とおけます。
kを整数として v = u+kp とおくと、
f(v) = f(u+kp)
= a(u^2+2ukp+(k^2)p^2)+b(u+kp)+c
= (au^2+bu+c)+(2au+b)kp+(k^2)p^2
= (m+(2au+b)k)p+(k^2)p^2

(1) 2au+b が法pで0に合同でない場合
m+(2au+b)k ≡ 0 (mod p) となるkを選べます。
pは素数なので法pの剰余類は整域となり、k = -m*((2au+b)^(-1)) とできるからです。
そして、このようなkを用いれば f(v) ≡ 0 (mod p^2) となり、無平方数ではないと言えます。

(2) 2au+b が法pで0に合同な場合
f(u) ≡ 2au+b ≡ 0 (mod p)
⇒ 2a(au^2+bu+c)-u(2au+b) = (2au^2+2bu+2c)-(2au^2+bu) = bu+2c ≡ 0 (mod p)
⇒ b(2au+b)-2a(bu+2c) = (2abu+b^2)-(2abu-4ac) = b^2-4ac ≡ 0 (mod p)

従って、f(x)と2au+bの公約数となる素数pはb^2-4acの素因数でもあると言えます。
f(x)を決めればb^2-4acは定数ですから、b^2-4acの素因数pの種類は有限個です。

しかし、f(x)の約数となる得る素数は無数であることが以下のように示せます。
f(x)の約数となる得る素数の種類が有限個だと仮定すると、
f(x)が無平方数なら|f(x)|は有限個の素数の積、つまり有限の最大値を持つことになりますが、
2次関数の整数値となる絶対値はいくらでも大きくなれるので矛盾です。

よって、|f(x)|が無平方数とならないことがあるか、
または、f(x) = ax^2+bx+cの約数かつb^2-4acの約数でない素数が存在して
(1)の場合に帰着できかのどちらかと言えます。

以上から、任意の整数xに対して無平方数となるf(x)は存在しないと言えます。

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

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

■記事リスト / ▼下のスレッド / ▲上のスレッド

■52843 / 親記事)

　難しい積分

□投稿者/ 智恵袋一般人(1回)-(2025/05/02(Fri) 19:39:50)
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13314153288

この積分の求め方を教えて下さい。

$2$\Large \displaystyle\int_{\sqrt{\frac{2}{5}}}^{\frac{2}{\sqrt{5}}} \, \sqrt{\frac{1+\sqrt{x^4-x^2+1}}{x^6-x^8} }\,dx$

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

▽[全レス2件(ResNo.1-2 表示)]

■52891 / ResNo.1)

　Re[1]: 難しい積分

□投稿者/ WIZ 一般人(15回)-(2025/06/10(Tue) 15:12:16)

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

I = ∫[√(2/5), 2/√5]{√{(1+√(x^4-x^2+1))/(x^6-x^8)}}dx とおきます。
x = 1/√t と置換すると、dx = (-1/2)(t^(-3/2))dt で積分範囲は [5/2, 5/4] となります。

(1+√(x^4-x^2+1))/(x^6-x^8)
= (1+√(1/(t^2)-1/t+1))/(1/(t^3)-1/(t^4))
= (t^3)(t+√(1-t+t^2))/(t-1)
= (t^3)(t^2-(1-t+t^2))/{(t-1)(t-√(1-t+t^2))}
= (t^3)(t-1)/{(t-1)(t-√(1-t+t^2))}
= (t^3)/(t-√(1-t+t^2))

よって、
I = ∫[5/2, 5/4]{√{(t^3)/(t-√(1-t+t^2))}}(-1/2)(t^(-3/2))dt
= (1/2)∫[5/4, 5/2]{1/√(t-√(1-t+t^2))}dt

更に t-u^2 = √(1-t+t^2) と置換すると、
t^2-2(u^2)t+u^4 = 1-t+t^2
⇒ (1-2u^2)t = 1-u^4
⇒ t = (1-u^4)/(1-2u^2)
# u^2 = 1/2 と仮定すると、t^2-2(u^2)t+u^4 = 1/4-t+t^2 = 1-t+t^2 と矛盾する為。

t-√(1-t+t^2) = t-(t-u^2) = u^2

(d/dt)u^2 = 1-(1/2)(2t-1)/√(1-t+t^2)
= 1-(2t-1)/{2(t-u^2)}
= {2(t-u^2)-(2t-1)}/{2(t-u^2)}
= (1-2u^2)/{2(1-u^4)/(1-2u^2)-2u^2}
= {(1-2u^2)^2}/{2(1-u^4)-(2u^2)(1-2u^2)}
= {(1-2u^2)^2}/(2-2u^2+2u^4)
⇒ {4u(1-u^2+u^4)/{(1-2u^2)^2}}du = dt

上記から
(d/dt)u^2 = 1-(1/2)(2t-1)/√(1-t+t^2)
= 1-(t-1/2)/√(3/4+(t-1/2)^2)
> 1-(t-1/2)/√((t-1/2)^2)
= 0
なので、tが増加するときu^2も単調増加です。

uの積分範囲は t = 5/4 のとき
u^2 = 5/4-√(1-5/4+25/16) = 5/4-√((16-20+25)/16) = (5-√21)/4
⇒ u = (√(5-√21))/2 = a とおきます。

t = 5/2 のとき
u = 5/2-√(1-5/2+25/4) = 5/2-√((4-10+25)/4) = (5-√19)/2
⇒ u = (√(10-2√19))/2 = b とおきます。

# 不安なので検算します。
# (5-√19)/2-(5-√21)/4 = (5-2√19+√21)/4 > (5-2√20+√20)/4 = (5-2√5)/4 > 0

I = (1/2)∫[a, b]{1/u}{4u(1-u^2+u^4)/{(1-2u^2)^2}}du
= (1/2)∫[a, b]{(4-4u^2+4u^4)/(1-4u^2+4u^4)}du
= (1/2)∫[a, b]{1+3/(1-4u^2+4u^4)}du

被積分関数を部分分数に分解します。
1/(1-2u^2) = 1/{(1-(√2)u)(1+(√2)u)} = (1/2){1/(1-(√2)u)+1/(1+(√2)u)}
⇒ 1/{(1-2u^2)^2} = (1/4){1/(1-(√2)u)+1/(1+(√2)u)}^2
= (1/4){1/{(1-(√2)u)^2}+2/{(1-(√2)u)(1+(√2)u)}+1/{(1+(√2)u)^2}}
= (1/4){1/{(1-(√2)u)^2}+1/{(1+(√2)u)^2}+1/(1-(√2)u)+1/(1+(√2)u)}

p = 1-(√2)u, q = 1+(√2)u とおくと、du = (-1/√2)dp = (1/√2)dq です。
1-2u^2 = (1-(√2)u)(1+(√2)u) ≧ 1-2b^2 = 1-(5-√19) = √19-4 > 0 です。
u > 0 ですから、p = 1-(√2)u > 0 かつ q = 1+(√2)u > 0 といえます。

A = (1/2)∫[a, b]du = (b-a)/2
B = (3/8)∫[1-(√2)a, 1-(√2)b]{1/{(1-(√2)u)^2}+1/(1-(√2)u)}du
C = (3/8)∫[1+(√2)a, 1+(√2)b]{1/{(1+(√2)u)^2}+1/(1+(√2)u)}du
とおくと、I = A+B+C です。

B = (3/8)∫[1-(√2)a, 1-(√2)b]{1/(p^2)+1/p}(-1/√2)dp
= (3/8√2)[-1/p+log(p)]_[1-(√2)b, 1-(√2)a]
= (3/8√2){log(1-(√2)a)-log(1-(√2)b)+1/(1-(√2)b)-1/(1-(√2)a)}

C = (3/8)∫[1+(√2)a, 1+(√2)b]{1/(q^2)+1/q}(1/√2)dq
= (3/8√2)[-1/q+log(q)]_[1+(√2)a, 1+(√2)b]
= (3/8√2){log(1+(√2)b)-log(1+(√2)a)-1/(1+(√2)b)+1/(1+(√2)a)}

題意の定積分をwolframe alphaに計算させると、途中経過は分かりませんが結果は1.32ぐらいの値になります。
そして、上記の A+B+C の値も同じ値になるようなので、計算は合っているものと思います。
A+B+C に a = (√(5-√21))/2, b = (√(10-2√19))/2 を代入しても余り綺麗な式にはならなかったので、
これ以上の計算は断念しました。全体的にもっと上手い計算方法があるのかもしれませんが・・・。

長文失礼しました。

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

■52892 / ResNo.2)

　Re[2]: 難しい積分

□投稿者/ らすかる一般人(32回)-(2025/06/10(Tue) 17:11:45)

同じ値になっているようですね。
WolframAlphaでは短い桁数しか得られないようですが、Pari/GPを使うと
1.3205397285378648116075198430985816391362542655890234416958000760311016204193874…
のように必要な桁数の値が得られます。
そしてWIZさんが書かれた式に具体値を代入して多桁を計算してもやはり
1.3205397285378648116075198430985816391362542655890234416958000760311016204193874…
となり、ピタリ同じ値が得られます。
で、A+B+Cをゴリゴリ計算してみたところ
{6log(√7-2)+6log(5+2√19+2√(23+5√19))-9log(3)+4√(47+5√19)-4√7}/(16√2)
となりました。これ以上簡単になりそうな気はしません。

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

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

■記事リスト / ▼下のスレッド / ▲上のスレッド

■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）を表しています。

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

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

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

(携帯)

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

次のスレッド5件＞

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