求使k(a+b+c)²≥3(ab+bc+ca)对所有正a、b、c成立的最小k。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
平方差界证明充分,等变量强制必要。
恒等式(a+b+c)²-3(ab+bc+ca)=((a-b)²+(b-c)²+(c-a)²)/2≥0,所以k=1充分。取a=b=c=1,条件9k≥9,给k≥1必要,故最小1。 所求为 。
不能只证明一个k可用,还需等号构造排除更小常数。
平方差界证明充分,等变量强制必要。
平方差界证明充分,等变量强制必要。
已记下,谢谢!