不等式への招待 第10章
■ このスレッドは過去ログ倉庫に格納されています
>>483 、>>505 等号成立条件は、たぶんこうぢゃなゐかな? ( ゚∀゚)ウヒョッ! (a,b,c,d) = (t, kt, (1+ 1/k)t, k(k+1)t), ただし k, t > 0 とする。 >>508 間違った。 >>507 は >>502 の等号成立条件。 xが0以上のとき 5x^3-3x+1>0 微分法で簡単に示せるですが 不等式エキスパートの人なら巧みな多項式変形とかで示せるですか? x√5 = X とおけば 5x^3 - 3x + 1 > 5x^3 - 3x + (2/√5) = (X^3 - 3X + 2) /√5 = (X+2)(X-1)^2 /√5 ≧ 0, ただし、x=1/√5 で極小になることを 微分などの方法で知る必要がある… a≧b≧c≧d>0 かつ a+b+c+d=1 のとき、 (a+2b+3c+4d)(a^a)(b^b)(c^c)(d^d) ≦ 1. x=0のときは明らかなのでx>0として 5x^2 + 1/x > 3 を言えばよいが 相加相乗で左辺≧3*(5/4)^(1/3) >3 。 式変形だけで、例えば x^16 - x + 1 = (x^8-1/2)^2+(x^4-1/2)^2+(x^2-1/2)^2+(x-1/2)^2 みたいな感じの巧みな変形でいけないものでしょうか。 >>512 X^3 + 1 + 1 ≧ 3X, は 相加相乗平均(AM-GM) と思ってもいいし、 コーシー (X^3 + 1 + 1)(1 + X^3 + 1)(1 + 1 + X^3) ≧ (X + X + X)^3 = (3X)^3, の3乗根と思ってもいい。 >>514-515 abc3数の相加相乗平均は、 (a+b+c)(a^2+b^2+c^2-ab-bc-ba) = (a+b+c){(a-b)^2+(b-c)^2+(c-a)^2} と変形できるので、a=X・b=1・c=1を代入して……って>>511 と同じ式変形やないかーい笑 y=f(x) とした関数は非負だと x=1/√5 で極小値かつ最小値をとる。 極小値だけ移動した g(x)=f(x)-極小値 を考える→ x軸に接する →(x-1/√5)^2 または (X-1)^2を因数にもつ という考えと同じ。 >>516 少し話が逸れるんだけど4次や5次の相加相乗にも同じように直接平方完成する変形があるんでしょうか? >>517 > 少し話が逸れるんだけど4次や5次の相加相乗にも同じように直接平方完成する変形があるんでしょうか? なんと出来るらしい。 https://mathoverflow.net/questions/279969/wanted-positivity-certificate-for-the-am-gm-inequality-in-low-dimension AMとGMの差は非負多項式で表すことが可能 https://gyazo.com/0e13cfb59b28c529dd5adbfed354bd16 具体的な恒等式(5次) https://gyazo.com/58b89593fc30a48f70ab35cee68d31e5 具体的な恒等式(2次・3次・4次)https://gyazo.com/4726111c57e1863fca1b9fcd64678b23 アドルフ・フルヴィッツによる1891年の論文 Hurwitz, A. (1891). Ueber den Vergleich des arithmetischen und des geometrischen Mittels. Journal für die reine und angewandte Mathematik, 108, 266-268. https://link.springer.com/chapter/10.1007/978-3-0348-4160-3_35 nが奇数の場合を示したらしい: 藤原和将・小澤徹(応用物理)による2014年の論文 Fujiwara, Kazumasa, and Tohru Ozawa. Identities for the Difference between the Arithmetic and Geometric Means, (2014). http://m-hikari.com/ijma/ijma-2014/ijma-29-32-2014/ozawaIJMA29-32-2014.pdf nが偶数の場合を示しているらしい: ハーディ・リトルウッド・ポリア『不等式』第2章 なおこの問題は、ヒルベルトの第17問題(いつも正の有理式は平方和で表せる)の特殊な場合でもある。 最初に見付けたのページは医師でアマチュア数学者の佐藤郁郎によるコラムだったが、いかんせん読みにくく参考までに。(NGなのでURL貼らない) 因数分解の算法(その11) 因数分解の算法(その14) 因数分解の算法(その18) >>518 めっちゃ詳しくありがとうございます! まさか本当に出来るとは驚きです 第17問題のwikiを読んだ感じでは非負な斉次多項式に対して一般にこういうことは出来ないようですね この不可能性はモデル理論的な話があるようでこれも面白そうです (x_1)^n, ・・・・・, (x_n)^n の相加平均をA, 相乗平均をG, 兩n = n(A^n - G^n) = Σ x^n - nΠ x, とおく。 兩2(a,b) = aa +bb -2ab = (a-b)^2, 兩3(a,b,c) = a^3 +b^3 +c^3 - 3abc = (a+b+c){(a-b)^2 + (b-c)^2 + (c-a)^2}/2, 兩4(a,b,c,d) = a^4 +b^4 +c^4 +d^4 - 4abcd = (aa-bb)^2 + (cc-dd)^2 + 2(ab-cd)^2 = (aa-cc)^2 + (bb-dd)^2 + 2(ac-bd)^2 = (aa-dd)^2 + (bb-cc)^2 + 2(ad-bc)^2, 兩5(a,b,c,d,e) = a^5 + b^5 + c^5 + d^5 + e^5 -5abcde = (a-b)(a^4 -b^4)/4 + (a-c)(a^4 -c^4)/4 + ・・・・・ + (d-e)(d^4 -e^4)/4 + a兩4(b,c,d,e)/4 + b兩4(c,d,e,a)/4 + c兩4(d,e,a,b)/4 + d兩4(e,a,b,c)/4 + e兩4(a,b,c,d)/4, * (x-y)(x^4-y^4) = (x+y)(xx+yy)(x-y)^2 ≧ 0, >>521 なるほど、5次の場合は 1/4(x+y)(x^2+y^2)(x-y)^2 =1/6(x^3+y^3)(x-y)^2+1/12(x+y)(x^2-y^2)^2 を利用すると>>518 の藤原小澤の表示と一致するのか 藤原小澤の論文は流し読みしたけどテクすぎて全然わからん 表示の仕方の自由度高そうだし何か行列式的な表示とか対称式の空間上の作用素みたいなのを見つけて綺麗に示せないもんかね >>519 訂正 てっきり不可能性がモデル理論的に分かると思っていたけど今日モデル理論の本借りて見てみたら肯定的な証明が書かれていた 17問題が肯定的なのか否定的なのか混乱してきた… 元の十七問題はΣ多項式^2でかけるか?でそれは誰かの反例が出た 後に実閉体まで話広げるとΣ実閉包の元^2でかける事が証明された(Artin) 永田先生の可換体論の5章に証明がある 自分の読んでる「幾何学的モデル理論入門」(最近、改訂版が出たばかりらしい)に実閉体の第17問題が肯定的に解けることを利用して有理数体の場合も証明できるかのように書いてるように見えるんです… >>624 どんなステートメントが書いてあるんですか? >>522 > 17問題が肯定的なのか否定的なのか混乱してきた… 一部が肯定的に解決された(部分的に可能) https://i.imgur.com/Jit5Abl.jpg >>526 thx 確か上がってる反例はΣ整式^2では表せない例でΣ有理式^2では表せるんだったかな? Artinの定理の正確なステートメント覚えてない(かつ永田先生の本が現在部屋のどこにあるかわからん)のでわかんないけどΣ有理式^2で表すのは有理係数でもいけるのかもしれない 任意の実閉包の中で0以上 →Σ有理式^2で表示できる だったかも 確か右が言えてない場合に標数0の加法的付値体て0未満になる構造が存在する事示してそれを上手いこと微調整して通常のRの中で0以下に出来る事を示すんだったような あー、有理式なら肯定的という可能性があるんですね ありがとうございます 3次のAM-GM差の有理式の平方和表現はどうなるんだろう あ、全ての有理数に対して非負な多項式で考えるから奇数次の場合は全ての変数を平方にしておかないといけなくて藤原小澤の結果の変数を平方にするだけか いや、そうなってくると藤原小澤も必要なくて古典的なフルヴィッツの形で示せてるのか 無知すぎてスマン 有理式使っていいならAM-GMは簡単でしょ? いわゆる2冪でやっといて減らす作戦でいける >>521 兩n(a_1, a_2, ・・・・, a_n) = (a_1)^2 + (a_2)^n + ・・・・ + (a_n)^n - n(a_1)(a_2)・・・・(a_n) = Σ[i<j] (a_i - a_j)[(a_i)^{n-1} - (a_j)^{n-1}] /(n-1) + Σ[i=1,n] a_i (Σ[j≠i] (a_j)^{n-1} - (n-1)Π[j≠i] a_j) /(n-1) = Σ[i<j] (a_i - a_j)[(a_i)^{n-1} - (a_j)^{n-1}] /(n-1) + Σ[i=1,n] a_i 兩{n-1}(i以外) /(n-1), >>535 n=2のときが本質で、他は帰納法でしょうか >>535 数列 {a_n}n∈N と {b_n}n∈N が |a_n|≦1, |b_n|≦1 (∀n∈N) を満たす時、 次を示せ。 | Π[i=1,n] a_i - Π[k=1,n] b_k | ≦ Σ[j=1,n] |a_j - b_j| (∀n∈N) (略証) Π[i=1,n] a_i - Π[k=1,n] b_k = Σ[j=1,n] (Π[i=1,j-1] a_i) (a_j - b_j) (Π[k=j+1,n] b_k), 三角不等式により (左辺) ≦ Σ[j=1,n] (Π[i=1,j-1] |a_i|) |a_j - b_j| (Π[k=j+1,n] |b_k|) ≦ Σ[j=1,n] |a_j - b_j| = (右辺), 〔問題944〕 a,b,c は相異なる正の数で、√a + √b + √c = 1 を満たす。 f(x,y) = log(y/x) / (1/x - 1/y), に対して、 f(a,b) + f(b,c) + f(c,a) ≦ 1/3 を示せ。 高校数学の質問スレPart407 - 944 >>539 0<x,y, x≠y のとき f(x,y) = log(y/x)/(1/x - 1/y) = log(y/x)/(√(y/x) - √(x/y)) = 2t/(e^t - e^{-t})・√(xy) = t/sinh(t)・√(xy) ≦ √(xy), 等号成立は x=y のとき。 (左辺) = f(a,b) + f(b,c) + f(c,a) ≦ √(ab) + √(bc) + √(ca) ≦ (1/3)(a+b+c + 2√(ab) + 2√(bc) + 2√(ca)) = (1/3)(√a + √b + √c)^2, 等号成立は a=b=c のとき。 JP346. 両辺に ab(a+b) >0 を掛けて通分すると ab(a+b)(左辺 - 右辺) = (a-b)^2 {(a-b)^2 + (4 - k/4)ab}, (4 - k/4) ≧ 0, k ≦ 16, >>544 いや知りたいのは、SP346でござるよ JP347. 基本対称式を s = a+b+c, t = ab+bc+ca, u = abc, とおく。 (a+b)(b+c)(c+a) = st-u を掛けて通分すると 2(a+b)^2・(a+c)^2 + 2(b+c)^2・(b+a)^2 + 2(c+a)^2・(c+b)^2 = 2(ss-t)^2 + 8su = s^4 + (5/3)tt + s(s^3 -4st+9u) + (tt-3su)/3 ≧ s^4 + (5/3)tt, ∴ (左辺) ≧ {s^4 + (5/3)tt}/st = (s^3)/t + 5t/(3s), JP348. a/b=x, b/c=y, c/a=z とおくと x^3 + y^3 + z^3 ≧ 3xyz = 3, (← AM-GM) (x^4+y^4+z^4)(1+1+1) ≧ (x^2+y^2+z^2)^2, (←コーシー) 辺々掛ける。 >>545 346はkについての一次式だから 与式⇔k≦4次式÷4次式 になる(割る時、除数の符号わそこまで難しくない) 分子も分母も(a-b)^2で割り切れる JP350. (a+b+c)^2 ≦ 3(aa+bb+cc), x ≧ 1/√3 のとき {1 + 3x(1-x)}^2 - (4-3xx) = 3(3xx-1)(x-1)^2 ≧ 0, √(4-3xx) + 3x(x-1) ≦ 1, x=a,b,c でたす。 JP351. ABCが鈍角凾フときは Πcos(・) ≦ 0, (左辺) ≧ 0 ≧ (右辺), で成立するから以下では、ABCは鋭角Δとする。 sin(A) = x, sin(B) = y, sin(C) = z とおくと xyz > 0, 一方、題意より xx+yy+zz = 1 - 2xyz, xyz ≦ 1/8, 左辺に加法公式 sin(A)sin(B) = cos(A)cos(B) - cos(A+B) = xy + z, を入れれば (左辺) - (右辺) = (xy+z)(yz+x)(zx+y) - 4xyz + 5(xyz)^2 = ・・・・, がんばれ JP352. △不等式で |a+b+c| + |a-b| + |a-c| ≧ |(a+b+c) + (a-b) + (a-c)| = 3|a|, 巡回的にたすと 3|a+b+c| + 2(|a-b|+|b-c|+|c-a|) ≧ 3(|a|+|b|+|c|), UP346 (左辺) = 1 + (x-1)exp(arctan(x))√(1+xx), ←可積分 ∴ x=1 UP347. 上の式は 0 = |x|^2 /m + |y|^2 /n - |x+y|^2 /(m+n) = xx' /m + yy' /n - (x+y)(x+y)' /(m+n), mn(m+n) を掛けて通分する。 0 = nnxx' + mmyy' - mn(xy'+x'y) = (nx - my) (nx - my)' = |nx - my|^2 ∴ x = (m/n)y, これを下の式に入れて y = 1+2i, UP534. (1/n)Σ[k=1,n-1] (k/n)sin(kπ/n) → ∫[0,1] x・sin(πx) dx (n→∞) = [ sin(πx)/π^2 - x・cos(πx)/π ](x=0,1) = 1/π, (与式) ≒ (1 + π/n)^n = {(1+π/n)^(n/π)}^π → e^π, (n→∞) UP359. Ω = ∫[0,π/2] θ・cosθ/[(sinθ)^3 + (cosθ)^3] dθ = (π/36){π√3 + log(97/8 + 7√3)} - (1/144){ψ'(5/12) - ψ'(11/12)} = 0.71907287245537291248414214 ここに ψ'(x) = {log(Γ(x))}" = {Γ'(x)/Γ(x)}' = Σ[k=0,∞] 1/(x+k)^2 … トリガンマ函数 JP351. cos(A) = x, cos(B) = y, cos(C) = z とおくと、 に修正… SP349. s = -log(sin(a)) >0, c = -log(cos(a)) >0, とおく。 (左辺) = (e^{-s})^{√(c/s)} + (e^{-c})^{√(s/c)} = 2e^{-√(cs)} ≦ 2e^{-log(2)/2} (*) = 2e^{log(1/√2)} = √2, (*) a が端(0,π/2) に近づくとき cs は急に大きくなる。 SP351. (1+t)^{1/3} + (1-t)^{1/3} = 2/[(1+t)^{2/3} - ((1+t)(1-t))^{1/3} + (1-t)^{2/3}) ≦ 2, UP358. |∫[a,b] e^{ix}/x dx | ≦ ∫[a,b] 1/x dx = log(b/a), 両辺を2乗する。 UP360. x = y = 1/3, http://www.551horai.co.jp/ (*) a が端(0,π/2) に近づくとき -√cs は大きくなる。(→0) SP353. 与式を辺々引くと λ(x-y) = √(λλyy-1) - √(λλxx-1) = λλ(yy-xx)/{√(λλyy-1) + √(λλxx-1)}, もし x-y≠0 ならば 1 = - λ(x+y)/{√(λλyy-1) + √(λλxx-1)} < 0, (矛盾) ∴ x = y = z = 2/(λ√3), SP353. (別法) t≧1 で f(t) = t + √(tt-1) は単調増加 与式より f(λx) = f(λy) = f(λz), λx = λy = λz, λ>0 より x = y = z, UP346. f(x) e^{arctan(x)} = ∫ (2xx) e^{arctan(x)} / √(1+xx) dx とおく。 f '(x) + f(x)/(1+xx) = 2xx/√(1+xx), f '(x)√(1+xx) + f(x)/√(1+xx) = 2xx, ここで f(x) = g(x)√(1+xx), とおくと (1+xx)g '(x) + (1+x)g(x) = 2xx, g(x) が n次多項式とすると g(x) = ax^n + ・・・ (左辺)= (n+1)ax^{n+1} + … ∴ n=1, (左辺) = 2ax^2 + g(1)(1+x), a=1, g(1)=0, g(x) = x-1, f(x) = (x-1)√(1+xx), SP354. log(x^{xy}・y^{yz}・z^{zx}) = log(x^{xy}) + log(y^{yz}) + log(z^{zx}) = y・log(x^x) + z・log(y^y) + x・log(z^z) ≦ y・(x^x - 1) + z・(y^y - 1) + x・(z^z - 1) = (y・x^x + z・y^y + x・z^z) - (x+y+z), *) e^t ≧ 1+t より log(u) ≦ u-1, SP358. コーシーで {(y+1)+(z+1)+(x+1)} {(z+1)(x+1)+(y+1)}{x^3/[(y+1)(z+1)] + cyclic} ≧ (x+y+z)^3 = s^3 よって (左辺) ≧ 4s^3 /(s+3)^2 + 3 = s{(2s/(s+3))^2 + (s+3)/2s + (s+3)/2s - 1} = s(3-1) (← AM-GM) = 2s ≧ (右辺), 等号は s=3, x=y=z=1 のとき。 SP358. コーシーで { …… } {(z+1)+(x+1) + (y+1)}{ …… } ≧ (x+y+z)^3 ≧ s(3-1) (← AM-GM) JP360. tan(x)^2/{tan(x)^3+cot(x)} + cot(x)^2/{cot(x)^3+tan(x)} - 2/{tan(x)^2 +cot(x)^2} = Σ {tan(x) + cot(x) -2}/{tan(x)^2 + cot(x)^2} = X / (XX+4X+2) ≦ 1/(4+2√2), (*) ここに X = tan(x) + cot(x) -2 ≧ 0, ∴ 0 ≦ (左辺) - (右辺) ≦ 3/(4+2√2), *) (XX+4X+2) - (4+2√2)X = (X-√2)^2 ≧ 0, 等号成立は X = √2, sin(2x) = 2 - √2, 〔問題558〕 正の実数 x,y,z が xyz=1 を満たすとき、以下を示せ。 x/(1+y+z)^3 + y/(1+z+x)^3 + z/(1+x+y)^3 ≧ 1/9 ≧ 1/(√xy + √yz + √zx)^2, >>559 問題番号がついてるけど、どこかのスレ番号で紹介されていたのかな? a,b,c > 1/2 のときに、aa+bb+cc+ab+bc+ca-a-b-c ≧0 を証明したい。 左辺を平方完成して、残り物 ab+bc+ca-3/4 にAM-GMする以外にハァハァできそうな方法はないかな? >>558 左辺の分母の1を(abc)^(1/3)に変えて同次にするんだろうと思うけど、そこで手が止まっている… >>562 (左辺) = {(a+b)^2 + (b+c)^2 + (c+a)^2}/2 - (a+b+c) = {(a+b)(a+b-1) + (b+c)(b+c-1) + (c+a)(c+a-1)}/2 > 0, とか (左辺) = {4(a+b+c)^2 + (a-b)^2 + (b-c)^2 + (c-a)^2}/6 - (a+b+c) ≧ (2/3)ss - s (s=a+b+c) = (2/3)s(s - 3/2) > 0, とか色々あるけど、単に a' = a - 1/2 > 0, b' = b - 1/2 > 0, c' = c - 1/2 > 0, でいい希ガス… a,b>0は定数とする. 0<s,t<1のとき st/(as+bt)+(1-s)(1-t)/{a(1-s)+b(1-t)}の最大値を求めよ. 1/(a+b) - (与式) = ab(s-t)^2 /[(a+b)(as+bt){a(1-s)+b(1-t}] ≧ 0, 等号成立は s=t のとき。 コーシーで st/(as+bt) ≦ (at+bs)/(a+b)^2, (1-s)(1-t)/{a(1-s)+b(1-t)} ≦ {a(1-t)+b(1-s)}/(a+b)^2, 辺々たす。 単位円に内接する正n角形のn個の頂点からの距離の和が最小になる点とその最小値を求めよ。 頂点A_k の極座標を (1, 2kπ/n) 点Pの極座標を (r, θ) とおく。 第二余弦定理より PA_k = √{1 - 2r・cos(2kπ/n - θ) + rr} ≧ 1 - r・cos(2kπ/n - θ) 等号成立は r=0 のとき また Σ[k=1,n] cos(2kπ/n - θ) = Σ[k=1,n] {sin((2k+1)π/n - θ) - sin((2k-1)π/n - θ)}/{2sin(π/n)} = {sin((2n+1)π/n - θ) - sin(π/n - θ)}/{2sin(π/n)} = 0, ∴ Σ[k=1,n] PA_k ≧ n, 等号成立は P=O のとき。 ・nが偶数のとき (n=2m) 三角不等式より PA_k + PA_{m+k} ≧ A_k A_{m+k} = 2, 等号成立は P が線分 A_k A_{m+k} 上にあるとき。(← 円の直径) ∴ Σ[k=1,n] PA_k = Σ[k=1,m] (PA_k + PA_{m+k}) ≧ Σ[k=1,m] 2 = 2m = n, 等号成立は P=O のとき。 ヴェクトルの内積を使えば OA_k = 1 より PA_k ≧ ↑PA_k・↑OA_k = (↑OA_k - ↑OP)・↑OA_k = 1 - ↑OP・↑OA_k, ∴ Σ[k=1,n] PA_k ≧ n - ↑OP・{Σ[k=1,n] ↑OA_k} = n, 等号成立は ↑OP = o. ∧_∧ ( ´Д` ) 新年あけまして / ヽ し、__X__,ノJ /´⌒⌒ヽ l⌒ ⌒l おめでとうございます。 ⊂ ( ) ⊃ V ̄V 正の数 a,b,c に対して (a^2021 -a^3 +3)(b^2021 -b^3 +3)(c^2021 -c^3 +3) > (a+b+c)e, e = 2.71828… は自然対数の底 >>294 eが出てきても eじゃない… (左辺) ≧ 2.7199579587(a+b+c) 等号は a=b=c = 0.9968783547581 のとき。 すべての自然数nについて Σ_{k=1}^n (k^(1/2)-1)≧(n/2)*((n/2)^(1/2)-1) が成り立つことをしめせ k≧2 について (k-1)^3 - k(k-3/2)^2 = (3/4)k - 1 > 0, (AM-GM) (k-1)^{3/2} > (k - 3/2)√k = k^{3/2} - (3/2)√k, √k > (2/3)(k^{3/2} - (k-1)^{3/2}), (左辺) = Σ_{k=2}^{n} (√k - 1) > (2/3)(n^{3/2} - 1) - (n-1) = (1/3)(2√n +1)(√n - 1)^2 > (n/2)(√(n/2) - 1), 積分を使えば簡単だが… √k > ∫_{k-1}^{k} (√x)dx = (2/3)(k^{3/2} - (k-1)^{3/2}), 最後は (左辺) > n((2/3)√n - 1) > (n/2)(√(n/2) + √(n/3) - 2) (← 補題) ≧ (n/2)(√(n/2) - 1) (n≧3) n=1, n=2 は明らか。 〔補題〕 1/√2 + 1/√3 < 4/3. (略証) コーシーで (1/√2 + 1/√3)^2 ≦ (1+1)(1/2+1/3) = 5/3 < 16/9 = (4/3)^2, GM-AM で 1/√2 + 1/√n < 3/4 + (1/4 + 1/n) = 1 + 1/n, n が被ってしまった。。。。m 等にすべきか。 >>577 から Σ_{k=2}^{n} √k > √2 + ∫_[2}^{n} (√x) dx = √2 + (2/3)(n√n - 2√2) > (2/3)n√n - 1/2, (n≧2) >>573 正の数 a, b, c に対して (a^2021 -a^3 +3)(b^2021 -b^3 +3)(c^2021 -c^3 +3) > (3/ln3)(a^3 +b^3 +c^3), ついでに… 正の数 a, b, c に対して (a^2021 - a^3 +3) (b^2021 - b^3 +3) (c^2021 - c^3 +3) > (1/(3ln3)) (a+b+c)^3, http://suseum.jp/gq/question/3221 〔問題〕 A, B, and C are non-negative real numbers. Prove that 3(A^4 + B^4 + C^4) ≧ (A^2 + B^2 + C^2)(AB + BC + CA) + (A^2 - B^2)^2 + (B^2 - C^2)^2 + (C^2 - A^2)^2 ≧ (A^2 + B^2 + C^2)^2, BMO-2016 Azerbaijan (改) [数学オリンピック31.018] >>583 x^2021 - x^3 + 3 ≧ K^{1/3} {x^3 /(x。)^2 + x。+ x。}, K = 0.30406358311 > 0.30341307554・・・ = 1/(3ln3), 等号成立は x。= 0.99703312297 のとき。 あとはコーシーで。 http://www.casphy.com/bbs/highmath/472060/379,381 http://suseum.jp/gq/question/3221 〔問題〕 凾フ各辺の長さを a,b,c とするとき、外接円の半径Rは (1/3)√(aa+bb+cc) ≦ R ≦ (1/(6√3)){a(b+c)/(b+c-a) + b(c+a)/(c+a-b) + c(a+b)/(a+b-c)}, 佐藤淳郎(訳)「美しい不等式の世界」朝倉書店 (2013) (左) Leibnizの不等式 (定理2.4.5) p.88-89 (右) 演習問題 2.57(改) p.94 a, b, c > 0 1 + 3/(ab+bc+ca) ≧ 6/(a+b+c) ( ゚∀゚) ハァハァ… >>587 a, b, c > 0 1 + 3/(ab+bc+ca) ≧ 1 + 9/{(a+b+c)^2} ≧ 6/(a+b+c) ('A`) ウーム… 底面を凸四角形ABCDとする四角錐V-ABCDについて、 すべての辺に接し、かつ中心が底面上にあるような球が存在するとする。 このとき、 VA+VB+VC+VD ≦ AB+BC+CD+DA [大数2021−2月宿題] 球の半径を1とし、球の中心をO、∠OAB、∠OBC、∠OCD、∠ODAをa,b,c,dとすれば AB+BC+CD+DA=2(cot a+cot b +cot c + cot d)、 VA+VB+VC+VD=cot a + tan a +cot b + tan b +cot c + tan c +cot d + tan d ∴ AB+BC+CD+DA-(VA+VB+VC+VD) =cot a - tan a +cot b - tan b +cot c - tan c +cot d -tan d 以下a+b+c+d=π/2とcot x-tan xの凸性 >>587-588 文献[9] 佐藤(訳)、朝倉書店 (2013) 演習問題1.86 p.40 >>590 三行目では, VA=cot a + tan a になるってことですか? tan a の出所がわからないです。 内接円をもつ四角形ABCDで、内接円の中心を I とするとき (IA+ID)^2+(IB+IC)^2 ≦ (AB+CD)^2 >>593 cos(π) = - 1, cos(2π/3) = - 1/2, cos(2π/5) = (√5 -1)/4 = 1/(2φ) = 0.309017 cos(2π/7) = 0.6234898 Π[p≧11] cos(2π/p) > Σ[p≧11] (1 - 2ππ/p^2) > 1 - Σ[p≧11] 2ππ/p^2 > 1 - (2ππ)Σ[k≧5] 1/(2k+1)^2 = 1 - (2ππ)(ππ/8 - 1 - 1/9 - 1/25 - 1/49 - 1/81) = 1 - (2ππ)・0.0498356 = 0.01628475 ∴ (与式) > 0 なお Π[p≧7] cos(2π/p) = 0.3338 Π[p≧11] cos(2π/p) = 0.5354 (与式) ≒ 0.05158 Π[p≧11] cos(2π/p) > Π[p≧11] cos(2π/(p-1)) > Π[n=5,∞] cos(π/n) = (2√2)Π[n=3,∞] cos(π/n) = (2√2)・0.114942 (*) = 0.3251052 *) 数セミ増刊「数学の問題」第2集, 日本評論社 (1978) ●117 によれば Π[n=3,∞] cos(π/n) = 0.114942044853296… (2) |cosθ| ≦ 1/2 ⇔ cos(2θ) ≦ -1/2, |cosθ| ≧ 1/2 ⇔ cos(2θ) ≧ -1/2, (4) |cosθ| ≦ cos(72) ⇔ cos(4θ) ≧ cos(72), |cosθ| ≧ cos(72) ⇔ cos(4θ) ≦ cos(72), [分かスレ466-119] (2) cos(2θ) + 1/2 = 2 [(cosθ)^2 - 1/4], (4) cos(4θ) - cos(72) = 8 [cos(18)^2 - (cosθ)^2] [cos(72)^2 - (cosθ)^2] ∴ |cosθ| ≦ cos(72) ⇒ cos(4θ) ≧ cos(72), [分かスレ466-129] (4) |cosθ| ≦ cos(72) ⇒ cos(4θ) ≧ cos(72), |cosθ| ≧ cos(72) ← cos(4θ) ≦ cos(72), 〔問題157〕 x>0, y>0, z>0 ならば (x+y)^z + (y+z)^x + (z+x)^y >2, [分かスレ466-157, 178] >>178 そのわかすれの178のレスでx+y,y+z,z+xのうち1以上のものが少なくとも一つあるとしてるけど、それらのケースに帰着できるわけじゃないよね? 最小値はx=y=z=0.184付近だし 単にすぐに除外していいケース述べてるだけだよね? 全部1未満のとき 0 < x, y, z < 1. f(z) = a^(1-z) (a>0) は下に凸だから f(z) < f(0)(1-z) + f(1)z, (0<z<1) a^(1-z) < a(1-z) + z < a+z, a^z > a/(a+z), … ベルヌーイの不等式 ∴ (x+y)^z > (x+y)/(x+y+z), 巡回的にたす。 >>603 なんで上から抑えるん? 最小値>2を示せでしょ? ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる