找回密码
 欢迎注册
查看: 28856|回复: 49

[讨论] 一道最值问题(代数)

[复制链接]
发表于 2021-6-10 07:43:28 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?欢迎注册

×
已知:\(a,b,c,d \in [-1, +\infty)\) ,且 \(a+b+c+d=0\),
求:\(ab+bc+cd\) 的最大值。

这是儿子昨晚问我的一道题,不知可有巧妙的解法?

点评

21# 可能是最优美的答案  发表于 2021-6-18 10:36
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 07:54:32 | 显示全部楼层
  1. Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
  2. Maximize[{a*b+b*c+c*d,a+b+c+d==0&&a>=-1&&b>=-1&&c>=-1&&d>=-1},{a,b,c,d}]
复制代码


求解结果
\[\left\{\frac{5}{4},\left\{a\to -1,b\to -1,c\to \frac{1}{2},d\to \frac{3}{2}\right\}\right\}\]

点评

这里就错了。NMaximize[{ab+bc+cd,a+b+c+d=0,a≥b≥c≥d≥-1},{a,b,c,d}]  发表于 2021-6-15 18:18
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 08:10:13 | 显示全部楼层
极值点存在无穷多个的情况

  1. Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
  2. f=a*b+b*c+c*d+x*(a+b+c+d-0)+x1*(a+1)+x2*(b+1)+x3*(c+1)+x4*(d+1)
  3. ans=Solve[{
  4.     D[f,{{a,b,c,d,x}}]==0,
  5.     x1*(a+1)==0,
  6.     x2*(b+1)==0,
  7.     x3*(c+1)==0,
  8.     x4*(d+1)==0
  9. },{a,b,c,d,x,x1,x2,x3,x4}]
  10. Grid[ans,Alignment->Left]
  11. (f/.ans)//FullSimplify
复制代码


极值点
\[\begin{array}{lllllllll}
b\to -1 & c\to -1 & d\to 2-a & x\to 1 & \text{x1}\to 0 & \text{x2}\to -a & \text{x3}\to a-2 & \text{x4}\to 0 & \text{} \\
a\to -1 & b\to -1 & c\to -1 & d\to 3 & x\to 1 & \text{x1}\to 0 & \text{x2}\to 1 & \text{x3}\to -3 & \text{x4}\to 0 \\
a\to -1 & b\to -1 & c\to \frac{1}{2} & d\to \frac{3}{2} & x\to -\frac{1}{2} & \text{x1}\to \frac{3}{2} & \text{x2}\to 1 & \text{x3}\to 0 & \text{x4}\to 0 \\
a\to -1 & b\to -1 & c\to 3 & d\to -1 & x\to 2 & \text{x1}\to -1 & \text{x2}\to -4 & \text{x3}\to 0 & \text{x4}\to -5 \\
a\to -1 & b\to 1 & c\to 1 & d\to -1 & x\to 0 & \text{x1}\to -1 & \text{x2}\to 0 & \text{x3}\to 0 & \text{x4}\to -1 \\
a\to -1 & b\to 3 & c\to -1 & d\to -1 & x\to 2 & \text{x1}\to -5 & \text{x2}\to 0 & \text{x3}\to -4 & \text{x4}\to -1 \\
a\to 0 & b\to -1 & c\to -1 & d\to 2 & x\to 1 & \text{x1}\to 0 & \text{x2}\to 0 & \text{x3}\to -2 & \text{x4}\to 0 \\
a\to 0 & b\to 0 & c\to 0 & d\to 0 & x\to 0 & \text{x1}\to 0 & \text{x2}\to 0 & \text{x3}\to 0 & \text{x4}\to 0 \\
a\to \frac{3}{2} & b\to \frac{1}{2} & c\to -1 & d\to -1 & x\to -\frac{1}{2} & \text{x1}\to 0 & \text{x2}\to 0 & \text{x3}\to 1 & \text{x4}\to \frac{3}{2} \\
a\to 2 & b\to -1 & c\to -1 & d\to 0 & x\to 1 & \text{x1}\to 0 & \text{x2}\to -2 & \text{x3}\to 0 & \text{x4}\to 0 \\
a\to 3 & b\to -1 & c\to -1 & d\to -1 & x\to 1 & \text{x1}\to 0 & \text{x2}\to -3 & \text{x3}\to 1 & \text{x4}\to 0 \\
\end{array}\]

