不等式への招待第３章

不等式への招待第３� ..

2:１３２人目の素数さん
07/05/13 05:02:00
不等式の本
[1]　不等式，ハーディ・リトルウッド・ポリヤ，シュプリンガー，2003年
　　URLﾘﾝｸ(amazon.co.jp)
[2]　不等式，大関信雄・青木雅計，槇書店，1967年（絶版）
[3]　不等式への招待，大関信雄・大関清太，近代科学社，1987年（絶版）
[4]　不等式入門，渡部隆一，森北出版，2005年
　　 URLﾘﾝｸ(amazon.co.jp)
[5]　不等式の工学への応用、海津聰、森北出版，2004年
　　 URLﾘﾝｸ(amazon.co.jp)
[6]　不等式（モノグラフ４），染取弘，科学新興新社，1990年
　　 URLﾘﾝｸ(amazon.co.jp)
[7]　数理科学 No.386 特集「現代の不等式」，サイエンス社，1995年8月号（絶版）
[8]　数学トレッキングツアー第３章「相加平均≧相乗平均」，東京理科大学数学教育研究所，教育出版，2006年
　　URLﾘﾝｸ(amazon.co.jp)
[9]　数学オリンピック事典，数学オリンピック財団，朝倉書店、2001年
　　URLﾘﾝｸ(amazon.co.jp)
[10]　The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities，J. M. Steele，Cambridge Univ. Pr.，2004年
　　 URLﾘﾝｸ(amazon.co.jp)

3:１３２人目の素数さん
07/05/13 05:03:00
不等式の埋蔵地
[1]　RGMIA　URLﾘﾝｸ(rgmia.vu.edu.au)
[2]　Crux Mathematicorum Synopses　URLﾘﾝｸ(www.journals.cms.math.ca)
[3]　Maths problems　URLﾘﾝｸ(www.kalva.demon.co.uk)
[4]　Mathematical Inequalities & Applications　URLﾘﾝｸ(www.ele-math.com)
[5]　American Mathematical Monthly　URLﾘﾝｸ(www.maa.org)
[6]　Problems in the points contest of KöMaL　URLﾘﾝｸ(www.komal.hu)
[7]　IMO リンク集　URLﾘﾝｸ(imo.math.ca)
[9]　Mathematical Olympiads Correspondence Program　URLﾘﾝｸ(www.cms.math.ca)
[10]　Mathematical Excalibur　URLﾘﾝｸ(www.math.ust.hk)
[11]　MathLinks Contest　URLﾘﾝｸ(www.mathlinks.ro)
[12]　MATH PROBLEM SOLVING WEB PAGE　URLﾘﾝｸ(www.math.northwestern.edu) (要自動登録)
[13]　Wolfram MathWorld　URLﾘﾝｸ(mathworld.wolfram.com)

海外不等式ヲタの生息地
[1] Journal of Inequalities in Pure and Applied Mathematics　URLﾘﾝｸ(jipam.vu.edu.au)
[2] MIA Journal　URLﾘﾝｸ(www.mia-journal.com)
[3] MathLinks Math Forum　URLﾘﾝｸ(www.mathlinks.ro)

4:１３２人目の素数さん
07/05/13 05:38:57
　　　　　　　　 __,,......,,,,___
　　　　　　　,.'7'::::::::::::::::!:::::｀ヽ.
　　　　　　 /::::!:::::::::::::::::::!:::::::::::::i
　　　　　　,.!:::::i:::::::o:::::::_」:::_;;:::: ) （､
　　　　　./｀.７-i-ｒ‐ r‐ 'i_!　!ﾊ　⌒　ヽ.
　　　　　i　　!/!,_,ﾊ_ﾊ,.-' -‐'‐ i__!　i. 　',
　　　　　! i 　!.´ __､　　',.-- ､ i i　i 　 !
　　　　　｀'7ヽ!.'´　｀　　　　　 "ﾉ　/ i ｲ
　　　　　　!.　ﾊ"　　　 '___　　くン､/'´　　　　　　乙でございます
　　　　　　ヽ,ﾍ.>..　ヾ ..ノ ,.ｲ／
　　　　　　　　　　.｀＞, -=´_,.!-､
　 r-､　　　　　　 _,く｀' ｰｒr-'":::::〈ヽ､.__
,,..-ヽ;:｀ヽ.　　,.イ´::::::>-‐-＜-‐'":::::::/ ｀ヽ.
-‐::::::i::::::::i　/　!;:::::::! i´￣｀i i::::::::::::;::!　　　i
　　　_　　/　____!___ヽヽ| ヽヽ ─　.____|__

5:１３２人目の素数さん
07/05/13 09:34:59
Cinco!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

6:１３２人目の素数さん
07/05/13 09:38:09
sex

7:１３２人目の素数さん
07/05/19 19:39:52
>>992
とっとと落せ？

8:１３２人目の素数さん
07/05/24 12:22:16
任意の正の実数x、y、zに対して次の不等式が成立する実数wの最大値を求めよ。

√（x／（y＋z））＋√（y／（z＋x））＋√（z／（x＋y））＞w

9:１３２人目の素数さん
07/05/24 21:13:03
x=1≦y≦z としてよい
y+z=k(≧2)とすると、kが一定ならy=1の時が最小値f(k)をとり、
f(k)は単調減少で、f(k)→2 (k→∞)
よってw=2

10:１３２人目の素数さん
07/05/29 14:10:59
nを2以上の整数とするとき
((n+1)^(1+(1/n))-n^(1+(1/n)))/((n+1)^(n+1)-n^(n+1))^n)^(1/n)>1/n
を示せ

11:１３２人目の素数さん
07/05/29 14:36:46
>>10
ちんｽﾚの人？
答えが必要な訳じゃないんだよね？

12:１３２人目の素数さん
07/05/29 23:08:13
>>10
帰納法でいけるか

13:１３２人目の素数さん
07/05/30 04:10:25
正の数 x、y が x+y+xy=1 をみたすとき、1/x + 1/y + 1/(x+y) のとりうる値の範囲を求めよ。

( ﾟ∀ﾟ) ﾃﾍｯ

14:１３２人目の素数さん
07/05/30 05:16:12
発掘しますた！
つ URLﾘﾝｸ(www.math.northwestern.edu)

19 はどうやるんでしょう？
27 は三角関数ヲタ向け？

15:１３２人目の素数さん
07/05/30 05:27:16
C844、M1764、C846、C847、M1769、C851、C854、C855 に (；´Д｀)'`ｧ'`ｧ
URLﾘﾝｸ(www.mat.uniroma2.it)

たぶん、The American Mathematical Monthly (URLﾘﾝｸ(www.maa.org)) って雑誌の問題だと思う。
うちのDQN底辺大学の図書館、2007年度から購読を止めたので読めなくなった…。
ド田舎だから、県内に他に理系大学ないから、もう読めないぜ…
定期購読するしかないのか？

16:１３２人目の素数さん
07/05/30 22:56:41
>8
　√{x/(y+z)} + √{y/(z+x)} + √{z/(x+y)} ≧ (√x + √y + √z)^2 / [√{x(y+z)} + √{y(z+x)} + √{z(x+y)}] > 2.

(略証)
左側:
　コーシーで簡単。
右側:
　x, y ≦ z としてもよい。
　f(z') = √z' のグラフは上に凸だから、接線の下側にある。
　√(z+y) < √{z+y+(y^2)/(4z)} = √z + y/(2√z) < √z + (√y)/2,
　√(z+x) < √{z+x+(x^2)/(4z)} = √z + x/(2√z) < √z + (√x)/2,
　√{z(x+y)} < {(x+y)+z}/2,　　(← 相加･相乗平均)
これらに √x, √y, 1 を掛けてたすと、
　√{x(y+z)} + √{y(z+x)} + √z(x+y)} < √(zx) + √(zy) + √(xy) + (x+y+z)/2 = (1/2)(√x + √y + √z)^2,
よって上式を得る。　(終)

ハｧハｧ　ゼｪゼｪ…

17:１３２人目の素数さん
07/05/31 00:56:20
>13
x+y=s, xy=t とおく(基本対称式),
　題意より s+t=1, s>0, t>0,
　絶対不等式　s^2 -4t = (x-y)^2 ≧0,
より
　0.828427… = 2(√2 -1) ≦ s < 1,
　(与式) = s/t + 1/s = s/(1-s) + 1/s = 1/{s(1-s)} -1 ≧ 5(1+√2)/2 = 6.0355339…
　等号は x = y = s/2 = √2 -1 のとき。

18:１３２人目の素数さん
07/05/31 10:48:17
実数x,y,zについて以下の不等式が成り立つことを示せ。また、等号成立条件を求めよ。

(x^3 + y^3 + z^3 - 3xyz)^2 ≦ (x^2 + y^2 + z^2)^3

19:１３２人目の素数さん
07/06/01 00:29:33
>>18
(右辺)-(左辺)=(xy+yz+zx)^2(x^2 + y^2 + z^2 + (x-y)^2 + (y-z)^2 + (z-x)^2)≧0
より不等式は成立。
この表式より，等号成立条件は xy+yz+zx=0 または x=y=z=0 だが，まとめると xy+yz+zx=0

20:１３２人目の素数さん
07/06/01 01:03:57
>14
[19.] Series involving e. Find the sum of the following series:
Σ[n=1,∞) {e -(1 +1/n)^n}

n*log(1 +1/n) = n*{1/n -1/(2n^2) +O(1/n^3)} = 1 -1/(2n) +O(1/n^2),
(1 +1/n)^n = e*{1 -1/(2n) +O(1/n^2)},
e -(1 +1/n)^n = e/(2n) + O(1/n^2).　
(e/2)Σ 1/n ～ (e/2)log(n)　より対数発散…

蛇足だが、↓ならば収束すると思われ…
　Σ[n=1,∞) {e -(1 +1/n)^(n +1/2)}

21:１３２人目の素数さん
07/06/01 21:58:36
>>16
> 左側:
> 　コーシーで簡単。

シュワちゃんをつかうと、分子は (x+y+z)^2 にならないですか？

22:１３２人目の素数さん
07/06/01 21:59:37
>>16
> 左側:
> 　コーシーで簡単。

シュワちゃんをつかうと、分子は (x+y+z)^2 にならないですか？

23:１３２人目の素数さん
07/06/01 23:29:44
>19 には負領域がない。ゼロ面(node)は↓

ｽﾚﾘﾝｸ(math板:921-922番)
さくらスレ２１７

ｽﾚﾘﾝｸ(math板:64番), 109
さくらスレ２１８

>21-22
　ま～たまた…

24:１３２人目の素数さん
07/06/01 23:36:54
>>23
解説してね。

25:１３２人目の素数さん
07/06/02 00:00:26
>>23
解説してよん

26:１３２人目の素数さん
07/06/02 04:18:27
ｷﾓ

27:１３２人目の素数さん
07/06/02 04:24:38
>>24-26
荒らしは自重しましょう

28:１３２人目の素数さん
07/06/02 06:38:36
>>16
左側の証明が分からないのでお願いします。

29:１３２人目の素数さん
07/06/02 11:43:22
知恵遅れはこのスレに来るなよ。目障り

30:１３２人目の素数さん
07/06/02 12:16:19
>29 荒らすなよ．このスレでは仲良くしろ．
>23 性格変わった？意地悪せずに答えてやれよ．俺が分かるなら答えてやるんだけど．

31:１３２人目の素数さん
07/06/02 12:55:10
つ Cauchy-Schwarzの不等式 (a^2+b^2+c^2)(x^2+y^2+z^2) ≧ (ax+by+cz)^2

[√{x/(y+z)} + √{y/(z+x)} + √{z/(x+y)} ]・[√{x(y+z)} + √{y(z+x)} + √{z(x+y)}]
　≧ (√x + √y + √z)^2

不等式ヲタは仲良くしよう ( ﾟ∀ﾟ) ﾃﾍｯ

32:１３２人目の素数さん
07/06/02 13:11:00
a_1,a_2,a_3,・・・・a_n のk次基本対称式をe_k (k=1,2,...n)

F(k)≡(e_k/nCk)^(1/k)　とするとき

F(k)≧F(k+1)

33:１３２人目の素数さん
07/06/02 13:27:45
>>32
まとめwikiの過去スレミラーから探せ。

34:１３２人目の素数さん
07/06/02 15:13:37
>32
　a_1,a_2,…,a_n >0 のとき、…

* nに関する帰納法
　Part1 の 257, 263(1), 269, 271
　数セミ増刊「数学の問題 = 第①集」日本評論社 (1977/02) No.21 の解説(本文)

* 対称式, Muirhead
　第２章の 800, 810-818
　URLﾘﾝｸ(www.ams.org)

* 微分法
　Part.1 の 480-481
　数セミ増刊「数学の問題 = 第①集」日本評論社 (1977/02) No.21 の解説(追補)
　E.F.Beckenbach and R.Bellman: "Inequalities, Ergebnisse der Mathematik und ihrer Grenzgebiete", Band 30, Springer-Verlag, Berlin (1961) p.11

35:23
07/06/02 15:27:17
>24-25
　亀レスだが…

Q.　ゼロ面(node) xy+yz+zx =0 はどんな形?

A.　座標軸を回して Z=(x+y+z)/√3 とし、(X,Y,Z)で直交系をなすようにすれば
　xy+yz+zx = {(x+y+z)^2 -x^2 -y^2 -z^2}/2 = {3Z^2 -X^2 -Y^2 -Z^2}/2 = Z^2 -(X^2 +Y^2)/2,
　よって、円錐面で、主軸はZ軸すなわち x+y+z の方向。

36:１３２人目の素数さん
07/06/02 18:31:58
>>35
ﾅﾙﾎﾄﾞﾅｰ

37:16
07/06/02 21:30:14
>21-22,28

ｽﾚﾘﾝｸ(math板)
シュワちゃんスレ

38:１３２人目の素数さん
07/06/03 11:25:41
>8
　√{z/(x+y)} = z/√{z(x+y)} > 2z/{(x+y)+z},　　　(← 相乗･調和平均)
循環的にたす.

39:１３２人目の素数さん
07/06/03 12:20:48
>>8
見事。

40:１３２人目の素数さん
07/06/03 19:53:07
>>38
(*ﾟ∀ﾟ)=3 ﾊｧﾊｧ…

41:１３２人目の素数さん
07/06/04 03:02:02
>15

[C.851]
　b^2 +c^2 +bc = (3/4)(b+c)^2 + (1/4)(b-c)^2 ≧ (3/4)(b+c)^2,
　a√(b^2 +c^2 +bc) ≧ {(√3)/2}(ab+ca),
循環的にたす。

[C.844]
Σ[k=1,n] 1/k -γ -log(n) = ε(n) とおくと,
Σ[n=1,N] ε(n)/n = log(N)ε(N) + (1/2)ε(N)^2 - (1/2)γ^2 + (1/2)Σ[n=1,N] (1/n^2) + {(1/2)log(N)^2 - Σ[k=1,N] log(k)/k }
　→　-(1/2)γ^2 + (1/2)ζ(2) - L　(N→∞).

42:１３２人目の素数さん
07/06/04 15:02:00
何者だ一体？
すげー実力ｗ

43:１３２人目の素数さん
07/06/04 17:59:41
照れるぜ・・・

44:１３２人目の素数さん
07/06/04 18:26:30
>>42
不等式マニア

45:１３２人目の素数さん
07/06/04 18:37:23
>>42
不等式ヲタは共同体で連続体で群生体だから、無限の知識と無尽蔵の体力を持ってるんだYO！

46:１３２人目の素数さん
07/06/04 18:46:09
恒等式ヲタ出現きぼん

47:１３２人目の素数さん
07/06/04 21:51:55
実数x,y,zについて以下の不等式が成り立つことを示せ。また、等号成立条件を求めよ。

　(x^3 + y^3 + z^3 - 3xyz)^2 + (xy+yz+zx)^3 ≦ (x^2 + y^2 + z^2)^3.

48:１３２人目の素数さん
07/06/05 01:12:09
>15

[C.846]
　(1/n)Σ[k=1,n] {C[n,k]}^(-k) ≧ {(n+1)/(2^n)}^((n+1)/2).

(略解)
・n=1,2 は直接確かめる。
・n≧3 のとき、k=n の項だけ残す。
　n^2 ≦ 2^(n+1),
　n+1 ≦ 2^(n-1),
　(左辺) ≧ 1/n ≧ (1/2)^((n+1)/2) ≧ {(n+1)/(2^n)}^((n+1)/2) = (右辺).

49:１３２人目の素数さん
07/06/05 01:52:56
>>47
(右辺)-(左辺)=(3/2)(xy+yz+zx)^2((x-y)^2 + (y-z)^2 + (z-x)^2)
より不等式は成立。
等号成立条件は xy+yz+zx=0 または x=y=z

50:１３２人目の素数さん
07/06/05 02:32:32
>>15　 [C854]
H_k=∫[0,1]Σ[j=0,k-1]t^j dt=∫[0,1](1-t^k)/(1-t) dt
n!/Π[j=0,n](k+j)=Γ(n+1)Γ(k)/Γ(n+k+1)=Β(k,n+1)=∫[0,1]t^(k-1)*(1-t)^n dt
これらから
H_k*n!/Π[j=0,n](k+j)
=∫[0,1](1-t^k)/(1-t) dt*∫[0,1]t^(k-1)*(1-t)^n dt
=[∫[0,x](1-t^k)/(1-t) dt*∫[0,x]t^(k-1)*(1-t)^n dt]_[x=0,1]
部分積分を使うことで
H_k*n!/Π[j=0,n](k+j)
=∫[0,1](1-x^k)/(1-x)∫[0,x]t^(k-1)*(1-t)^n dtdx
　+∫[0,1]∫[0,x](1-t^k)/(1-t) dt*x^(k-1)*(1-x)^n dx
を得る。
kについてこれらの和を取る。(極限の順序交換の大雑把さは大目に見てください)
Σ[k=1,∞]∫[0,1](1-x^k)/(1-x)∫[0,x]t^(k-1)*(1-t)^n dtdx
=∫[0,1]∫[0,x] Σ[k=1,∞] {t^k-(tx)^k}/{t(1-x)}*(1-t)^n dtdx
=∫[0,1]∫[0,x](1-t)^(n-1)/(1-tx) dtdx
=∫[0,1]∫[t,1](1-t)^(n-1)/(1-tx) dxdt (積分の順序交換)
=∫[0,1]log(1+t)*(1-t)^(n-1)/t dt
同様に
Σ[k=1,∞]∫[0,1]∫[0,x](1-t^k)/(1-t) dt*x^(k-1)*(1-x)^n dx
=-∫[0,1]log(1-x^2)*(1-x)^(n-1)/x dx
=-∫[0,1]log(1-t^2)*(1-t)^(n-1)/t dt (変数をtに書き換えた)

以上から
Σ[k=1,∞]H_k*n!/Π[j=0,n](k+j)
=∫[0,1]log(1+t)*(1-t)^(n-1)/t dt -∫[0,1]log(1-t^2)*(1-t)^(n-1)/t dt
=-∫[0,1]log(1-t)*(1-t)^(n-1)/t dt
=∫[0,∞]y*e^(-ny)/{1-e^(-y)} dy ( y=-log(1-t) と変数変換)
=∫[0,∞]Σ[j=n,∞]y*e^(-jy) dy
=Σ[j=n,∞]1/j^2=π^2/6-Σ[j=1,n-1]1/j^2
ゆえ
Σ[k=1,∞]H_k/Π[j=0,n](k+j)=1/(n!)*{π^2/6-Σ[j=1,n-1]1/j^2}

51:１３２人目の素数さん
07/06/05 04:11:21
凄い！こんなにガンガン解ければ楽しいだろうな…

A.422、B.3987、B.3989、C.892 （C.892は昔、入試問題で解いたような…）
URLﾘﾝｸ(www.komal.hu)
A.425、B.3997、B.4000
URLﾘﾝｸ(www.komal.hu)

52:１３２人目の素数さん
07/06/05 23:57:18
三角関数の問題
△ABCが sin2A/5 = sin2B/4 = sin2C/3 をみたすとき、 Aの値を求めよ。

問54_3
URLﾘﾝｸ(www.asahi-net.or.jp)

53:１３２人目の素数さん
07/06/06 01:32:46
>52
　A,B,C は同時に鋭角、直角または鈍角。
　3つとも鈍角、直角は不合理なので、鋭角3角形。
　A=arctan(1)=45ﾟ, B=arctan(2),　C=arctan(3).

54:１３２人目の素数さん
07/06/06 13:40:18
何所が不等式や

55:１３２人目の素数さん
07/06/06 16:42:24
>54
ﾊｧﾊｧできればいいのさ
>53
過程がよくワカリマセン

56:１３２人目の素数さん
07/06/07 01:28:47
>>15　 [C.854]　別法

　S_n = (n!)Σ[k=1,∞) (H_k)/[k(k+1)……(k+n)]　とおき、
　S_1 = (π^2)/6 と S_n - S_(n+1) = 1/(n^2)　から
　S_n = (π^2)/6 -1 -1/(2^2) - … - 1/{(n-1)^2}
を示す。

S_1 = Σ[k=1,∞) (H_k)/[k(k+1)]
　　= Σ[k=1,∞) (H_k){1/k - 1/(k+1)}
　　= Σ[k=1,∞) {(H_k)/k - H_(k-1)/k}　　　　　　　　(← H_0 = 0 )
　　= Σ[k=1,∞) 1/(k^2)
　　= ζ(2)
　　= (π^2)/6.

S_n - S_(n+1) = Σ[k=1,∞) (H_k){ (n!)/[k(k+1)…(k+n)] - (n+1)!/[k(k+1)…(k+n+1)] }
　　= (n!)Σ[k=1,∞) (H_k)/[(k+1)……(k+n+1)]
　　= (n-1)!Σ[k=1,∞) (H_k){1/[(k+1)…(k+n)] - 1/[(k+2)…(k+n+1)] }
　　= (n-1)!Σ[k=1,∞) { (H_k)/[(k+1)…(k+n)] - H_(k-1)/[(k+1)…(k+n)] }　　(← H_0 =0)
　　= (n-1)!Σ[k=1,∞) 1/[k(k+1)…(k+n)]
　　= (n-1)!Σ[k=1,∞) (1/n){ 1/[k(k+1)…(k+n-1)] - 1/[(k+1)…(k+n)] }
　　= (n-1)!(1/n)(1/n!)
　　= 1/(n^2).

57:１３２人目の素数さん
07/06/07 21:52:14
>51 上

[A.422]
Let x_1,x_2,…,x_n,x_(n+1) be positive real numbers with x_1+x_2+…+x_n = x_(n+1).
Prove that
　Σ[i=1,n] √{x_i[x_(n+1) - x_i]} ≦ √{ Σ[i=1,n] x_(n+1)[x_(n+1) - x_i]},
(略解)
(左辺) ≦ (1/n){Σ[i=1,n] √x_i)}{Σ[j=1,n] √(x_{n+1} - x_j)}　　(← 逆順序積 ≦ 乱順序積)
　　≦ √{Σ[i=1,n] x_i}･√{Σ[j=1,n] (x_{n+1} - x_j)}　　　　　　　(← コーシー)
　　= √(x_{n+1})･√{Σ[j=1,n] (x_{n+1} - x_j)}
　　= √{Σ[j=1,n] x_{n+1}[x_{n+1} - x_j]}
　　= (右辺).

[B.3989]
　a,b,c are positive real numbers, such that a^2 +b^2 +c^2 +abc = 4.
　Prove that a+b+c ≦ 3.
(略解)
　1-a,1-b,1-c のうち2つは同符号、よって (1-b)(1-c) ≧0 としてもよい。
　3(3-a-b-c) + (a^2 +b^2 +c^2 +abc -4)
　= (1/2)(2-a-b)^2 + (1/2)(2-b-c)^2 + (1/2)(2-c-a)^2 -(1-a)(1-b)(1-c)
　= (1/4)(3-2c-a)^2 + (1/4)(3-2b-a)^2 + (1/2)(1-a)^2 + a(1-b)(1-c)
　≧ a(1-b)(1-c).

[C.892]
Prove that if x,y,z are positive real numbers and xyz=1, the values of the expressions
　 1/(1+x+xy),　y/(1+y+yz),　xz/(1+z+xz)
cannot all be greater than 1/3.
(略解)
　 1/(1+x+xy) = yz/(1+y+yz) =　z/(1+z+xz),
　xy/(1+x+xy) =　y/(1+y+yz) =　1/(1+z+xz),
　 x/(1+x+xy) =　1/(1+y+yz) = xz/(1+z+xz),
辺々たす.

58:１３２人目の素数さん
07/06/07 21:58:46
>51 下

[B.3997]
　x,y,z are real numbers.　Prove that if xyz=u, then
　x^4 + y^4 + z^4 + x^2･y^2 + y^2･z^2 + z^2･x^2 ≧ 2u(x+y+z).

(略解)
　(左辺) - (右辺) = (1/2)(x^2 -y^2)^2 + (1/2)(y^2 -z^2)^2 + (1/2)(z^2 -x^2)^2
　　　　　　　　　+ (x^2)(y-z)^2 + (y^2)(z-x)^2 + (z^2)(x-y)^2.

ハァハァ

59:１３２人目の素数さん
07/06/07 22:47:53
>>57
[C.892]の解答みて思い出した。
俺はこの問題を解いて（いや解けずに答えを見て）、
不等式の世界に入ったんだ（いや囚われの身になったんだ）！
ﾊｧﾊｧ・・・

60:１３２人目の素数さん
07/06/08 15:06:36
以前あった問題
a,b,c>0
ab+bc+ca=1で
(1+a^2+b^2)/(a+b)^2+(1+b^2+c^2)/(b+c)^2+(1+c^2a^2)/(c+a)^2≧5/2
を誰か解決してくれ。もうノート２冊分くらいぐるぐるしてる。
ちなみにいじってるうちに
(a-b)^2+(b-c)^2+(c-a)^2≧(a-b)^2/(a+b)^2+(b-c)^2/(b+c)^2+(c-a)^2/(c+a)^2
と同値とか、わきにそれてばかりいる。

大体、２文字対称不等式だと、大抵そんなむずかしくはないし、使う式も大体
決まってるんだが、どうも、３文字対称不等式はめんどくさい。誰か解いてくれ。
それから、不等式もそろそろ分類してもいい頃あいだと思うんだが、、、。
むずかしそうで、ルーチンで解ける物、それ以外（これが多いから収集したりする
訳だが、、、）。

結局、相加相乗平均を使うだけの問題も多いと思う。

61:１３２人目の素数さん
07/06/08 16:44:59
対称不等式だから
(1+a^2+b^2)/(a+b)^2+(1+b^2+c^2)/(b+c)^2+(1+c^2　＋　a^2)/(c+a)^2≧5/2
でいいんだよな

a+b+c=s, ab+bc+ca=t, abc=uとおいて
(t^2+a^2+b^2)/(a+b)^2+(t^2+b^2+c^2)/(b+c)^2+(t^2+c^2+a^2)/(c+a)^2≧15/4
を示す
t^2+a^2+b^2=t^2-2ab+(a+b)^2等を使えば
(t^2-2ab)/(a+b)^2+(t^2-2bc)/(b+c)^2+(t^2-2ca)/(c+a)^2≧3/4と同値
左辺=f/(a+b)^2(b+c)^2(c+a)^2とすれば、根性で対称式で書いて
4f-3(a+b)^2(b+c)^2(c+a)^2
=4s(st-u)(s^2-3t)+(18stu+s^2t^2-27u^2-4t^3-4su)
st-u≧0は容易、
18stu+s^2t^2-27u^2-4t^3-4su≧0は
３次方程式x^3-sx^2+tx-u=0が実数解のみを持つ条件
s^2-3t≧0はその解がすべて０以上の条件で、終り

間違ってるかもしれん。正しい／いい解法は実力者を待て

62:１３２人目の素数さん
07/06/08 16:55:22
18stu+s^2t^2-27u^2-4t^3-4su≧0と
s^2-3t≧0
合わせて実数解条件だったかもしれん
正の解の条件ではないな、
まあなんか本を見ておくれ

63:１３２人目の素数さん
07/06/08 17:07:40
手許にあった論文
a new look at newton's inequalities (結構面白い、webで拾えると思う）
によると
18stu+s^2t^2-27u^2-4t^3-4su≧0は実数解条件でwell-knownだそうだ
s^2-3t=(1/2){(a-b)^2+(b-c)^2+(c-a)^2}
は理くつ不要だった

スレ汚しすまん

64:１３２人目の素数さん
07/06/08 17:13:51
18stu+s^2t^2-27u^2-4t^3-4s　＾３　u
なんかボロボロorz

65:１３２人目の素数さん
07/06/08 19:30:22
またt^2とか間違いを見つけたので直したの貼り直しときます

a,b,c>0に対し、a+b+c=s, ab+bc+ca=t, abc=uとおいて
(t+a^2+b^2)/(a+b)^2+(t+b^2+c^2)/(b+c)^2+(t+c^2+a^2)/(c+a)^2≧15/4
を示す。これはt+a^2+b^2=t-2ab+(a+b)^2等を使えば
(t-2ab)/(a+b)^2+(t-2bc)/(b+c)^2+(t-2ca)/(c+a)^2≧3/4と同値。
左辺=f/((a+b)^2(b+c)^2(c+a)^2)とすれば、
4f-3(a+b)^2(b+c)^2(c+a)^2
=4s(st-u)(s^2-3t)+(18stu+s^2t^2-27u^2-4t^3-4s^3u)
と基本対称式で書ける。（一応乱数入れてチェックしてみた）
ここで、s^2-3t=(1/2)((a-b)^2+(b-c)^2+(c-a)^2)≧0...(*)、
st-u=(a+b+c)(ab+bc+ca)-abc
≧3(abc)^(1/3)・3(ab・bc・ca)^(1/3)-abc=8abc>0であり、
D_3=18stu+s^2t^2-27u^2-4t^3-4s^3u≧0は
３次方程式x^3-sx^2+tx-u=0が実数解のみを持つ条件で
a,b,cがこの方程式の３解だから満たされている
等号条件は(*)よりa=b=cが必要で、このとき実際成立する。

66:１３２人目の素数さん
07/06/08 21:44:08
>>60
あまり考えてないけど、x=b+c, y=c+a, z=a+b と置き換えて

(ab+bc+ca+a^2+b^2)/(a+b)^2

をx,y,zで表したらどうなる？

67:１３２人目の素数さん
07/06/08 22:49:39
>>63
これでおじゃるかな？
( ﾟ∀ﾟ)つ URLﾘﾝｸ(www.emis.de)

68:１３２人目の素数さん
07/06/09 04:33:02
>>67
そうです、ありがと

やってみたらたまたまできた？だけなんで
素人の力づく解法でみっともないかもしれない

このスレすごい人がいるから期待してる

69:１３２人目の素数さん
07/06/09 06:09:48
>>66
それでうまく行きますね、俺何やってんだか・・・やっぱりみっともなかったｗ

70:１３２人目の素数さん
07/06/09 14:26:36
>15

[M.1769]
Determine a formula for the coefficient of x^i･y^j in
P_n(x,y) = Σ[k=0,n] C[2n+1,2k+1] x^(n-k)･(x+y)^k.

(略解)
　{(1+u)^(2n+1) - (1-u)^(2n+1)}/(2u) = Σ[k=0,n] C[2n+1,2k+1] (u^2)^k = Q(u^2)
とおくと,
　P_n(x,y) = (x^n)Q({x+y}/x) = Σ[i=0,n] C[n+i,n-i] (4x)^i･y^(n-i) = Σ[j=0,n] C[2n-j,j] (4x)^(n-j)･(y^j).

ﾃﾍｯ

71:１３２人目の素数さん
07/06/09 19:52:22
>>70
ｷﾀｯ！ｗﾍ√ﾚｖ-(ﾟ∀ﾟ)-ﾍ√ﾚ- !! ｽﾝﾊﾞﾗｽｨ！

72:訂正>>60
07/06/10 16:03:35
(1+a^2*b^2)/(a+b)^2+(1+b^2*c^2)/(b+c)^2+(1+c^2*a^2)/(c+a)^2≧5/2
ごめんなさい。

73:１３２人目の素数さん
07/06/10 19:28:51
>>72
( ﾟдﾟ)ﾎﾟｶｰﾝ

74:１３２人目の素数さん
07/06/10 20:28:38
>>51 下

[A.425]
　Let n≧2 and let a_1,a_2,…,a_n, x_1,x_2,…,x_n be positive real numbers such that a_1+a_2+ … +a_n =A,　x_1+x_2+ … + x_n =X.
Prove that
　2Σ[1≦i<j≦n] x_i･x_j ≦ {(n-2)/(n-1)}X^2 + Σ[i=1,n] {a_i/(A-a_i)}(x_i)^2.

(略解)
コーシーより
　Σ[i=1,n] {A/(A-a_i)} (x_i)^2　≧{Σ[k=1,n] x_k}^2 /{Σ[j=1,n] (A-a_j)/A } = {1/(n-1)}X^2,
よって
　(右辺) = {(n-2)/(n-1)}X^2 + Σ[i=1,n] {A/(A-a_i)}(x_i)^2 - Σ[i=1,n] (x_i)^2
　　≧ {(n-2)/(n-1)}X^2 + {1/(n-1)}X^2 - Σ[i=1,n] (x_i)^2
　　= X^2 - Σ[i=1,n] (x_i)^2
　　= 2Σ[1≦i<j≦n] x_i･x_j
　　= (左辺).

[B.3997]　>>58

[B.4000]
　Find the smallest possible value of x^2 +y^2, given that x and y are real numbers, x≠0 and xy(x^2 -y^2) = x^2 +y^2.

(略解)
　(1/4)(x^2 +y^2)^2 = (1/4){(2xy)^2 + (x^2 -y^2)^2} ≧ (1/2)(2xy)(x^2 -y^2) = xy(x^2 -y^2)
と与式から
　x^2 +y^2 ≧ 4,
等号成立は　2xy = x^2 -y^2,
　(x,y) = (±√(2+√2), ±√(2-√2)),　(±√(2-√2), 干√(2+√2))　〔複号同順〕

ハｧハｧ

75:１３２人目の素数さん
07/06/15 09:35:26
△ABCが鋭角三角形のとき，
tanA tanB tanC ≧ 3√3
を示せ。

76:１３２人目の素数さん
07/06/15 10:23:38
>>75
tanA=x　tanB=y　tanC=zとおく。
△ABCが鋭角三角形な事からx,y,zは全て正の数。
また z=tan(π-(A+B))=-tan(A+B)=-(x+y)/(1-xy)　ゆえ
z-xyz=-x-y　すなわちx+y+z=xyzが成り立つ。
x/(xyz)^(1/3)>0 ,y/(xyz)^(1/3)>0, z/(xyz)^(1/3)>0
について、相加相乗平均から
(x+y+z)/(xyz)^(1/3)≧3{xyz/(xyz)}^(1/3)=3
x+y+z=xyzから　(xyz)^(2/3)≧3　ゆえxyz≧3√3
等号成立はx=y=zのとき、それは
0<θ<π/2でのtanθの狭義単調増加性から
A=B=Cのときなので△ABCが正三角形のとき。

77:１３２人目の素数さん
07/06/15 11:19:19
>>75
tanA=x　tanB=y　tanC=zとおく。
△ABCが鋭角三角形な事からx,y,zは全て正の数。
また z=tan(π-(A+B))=-tan(A+B)=-(x+y)/(1-xy)　ゆえ
z-xyz=-x-y　すなわちx+y+z=xyzが成り立つ。

…までは>>76と同じで，ここからはtan xの凸不等式でおしまい。

78:１３２人目の素数さん
07/06/15 11:51:32
>>77
コピペの上に「～でおしまい。」って。
人の事馬鹿にしてるのじゃなければ
もう少し書き様って物があるんじゃないですか?

79:１３２人目の素数さん
07/06/15 12:28:50
>>75
解析的な証明。

tanA=x　tanB=yとおく。
まず，A,B<π/2よりx,yは正の数。
また，C<π/2 なので，tan(π-(A+B))=-(x+y)/(1-xy)>0 だから xy>1
つまり，x,y>0, xy>1 の条件下において，xy(x+y)/(xy-1)≧3√3 を示すことになる。

s=x+y, t=xy とおくと，s,t の変域は s>0，t>1，s^2-4t≧0.
この条件下で，st/(t-1)≧3√3 を示せばよい。

言い換えれば，t>1, s≧2√t ⇒ s≧3√3 (1-1/t) を示せばよい。
つまり，t>1 ⇒ 2√t≧3√3 (1-1/t) を示せばよい。

f(t)=2√t - 3√3 (1-1/t) とおけば，f'(t)=0 となるのは t=3 のときで，このとき最小値をとる。
よって f(t)≧f(3)=0 なので示された。

80:１３２人目の素数さん
07/06/15 12:39:16
ごめん，怒られてる理由がいまいちわかんない。
だってほんとにtan xの凸不等式でおしまいじゃん。ｗ

81:１３２人目の素数さん
07/06/15 12:49:29
>>78
凸不等式を知っているかね？オービーくんッ！

82:１３２人目の素数さん
07/06/15 18:07:05
>>80
見通しの悪い駄解答を書き込んですまんかったな。
わざわざコピペ引用までして晒し上げたうえに
あてつけの一言まで頂いたけるとは思わなかったよ。

83:１３２人目の素数さん
07/06/15 23:55:34
仲良くしようぜ ('A`)

84:１３２人目の素数さん
07/06/16 07:16:19
　　　　　　　★★小泉純一郎と安部は朝鮮人★★
コピペして各板に貼り付けよう　知人にも話そう政治板もたまには覗こう
小泉純一郎　
・戦前大臣を務めた祖父小泉又次郎は純粋な日本人とされる。だが、純一郎の帰化朝鮮人である父が鮫島姓を買い取り
　又次郎の娘をたぶらかして婿として小泉家に入る　そこで小泉家は帰化朝鮮人である純一郎の父に乗っ取られた
　参照Wikipedia項目ﾘﾝｸ
・父親の純也は、鹿児島加世田の朝鮮部落の出身者といわれる　日大卒業名簿には、純也の日本名はなく、
　見知らぬ朝鮮名が書かれているという　
　純也は朝鮮人の帰国事業、地上の楽園計画の初代会長であった
・結婚後、子供をもうけ即離婚した宮本佳代子は在日企業エスエス製薬創業者の孫
・小泉の元秘書官の名前は飯島勲←注目　帰化朝鮮人
・派閥のドン森喜朗も生粋の朝鮮人 ←森も帰化人がよく使う通名
・小泉は、横須賀のヤクザ、稲川会と関係が深い
安倍晋三
・岸家毛利元就が陶晴賢と厳島沖で戦い大勝を収めた際、寝返って毛利方についた船の
　調達人が「ガン」と称する帰化人であったという　毛利はその功績によって「ガン」を
　田布施周辺の代官に召したてた　このガンを岸家の先祖とする説がある
・祖父岸信介が文鮮明と共に反共団体　国際勝共連合（統一教会）を設立
・官房長官時代統一教会「合同結婚式」に祝電を送り、話題に
・安倍のスポンサーは、下関の朝鮮人パチンコ業者である
・グリコ森永事件時、明らかになった帰化朝鮮人企業森永のご令嬢と結婚
・そのわが国のファーストレディーは電通（会長成田豊、半島生まれの帰化人）勤務という分かりやすい
　経歴の持ち主の朝鮮の血筋
・韓国、中国の留学生に日本の企業に入ってもらうために住居費分、学費免除分、生活費など月計２０万～３０万円相当の支給
　日本人のワーキングプア層を全く省みない　また帰化系在日系朝鮮人が日本の企業で技術を盗み、半島の現代などの企業に
　伝授していることが深刻な問題になっている　
・多くの朝鮮人が差別を主張し、警察、原発、自衛隊で職を得ている

