作者TOMOHISA (YAMASHITA)
看板Math
标题[中学] 请问一题不等式竞赛题
时间Sun Aug 23 11:48:38 2020
设a,b,c>=0，但其中最多只有一个是0。
证明：(1/(a^2+b^2))+(1/(b^2+c^2))+(1/(c^2+a^2))>=10/(a+b+c)^2
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.138.106.25 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1598154520.A.6F2.html
1F：推 hwanger : 冏 我自己目前想不出中学生的解法 08/24 09:26
2F：→ hwanger : 将原不等式的各分母除以a,b,c中最大的 08/24 09:27
3F：→ hwanger : 适当的移项并重令变数 则原式等价於这个函数 08/24 09:27
4F：→ hwanger : f(x,y)=1/(x^2 + y^2)+1/(1 + y^2)+1/(x^2 + 1)- 08/24 09:28
5F：→ hwanger : 10/(x+y+1)^2 在[0,1]x[0,1]\{(0,0)}上非负 08/24 09:29
6F：→ hwanger : 因为f(x,y)→∞ as (x,y)→(0,0) 08/24 09:30
7F：→ hwanger : 所以我们只要考虑f在一个compact set E= 08/24 09:30
8F：→ hwanger : [0,1]x[0,1]\B(0,ε)上即可 08/24 09:31
9F：→ hwanger : 但f在E的边界上非负(这里用一维的微积分分析即可) 08/24 09:31
10F：→ hwanger : 且grad. f在E上无解 所以f在E上恒非负(否则f在E的内 08/24 09:32
11F：→ hwanger : 点会有最小值) 08/24 09:33
12F：推 hwanger : 这题比较麻烦的地方是等式是发生在类似A=B C=0这种 08/24 09:53
13F：→ hwanger : 地方 而不是预想的A=B=C 08/24 09:53
14F：推 raiderho : 承楼上，花了几粉中搞一个中学解法，但不好看 08/25 15:34
15F：→ raiderho : 记 f(a,b,c)=左式, 不妨设a>=b>=c, 花一点论证可得 08/25 15:39
16F：→ raiderho : f(a,b,c)>=f(m,m,c), 这里m=a+b/2. 接着记 c=mx, 08/25 15:43
17F：→ raiderho : 左减右>=1/m^2[1/2+2/(1+x^2)-10/(2+x^2)]>=0. 08/25 15:46
18F：→ raiderho : 打错: m=(a+b)/2 08/25 15:47
19F：推 hwanger : 我觉得r大的想法还蛮漂亮的呀 虽然不知道r大如何证 08/25 18:32
20F：→ hwanger : f(a,b,c)>=f(m,m,c) 但我自己证这部份都只用到大一 08/25 18:33
21F：→ hwanger : 微积分的技巧 比我之前要分析二元多项式的根要基础 08/25 18:35
22F：→ hwanger : 多了 08/25 18:35
23F：→ hwanger : 修一下r大的笔误 应该是 08/25 18:36
24F：→ hwanger : 1/m^2[1/2+2/(1+x^2)-10/(2+x)^2]>=0 08/25 18:36
25F：推 hwanger : 因为至少是微积分程度的解法 我先po一下自己的解法 08/25 23:57
28F：→ TOMOHISA : 感谢大神解答~ 08/26 10:36
29F：推 hwanger : 不是很重要 只是以防有人想知道"grad. f在E上无解" 08/26 18:11
30F：→ hwanger : 是如何证的 令g1(x,y) g2(x,y)分别为grad. f的第一 08/26 18:13
31F：→ hwanger : 第二分量的分子多项式 则我们只需要证G=g1^2+g2^2在 08/26 18:14
32F：→ hwanger : [0,1]x[0,1]上无解就可以了 先找出grad. g第一第二 08/26 18:16
33F：推 hwanger : 分量绝对值的上界M1,M2 接着用数值方法去找出g在 08/26 18:19
34F：→ hwanger : [0,1]x[0,1]上的最小值估计 以此为依据将[0,1]^2分 08/26 18:21
35F：→ hwanger : 成足够小的格点 并计算g在这些格点上的值 利用均值 08/26 18:23
36F：→ hwanger : 定理在M1,M2及格点上的值做讨论 就可以证g不可能到0 08/26 18:24
37F：推 hwanger : 不过如我一开始所说的 这不是中学生的技巧 XD 08/26 18:27