求极小值
手机上刷到的题：求 \(\sqrt{x^2+y^2}+\sqrt{x^2-4x+4+y^2}+\sqrt{x^2+y^2-4y+4}\) 的极小值。 费马点 这题可弱智了！
Clear["Global`*"];(*Clear all variables*)
(*定义表达式*)
f=Sqrt+Sqrt+Sqrt
(*求两个方程的偏导数*)
{fx,fy}=D//Simplify
(*求偏导数解方程组*)
ans=Solve==0,{x,y}]
(*隐函数绘图,确实只有一个根*)
ContourPlot[{fx==0,fy==0},{x,-5,5},{y,-5,5}]
(*求目标函数的值*)
aaa=FullSimplify]]
(*画出三维图*)
Plot3D
stationary point为\[\left\{\left\{x\to \frac{1}{3} \left(3-\sqrt{3}\right),y\to \frac{1}{3} \left(3-\sqrt{3}\right)\right\}\right\}\]
数值化得到
{{x -> 0.42265, y -> 0.42265}}
代入表达式得到
\[\sqrt{2}+\sqrt{6}\]
用隐函数绘图，检测到函数只有一个极值点（图上只有一个交点），这样就把问题解决了！
这里面存在一个问题，因为开根号的函数，一旦根号下面等于零，也就是这时这个函数的导数不存在了，
因此只用求导的办法来解决问题是不妥的，因此需要画出函数的三维图，然后肉眼观察一下，确实只有一个极小值。
至于三维图，给郭老大省点空间，我就不上传了！
northwolves 发表于 2024-3-15 10:38
费马点
用你的思路，用余弦定理列方程组来吊打这个问题！
Clear["Global`*"];(*Clear all variables*)
deg=Pi/180;(*角度制下1°所对应的弧度*)
(*子函数,利用三边计算角的余弦值,角是c边所对的角*)
cs:=((a^2+b^2-c^2)/(2*a*b))
(*三个角成120°,用余弦定理列方程组来解决问题*)
ans=Solve[{
Numerator@Together-Cos]==0,
Numerator@Together]-Cos]==0,
Numerator@Together-Cos]==0
},{x,y,z}]//FullSimplify
Grid(*列表显示*)
(*求出目标函数值*)
f=(x+y+z/.ans)//FullSimplify
方程组求解结果
\[\begin{array}{rrr}
x\to -2 \sqrt{\frac{2}{3}+\frac{1}{\sqrt{3}}} & y\to 2 \sqrt{\frac{2}{3}} & z\to 2 \sqrt{\frac{2}{3}} \\
x\to \sqrt{\frac{8}{3}+\frac{4}{\sqrt{3}}} & y\to -2 \sqrt{\frac{2}{3}} & z\to -2 \sqrt{\frac{2}{3}} \\
x\to -2 \sqrt{\frac{2}{3}-\frac{1}{\sqrt{3}}} & y\to -2 \sqrt{\frac{2}{3}} & z\to -2 \sqrt{\frac{2}{3}} \\
x\to 2 \sqrt{\frac{2}{3}-\frac{1}{\sqrt{3}}} & y\to 2 \sqrt{\frac{2}{3}} & z\to 2 \sqrt{\frac{2}{3}} \\
\end{array}\]
代入目标函数值，得到
\[\left\{\sqrt{2} \left(\sqrt{3}-1\right),\sqrt{2}-\sqrt{6},-2 \sqrt{\sqrt{3}+2},2 \sqrt{\sqrt{3}+2}\right\}\]
northwolves 发表于 2024-3-15 10:38
费马点
把这个问题想复杂了，由于这题是等腰直角三角形，由于三个120度，且对称，
所以用手算也能解决这个问题，我刚才手算了一下，还是能比较快的解决问题的。
和我用软件算的结果是一样的
如图。设F点为所求，作等边三角形$\triangleABD$,$\triangle BFE$.若使$FA+FB+FC=DE+EF+FC$最短，则DEFC四点共线,$\angle DBC=\frac{\5pi}{6}$。 northwolves 发表于 2024-3-15 12:54
如图。设F点为所求，作等边三角形$\triangleABD$,$\triangle BFE$.若使$FA+FB+FC=DE+EF+FC$最短，则DEFC ...
Clear["Global`*"];(*Clear all variables*)
deg=Pi/180;(*角度制下1°所对应的弧度*)
(*子函数,利用三边计算角的余弦值,角是c边所对的角*)
cs:=((a^2+b^2-c^2)/(2*a*b))
(*用余弦定理解第三边,求出第三边的长度*)
ans=Solve==Cos[(90+60)deg],x]
求解结果
\[\left\{\left\{x\to -2 \sqrt{\sqrt{3}+2}\right\},\left\{x\to 2 \sqrt{\sqrt{3}+2}\right\}\right\}\]
进一步化简
\[\left\{\left\{x\to -\sqrt{2}-\sqrt{6}\right\},\left\{x\to \sqrt{2}+\sqrt{6}\right\}\right\}\] 瞪眼: x,y地位相等(可互换)。
Minimize[{Sqrt + Sqrt + Sqrt}, {x}] // FullSimplify
{Sqrt + Sqrt, {x -> 1 - 1/Sqrt}} 如图所示：
以三角形的三条边向外作正三角形。\(AE\)、\(BF\) 和 \(CD\) 三条线的交点 \(P\) 即为费马点。
将 \(\triangle ABP\) 顺时针旋转 \(\frac{\pi}{3}\) 即可看出 \(DC(=AE)\) 即为所求的极小值。
在这个题目的条件下有很简洁的求解方法：
极小值\(=2\times BC\times \cos{\frac{\pi}{12}}=2\times2\times\frac{\sqrt{3}+1}{2\sqrt{2}}=\sqrt{6}+\sqrt{2}\) 在 \(\triangle APC\) 中可求得 \(PC=\frac{AC}{2\cos{\frac{\pi}{6}}}\) 。
若以 \(B\) 点为坐标原点，则可求得 \(P\) 点的坐标为：
\(x=y=PC\sin{\frac{\pi}{12}}=\frac{AC}{2\cos{\frac{\pi}{6}}}\sin{\frac{\pi}{12}}\)
\(=\sqrt{2}\frac{\frac{\sqrt{2-\sqrt{3}}}{2}}{\frac{\sqrt{3}}{2}}=1-\frac{\sqrt{3}}{3}\)
页:
[1]
2