Sabitlenmiş Tweet
arararororo
6.2K posts


t>0に対してf(t)=Σait^(x_i-1/2)と定める.
このときf(t)^2=ΣΣaiajt^(x_i+x_j-1)なので,
ΣΣaiaj/xi+xj=∫[0,1][f(t)^2]dt≥0(広義積分)
不等式bot@Inequalitybot
問題 [130] ポーランド 1992 Final 1日目 問3 改 , 2ch 不等式への招待 6 - 343 #不等式bot #InequalityBot
日本語

√b^2+bc+c^2≥√3(b+c)^2+(b-c)^2/2≥√3/2×(b+c)
よって(左辺)≥√3×ab+bc+ca≥√3
簡単枠
不等式bot@Inequalitybot
問題 [151] GRA20,2007年 問C-851 #不等式bot #InequalityBot
日本語

a=b=c=1で(与式)=1これが最小であることを示す.
radonより(与式)≥9/Σ(ab^2+abc+ac^2)
=9/(a+b+c)(ab+bc+ca)
(a+b+c)≤√3(a^2+b^2+c^2)=3,ab+bc+ca≤a^2+b^2+c^2=3より示された.
p3ntry@p3ntry
ぼつもん投下
日本語

@tomorunn_sub 正の実数aに対して,
任意の自然数nについて,d(n)≦cn^a
をみたす実数cが存在することが素因数ごとに分けることで証明でき,
条件はn+d(n)|d(n)^3+d(n)-1と書けるので,
有限個しかないことはわかる.
日本語

巡回式かつ斉次式なので1=a≦b,cとしてよい.b-1=x,c-1=yとおくと
(左辺)-(右辺)=4x^3+12x^2y-15xy^2+4y^3+9(x^2-xy+y^2)
≧=4x^3+12x^2y-15xy^2+4y^3
y=0なら明らかに≧0.
y>0のとき,x/y=t,f(t)=4t^3+12t^2-15t+4とおけば,
t≧0においてf(t)≧0を示せば良い.
不等式bot@Inequalitybot
問題 [169] 有名問題 #不等式bot #InequalityBot
日本語

@On_2134 私は結構違う問題だと思いますね.
記号の定義を厳密にしようとするのは,
論理展開を厳密にしようとするのを大きく超えていて,
ある程度一般的であれば,大学入試の範囲では問題ないというイメージです.
日本語