85:１３２人目の素数さん
07/06/18 00:26:37
>15

[C.847]
　面積を ⊿ とおくと、
　r=⊿/s, 4R = 2a/sin(A) =abc/⊿,　
　(⊿^2)/s = (s-a)(s-b)(s-c)　　　(← ヘロン)
より
　(左辺) = (r^2･s)^(1/3) = {(⊿^2)/s}^(1/3) = {(s-a)(s-b)(s-c)}^(1/3),
　(中辺) = √{(4R+r)r /3} = √{[abc + (⊿^2)/s] /(3s)} = √{[(s-a)(s-b)+(s-b)(s-c)+(s-c)(s-a)] /3},
　(右辺) = s /3 = {(s-a) + (s-b) + (s-c)} /3.
以下ry)

まとめ
　[C.844] >>41 [C.846] >>48 [C.847] ↑ [C.851] >>41 [C.854] >>50, >>56 [M.1769] >>70

ﾊｧﾊｧ

86:57
07/06/18 00:46:37
>51 上

[B.3987]
　Let n≧4 be an integer, and let a_1,a_2,…,a_n denote non-negative real numbers.
Prove that
　Π[k=1,n] (a_k + a_{k+1} + a_{k+2})^2 ≧ (2^n)Π[k=1,n] (a_k + a_{k+1})^2,
where a_{n+1}=a_1, a_{n+2}=a_2.

