找回密码
 欢迎注册
查看: 2537|回复: 6

[求助] 三角形中的余弦不等式

[复制链接]
发表于 2023-3-17 16:58:55 | 显示全部楼层 |阅读模式

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

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

×
在三角形\(ABC\)中求证:
\[\sqrt{\cos^2A-6\cos A+5}+\sqrt{\cos^2B-6\cos B+5}+\sqrt{\cos^2C-6\cos C+5}\le\frac92.\]
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-3-20 13:54:57 | 显示全部楼层
我看完后没任何思路,不知道拉格朗日乘子法如何
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-3-20 14:16:12 | 显示全部楼层
本帖最后由 nyy 于 2023-3-20 14:41 编辑

https://bbs.emath.ac.cn/forum.ph ... 0&fromuid=14149
引用这儿的结果,化简问题

\[f=\sqrt{a^2-6 a+5}+\sqrt{b^2-6 b+5}+\sqrt{c^2-6 c+5}+t \left(a^2+b^2+c^2+2 a b c-1\right)\]

求偏导数,解方程组,求解结果如下:
\[
\begin{array}{llll}
a\to -1.000000000 & b\to 3.000000000 & c\to 3.000000000 & t\to 0.07216878365 \\
a\to 0.5000000000 & b\to 0.5000000000 & c\to 0.5000000000 & t\to 1.111111111 \\
a\to 3.000000000 & b\to -1.000000000 & c\to 3.000000000 & t\to 0.07216878365 \\
a\to 3.000000000 & b\to 3.000000000 & c\to -1.000000000 & t\to 0.07216878365 \\
a\to 0.2674923595+0.2608869774 i & b\to 0.9930197051-0.2791410926 i & c\to 0.2674923595+0.2608869774 i & t\to 0.8201469710-0.4808912947 i \\
a\to 0.9930197051-0.2791410926 i & b\to 0.2674923595+0.2608869774 i & c\to 0.2674923595+0.2608869774 i & t\to 0.8201469710-0.4808912947 i \\
a\to 0.2674923595+0.2608869774 i & b\to 0.2674923595+0.2608869774 i & c\to 0.9930197051-0.2791410926 i & t\to 0.8201469710-0.4808912947 i \\
a\to 0.2674923595-0.2608869774 i & b\to 0.9930197051+0.2791410926 i & c\to 0.2674923595-0.2608869774 i & t\to 0.8201469710+0.4808912947 i \\
a\to 0.9930197051+0.2791410926 i & b\to 0.2674923595-0.2608869774 i & c\to 0.2674923595-0.2608869774 i & t\to 0.8201469710+0.4808912947 i \\
a\to 0.2674923595-0.2608869774 i & b\to 0.2674923595-0.2608869774 i & c\to 0.9930197051+0.2791410926 i & t\to 0.8201469710+0.4808912947 i \\
\end{array}
\]
很显然取第二行的解。

代入前四个解,得到函数值
\[
\left\{2 \sqrt{3}+4 i,\frac{9}{2},2 \sqrt{3}+4 i,2 \sqrt{3}+4 i\right\}
\]

全部代码如下:
  1. Clear["Global`*"];
  2. cond=Det[{{-1,a,b},{a,-1,c},{b,c,-1}}](*约束条件*)
  3. (*拉格朗日乘子法建立目标函数*)
  4. f=Sqrt[a^2-6a+5]+Sqrt[b^2-6b+5]+Sqrt[c^2-6c+5]+t*cond
  5. (*求偏导数,解方程组*)
  6. ans=Solve[GroebnerBasis@D[f,{{a,b,c,t}}]==0,{a,b,c,t}]
  7. aaa=N[ans,10](*结果数值化*)
  8. Grid[aaa,Alignment->Left](*列表显示*)
  9. bbb=f/.ans[[1;;4]](*只代入前几个解,因为后面是复数解*)
复制代码

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-3-20 16:48:09 | 显示全部楼层
偷个懒,用软件 捷足先登,看看结果
  1. Solve[{1/ ((a+b c)^2) (3-a)^2/(5-6 a+a^2)==1/ ((b+a c)^2) (3-b)^2/(5-6 b+b^2)==1/ ((c+b a)^2) (3-c)^2/(5-6 c+c^2),a^2+b^2+c^2+2 a b c==1&&a^2<=1&&b^2<=1&&c^2<=1},{a,b,c},Reals]
复制代码

解得, $a=b=c =1/2$时,取得极值, 回代确定为最大值,是$9/2$

点评

nyy
你这表达式什么意思?怎么与原来的不一样?  发表于 2023-3-21 09:03
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-3-21 10:00:55 | 显示全部楼层
wayne 发表于 2023-3-20 16:48
偷个懒,用软件 捷足先登,看看结果

解得, $a=b=c =1/2$时,取得极值, 回代确定为最大值,是$9/2$

出来解释一下呀,我看不懂你的这个代码中表达式怎么变了?我唯一看懂的就是你利用了我的替换的思想来求解极值
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2023-3-26 19:57:37 | 显示全部楼层
wayne 发表于 2023-3-20 16:48
偷个懒,用软件 捷足先登,看看结果

解得, $a=b=c =1/2$时,取得极值, 回代确定为最大值,是$9/2$

请问4#, 3#中代码用的是什么语言?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

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

GMT+8, 2024-6-23 02:25 , Processed in 0.237448 second(s), 17 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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