极值
\[\left\{-1,-1,\frac{5}{4},-5,-1,-5,-1,0,\frac{5}{4},-1,-1\right\}\]


  1. Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
  2. f=a*b+b*c+c*d+x*(a+b+c+d-0)+x1*(a+1)+x2*(b+1)+x3*(c+1)+x4*(d+1)
  3. ans=Solve[{
  4.     D[f,{{a,b,c,d,x}}]==0,
  5.     x1*(a+1)==0,
  6.     x2*(b+1)==0,
  7.     x3*(c+1)==0,
  8.     x4*(d+1)==0
  9. },{a,b,c,d,x,x1,x2,x3,x4}];
  10. aaa=Prepend[#,f/.#]&/@ans
  11. Grid[aaa,Alignment->Left]
复制代码


合在一起
\[\begin{array}{llllllllll}
-1 & b\to -1 & c\to -1 & d\to 2-a & x\to 1 & \text{x1}\to 0 & \text{x2}\to -a & \text{x3}\to a-2 & \text{x4}\to 0 & \text{} \\
-1 & a\to -1 & b\to -1 & c\to -1 & d\to 3 & x\to 1 & \text{x1}\to 0 & \text{x2}\to 1 & \text{x3}\to -3 & \text{x4}\to 0 \\
\frac{5}{4} & a\to -1 & b\to -1 & c\to \frac{1}{2} & d\to \frac{3}{2} & x\to -\frac{1}{2} & \text{x1}\to \frac{3}{2} & \text{x2}\to 1 & \text{x3}\to 0 & \text{x4}\to 0 \\
-5 & a\to -1 & b\to -1 & c\to 3 & d\to -1 & x\to 2 & \text{x1}\to -1 & \text{x2}\to -4 & \text{x3}\to 0 & \text{x4}\to -5 \\
-1 & a\to -1 & b\to 1 & c\to 1 & d\to -1 & x\to 0 & \text{x1}\to -1 & \text{x2}\to 0 & \text{x3}\to 0 & \text{x4}\to -1 \\
-5 & a\to -1 & b\to 3 & c\to -1 & d\to -1 & x\to 2 & \text{x1}\to -5 & \text{x2}\to 0 & \text{x3}\to -4 & \text{x4}\to -1 \\
-1 & a\to 0 & b\to -1 & c\to -1 & d\to 2 & x\to 1 & \text{x1}\to 0 & \text{x2}\to 0 & \text{x3}\to -2 & \text{x4}\to 0 \\
0 & a\to 0 & b\to 0 & c\to 0 & d\to 0 & x\to 0 & \text{x1}\to 0 & \text{x2}\to 0 & \text{x3}\to 0 & \text{x4}\to 0 \\
\frac{5}{4} & a\to \frac{3}{2} & b\to \frac{1}{2} & c\to -1 & d\to -1 & x\to -\frac{1}{2} & \text{x1}\to 0 & \text{x2}\to 0 & \text{x3}\to 1 & \text{x4}\to \frac{3}{2} \\
-1 & a\to 2 & b\to -1 & c\to -1 & d\to 0 & x\to 1 & \text{x1}\to 0 & \text{x2}\to -2 & \text{x3}\to 0 & \text{x4}\to 0 \\
-1 & a\to 3 & b\to -1 & c\to -1 & d\to -1 & x\to 1 & \text{x1}\to 0 & \text{x2}\to -3 & \text{x3}\to 1 & \text{x4}\to 0 \\
\end{array}\]
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-6-10 08:16:25 | 显示全部楼层
说实话,没人对你的结果感兴趣。
毕竟,经典数学不是实验,看重的是数学思想、方法过程,而不是简单结论。

点评

我这是标准的不能再标准的数学方法,简称kkt条件,专门用来吊打你这种问题的  发表于 2021-6-10 08:28
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 08:20:11 | 显示全部楼层
gxqcn 发表于 2021-6-10 08:16
说实话,没人对你的结果感兴趣。
毕竟,经典数学看重的是数学思想、方法过程,而不是结论。

难道你知道结果?我才不相信,我是算出结果,让别人去慢慢去靠
你要是说你有非微积分的办法,我是不会相信的。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-6-10 08:22:13 | 显示全部楼层
我当然知道结果,是我儿子告诉我的,无须你来献
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 08:23:36 | 显示全部楼层
0=(a+b+c+d)^2=a^2+2 a b+2 a c+2 a d+b^2+2 b c+2 b d+c^2+2 c d+d^2
a*b+b*c+c*d=-0.5*(a^2+b^2+c^2+d^2+2*ad)=-0.5*((a+d)^2+b^2+c^2)=-(b^2+b*c+c^2)其中(a+d)^2=(b+d)^2
剩下的我不会了,
从这个结果看ad异号,才能使得目标函数尽可能地大

a^2+b^2+c^2+d^2这是一个球,a+b+c+d=0这是一个平面,然后ad异号

f=a*b+b*c+c*d=-(b^2+b*c+c^2)
a+d=-b-c>=-2则b+c<=2
且b>=-1,c>=-1
求解这个的最值

点评

这个结果是错误的,因为不同二次项有六个!  发表于 2021-6-10 10:13
左右端点值都带进去,对称轴也带进去  发表于 2021-6-10 09:12
-1<=b<=2-c<=3,这是关于b的二次函数的变量的范围  发表于 2021-6-10 09:07
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 08:36:18 | 显示全部楼层
首先消除一个变量d,变换题目为
$a>=-1,b>=-1,c>=-1,a+b+c<=1$ 求$a(b-c)-c^2$的最大值。
由于表达式关于a是一次函数,所以
i)当$b-c>=0$,函数值在$a=1-b-c$时取到最大值$(b-c)(1-b-c)-c^2=b-c-b^2$,而且这时$1-b-c>=-1$,即$b+c<=2$
    由于关于c是一次函数,所以在c取最小值时最大,所以c=-1,这时函数值为$b+1-b^2$,要求$-1<=b<=3$,这时b取$1/2$时取到最大值$5/4$