｛略解(in Hungarian)｝
(a+t)(t+d) = t(a+t+d) + ad ≧ t(a+t+d),
に t=b+c を入れて
(a+b+c)(b+c+d) ≧ (b+c){(a+b)+(c+d)} ≧ (b+c)・2√{(a+b)(c+d)}.　　(←相加･相乗平均)
循環的に掛ける。

URLﾘﾝｸ(www.komal.hu)

ｺﾞﾎｺﾞﾎ

87:１３２人目の素数さん
07/06/21 01:36:20
( ﾟ∀ﾟ)つ問題投下
a,b,c>0 のとき，
　(2/3)(a^2/(b+c)+b^2/(c+a)+c^2/(a+b)) ≧ √((a^2+b^2+c^2)/3)
が成立することを示せ。

88:１３２人目の素数さん
07/06/21 14:06:45
まず(b+c)/2≦√((b^2+c^2)/2)等だから、
(2/3)(a^2/(b+c)+b^2/(c+a)+c^2/(a+b)) ≧(√2/3)(a^2/√(b^2+c^2)+...)
よってa^2=x等とおいて、
(√2/3)(x/√(y+z)+y/√(z+x)+z/√(x+y))≧√((x+y+z)/3)
を示せばよい。
k>0に対し、f(x)=x/√(k-x)は0<x<kで凸であるから、k=x+y+zとしておけば、
(√2/3)(x/√(y+z)+y/√(z+x)+z/√(x+y))=√2・(f(x)+f(y)+f(z))/3
≧√2f((x+y+z)/3)=√((x+y+z)/3)

