三角形三邊分別為a,b,c。已知abc滿足a^2+b^2+2(c^2)=8,求三角形面積的最大值?
引理:對於平面內兩定點
, 若動點
滿足
為定值, 則點
的軌跡是圓, 且圓心在
的垂直平分線上。 建系易證, 這裡略去。
這裡先考慮
已知時, 面積最大值的情況。
為定值, 結合引理可得, 當
時有最值。
這裡再考慮
對面積的影響。 條件變為
。 這裡做高,可得
。
題
:在三角形
中滿足
,則三角形
的面積
最大值為_______。
給出兩種方法,
法 1
:
圖 1 AD 垂直於 BC
設點
在
上的
投影
為
則
,注:這裡
均為
有向線段
,以
方向為正,如圖 1。 (如果是初次接觸,直接當點
在
邊上),於是
從而再由均值不等式有
(
或者利用
)
兩次取 “
”時,
即
,且
即
,進一步知
,
法 2
:
本質上也是柯西不等式破題,不過,這裡兩次等號同成立時,知
且
是一眼即知的。
附贈一道類題
這個解三角形的問題怎麼算?
題目比較弱智,我就直接上程式碼!
由於約束條件限制了所有變數的範圍都是有界的,那麼必然面積是有界的,因此只需要用拉格朗日乘子法計算出所有可能的極值,然後在所有的極值中比較,最大值就是要求的面積最大值。
目標函式如下:
分別對a b c t求解偏導數並且化簡,結果如下:
求解方程組,並且增加一列函式值(降序排列
),結果如下:
很顯然,第一行就是我們想要的結果,對函式值開平方就是三角形的面積,是
,
此時三邊邊長如下:
Clear
[
“Global`*”
];
(*子函式,海倫公式*)
heron
[
a_
,
b_
,
c_
]
:=
Module
[{
p
=
(
a
+
b
+
c
)
/
2
},
Sqrt
[
p
*
(
p
-
a
)
*
(
p
-
b
)
*
(
p
-
c
)]]
(*約束條件限制了所有變數有界,因此面積有界,所以可以用拉格朗日乘子法解決問題*)
f
=
(
heron
[
a
,
b
,
c
])
^
2
+
t
*
(
a
^
2
+
b
^
2
+
2
*
c
^
2-8
)
(*求解偏導數,解方程組*)
aaa
=
Solve
[
D
[
f
,{{
a
,
b
,
c
,
t
}}]
==
0
,{
a
,
b
,
c
,
t
}]
//
FullSimplify
;
bbb
=
Append
[
#
,
FullSimplify
[(
f
/。
#
)]]
&/@
aaa
;
(*增加一列函式值*)
ccc
=
Sort
[
bbb
,
#1
[[
5
]]
>
#2
[[
5
]]
&
];
(*按照函式值降序排列*)
Grid
[
ccc
,
Alignment
->
Left
]
(*列表顯示*)
來一個好想的方法,但並沒有 @時年 的方法簡單。
在三角形
中,三邊分別為
;滿足
,
則三角形
的面積
最大值為_______。
解:
消元:
基本不等式放縮:
移項配湊目標:
取等:
且