- 1 名前：不等式ヲタ mailto:sage [2010/10/24(日) 23:56:56 ]
- ある人は蝶を集め、ある人は切手を収集し、ある人は不等式を集める…
＿＿＿ ----- 参考文献〔３〕 P.65 -----
|┃三 .／ ≧ ＼
|┃ |:::: ＼ .／ |
|┃ ≡|::::: (● (● | 不等式と聞ゐちゃぁ
＿＿__.|ミ＼＿ヽ::::... .ワ......ノ 黙っちゃゐられねゑ…
|┃=＿＿ ＼ ﾊｧﾊｧ
|┃ ≡ ） 人 ＼ ガラッ
過去スレ
・不等式スレッド （Part1） science3.2ch.net/test/read.cgi/math/1072510082/
・不等式への招待 第２章 science6.2ch.net/test/read.cgi/math/1105911616/
・不等式への招待 第３章 science6.2ch.net/test/read.cgi/math/1179000000/
・不等式への招待 第４章 kamome.2ch.net/test/read.cgi/math/1245060000/
過去スレのミラー置き場：cid-d357afbb34f5b26f.skydrive.live.com/browse.aspx/.Public/
まとめWiki wiki.livedoor.jp/loveinequality/
姉妹サイト（？）
Yahoo! 掲示板 「出題 不等式」 messages.yahoo.co.jp/bbs?.mm=GN&action=l&board=1835554&tid=bdpbja1jiteybc0a1k&sid=1835554&mid=10000
- 527 名前：１３２人目の素数さん mailto:sage [2011/08/23(火) 04:59:16.48 ]
- (ﾟдﾟ；) ﾄ､ﾄｳｾﾞﾝ ﾃﾞ ｺﾞｻﾞﾙﾖ…
- 528 名前：１３２人目の素数さん mailto:sage [2011/08/23(火) 12:50:44.75 ]
- >>526-527
相加･相乗平均を使えば >>524 と同じ....
(左辺) ≧ 3{f(x,y)f(y,z)f(z,x)}^(1/3),
x^2 +xy +y^2 = 3(x^2 -xy+y^2) - 2(x-y)^2 ≦ 3(x^2 -xy +y^2), より
f(x,y) = (x^3 + y^3)/(x^2 +xy +y^2)
≧ (1/3)(x^3 + y^3)/(x^2-xy+y^2)
= (1/3)(x+y),
再度、相加･相乗平均より
(左辺) ≧ {(x+y)(y+z)(z+x)}^(1/3)
= {8xyz + x(y-z)^2 + y(z-x)^2 + z(x-y)^2}^(1/3)
≧ 2(xyz)^(1/3),
- 529 名前：１３２人目の素数さん mailto:sage [2011/08/23(火) 16:00:00.77 ]
- ＡＢ＜ＡＣでＢの近くにＤをとり，Ｃの近くにＰをとる。
- 530 名前：１３２人目の素数さん mailto:sage [2011/08/23(火) 19:51:01.60 ]
- >>524
x,y,z は正数で、x+y+z=3 とする。このとき……
- 531 名前：１３２人目の素数さん mailto:sage [2011/08/24(水) 21:08:58.13 ]
- >>498
第10回(2011年)中国女子数学オリンピック(CGMO)の問題3
www.imojp.org/
www.imojp.org/challenge/index.html 過去問
- 532 名前：１３２人目の素数さん mailto:sage [2011/08/24(水) 22:01:55.57 ]
- (*ﾟ∀ﾟ)=3 ﾊｧﾊｧ…
- 533 名前：１３２人目の素数さん mailto:sage [2011/08/24(水) 22:07:45.91 ]
- >>531
中華の問３、どっかで見たような希ガス…
- 534 名前：１３２人目の素数さん mailto:sage [2011/08/25(木) 05:16:58.00 ]
- C.944
www.mat.uniroma2.it/~tauraso/GRA20/main.html
- 535 名前：１３２人目の素数さん mailto:sage [2011/08/25(木) 06:57:10.69 ]
- >>238
>>251
- 536 名前：１３２人目の素数さん mailto:sage [2011/08/25(木) 16:54:26.26 ]
- そういや３年位前に、高校の先生が相加相乗平均の新証明の記事があったけど、
いまさらながら、その論文のリンクを貼っておく
www.emis.de/journals/JIPAM/images/080_08_JIPAM/080_08.pdf
並べ替え不等式を使うのか…
- 537 名前：１３２人目の素数さん mailto:sage [2011/08/25(木) 23:04:28.49 ]
- >>526
x,y,z は正数で xy+yz+zx = 3 とする。このとき……
- 538 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 07:19:11.26 ]
- 0
- 539 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 08:57:16.76 ]
- x, y, zは正の実数で x+y+z=11 , x≦2, y≦3 のとき √(xyz) ≦6 .
- 540 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 09:07:33.95 ]
- >>539
どうやるん？
- 541 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 13:08:56.28 ]
- >>536
その方法と 全 く 同 じ 方 法 で、
色々な不等式(もちろん相加相乗平均も)を証明した記事が、
数学セミナーに掲載されている。
数学セミナー 2004.2
ttp://www.nippyo.co.jp/magazine/4352.html
＞対称性を有する不等式の統一的証明について 仁平政一 52
↑この記事。2004年だから、例の高校の先生より早い。
- 542 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 13:19:33.62 ]
- >>541
なんと！ すごいな
- 543 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 13:21:54.25 ]
- さて、不等式ヲタ ≒ 三角関数 ≒ nCrヲタであるから、次の問題
【問題】 Σ[r = 0、n] (-1)^k * nCr / (x+r) = ？
- 544 名前：訂正 mailto:sage [2011/08/26(金) 13:22:23.41 ]
- 543 名前：１３２人目の素数さん[sage] 投稿日：2011/08/26(金) 13:21:54.25
さて、不等式ヲタ ≒ 三角関数 ≒ nCrヲタであるから、次の問題
【問題】 Σ[r = 0、n] (-1)^r * nCr / (x+r) = ？
- 545 名前：541 mailto:sage [2011/08/26(金) 13:32:26.78 ]
- 記事名をキーワードにググってみたら、
数研通信とかいうサイトに まるごと載ってるじゃねーか(＾o＾)
数研通信 47号2003年8月
不等式の証明の統一的方法（仁平政一）
ttp://www.chart.co.jp/subject/sugaku/suken_tsushin/47/47-5.pdf
>541と若干タイトルが違うが、著者は同じ。で、こっちの方が
さらに年月が古く、2003年8月となっている。
>541のやつは、この記事の加筆修正なのかもしれん(俺の手元に
数セミが無いので、確認できない＾o＾)。
- 546 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 13:40:03.23 ]
- >>545
情報サンクス！
数蝉の年２回のNOTEは、コピーしてファイルしてるので見たけど、
数検通信の記事から抜粋したものですな
で、この方法は >>2 参考文献[1] P.25の方法と同じな希ガス…
- 547 名前：541 mailto:sage [2011/08/26(金) 13:57:35.26 ]
- ＞で、この方法は >>2 参考文献[1] P.25の方法と同じな希ガス…
ということは、並べ替え不等式を使う方法は
ずっと昔から知られていたと。
- 548 名前：１３２人目の素数さん [2011/08/26(金) 21:17:47.93 ]
- 541>所謂, Rearrangememt Inequalityですな。
>>544 int_0^1 x^2 dxは？
- 549 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 02:57:18.25 ]
- >>539-540
xy -(x+y+1) +2 = (x-1)(y-1) ≦ 2,
∴ xyz = xy(11-x-y) ≦ (1+x+y)(11-x-y) = 36 - (5-x-y)^2 ≦ 36,
∴ √(xyz) ≦ 6,
- 550 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 03:29:51.55 ]
- >>549
１行目が思いつかない
どういう発想で、こういう解法に辿りついたのか知りたいです
数字が変わっても、このやり方は使えるのですか？
- 551 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 04:35:47.24 ]
- >>544
f_n(x) = Σ[r = 0 to n] (-1)^r * nCr / (x+r) とおくと
f_{n+1}(x) = f_n(x) - f_n(x+1)
- 552 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 04:47:31.94 ]
- B[x,n+1]だろ
- 553 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 05:25:31.22 ]
- >>552
なにそれ？
- 554 名前：１３２人目の素数さん [2011/08/27(土) 13:27:34.85 ]
- a,b,cが三角形の三辺の長さのとき
1/4<(a+b)(b+c)(c+a)/(a+2b)(b+2c)(c+2a)
を示せ
高１の宿題です
さっぱりわかりません
- 555 名前：１３２人目の素数さん [2011/08/27(土) 15:42:42.51 ]
- 4(a+b)(b+c)(c+a)-(a+2b)(b+2c)(c+2a)
={4(b+c)*a^2 + 4(b+c)^2*a + 4bc(b+c)} - {2(b+2c)*a^2 + (b+2c)(4b+c)*a + 2bc(b+2c)}
=2b*a^2 + (4b^2+8bc+4c^2-4b^2-9bc-2c^2)*a + 2b^2c
=2b*a^2 + (-bc+2c^2)*a + 2b^2c
=2(ba^2+cb^2+ac^2)-abc
=6*(1/3)*(ba^2+cb^2+ac^2)-abc
≧6*abc-abc (相加相乗平均 等号成立はba^2=cb^2=ac^2⇔a=b=c)
=5abc>0
- 556 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 15:51:37.29 ]
- >>555じゃないが、「三角形の三辺の長さ」って条件必要か？
- 557 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 16:00:47.53 ]
- 高１で３次の相加相乗平均を勝手に使っていいか不明だし
三角形であることをうまく使って証明できるのかもしれない。
やり方がわからんのだけど。
- 558 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 16:09:52.09 ]
- ＞高１で３次の相加相乗平均を勝手に使っていいか不明
うろ覚えだが、2次の相加相乗平均でさえ習うのは高2だったような。
まあa^3+b^3+c^3-3abc=(a+b+c){(a-b)^2+(b-c)^2+(c-a)^2}/2から直接導けるが。
何か数Ⅰ,A範囲で証明できる方法があるのかね。
- 559 名前：１３２人目の素数さん [2011/08/27(土) 16:46:12.93 ]
- >>555
三角形の条件は？
- 560 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 20:16:44.76 ]
- つまり、三角形の３辺をなす正の数 a、b、c でなくても成立する不等式だったと…
出題者は、三角形の成立条件を考慮した上で、もっと厳しい評価式を出題しろってこった！
- 561 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 20:40:02.91 ]
- >>560
a,b,cが三角形の三辺の長さのとき
8/27 ≦ (a+b)(b+c)(c+a)/{(a+2b)(b+2c)(c+2a)},
を示せ。
等号成立は a=b=c のとき。
- 562 名前：１３２人目の素数さん [2011/08/27(土) 20:42:15.42 ]
- てめえが示せこの野郎！
- 563 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 21:41:01.83 ]
- >>562
君は口が悪いな、このスレにふさわしくない
さっさと、夜光灯を振る仕事に戻るんだ！
- 564 名前：１３２人目の素数さん mailto:sage [2011/08/27(土) 22:02:32.00 ]
- 三角形の辺の長さに関する不等式について検索したら…
不等式プロがヒットした！
www.researchgate.net/publication/41797900__()
- 565 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 01:06:08.23 ]
- >>561
27(a+b)(b+c)(c+a) - 8(a+2b)(b+2c)(c+2a)
= 11(aab +bbc +cca) -5(abb +bcc +caa) -18abc
= (17/3){2(aab +bbc +cca) -(abb +bcc +caa) -3abc}
+(1/3){-(aab +bbc +cca) +2(abb +bcc +caa) -3abc}
= (17/3)P + (1/3)Q,
三角不等式より
2P = 4(aab +bbc +cca) -2(abb +bcc +caa) -6abc
= (b+c-a)(a-b)^2 + (c+a-b)(b-c)^2 + (a+b-c)(c-a)^2 ≧ 0,
2Q = -2(aab +bbc +cca) +4(abb +bcc +caa) -6abc
= (c+a-b)(a-b)^2 + (a+b-c)(b-c)^2 + (b+c-a)(c-a)^2 ≧ 0,
- 566 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 04:33:06.72 ]
- >>544
n!/{x(x+1)(x+2)…(x+n)}
- 567 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 05:36:37.46 ]
- >>561
三角形の３辺だから
a=q+r, b=r+p, c=p+q, >>273
とおく。p,q,r≧0
27(a+b)(b+c)(c+a) - 8(a+2b)(b+2c)(c+2a)
= 27(q+2r+p)(r+2p+q)(p+2q+r) - 8(q+3r+2p)(r+3p+2q)(p+3q+2r)
= 6(p^3 +q^3 +r^3) -11(ppq+qqr+rrp) +5(pqq+qrr+rpp)
= (17/3){p^3 + q^3 + r^3 -2(ppq+qqr+rrp) +(pqq+qrr+rpp)}
+(1/3){p^3 + q^3 + r^3 +(ppq+qqr+rrp) -2(pqq+qrr+rpp)}
= (17/3)P + (1/3)Q,
P = p^3 + q^3 + r^3 -2(ppq+qqr+rrp) +(pqq+qrr+rpp)
= p(p-q)^2 + q(q-r)^2 + r(r-p)^2 ≧ 0,
Q = p^3 + q^3 + r^3 +(ppq+qqr+rrp) -2(pqq+qrr+rpp)
= q(p-q)^2 + r(q-r)^2 + p(r-p)^2 ≧ 0,
変わり映えしねぇ.....
- 568 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 05:59:42.21 ]
- >>29-31 >>44
a,b,c ≧0,
m = min{a,b,c}
{a,b,c} = {m,m+x,m+x+y}
とおく。
a+b+c=s, ab+bc+ca=t, abc=u として
s^2 -3t = x^2 +xy +y^2,
st-9u = 2m(x^2+xy+y^2) + x(x+y)(2x+y),
|⊿| = |(a-b)(b-c)(c-a)| = xy(x+y),
6s^3 -21st + 27u = 12m(x^2+xy+y^2) + 3(2x^3 +3xxy +5xyy +2y^3)
> 3(2x^3 +3xxy +5xyy +2y^3)
≧ 3xy(5x+7y)
> 15xy(x+y)
= 15|⊿|,
- 569 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 06:06:32.37 ]
- >>494 の類題
a,b,cを実数、⊿ = (a-b)(b-c)(c-a)、とするとき
a^4 + b^4 + c^4 + (a+b+c)⊿ ≧ (1/27)(a+b+c)^4,
を示せ。 (こってうし）
www.casphy.com/bbs/test/read.cgi/highmath/1169210077/672
- 570 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 21:55:29.60 ]
- I+J+K+L+N = 0 のとき
f(x,y,z) = N(x^4 + y^4 + z^4) + I(yx^3 + zy^3 + xz^3) + J(xy^3 + yz^3 + zx^3) + K(xxyy+yyzz+zzxx) + Lxyz(z+y+z),
を平方和で表わせ。ただし、N = A^2 + B^2 + C^2 とする。
- 571 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 22:08:28.25 ]
- >>570
f(x,y,z) = (Ax^2 + By^2 + Cz^2 + Pyz + Qzx + Rxy)^2 + cyclic. + K '{xxyy+yyzz+zzxx-xyz(x+y+z)}
とおいて、係数 P,Q,R を求めよう。 ここに
K ' = K - P^2 - Q^2 - R^2 - 2(AB+BC+CA),
まづ
P + Q + R = - (A+B+C),
CP + AQ + BR = I/2,
BP + CQ + AR = J/2,
より
AP + BQ + CR = -(I+J)/2 -(A+B+C)^2,
クラメルの公式より
P = {I(B-A) + J(C-A) + 2(A+B+C)(BC-AA)}/D,
Q = {I(C-B) + J(A-B) + 2(A+B+C)(CA-BB)}/D,
R = {I(A-C) + J(B-C) + 2(A+B+C)(AB-CC)}/D,
ここに
D = 2(A^2 + B^2 + C^2 -AB -BC -CA) = (A-B)^2 + (B-C)^2 + (C-A)^2 ≧ 0,
P^2 + Q^2 + R^2 = (A+B+C)^2 + {(II+IJ+JJ) + 2(I+J)(A+B+C)^2 + 4(AB+BC+CA)(A+B+C)^2}/D,
PQ + QR + RP = －(1/2){(II+IJ+JJ) + 2(I+J)(A+B+C)^2 + 4(AB+BC+CA)(A+B+C)^2}/D,
これを使えば K ' を計算できる。
K '≧0 なら平方和になる。そのためには、|A+B+C| がなるべく小さくなるように符号をとるとよい。
- 572 名前：１３２人目の素数さん mailto:sage [2011/08/28(日) 22:28:51.81 ]
- >>571 補足
xxyy + yyzz + zzxx - xyz(x+y+z) = (1/2){x(y-z)}^2 + (1/2){y(z-x)}^2 + (1/2){z(x-y)}^2 ≧ 0,
- 573 名前：１３２人目の素数さん [2011/08/29(月) 01:00:36.43 ]
- 1991 IMO 1/4<(a+b)(b+c)(c+a)/(a+b+c)^3≦8/27
- 574 名前：１３２人目の素数さん [2011/08/29(月) 01:19:05.81 ]
- 1/x^4+1/y^4+1/z^4+1/w^4+9/(x^4+y^4+z^4+w^4)
≧8/9(1/x^2y^2+1/x^2z^2+1/x^2w^2+1/y^2z^2+1/y^2w^2+1/z^2w^2)
≧11/3(x^4+y^4+z^4+w^4)
≧25/4xyzw
- 575 名前：１３２人目の素数さん mailto:sage [2011/08/29(月) 01:40:00.54 ]
- x=y=z=w=1.
25/4>=4/27>=11/12>=25/4.
- 576 名前：１３２人目の素数さん [2011/08/29(月) 02:17:54.40 ]
- 1/x^4+1/y^4+1/z^4+1/w^4+9/(x^4+y^4+z^4+w^4)
≧(8/9)(1/x^2y^2+1/x^2z^2+1/x^2w^2+1/y^2z^2+1/y^2w^2+1/z^2w^2)
+11/3(x^4+y^4+z^4+w^4)
≧25/4xyzw
だね。
- 577 名前：１３２人目の素数さん mailto:sage [2011/08/29(月) 02:38:43.69 ]
- >>573
右: 4(a+b)(b+c)(c+a) - (a+b+c)^3 = aa(b+c-a) + bb(c+a-b) + cc(a+b-c) + 2abc > 0,
左: 相加相乗平均
8(a+b+c)^3 -27(a+b)(b+c)(c+a)
= 3(a+b)(a-b)^2 + 3(b+c)(b-c)^2 + 3(c+a)(c-a)^2 + 2(a^3+b^3+c^3-3abc) ≧ 0,
- 578 名前：１３２人目の素数さん [2011/08/29(月) 20:25:51.28 ]
- a^n+b^n<c^n
となる整数a,bをcで表しなさい。
- 579 名前：１３２人目の素数さん [2011/08/29(月) 22:27:55.11 ]
- n≧4 で 2^(n-1) < n^(n-2)
を、帰納法以外で示したいのですが
どうすればいいでしょうか。
- 580 名前：１３２人目の素数さん mailto:sage [2011/08/29(月) 23:14:01.40 ]
- >>579
n ≦ 2(n-2),
2^n ≦ 2^{2(n-2)} = 4^(n-2) ≦ n^(n-2),
- 581 名前：１３２人目の素数さん mailto:sage [2011/08/29(月) 23:49:13.57 ]
- おおっ
不等式のプロにかかるとさすがにアッサリですね。
ありがとうございます。>>580
- 582 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 00:40:02.56 ]
- 2^2<=n.
2^(n-3)<n^(n-3).
2^(n-1)<n^(n-2).
- 583 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 07:06:53.80 ]
- >>546-547
で、この方法は >>2 参考文献[3] P.71の方法4.と同じな希ガス…
x_(n-1) ≦ G ≦ x_n,
を仮定して
x_(n-1) + x_n - {x_(n-1)･x_n /G + G} = (x_n - G){G - x_(n-1)}/G ≧ 0,
x_(n-1) + x_n ≧ {x_(n-1)･x_n /G} + G,
を導いています。
- 584 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 07:12:31.51 ]
- つまり既出の証明でも専門誌に発表できるということですね
- 585 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 07:59:46.12 ]
- 対称性に注目って不等式考える上では突飛なアイデアじゃないよね
ってか定跡やん。これを「新証明」と主張することに不安は感じなかったのだろうか。
- 586 名前：１３２人目の素数さん [2011/08/30(火) 10:13:00.43 ]
- >>573がその後発展してなくて涙目の住民ワロス
- 587 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 12:50:39.36 ]
- >>573に書き込んだのに誰からもレスされなくて、
あまりのくやしさに>>586で書き込んだのだった
涙拭けよ
- 588 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 12:53:45.10 ]
- 何言ってだこいつら
- 589 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 12:59:42.97 ]
- いつもの荒らしでしょう
- 590 名前：１３２人目の素数さん [2011/08/30(火) 17:51:18.51 ]
- そもそも573は問題の解釈が間違っている
真ん中はこの式にはならない
これ書いたやつ馬鹿すぎ
- 591 名前：１３２人目の素数さん [2011/08/30(火) 17:56:41.46 ]
- 1991問題は
三角形の内心をI、二等分線をAA'BB'CC'とするとき
AIBICI/AA'BB'CCがこの範囲を示せだが
- 592 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 18:38:17.84 ]
- AI/AA'=(b+c)/(a+b+c) etc.
- 593 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 23:19:26.11 ]
- >>573 △の辺だから
>>577
>>592
AI/AA' = (△ABC-△BCI)/(△ABC)
に
△BCI = (1/2)ar, △ABC = (1/2)(a+b+c)r, を入れる。
（rは△ABCの内接円の半径）
- 594 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 03:30:40.14 ]
- >>570-572
〔例1〕 >>268
2倍すると
N=2, I=-6, J=0, K=4, L=0,
(A,B,C)=(1,-1,0) すると (P,Q,R)=(2,-1,-1) K'=0,
>>284-290
〔例2〕 >>494 >>504
27倍すると
N=19, I=-5, J=49, K=33, L=-96,
(A,B,C)=(3,-3,1) (P,Q,R)=(-22/4,11/4,7/4) K ' = 3/8,
(A,B,C)=(3,-3,-1) (P,Q,R)=(-131/28,46/28,113/28) K ' = 3/8,
〔例3〕 >>569
27倍すると、
N=26, I=-31, J=23, K=-6, L=-12,
(A,B,C)=(4,-1,-3) (P,Q,R)=(-2/26,59/26,-57/26) K '= 29/78
(A,B,C)=(4, 1,-3) (P,Q,R)=(-144/74,141/74,-145/74) K ' = 13/74,
- 595 名前：１３２人目の素数さん [2011/08/31(水) 07:09:17.96 ]
- >>592
間違ってるんだが
- 596 名前：１３２人目の素数さん [2011/08/31(水) 07:12:33.43 ]
- BA'が(a+b)/(2a+b+c)
AI/AA'=(a+b)/(a+b+BA')
を考えると明白な間違い
- 597 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 07:23:05.21 ]
- >>596
>BA'が(a+b)/(2a+b+c)
BA'、a、b、cって長さ？
次元が違うんだが
- 598 名前：１３２人目の素数さん [2011/08/31(水) 07:26:24.06 ]
- 二等分線だからこういうふうな比になるだろ
なんで分からないの？馬鹿は死ねよ
- 599 名前：１３２人目の素数さん [2011/08/31(水) 07:27:50.44 ]
- ／￣￣￣＼
/ ⌒ ⌒ ヽ
/ ｨ●ｧ ｨ●ｧ |
| |
| c{ っ |
| ＿＿ } うーっす
/､. ー ヽ
/ |
| | /
ヽ_| ┌──┐ |丿
| ├──┤ |
| ├──┤ |
- 600 名前：１３２人目の素数さん [2011/08/31(水) 07:28:24.02 ]
- 間違いに気付いたか
馬鹿め
- 601 名前：１３２人目の素数さん [2011/08/31(水) 07:37:45.00 ]
- 訂正
BA'が(a+b)（b+c）/(2a+b+c)
AI/AA'=(a+b)/(a+b+BA')
- 602 名前：１３２人目の素数さん [2011/08/31(水) 07:39:19.07 ]
- 上を下に入れると
a+bがきれいにきえて
（2a+b+c）/２(a+b+c)
になるんで、上のほうの解答は大間違い
- 603 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 07:41:40.55 ]
- >>601
a=b=cのときBA'=(a+b)（b+c）/(2a+b+c)=a=BCになるんだが
- 604 名前：１３２人目の素数さん [2011/08/31(水) 07:53:35.71 ]
- 解答が自動化してるイカサマ師が何を言っても恥ずかしいだけ
- 605 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 07:59:55.86 ]
- ここまで飛ばし読みした俺様に、修正バージョンを書いてくれ
- 606 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 08:36:42.89 ]
- 適当にでっちあげた式にでっちあげた式を入れる遊びは楽しいかね
- 607 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 17:25:11.12 ]
- ⊿ ○ ∇ 、＿＿＿,､´｀ﾞ；~､ ';冫 ☆
┏ ━ゝヽ''／ ≧ ＼━〆Ａ!ﾟ━━┓。
╋┓"〓┃ ＜ ゝ＼',冫｡' |:::: ＼ .／ |゛△│´'´,.ゝ'┃. ●┃ ┃┃
┃┃_.━┛ヤ━━━━━━|::::: (● (● |━━━━━━━━━ ━┛ ・ ・
∇ ┠─Σ- ヽ::::... .ワ.....ノ 冫 そ',´; ┨'ﾟ,。
.。冫▽ ＜ ⊂ ./⊃ 乙 ≧ ▽
。 ┃ Σ （⌒ゞ ,l, ､'' │ て く
┠─ム┼ ゝ,,ﾉ ﾉゝ. ､,, .┼ ｧ Ζ┨ ミｏ''｀
。､ﾟ`。､ i／ レ' o。了 ､'' × 个ｏ
○ ┃ `､,~´＋√ ▽ ',!ヽ.◇ ｏ┃
┗〆━┷ Ｚ,.' /┷━''ｏ ヾｏ┷+＼━┛,゛；
ヾ ⊿ '、´ ∇
荒れたスレに不等式ヲタが光臨！ 整理すると以下の如しだ！
【1991 IMO 問１】
△ABCの内心をI、二等分線をAA'BB'CC'とするとき、
1/4 < (AI・BI・CI)/(AA'・BB'・CC) ≦ 8/27
【証明】
>>592
角の二等分線の定理から、容易に
AI/AA' = (b+c)/(a+b+c)、BI/BB' = (c+a)/(a+b+c)、CI/CC' = (a+b)/(a+b+c)
>>573
示すべき不等式は
1/4 < (a+b)(b+c)(c+a)/(a+b+c)^3 ≦ 8/27
>>577
右: 4(a+b)(b+c)(c+a) - (a+b+c)^3 = aa(b+c-a) + bb(c+a-b) + cc(a+b-c) + 2abc > 0,
左: 相加相乗平均
8(a+b+c)^3 -27(a+b)(b+c)(c+a)
= 3(a+b)(a-b)^2 + 3(b+c)(b-c)^2 + 3(c+a)(c-a)^2 + 2(a^3+b^3+c^3-3abc) ≧ 0,
- 608 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 17:50:46.29 ]
- >>590、>>595-602 をあぼーんすればよろし
- 609 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 18:59:22.02 ]
- なんで590、598、600は偉そうなの？ 馬鹿なのに
- 610 名前：１３２人目の素数さん [2011/08/31(水) 19:52:41.70 ]
- a>0 のとき (a-x)^n + (a+x)^n > 2a^n
って明らかですか？どう示せばいいでしょうか。
- 611 名前：610 [2011/08/31(水) 19:53:43.74 ]
- 間違えました。>じゃなくて≧でした。
(a-x)^n + (a+x)^n ≧ 2a^n です。
- 612 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 20:13:46.88 ]
- n≧1かな？
凸不等式でおｋ
- 613 名前：１３２人目の素数さん [2011/08/31(水) 20:35:31.95 ]
- 変な質問ですが、「不等式評価」って言葉はありますか？
クラスの数学得意なやつが使ってたんですが、先生も初めて聞いたと言っていました。
- 614 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 20:46:46.40 ]
- 不等式で評価する
って普通に使うね。
- 615 名前：１３２人目の素数さん [2011/08/31(水) 21:48:26.70 ]
- 進学校じゃないかぎり学校の先生は大抵教育学部出身だから、評価estimateとか言っても基本的には通じない。
数学に限ったことじゃないけど本当に「小中高の勉強」ができてた奴は教師になってない。
- 616 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 21:51:24.37 ]
- >>615
> 数学に限ったことじゃないけど本当に「小中高の勉強」ができてた奴は教師になってない。
なんで？
- 617 名前：１３２人目の素数さん [2011/09/01(木) 11:19:10.51 ]
- >>607
なんでa+ｂ＋ｃがでてくるんだよ。AB,ACは足したら2a+b+cだろうが
- 618 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 11:42:35.32 ]
- 何言ってだこいつ
- 619 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 12:14:01.46 ]
- しーっ、目を合わせちゃいけません
- 620 名前：１３２人目の素数さん [2011/09/01(木) 16:33:02.11 ]
- a+b+cってどこにあるの
- 621 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 22:15:08.17 ]
- 上から評価、下から評価
とか言った使い方をよくする
- 622 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 22:41:35.38 ]
- >>525
〔補題〕
AB ≦ CA, CB のとき、
三角形ABCの内部の点Pに対して PA + PB + PC < CA + CB.
- 623 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 22:45:57.36 ]
- >>622
(略証)
Pを直線上で動かすとき、AP,BP,CP は下に凸(*)だから
f(P) = AP+BP+CP も下に凸。
直線CPと辺ABの交点をQ とすると、凸性から
f(P) < max{f(C), f(Q)}
ところで 題意より
f(Q) = (AQ+QB) + CQ = AB + CQ ≦ AB + max{CA,CB} ≦ CA + CB = f(C),
∴ f(P) < f(C),
* この直線をt軸とすると g(t) = √(a^2 + t^2) は
a≠0 のとき双曲線。
a＝0 のとき g(t)=|t| でＶ字形の折れ線。
- 624 名前：１３２人目の素数さん mailto:sage [2011/09/02(金) 22:57:20.36 ]
- 0＜a、a≠1
((a^(2n+1)/(a-1))+(a(1-a^2n)/2n(1-a)^2)^2n)/a^n(2n+1)≧(2n)！
- 625 名前：１３２人目の素数さん mailto:sage [2011/09/03(土) 08:01:27.09 ]
- 1 ≦ a、b、c ≦ 2 に対して、(a+b)/(b+c) + (b+c)/(c+a) + (c+a)/(a+b) の最大値（上限）は？
- 626 名前：１３２人目の素数さん mailto:sage [2011/09/04(日) 20:20:23.84 ]
- >>625
通分して
{(19/6) - (与式)}*(a+b)(b+c)(c+a)
= (19/6)(a+b)(b+c)(c+a) - (c+a)(a+b)^2 - (a+b)(b+c)^2 - (b+c)(c+a)^2
= (1/6){(aab+bbc+cca) + 7(abb+bcc+caa)} + (1/3)abc -(a^3 +b^3 +c^3)
= (4/3)[k(aab+bbc+cca)+(1-k)(abb+bcc+caa)] + (1/3)abc -(a^3 +b^3 +c^3) (k=1/8)
= (1/4){10[k(aab+bbc+cca)+(1-k)(abb+bcc+caa)] -4(a^3+b^3+c^3) -15abc}
+ (7/12){-2[k(aab+bbc+cca) + (1-k)(abb+bcc+caa)] +7abc}
= (1/4)F(k) + (7/12)G(k)
≧ 0,
- 627 名前：626 mailto:sage [2011/09/04(日) 20:25:44.92 ]
- >>625 (続き)
〔補題1〕
-1/5≦k≦6/5 のとき
F(k) = 10[k(aab+bbc+cca)+(1-k)(abb+bcc+caa)] -4(a^3+b^3+c^3) -15abc ≧ 0,
(略証)
(2a-b)(2b-a)(2a-c) + c.c. = 12(aab+bbc+cca) - 2(abb+bcc+caa) -4(a^3 +b^3 +c^3) -15abc ≧ 0,
(2a-b)(2b-a)(2b-c) + c.c. = -2(aab+bbc+cca) +12(abb+bcc+caa) -4(a^3 +b^3 +c^3) -15abc ≧ 0,
から。
〔補題2〕
-1≦k≦2 のとき
G(k) = -2[k(aab+bbc+cca) + (1-k)(abb+bcc+caa)] +7abc ≧ 0,
(略証)
(2a-b)(2b-c)(2c-a) = -4(aab+bbc+cca) +2(abb+bcc+caa) +7abc ≧ 0,
(2b-a)(2c-b)(2a-c) = 2(aab+bbc+cca) -4(abb+bcc+caa) +7abc ≧ 0,
から。
|
 |