89:１３２人目の素数さん
07/06/22 00:19:04
>87
　(2/3){a^2/(b+c)+b^2/(c+a)+c^2/(a+b)} ≧ (a^2 +b^2 +c^2)/(a+b+c) ≧ √{(a^2 +b^2 +c^2)/3}.

(略証)
左側
　(左辺)*{(b+c)a^2 + (c+a)b^2 + (a+b)c^2} ≧ (2/3)(a^2 +b^2 +c^2)^2,　　(←コーシー)
　(b+c)a^2 + (c+a)b^2 + (a+b)c^2 ≦ (2/3)(a+b+c)(a^2 +b^2 +c^2),　　(← 逆順序積 ≦ 乱順序積)
　辺々割る。
右側
　(a+b+c)^2 = 3(a^2 +b^2 +c^2) -(a-b)^2 -(b-c)^2 -(c-a)^2 ≦ 3(a^2 +b^3 +c^2),
　∴ 1/(a+b+c) ≧ 1/√{3(a^2 +b^2 +c^2)}.

ﾊｧﾊｧ

90:88
07/06/22 00:25:00
>>89
すげーな、プロの味がするｗ

91:89
07/06/22 00:39:29
>89 の左側の別解

　(左辺) ≧ (2/9)(a^2 +b^2 +c^2){1/(b+c) + 1/(c+a) + 1/(a+b)}　(← 同順序積 ≧ 乱順序積)
　　　　 ≧ 2(a^2 +b^2 +c^2) / {(b+c) + (c+a) + (a+b)}　　　　　(← 相加･調和平均)
　　　　 = (a^2 +b^2 +c^2) / (a+b+c).

92:１３２人目の素数さん
07/06/24 01:39:02
>87

〔系〕 a,b,c>0 のとき
　(2/3){a^2/(b+c) +b^2/(c+a) +c^2/(a+b)} ≧ (a^2 +b^2 +c^2)/(a+b+c) ≧ √{(a^2 +b^2 +c^2)/3} ≧ (a+b+c)/3 ≧ (abc)^(1/3).

2. (IMO 1995 Canada)
　Let a,b,c be positive real numbers such that abc=u.　Prove that
　1/{a^3･(b+c)} + 1/{b^3･(c+a)} + 1/{c^3･(a+b)} ≧ (3/2)u^(-4/3).

(略証)　上式の a→1/a,　b→1/b,　c→1/c,　u→1/u とおく。

93:１３２人目の素数さん
07/06/25 00:14:52
並べ替えの不等式について質問です。

ｎ！個の式のうち一番大きくなるは正順で、一番小さくなるのが逆順ですが
残りの中間の不等式で大小関係がはっきりつくグループは何個なんでしょうか？

ｎ＝３　のときは中間の３！－２＝４個の式が２個のグループに分けられるみたいですが。

94:１３２人目の素数さん
07/07/01 13:14:08
>>93
面白いね、これって論文１本書ける問題じゃないのかな
専門家のコメント希望

95:１３２人目の素数さん
07/07/01 13:31:10
>>93
n=4　のときにやってみたらハッセ図？みたいのが出来たけど、、

96:１３２人目の素数さん
07/07/01 13:56:25
(*ﾟ∀ﾟ)=3

97:１３２人目の素数さん
07/07/01 14:54:06
〔問題〕
a>0 とする。
関数f(x)は上に凸な連続関数で、f(0)=a, f(a)=0 を満たすとする。
また、関数g(x)は、0≦g(x)≦a を満たす連続関数とする。
このとき次の不等式が成り立つことを示せ（下記不等式中にある積分は全て区間[0,a]の定積分とする)。
　∫f(g(x))dx + ∫g(x)dx + a^2 ≦ 2∫f(x)dx.

* f(x)の微分可能性は保証されていません。

ｽﾚﾘﾝｸ(math板:58-61番)
東大入試作問者スレ９

98:１３２人目の素数さん
07/07/01 15:02:42
>97
　∫f(g(x))dx + ∫g(x)dx ≦ 2∫f(x)dx.

(略解)
max_[0≦y≦a] {f(y)+y} = M とおくと
　(右辺) ≦ ∫_[0,a] M dx = Ma,
題意により、f(x)+x は上に凸な連続関数。よって、折れ線 (0,f(0))－(h,M)－(a,0) より上側にある。
　(左辺) = 2∫_[0,h] {f(x)+x}dx + 2∫_[h,a] {f(x)+x}dx - 2∫_[0,a] xdx ≧ {f(0)+M}h + (M+a)(a-h) -a^2 = Ma.

99:98
07/07/01 15:13:30
>98の訂正, ｽﾏｿ

>97
(略解)
max_[0≦y≦a] {f(y)+y} = M とおくと
　(左辺) ≦ ∫_[0,a] M dx = Ma,
題意により、f(x)+x は上に凸な連続関数。よって、y=f(x)+x のグラフは折れ線 (0,f(0))－(h,M)－(a,a) より上側にある。
　(右辺) = 2∫_[0,h] {f(x)+x}dx + 2∫_[h,a] {f(x)+x}dx - 2∫_[0,a] xdx ≧ {f(0)+M}h + (M+a)(a-h) -a^2 = Ma.

100:１３２人目の素数さん
07/07/07 00:26:28
URLﾘﾝｸ(messages.yahoo.co.jp) より。

n≧1, m≧2とするとき、
Σ{k=1,n}( (1/k)^((m-1)/m) ) ＜ m n^(1/m)

101:１３２人目の素数さん
07/07/07 04:27:54
>100

左辺に
　(1/k)^{(m-1)/m} < ∫[k-1,k] (1/x)^{(m-1)/m} dx
を代入するらしいお…