所以这种情况当$b=1/2,c=-1,a=3/2,d=-1$时取到最大值$5/4$
ii)当$b-c<0$时,函数值在$a=-1$时取到最大值$c-b-c^2$,要求$b+c<=2$,于是我们可以继续得出$b=-1,-1<=c<=3$,函数变化为$1+c-c^2$,得出和第一种情况等价的结果。
所以最大值为$5/4$

点评

a(b-c)-c^2这似乎是个双曲面  发表于 2021-6-10 10:36
我发现你很聪明  发表于 2021-6-10 09:16
可以消掉两个变量,看我楼上的回答  发表于 2021-6-10 08:43
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 09:06:30 | 显示全部楼层
你儿子是初中还是高中?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-6-10 09:39:58 | 显示全部楼层
我也凑个热闹。目标是尽可能的消元。发现通过不等式放缩 能归结到 两个变量。
首先$a+b+c = -d <=1$ ,于是 $ab+bc+cd = ab-c(a+c) <= a(1-a-c) -c(a+c) = a-(a+c)^2 = -(a+c-1/2)^2 +1/4-c <= 1/4+1 = 5/4$
然后我们检查两个等号是否能同时成立。也就是 $a+b+c=1, a=1/2-c , c=-1$,  得到$a=3/2, b=1/2,c=-1,d=-1$, 满足定义域。

点评

的确。看来还是要分情况讨论、  发表于 2021-6-10 15:03
a可能是负数,所以第一个小于等于似乎不成立  发表于 2021-6-10 10:14
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-3-29 15:51 , Processed in 0.061890 second(s), 17 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表