三角形中的余弦不等式
在三角形\(ABC\)中求证:\[\sqrt{\cos^2A-6\cos A+5}+\sqrt{\cos^2B-6\cos B+5}+\sqrt{\cos^2C-6\cos C+5}\le\frac92.\] 我看完后没任何思路，不知道拉格朗日乘子法如何 本帖最后由 nyy 于 2023-3-20 14:41 编辑
https://bbs.emath.ac.cn/forum.php?mod=redirect&goto=findpost&ptid=5191&pid=74440&fromuid=14149
引用这儿的结果，化简问题
\
求偏导数，解方程组，求解结果如下：
\[
\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\}
\]
全部代码如下：
Clear["Global`*"];
cond=Det[{{-1,a,b},{a,-1,c},{b,c,-1}}](*约束条件*)
(*拉格朗日乘子法建立目标函数*)
f=Sqrt+Sqrt+Sqrt+t*cond
(*求偏导数,解方程组*)
ans=Solve==0,{a,b,c,t}]
aaa=N(*结果数值化*)
Grid(*列表显示*)
bbb=f/.ans[](*只代入前几个解,因为后面是复数解*)
偷个懒,用软件 捷足先登,看看结果
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$ wayne 发表于 2023-3-20 16:48
偷个懒,用软件 捷足先登,看看结果
解得, $a=b=c =1/2$时,取得极值, 回代确定为最大值,是$9/2$
出来解释一下呀，我看不懂你的这个代码中表达式怎么变了？我唯一看懂的就是你利用了我的替换的思想来求解极值 wayne 发表于 2023-3-20 16:48
偷个懒,用软件 捷足先登,看看结果
解得, $a=b=c =1/2$时,取得极值, 回代确定为最大值,是$9/2$
请问4#, 3#中代码用的是什么语言?
页:
[1]