|
|
本帖最后由 天元酱菜院 于 2017-7-23 12:08 编辑
其中,第4种方法有误。
————(直接算一下,所构造的对偶式K,没有达到 【 Y^2+K^2 消去 X变量】效果。 或者,分别取定义域内 1,4 两值带入计算一下,
y^2+K^2 分别为: 12和54
不过,可以调整一下构造,达到相似效果。
为简化表示, 设x-1=t, 有 y=3 * t^0.5 + 2^0.5 * (3-t)^0.5
构造辅助函数 z = 2^0.5 * t^0.5 - 3 * (3-t)^0.5 (是把系数对换以后的 “对偶”(姑且也算对偶吧))
t的取值范围是 [0,3] 区间。
1) z 为单增连续函数, y为非负函数。
2) 计算一下 可得到 y^2 + z^2 = 33
3) z 的值域范围: [ - 3 * 3^0.5 , 6^0.5 ] ,z 是连续函数,所以,0 在z的取得值集合中
4) 既然 y^2+ z^2 为常数33, 当 z取到0值时,y^2 到达最大值33
5) y函数非负, 所以 y^2 最大时 y取得最大值 33^0.5
————————————————————————————————————————————————————
这种方法的本质: 其实和第一种方法有很大关系,由于y的两项和的变量部分特点,可以变换成sin u 和 cos u
对 A sin u + B cos u 型函数,
自然可以构造 B sinu - Acosu 使得两函数平方和等于 A^2+B^2
本方法可以叙述为:
对 y=3 * t^0.5 + 2^0.5 * (3-t)^0.5 ( t属于 [0,3]) 做变量替换
设 u = arcsin( ( t/3)^0.5 ) (u 对应取值 0 到 π/2 , 属第一象限)
于是,t^0.5 = 3^0.5* sin u; 因u属于第一象限,所以又有 (3-t)^0.5 = 3^0.5* cos u
于是, y = 3*3^0.5* sin u + 2^0.5 * 3^0.5* cos u
= 27^0.5 sin u + 6^0.5 cos u
构造 Z = 6^0.5 sin u - 27^0.5 cos u
以下 z单增、 两函数平方和为33、 z的值域范围以及z可以有0值、y^2最大值、y非负等推导相同。
|
|