![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_03.png?8acaa2e)
f(x) = ax*x;+bx + cの時に(x*xはxの二乗を表しています)
常にf(x) > 0が成り立つというときにはa > 0かつ判別式D=bx*x-4ac<0としてときますよね?
これをf(x,y) ax*x+bxy+cy*y (x,y)≠(0,0)において常にf(x,y)>0を満たすというのはどのように導けばいいのでしょうか?
おそらくa>0かつc>0かつb*b-ac<0という予測はつくのですがうまく証明ができません・・・・・。
またf(x,y) ax*x+bxy+cy*y (x,y)≠(0,0)において常にf(x,y)<0が成り立つための必要十分条件はなんでしょうか?
No.3ベストアンサー
- 回答日時:
x ≠ 0)
f(x,y) = x^2 (a + b(y/x) + c(y/x)^2)
∴ f(x,y)>0 ⇔ c > 0 かつ b^2 -4ac < 0 ... (1)
y ≠ 0)
f(x,y) = y^2 (a(x/y)^2 + b(x/y) + c)
∴ f(x,y)>0 ⇔ a > 0 かつ b^2-4ac < 0 ... (2)
(1),(2)より a > 0 かつ c > 0 かつ b^2-4ac < 0
(b^2-4ac < 0 だから本当は a > 0 か c > 0 の一方を言えば充分)
f(x,y) < 0 のときも同様です。
お答いただいてありがとうございました。
それに途中の導き方までご丁寧にお答えいただき感謝です。
多変数関数の場合はxの式、yの式それぞれ分けて考えていかなければならないのですね・・・・・・。
No.4
- 回答日時:
> 多変数関数の場合はxの式、yの式それぞれ分けて考えていかなければならないのですね・・・・・・。
考えなければならない、または、考える事ができる、かな?
x、yがそれぞれ無関係に動く事ができるので、適当に片方を固定して、(それがどんな値に固定されようとも)もう一方が任意の実数で条件を満足するようにすれば良いという考え方ができる、ということだと思います。
ちなみに、x≠0,y≠0で場合するのが分かりにくければ、普通にxについて平方完成してやると・・・
f(x,y) = ax^2 + bxy + cy^2 = a(x+(b/(2a))y)^2 + ((4ac-b^2)/(2a))y^2
ですよね。言うまでもないけど任意の実数x,yにおいて(x+(b/(2a))y)^2≧0, y^2≧0 ですから、任意の実数x,yで f(x,y)≧0 となるためには(a≠0として) a>0 かつ (4ac-b^2)/(2a)≧0 が必要。
逆に、
a>0 かつ b^2-4ac = 0 のとき、x=y で f(x,y) = 0 なので、(x,y)≠(0,0) でf(x,y)>0 を満足しない。
a>0 かつ b^2-4ac < 0のとき、f(x,y) = 0 になるのは、x = y = 0 のときのみで、(x,y)≠(0,0) のとき f(x,y)>0
故に、a>0 かつ b^2-4ac<0 が(x,y)≠(0,0)でf(x,y)>0 に必要充分な条件になります。
と考えても良いと思います。これなら、x,yを別々に場合分けする必要がないですね。
No.2
- 回答日時:
一般的な方法に2次形式に展開するという方法があります.
ax^2+2bxy+cy^2
はmatlab風に記述すると
(a,b;b,c)*(x;y)
となります.これがどんな(x;y)でも正になるには
行列(a,b;b,c)が正定である必要があります.
シルベスターの判定法によれば,a>0で行列の行列式
ac-b^2>0であれば正定だそうです.
No.1
- 回答日時:
2変数として解くなら。
。。。f(x,y) =a(x+by/2a)^2+(c-b^2/4a)y^2と変形すれば良い。
しかし、私なら、そんなことはしない。
y≠0よりx/y=tと置けば、
>常にf(x,y)>0を満たすというのはどのように導けばいいのでしょうか?
>常にf(x,y)<0が成り立つための必要十分条件はなんでしょうか
のどちらも簡単に解決する。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 あいまいな日本語数学問題 9 2022/05/30 10:24
- 数学 高校数学で質問があります。 2 2023/02/13 16:40
- 数学 数学の問題が分かりません! 次の関数y=f(x)の逆関数y=f^-1(x)を求めよ. ※答えが2次関 3 2023/06/22 19:22
- 数学 関数f(x)=x^3+ax^2+bx+cとする。このとき、y=f(x)は以下の条件を満たしている。 1 2023/02/11 14:40
- 数学 二次関数の問題なのですが、パープ〜が愚にも付かぬ珍説を喧しく唱え続けていて、非常に当惑しております。 2 2022/05/29 21:41
- その他(自然科学) 「実数解を持つための」と「実数解を持つときの」の違い違い 4 2023/03/23 18:23
- 数学 複素数の範囲での因数分解について。 ax^2+bx+c = a(x-α)(x-β)は 2つの解αβが 2 2022/08/19 08:29
- 数学 この解法があっているか分からないので教えてください 4 2022/07/12 14:59
- 数学 写真の問題で剰余の定理を用いて、別解の手順から a=2 b=8と求まるところまではわかるのですが、な 2 2022/08/07 13:12
- 数学 【 数学 一次関数 】 問題 f(1)=-7,f(3)=-13を満たす1次関数f(x)を求めよ。 疑 4 2022/10/23 17:50
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
(a+b)(b+c)(c+a)+abcの因数分解
-
因数分解を教えて下さい。 ab(a...
-
至急 高校数II
-
数学の問題
-
a^2 + b^2 + c^2 - 2ab - 2bc -...
-
高一 数学1 不等式の証明 a>b,...
-
直角三角形の比で1:2:√3を使う...
-
因数分解の問題です a^2(b+c)+b...
-
因数分解せよ。 (a+b)(b...
-
判別式D/4の公式は b²ーac です...
-
a:b=c:dのとき bc=adになるの...
-
多変数関数の問題で・・・・・・
-
通分について
-
行列の二次方程式
-
xの方程式 x^3 -2x^2 +2x -1 = ...
-
a+b+c=(1/a)+(1/b)+(1/c)=(1/ab...
-
数学の因数分解です。⑴ a^2b-bc...
-
因数分解のやり方を教えてくだ...
-
(b+c)(c+a)(a+b)≧8abc
-
行列式の因数分解
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
(a+b)(b+c)(c+a)+abcの因数分解
-
数学の問題
-
高1の因数分解の問題ですが、...
-
行列式の因数分解
-
直角三角形の比で1:2:√3を使う...
-
因数分解の問題です a^2(b+c)+b...
-
(b+c)/a=(c+a)/b=(a+b)/cのとき...
-
数学のあまり難しくない問題です
-
判別式D/4の公式は b²ーac です...
-
aとbが互いに素 aとcが互いに素...
-
a^2 + b^2 + c^2 - 2ab - 2bc -...
-
ab(b+c)+bc(b+c)+ca...3abc
-
数学の質問です。 行列式の因数...
-
a(b二乗−c二乗)+b(c二乗−a二乗...
-
因数分解せよ。 (a+b)(b...
-
因数分解を教えて下さい。 ab(a...
-
a三乗(bーc)+b三乗(cーa)+c三...
-
xの方程式 x^3 -2x^2 +2x -1 = ...
-
(a-b)^2+(b-c)^2+(c-a)^2を簡...
-
必要条件、十分条件、必要十分条件
おすすめ情報