102:１３２人目の素数さん
07/07/12 11:14:54
x,y,z is possible. Prove

{(xy^2+1)^(1/3)+(yz^2+1)^(1/3)+(zx^2+1)^(1/3)}^3≧xyz+1

103:１３２人目の素数さん
07/07/13 03:23:30
>>102
URLﾘﾝｸ(wiki.livedoor.jp)
に３通りの解答を載せておきました。

104:102
07/07/13 04:23:56
>>103
ありがとう！

105:102
07/07/13 09:35:05
>>104 どちらさま？

>>103ありがとうございますっ
っってどうみても>>102には右辺の定数倍が欠けてるっっorz
右辺を３倍いやむしろ２７倍してもたぶん成立するという事実
102自体も問題としてはなりたっているが…

103様、もしよろしければ解き直して、wikiのほうも追加してもらえませんか？
申し訳ない

106:１３２人目の素数さん
07/07/13 10:45:35
|　 |　　　　　　　　　　　　　
|　∥　　　　　　　　　　ﾉﾉﾉﾉ　-＿_ 　勘違いするなよ！
|>>102　　　　　　　　(ﾟ∈ﾟ　)　　─_＿___　___
|∧ 从ﾉ　　　　　 (ミ_　(⌒＼ヽ　_　__＿
（ (≡￣￣￣￣三＼⌒ノ　ノ )
|(つWつ￣￣＼　⌒彡) 　ﾉ　　＝＿
| ＼つ　つ　　　　＼,_＿_,ノノ
|　 |　 )　　　　　　　　/　／　≡＝
|　 |　　　　　　　　　 / ノ　　　　　　__________
|　 |　　　　　　　　 /ノ　＿─ (´⌒(´
|　 |　　　　　　　ﾐ/＝　(´⌒(´⌒;;
|　''''""'''"'''"""''"""'''''"'"''''""''"''''"""''"'''""''"''"'''"''

107:１３２人目の素数さん
07/07/14 05:35:41
>102

　(xy^2)^(1/3) =Z, (yz^2)^(1/3) =X,　(zx^2)^(1/3) =Y とおくと
　(X+Y+Z)/3 ≧ XYZ = xyz,

　g(t) = (t^n +1)^(1/n)　とおくと
　g'(t) = t^(n-1) /（t^n +1)^(1 -1/n)　>0, 　　　(単調増加)
　g"(t) = (n-1)t^(n-2) / (t^n +1)^(2 -1/n) >0,　　(下に凸)

　(左辺)^3 = {g(X) + g(Y) + g(Z)}/3 ≧ g((X+Y+Z)/3) ≧ g((XYZ)^(1/3)) = g((xyz)^(1/3)) = (右辺)^3,

108:107
07/07/14 08:01:35
>102 いつもの事だが訂正

　(X+Y+Z)/3 ≧ (XYZ)^(1/3) = (xyz)^(1/3),
　n>1
　(左辺)^(1/3) = …… = (右辺)^(1/3).

109:１３２人目の素数さん
07/07/14 12:41:49
102は、f(e^x)がｘについて凸な関数のときに、（ｘ＞０）
Jensen不等式の相乗平均verが成り立つことを
問題にしたかっただけなんだ。
迷惑かけて申し訳ない。お詫びとして

a,b,cは正の実数。このとき常に次の式が成り立つような最大のαを求めよ

a^b+b^c+c^a>α

110:１３２人目の素数さん
07/07/14 23:23:13
>109

c=a^(1/a) のとき、
　(左辺) = a^b + b^c + a,
a→0 のとき c⇒0 なので,
　lim[a→0] (左辺) = 0^b + b^0 + 0 = 1,
　α = 1.

111:１３２人目の素数さん
07/07/16 13:40:04
>110

Q. ほんとに1以下にならない??

A.
(1) a,b,c の1つでも1以上ならおk,
(2) 0<a,b,c<1 のとき
　f(x) = (1/a)^x は下に凸だから、
　(1/a)^b < (1-b) + b/a = (a+b-ab)/a　　… ベルヌーイの不等式
　a^b > a/(a+b-ab) > a/(a+b+c),
辺々たす。

URLﾘﾝｸ(www.nikonet.or.jp)

112:１３２人目の素数さん
07/07/21 08:13:14
( ﾟ∀ﾟ)つ>>87の改良版
a,b,c>0 のとき，
　(2/3)(a^2/(b+c)+b^2/(c+a)+c^2/(a+b)) ≧ ((a^3+b^3+c^3)/3)^(1/3)
が成立することを示せ。

113:１３２人目の素数さん
07/08/02 11:33:35
Polyaの不等式のH.Alzerによる拡張

f,g,h は [a,b] 上の実数値関数で，f は単調増加，g,h はC^1級で，
g(a)=h(a)，g(b)=h(b) を満たすものとするとき，
(∫_[a,b] f(x)g'(x)dx) (∫_[a,b] f(x)h'(x)dx)≦(∫_[a,b] f(x)√[(g(x)h(x))']dx)^2

114:１３２人目の素数さん
07/08/16 02:18:39
〔問題〕
　x+y+z=1,　x,y,z ≧0 のとき　f(x,y,z) = (x-y)(y-z)(z-x) ≦ 1/(6√3) を示せ。

ｽﾚﾘﾝｸ(math板:56番)
分かスレ２７９

115:１３２人目の素数さん
07/08/16 02:32:44
>114

f(x,y,z)>0 となるのは 0≦x<y<z またはその cyclic の場合。
そこで、x<y<z の場合を考える。（他の場合も同様）
　f(x,y,z) = (y-x)(z-y)(z-x)
は zについて単調増加、xについて単調減少。
　f(x,y,z) ≦ f(0,y,z+x) = f(0,y,1-y) = y(1-y)(1-2y)
　= 1/(6√3) - 2{y -(1/2) +(1/2√3)}^2･{y +(1/2) +(1/√3)} ≦ 1/(6√3),
等号成立は x=0, y=(1/2)-1/(2√3), z=(1/2)+1/(2√3) のとき。

116:１３２人目の素数さん
07/08/16 08:23:31
数蝉の最新号に、不等式が載っていたなはぁはぁ…せｄｆｒｔｇｙふじこｌｐ

117:１３２人目の素数さん
07/08/16 22:37:32
★東大入試作問者になったつもりのスレ★ 第九問
ｽﾚﾘﾝｸ(math板:634-番)

【問題】
3辺の長さがa，b，cである三角形の内接円の半径をrとする．
このとき，不等式
　　(a + b + c)/r ≧6√3
が成り立つことを示せ．

118:１３２人目の素数さん
07/08/16 23:54:59
>117
　a/r = cot(B/2) + cot(C/2), …, …
を左辺に代入し、cotθは下に凸, A+B+C=π を使う。

119:１３２人目の素数さん
07/08/17 22:37:24
【問題】
3辺の長さがa，b，cである三角形の外接円の半径をRとする．
このとき，不等式
　　 (a + b + c)/R ≦ 3√3
が成り立つことを示せ．

120:１３２人目の素数さん
07/08/17 22:43:31
>119
だから
　a/R = 2sin(A), …, …
を左辺に代入し、sinθ は上に凸, A+B+C=π を使うだお。

〔系〕R ≧ 2r.

ｽﾚﾘﾝｸ(math板:638-639番)

121:１３２人目の素数さん
07/08/17 23:10:15
〔系〕R ≧ 2r.

これは、球殻不等式というんだお。（・3・）

122:１３２人目の素数さん
07/08/18 18:00:49
>121
㌧クス.

△の3辺の中点を通る円の半径 = R/2. この円は△の3辺を切るから、半径 ≧r. (清水多門氏)

[前スレ.496-499,660,974] 文献[3] p.8 (絶版)

123:１３２人目の素数さん
07/08/18 20:10:08
【問題】
3辺の長さがa,b,cである三角形の内接円の半径をr, 外接円の半径をR とする.
このとき, 不等式
　(a + b + c - 4R) /r ≦ 6√3 -8 = 2.39230484…,
が成り立つことを示せ.

等号は正3角形のとき,
直角3角形のとき左辺は2.

ｽﾚﾘﾝｸ(math板:674番)
東大入試作問者スレ９

124:１３２人目の素数さん
07/08/21 00:06:01
>123
このスレの解答は↓になるだろうな。ちっともエレガントぢゃねぇが…

a,b,cが3角形の辺をなすとき、次の附帯条件（3角不等式）がある。
　s-a >0,　s-b >0,　s-c >0, s=(a+b+c)/2
そこで s-a, s-b, s-c を独立変数と見れば、附帯条件は無くなる。基本対称式を
　(s-a) + (s-b) + (s-c) = s,
　(s-a)(s-b) + (s-b)(s-c) + (s-c)(s-a) = t,
　(s-a)(s-b)(s-c) = u,
とおくと abc = st-u,
　⊿ = √{s(s-a)(s-b)(s-c)} = √(su),
　r = ⊿/s = √(u/s),
　R = abc/(4⊿) = (st-u) / {4√(su)},
　(左辺) = {2s - (st-u)/√(su)} / √(u/s) = 2(s^1.5)/√u - (st/u) +1,
示すべき式は
　{(st/u) +(右辺-1)}^2 - 4(s^3)/u = (1/t^2)H(s,t,u) ≧0,
　H(s,t,u) = {st + 2(右辺-1)u}sF_(-2) + 27(7-4√3)uF_(-1) + 3(16√3 -27)sG ,
ここに F_n はSchurの不等式のF_nで,
　F_(-2) = (t^3 -4stu +9u^2)/(u^2) ≧0,
　F_(-1) = (t^2 -3su)/u ≧0,
　F_0 = s^2 -3t ≧0,
　G(s,t,u) = st-9u ≧0,
これより、
　H(s,t,u) ≧0,

ぬるぽ

125:124
07/08/21 00:22:21
（補足）

3角形の面積を⊿とおくと、
　⊿ = √{s(s-a)(s-b)(s-c)} = √(su),　　　…… ヘロンの公式

126:１３２人目の素数さん
07/08/21 11:18:25
グッジョブ！ (*ﾟ∀ﾟ)

127:１３２人目の素数さん
07/08/23 05:27:52
【類題】
3辺の長さがa,b,cである鈍角*三角形の内接円の半径をr, 外接円の半径をR とする.
このとき, 不等式
　(a + b + c - 4R) /r ≦ 2,
が成り立つことを示せ。　(*直角3角形も含める)

等号は直角3角形のとき.

128:１３２人目の素数さん
07/08/25 10:43:13
>127

　r=⊿/s, R=abc/(4⊿)　より,
　(4R+r)r = {(⊿^2)/s + abc}/s = s^2 + (ab+bc+ca) = (2ab+2bc+2ca-a^2-b^2-c^2)/4 (=t),
　(4R+2r)^2 - (a+b+c)^2 = 16R^2 +4(4R+r)r - (a+b+c)^2
　　= 16R^2 + (2ab+2bc+2ca-a^2-b^2-c^2) - (a+b+c)^2
　　= 2(8R^2 -a^2 -b^2 -c^2),
　　= -16R^2 cos(A)cos(B)cos(C),　　　　　　　　(← 補題)

〔補題〕
　(a^2 +b^2 +c^2) -8R^2 = (a^2 +b^2 -c^2) - 2(4R^2 -c^2)
　= 2abcos(C) - 2(4R^2 -c^2)　　　　　　　 (← 第2余弦定理)
　= 8R^2 {sin(A)sin(B)-cos(C)}cos(C)　　　　(← 正弦定理)
　= 8R^2 {sin(A)sin(B)+cos(A+B)}cos(C)　　　(← A+B+C=π)
　= 8R^2 cos(A)cos(B)cos(C),
これは、鋭角・直角・鈍角に従って正･0･負。(終)
(数セミ, 2007/09)

ぬるぽ

129:１３２人目の素数さん
07/08/26 13:25:45
〔問題〕
a,b,c は abc=G^3 を満たす正の実数である. 0≦p≦q のとき次の不等式が成り立つことを示せ.
　{a^p + b^p + c^p}*G^(q-p) ≦ a^q + b^q + c^q.

ｽﾚﾘﾝｸ(math板:753-754番) を改作
東大入試作問者スレ９

130:１３２人目の素数さん
07/08/26 14:54:55
>>129
URLﾘﾝｸ(wiki.livedoor.jp)

131:１３２人目の素数さん
07/08/26 15:37:41
>129 相加･相乗平均と乱順序積≦同順序積より左辺 ≦ (a^p+b^p+c^p)*{a^(q-p)+b^(q-p)+c^(q-p)}/3 ≦ 右辺.

ｽﾚﾘﾝｸ(math板:766番),771

132:１３２人目の素数さん
07/08/26 16:54:33
>129 は q≦p≦0 のときも成立.

q-p = d とおくと >131 より
　(左辺) ≦ (a^p + b^p + c^p)(a^d + b^d + c^d)/3 = (右辺) + {(a^p -b^p)(a^d -b^d) + (b^p -c^p)(b^d -c^d) + (c^p -a^p)(c^d -a^d)}/3 ≧ (右辺).

133:１３２人目の素数さん
07/08/27 11:14:33
>>132
確かに>>130の証明も，q≦p≦0のときにも成り立っていますね。
>>130の証明を追記しておきました。

134:１３２人目の素数さん
07/09/10 22:34:38
IMO longlisted problem 1987
θ[1],θ[2],θ[3]・・・,θ[n]を実数とし、sinθ[1]+sinθ[2]+・・・sinθ[n]=0とするとき次の不等式を示せ。

|sinθ[1]+2sinθ[2]+・・・+nsinθ[n]|≦[n^2/4 ]

The IMO compendium P209 より
この本って問題は豊富なんだけど解答がその半分もないんですね

135:１３２人目の素数さん
07/09/11 00:01:21
あっさりオイラー使えよ

136:１３２人目の素数さん
07/09/11 06:43:58
nt-t+(n-1)t-2t...=tn(n+1)/2-2t(n/2)(n-2+1)/2=

137:１３２人目の素数さん
07/09/11 06:48:20
tn(n+1)/2-2t(n/2)(n/2+1)/2= f

df/dt=n(n+1)/2-n(n+2)/4=0
nn/4=0
t=1->n^2/4

138:１３２人目の素数さん
07/09/11 06:55:08
>134

a[k] = sinθ[k+1] + sinθ[k+2] + …… + sinθ[n],
とおく。題意より
　a[0] = a[n] = 0,
また
　|a[k-1] - a[k]| = |sinθ[k]| ≦ 1,
よって
　|a[k]| ≦ k　　　(k=0,1,2,…,[n/2])
　|a[k]| ≦ n-k　　(k=[n/2]+1,･･･,n-1,n)
与式 = | Σ[k=1,n-1] a[k] | ≦ Σ[k=1,n-1] |a[k]| ≦ ･･･

あっさり。

139:１３２人目の素数さん
07/09/12 16:23:24
>>138　あっさりでしたか。
問題仕入れてきました。1988年/大学への数学「宿題」らしいです。

実数x[1],,x[2],・・・,x[n]が
x[1]+x[2]+・・・+x[n]=0
(x[1])^2+(x[2])^2+・・+(x[n])^2=1
を満たしながら動くとき次の不等式を示せ。ただしnは3以上の整数とする。

(x[1])^3+(x[2])^3+・・・+(x[n])^3≦(n-2)/√(n^2-n)

140:１３２人目の素数さん
07/09/12 20:02:15
xk=-xn-k+1=t
nt^2=1
t^3=n^-3/2
nt^3=n^-1/2

141:１３２人目の素数さん
07/09/14 12:07:31
>>139
[略解]
ラグランジュ乗数法で停留点条件を調べると，
x[1],x[2],……,x[n] たちは2種類の値のみをとることが必要と分かる。
そこで x[1] から x[n] のうちで p 個が a という値をとり，(n-p)個が b という値をとるとする。
ただし x[1]=……=x[n] とはなりえないので a<b，1≦p≦n-1 としてよい。
2本の束縛条件の式に代入して解くと， a, b を p の式で表せる。
すると (x[1])^3 + …… + (x[n])^3 が p の関数として表せる。
この関数は p について単調増加なので，p=n-1 のときが最大値。
その最大値は (n-2)/√(n^2-n) となる。

次ページ