No.5ベストアンサー
- 回答日時:
x=y=z=1/√3で最大値1になる所が分かりません⇒
x・y+y・z+z・x=x^2+y^2+z^2-((x-y)^2+(y-z)^2+(z-x)^2)/2
より
f=1-((x-y)^2+(y-z)^2+(z-x)^2)/2
従ってx=y=zのときfは最大値1をとらないかい?
それにx=y=zならば
x^2+y^2+z^2=1より3・x^2=1だからx=±1/√(3)
ではないかい?
No.7
- 回答日時:
ヴェクトルの回転とか考えていたのですが、一般的問題はともかく、この問題では、そんな複雑な話は無用だという結論に達しました。従って、この問題を解くのに、必要以上に複雑な考え方は、間違いではないとしても、適切でないことになります。
x^2+y^2+z^2=1 というのは、三次元の球の式で、半径が1です。
他方、xy+yz+zx は、ヴェクトル(x,y,z)と(y,z,x)の内積だと考えられます。この二つのヴェクトルA=(x,y,z)とB=(y,z,x) 共に、原点から球上の一点へと向かう単位ヴェクトルです。
f=xy+yz+zx=A・B は、AとBが、球面上の一点で定義されている単位ヴェクトルであることからすると、最大値は、1であることは明白です。また、x,y,zもfも連続量であることを考えると、これが極値であることも明白です。
AとBのような条件の与えられた二つのヴェクトルの内積が1になるというのは、AとBが同じヴェクトルの場合以外にありえません。(違うヴェクトルだと、内積は1より小さくなることは自明だからです)すると、x=y, y=z, z=x となります。つまり、x=y=z です。(x,y,z) が半径1の球面を定義する場合、明らかに、x^2+y^2+z^2=3x^2=1 で、x=+/-(√3)/3=y=z
これで回答になります。(微分などは使っていませんが、連続量関数の連続変化で、最大値がある場合は、これが極値であるということを使っています)。
回答は、最大極値は x=y=z=+/-(√3)/3
他方、最小極致は、(x+y+z)^2-1=2f から、
fが最小になるのは、明らかに、x+y+z=0 の場合で、この時 f=-1/2
この値がfの極小値ということも、fが連続量で、x,x z も連続量であることから自明。
中間の極値があるかないかは、(x+y+z)^2 の全微分を取ると、
2(x+y+z)(dx+dz+dy) となり、これがゼロになるのは、すでに述べた、極大値と極小値のケースで、それ以外に全微分がゼロになるケースはないので、極値は以上に述べた極大値と極小値のみ(つまり、(x+y+z)=0か、(dx+dz+dy)=0で、後者は、dx=dy=dz=0 で、こうなるのは、x=y=z の場合だけ。ここまで考えてしまうと、すでに出ている答えと同じことになってしまいますが。……(dx+dz+dy)=0というのは、増分の係数次第で、-dx などもありえるが、すでに係数をまとめて外しているので、増分の合計ゼロとは、増分がゼロのことで、x,y,z,は、球面上の点という束縛はあっても自由な変数であるので、その増分が同じ値=ゼロになるのは、三変数が独立変数でなく、増分も同じ、即ち、x=y=z となるのです。……厳密性に欠けるし、少しも簡単でないですね)。
No.6
- 回答日時:
Rを実数全体の集合としDをR^3の連結な開集合とする
連結:開集合が共通点を持たない2つの開集合に分割できないとき前記開集合は連結されているという
極小値の定義:
f(x,y,z)とg(x,y,z)はDで定義されたC^1級の実数値関数であり
(x0,y0,z0)∈Dであり
U(x0,y0,z0)⊂Dは(x0,y0,z0)の近傍であり
g(x0,y0,z0)=0であり
(x,y,z)∈U(x0,y0,z0)かつg(x,y,z)=0である限り
f(x0,y0,z0)≦f(x,y,z)であるU(x0,y0,z0)が存在するとき
f(x,y,z)は(x,y,z)=(x0,y0,z0)においてg(x,y,z)=0という付帯条件の下で極小値をとるという
極大値の定義:
f(x,y,z)とg(x,y,z)はDで定義されたC^1級の実数値関数であり
(x0,y0,z0)∈Dであり
U(x0,y0,z0)⊂Dは(x0,y0,z0)の近傍であり
g(x0,y0,z0)=0であり
(x,y,z)∈U(x0,y0,z0)かつg(x,y,z)=0である限り
f(x,y,z)≦f(x0,y0,z0)であるU(x0,y0,z0)が存在するとき
f(x,y,z)は(x,y,z)=(x0,y0,z0)においてg(x,y,z)=0という付帯条件の下で極大値をとるという
ラグランジュの乗数法:
f(x,y,z)とg(x,y,z)はDで定義されたC^1級の実数値関数であり
∂g(x,y,z)/∂x,∂g(x,y,z)/∂y,∂g(x,y,z)/∂zが同時に0である(x,y,z)∈Dが存在しないとする
f(x,y,z)が(x,y,z)=(x0,y0,z0)においてg(x,y,z)=0という付帯条件の下で極大値または極小値をとるならば
∂f(x0,y0,z0)/∂x-λ・∂g(x0,y0,z0)/∂x=0かつ
∂f(x0,y0,z0)/∂y-λ・∂g(x0,y0,z0)/∂y=0かつ
∂f(x0,y0,z0)/∂z-λ・∂g(x0,y0,z0)/∂z=0
である実数λが存在する
すなわちラグランジュの乗数法におけるλの存在はあくまでもfが極値を取るための必要条件であり十分条件でない
従って極値を求める手順として有力な手順を示すと
(1)
ラグランジュの乗数法でfの極値の候補をすべて求める
(2)
その候補が本当に極値であるかどうかを吟味する
前記手順において十分条件を満たすかどうかを確認するNo.1とNo.3の前半の議論が利用される
従って決して取り下げてはならない
No.2
- 回答日時:
x・y+y・z+z・x=x^2+y^2+z^2-((x-y)^2+(y-z)^2+(z-x)^2)/2
より
f=1-((x-y)^2+(y-z)^2+(z-x)^2)/2
No.1の結果を利用させて貰うと
f=((x+y+z))^2)/2 -1/2=1-((x-y)^2+(y-z)^2+(z-x)^2)/2
fはx+y+z=0で最小値-0.5、x=y=z=1/√3で最大値1
本当はラグランジュの乗数法を使うべきだと思うよ
λを未定乗数として
F=x・y+y・z+z・x-λ・(x^2+y^2+z^2-1)として
∂F/∂x=∂F/∂y=∂F/∂z=∂F/∂λ=0
より
λ=1またはx+y+z=0である
λ=1のときはx=y=z=1/√(3)である
そうするといっぺんに答えが出るだろう
この回答への補足
x+y+z=0のとき、最小値―0.5というのは分かりましまた。
しかし、その後のx=y=z=1/√3で最大値1になる所が
分かりません。何故、1/√3が出てくるのかなど。
本当に申し訳ありませんが、教えてもらえないでしょうか。
No.1
- 回答日時:
f=xy+yz+zx
とする.
(x+y+z)^2 = x^2+y^2+z^2 + 2(xy+yz+zx)
= 1 + 2f
f=((x+y+z))^2)/2 -1/2
第一項は二乗であるからx,y,zが実数であれば常に>=0
fの極値は従って=0の時.すなわちx+y+z=0の時で,極値は-1/2となる.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 最小値を求める問題(大学数学) 3 2023/01/21 14:14
- 数学 二次関数の難問です。 P=x^2+y^2+z^2-xy-yz-zx(0≦x≦1, 1≦y≦2, 2≦ 4 2022/12/19 18:36
- 数学 数学 文字式の「サイクリック順」は xy yz zx として使えますが xy^2 yz zx と次数 2 2023/01/21 12:14
- 数学 「ΔA = A(x+Δx, y, z(x+Δx,y)) - A(x,y,z(x,y)) z(x+Δx 1 2023/03/26 06:16
- 物理学 物理の問題 2 2022/12/22 22:11
- 高校 ヘッセ行列を使って関数の極値を求める問題についてです。 極値は求められるのですが、そこから極小値極大 1 2022/11/20 15:21
- 数学 y”-xy=0の微分方程式の解き方、特異解の求め方を教えてください 1 2022/06/17 21:38
- 数学 lim[(x,y)→(0,0)] xy/(x^2+y^4)がわからないので教えてほしいです。#微積分 2 2022/10/07 11:10
- 数学 数学の問題がわかりません。(球の中心の座標を求める問題) 2 2023/02/14 15:52
- 数学 ベクトル解析 ガウスの定理 問題 (1,0,0)、(0,1,0)、(0,0,1)、(0,0,0)を頂 7 2023/07/18 21:43
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
強者男性、弱者男性の定義って...
-
無限から無限を引いたら何にな...
-
e<3の証明を教えてください。
-
p⇒q=(¬p)∨qについて
-
Excelファイルの「数式」タブ→...
-
「互いに素」の定義…「1と2は互...
-
ACCESS IIF関数 複数条件の設...
-
1未満と1以下の違い
-
交換法則が成り立って、結合法...
-
2進数の符号ビットの入った数...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
Excelで関数ウィザードの説明欄...
-
最大公約数は必ず正の整数にな...
-
拡大実数 ルベーグ積分に登場す...
-
複雑な家庭とは
-
エクセルVBA 「名前の定義」に...
-
モノイド・半群は演算が閉じて...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報