✨ ベストアンサー ✨
fzの計算ミス
fz=-2+2λzです。一応
あ、まさか自分が書いた符号をずっと見間違えてたなんて、これは反省するべきですね
解き直しました。今回は答えがあってます。
最後にもう一つ気になるところができました。今回z>0で求めた結果は一つだけでした。ラグランジュの結果は極値なのはわかりますが、極大値か極小値かがわかりません。前2つの解があったら大小比較でわかるんでしたが。
推測ですが、もしかしてこの場合も普通の多変数関数の極値のようにfxxで判断できたりしますか?
一応、縁つき(境界つき)ヘッセ行列というのがあって極大判定がでます(調べる際にはλの符号の置き方で2通りの定義があることに注意)。極大であって最大でないと仮定すると極大点と最大点の間に極小点が存在するはずですが極値の候補は一点だけだったことからこれはありえない。よって最大点である。
縁つきヘッセ行列はマニアックでこれは要求されていないと思います。曲面が双曲面で、x+y-2z=kがkの増加で法線ベクトル(1,1,-2)方向に平行移動する平面であることを考えれば、図形的に2つが接するときにkが最大になることがわかります。接する条件は2つのグラフの法線ベクトルが一致するときで、これはラグランジュの未定乗数法の導出の通りです。よって求めたものが最大になります。
x+y-2z=kの図形的意味解くときに考えてましたが、平面でしたか。極大の判定思ったよりも結構複雑だったんですね。求められてなさそうのでたぶんこれでいいかなと思います。
それとx,yを平方完成してから代入した方が計算が楽です。