- ベストアンサー
恒等式における数値代入法について
高校数学IIの教科書には、 「f(x)、g(x)がxのn次以下の多項式であるとき、 等式f(x)=g(x)がn+1個の異なるxの値に対して成り立つならば、 この等式はxについての恒等式であることが知られている」 と書いてあります。 これについての証明は教科書に書いてありませんが、事実として は教科書に明記されているのでこのことを使っても構いません。 つまり、「f(x)、g(x)がxのn次以下の多項式であるとき、 数値代入法で、n+1個のxの値を代入して答えが出たときは 十分性の確認は不要」であり、 「f(x)、g(x)がxのn次の多項式であるとき、 数値代入法で、n個以下のxの値を代入して答えが出たときは 十分性の確認は必要」と言うことです。 では、f(x,y,z…)、g(x,y,z…)がx、y、z…のn次以下の多項式である とき、等式f(x,y,z…)=g(x,y,z…)が一体何個の異なるx、y、z…の値 に対して成り立つならば、この等式はx、y、z…についての恒等式 であることが知られているのでしょうか? たとえば、「2x^2+axy-3y^2+x+4y-1=(2x+y+b)(x-3y+c) がx,yの恒等式になるように,定数a,b,cの値を定めよ.」 という問題の場合、数値代入法で解くと、 2x^2+axy-3y^2+x+4y-1=(2x+y+b)(x-3y+c)………(1)とする. (1)にx=0,y=0を代入すると,-1=bc………(2) (1)にx=0,y=1を代入すると,0=(1+b)(-3+c)………(3) (1)にx=1,y=1を代入すると,a+3=(3+b)(-2+c)………(4) (3)から,b=-1またはc=3 i).b=-1のとき,(2)から,c=1 (4)に代入すると,a+3=-2 ∴a=-5 このとき,(1)は 2x^2+5xy-3y^2+x+4y-1=(2x+y-1)(x-3y+1) となり, 常に成立する. ii).c=3のとき,(2)から,b=-1/3 (4)に代入すると,a+3=3-(1/3) ∴a=-1/3 このとき,(1)は 2x^2-xy/3-3y^2+x+4y-1=(2x+y-1/3)(x-3y+3) =2x^2-5xy-3y^2+17x/3+4y-1 となり,これはx,yの恒等式ではない. i).,ii).から,答はa=-5,b=-1,c=1である. となります。この場合、f(x,y)、g(x,y)はx、yの「2」次の多項式 ですが、「2+1」個のx,yを代入しても十分性の確認は 必要でした。
- 数学・算数
- 回答数3
- ありがとう数2
- みんなの回答 (3)
- 専門家の回答
質問者が選んだベストアンサー
定理として知っているわけではないので確たる自信はないですが… (x,y)の場合は、多分6つじゃないでしょうか。というのは、展開した時に x^2, y^2, xy, x, y, 1 の6つの項ができるので、それぞれに対応する6つの係数を定めるために一般的には6つの等式が一般には必要になると思います。 この考え方で行くと、k変数n次の場合は、k^n+k^(n-1)+…+k^0個が必要になりますね。というのは、n次の項はk^n通り作れるのからです。ちなみに、k=1を代入するとn+1になります。
その他の回答 (2)
- incd
- ベストアンサー率44% (41/92)
先ほどの計算は間違いです。忘れてください。
- Tacosan
- ベストアンサー率23% (3656/15482)
k変数 n次多項式で必要な組み合わせは, たぶん (k+n)!/(k!n!) = (k+n)Ck です. 方針は #1 の通りで「k変数で高々 n次の単項式を数える」ことに帰着されるのですが, これは「(k+1)変数の n次単項式を数える」ことと等価です. そして, この数は結局重複組み合わせ (n+1)Hk = (k+n)Ck であらわされます. 最初はもっと複雑奇怪な方から攻めたんだけど, 結論からみればこれだけ.
お礼
またまたTacosanさんですか!? いつもいつもありがとうございます。 なるほど、結構単純な数え方なんですね。 原理が理解できただけでも満足です。 ありがとうございました。
関連するQ&A
- 恒等式の数値代入法
『 例題 次の等式がxについての恒等式であるとき,定数a,b,cの値を求めよ。 ax(x+1)+bx(x-3)-c(x-3)(x+1)=6x^2+7x+21 この等式が恒等式ならば,x=-1,0,3を代入しても成り立つ。 x=-1を代入すると4b=20 x=0を代入すると3c=21 x=3を代入すると12a=96 したがってb=5,c=7,a=8 この時(左辺)=8x(x+1)+5x(x-3)-7(x-3)(x+1) =8x(x^2+x)+5(x^2-3x)-7(x^2-2x-3) =6x^2+7x+21 ゆえに与式は恒等式である よってa=8,b=5,c=7 』 参考書にこう書いてありました。 どういう解釈をすればいいのかわかりません。 「x=-1,0,3を代入しても成り立つ」というところの「,」記号はどういう意味ですか? 「x=-1が成り立つ、かつ、x=0が成り立つ、かつ、x=3が成り立つ」という意味ですか? だとしたら、「-1=0=3となって矛盾する。よって与式は恒等式ではない」ってことにはならないんですか? 「x=-1が成り立つ、または、x=0が成り立つ、または、x=3が成り立つ」だとしても、 8x(x+1)+5x(x-3)-7(x-3)(x+1)という式は作れないような…。 8x(x+1)+bx(x-3)-c(x-3)(x+1)またはax(x+1)+5x(x-3)-c(x-3)(x+1)またはax(x+1)+bx(x-3)-7(x-3)(x+1)が成り立つ。 ってことになるような気がするのですが…。
- ベストアンサー
- 数学・算数
- 青チャート 基本例題9(数値代入法)
次の等式がxについての恒等式であるとき、定数a,b,cの値を求めよ。 ax(x+1)bx(x-3)-c(x-3)(x+1)=6x^2+7x+21 解説 係数比較法でもできるが、等式の形から、数値代入法を利用する。 3つのxの値の代入でa,b,cは求められる(必要条件)が、この3つのxの値以外でも成り立つかどうかは不明。よって、恒等式であることを確認する(十分条件)。 ・・・・・・(ここからは省略) 教えてほしい点 次の等式が恒等式であるときと問題に書かれています。 よって、この関係式はどんなxの値を代入しても成立するということです。 なのに、なぜこの3つのxの値以外でも成り立つかどうかは不明なんですか?? 教えて下さい。
- 締切済み
- 数学・算数
- ラグランジュの未定乗数法
条件g(x,y)=0の下で、z=f(x,y)の極値を求める。 g(x,y)=0は、xとyの陰関数でありz軸に平行なある曲面を表す。 z=f(x,y)の全微分は、dz=(∂f/∂x)*dx+(∂f/∂y)*dyより、(dz/dx)=(∂f/∂x)*1+(∂f/∂y)*(dy/dx) dz/dx=f_x(x,y)+f_y(x,y)*(dy/dx) ここでzは、g(x,y)=0の条件によりxの1変数関数となっている。 一方、z=g(x,y)とすると、z=g(x,y)=0となり、これは恒等的に0である。よって、全微分もdz=(g_x)*dx+(g_y)*dy=0となる。 dy/dx=-g_x(x,y)/g_y(x,y) dz/dx=f_x(x,y)-[{f_y(x,y)*g_x(x,y)}/g_y(x,y)] (x,y)=(a,b)の点で、この曲線が極値をもつとき、dz/dx=0となる。 dz/dx=f_x(a,b)-[{f_y(a,b)*g_x(a,b)}/g_y(a,b)] f_x(a,b)={f_y(a,b)*g_x(a,b)}/g_y(a,b) g_x(a,b)≠0のとき、両辺をg_x(a,b)で割り、{f_x(a,b)/g_x(a,b)}={f_y(a,b)/g_y(a,b)} ここで、{f_x(a,b)/g_x(a,b)}={f_y(a,b)/g_y(a,b)} =λとおくと、f_x(a,b)=λ*{g_x(a,b)}, f_y(a,b)=λ*g_y(a,b) このλが未定乗数である。 質問がいくつかあります。 まず、初めに条件になっている『g(x,y)=0はz軸に平行な曲面を表す』とあります。これは、z=g(x,y)=0とは違いますよね? z=g(x,y)=0はz=0なので、xy平面上の関数になり、z軸に平行な曲面にはならないと思うのですが。 次に、全微分可能な関数z=f(x,y)の全微分はdz=f_x(x,y)dx+f_y(x,y)dyと表され、これは∂z/∂x=f_x(x,y)+f_y(x,y*)(dy/dx)と表す事ができ、この左辺はzがxとyの2変数関数のためdz/dxとならずに∂z/∂xとなっています。この証明においてz=f(x,y)の全微分を求める際に『ここで、zはg(x,y)=0の条件により、xの1変数関数となっている』とありますが、これはどういう意味でですか? z=f(x,y)の曲面とg(x,y)=0の曲面が交わった所は曲線になるのは分かります。そしてこの曲線はxの値を一個定めると、それによってyの値が決まるので、zも決まる。よってzはxの1変数関数となるのでしょうか? そして、『z=g(x,y)とおくと、z=g(x,y)=0とおくと、これは恒等的に0。よって、その全微分もdz=(g_x)*dx+(g_y)*dy=0』とありますが、まずこの意味を簡単に説明していただけますか。『よって』の前後がどう繋がっているのが分かりません。『z=g(x,y)=0とおく』となっていますが、この場合z=g(x,y)=0は前述したようにxy平面上のグラフになると思うのですが、なぜg(x,y)=0をz=g(x,y)=0と置き換えたのかが分かりません。dy/dxの値を求めるためでしょうか? 自分の書いた所に、誤解やちんぷんかんぷんで意味が分からない所があれば指摘してください。
- 締切済み
- 数学・算数
- ラグランジュの未定乗数法
いつも有り難く利用させていただいております。 今回は、ラグランジュの未定乗数法について少々お聞きしたいのですが、 http://www004.upp.so-net.ne.jp/s_honma/derivative/lagrange.htm のラグランジュの未定乗数法の説明のところで、("A_x"でAをxで偏微分することを意味している) 制約条件をG( x , y , z )=0 、( a , b , c )で、極致を求めたい関数をF(x , y , z )としておくと、 このとき、G( x , y , z )=0 から、z が x , y の関数になっているとすると、関数F は x , y の関数になるので、( a , b , c )において、 F_x+F_z・z_x=0 、 F_y+F_z・z_y=0 が成り立つ。 ここで、z_x 、z_y は、次の式により与えられる。 G_x+G_z・z_x=0 、 G_y+G_z・z_y=0 そこで、( a , b , c )における -F_z/G_z の値を、λ とおくと、 F_z+λG_z=0 が成り立ち、 さらに、F_x+λG_x=0 、 F_y+λG_y=0 が成り立つ。 したがって、4つの式 G=0 、F_x+λG_x=0 、F_y+λG_y=0 、F_z+λG_z=0 を解くことにより、極値を与える候補の点( a , b , c )が求められる。 と、記載されているのですが、 G( x , y , z )=0 から、z が x , y の関数になっているとすると、関数F はx , y の関数になるので、( a , b , c )において、 F_x+F_z・z_x=0 、 F_y+F_z・z_y=0 が成り立つ。 ここで、z_x 、z_y は、次の式により与えられる。 G_x+G_z・z_x=0 、 G_y+G_z・z_y=0 の部分の、 F_x+F_z・z_x=0 、 F_y+F_z・z_y=0 と、 G_x+G_z・z_x=0 、 G_y+G_z・z_y=0 の式はどのようにして出てきているのでしょうか?
- ベストアンサー
- 数学・算数
- 高校数学 不等式など
高校から課題が出たのですが、解説がなかったため解説をお願いします。 途中式などを細かく書いていただけると、ありがたいです。 問題数が少し多いのですが、宜しくお願いします。 降べき、昇べきの順に並び変える。 6x^2-4y^2-2xy-3x+4y+1 既約分数か多項式にする。 a^2-(b-c)^2/(a+b)^2-c^2 次の不等式を満たすxの値の範囲 -1<1-(x-1)/2<= 1/3 2(x-3)+5<5x+6<= (3x+4)/3 次の連立方程式を解く。 x+y=4 y+z=8 z+x=6 次の不等式を満たす実数x,yの値を求める。 (1+i)(x-yi)=2+i iの二乗は-1です。 次の二次方程式が重解をもつように、実数kの値を定める。 また、そのときの重解を求める。 k(x+1)(x-2)=x^2 見難いですが、宜しくお願いします。 一応、新高一です。 もしかしたら、二年の範囲もあるかもです。
- ベストアンサー
- 数学・算数
- 方向微分係数の問題です
関数f(x、y、z)=axy^2+byz+cz^2x^3のX=(1,2、-1)における方向微分係数の値がZ軸正の方向において最大であり、その値が64となるようにa,b,cの値を定めよ。 という問題なんですが、最大について、どのようにあつかえばいいのかわかりません
- 締切済み
- 数学・算数
- エクセルで入力の数値を次々変えてシミュレートできますか
こんばんは 前回は質問の書き方が不明瞭でしたので、書き直します。 3つの数値 x,y,z を与えると、結果がシミュレーションできるエクセルシートがあります。結果も3つ出ますので f(x,y,z), g(x,y,z), h(x,y,z) とします。 x,y,z は B2, D2, F2 に入れるようになっており、f, g, h は、B8, C8, D8 に出るとします。 このとき、x,y,z の組み合わせをたとえば各10通り、合計1000通り代入して、f, g, h を計算させるには、B2, D2, F2に 400 40 1.5 400 50 1.5 420 40 1.5 420 50 1.5 … というように次々数値を入力して、結果f, g, h(B8, C8, D8)を別の欄に記録していけば良い訳ですが、これを1000回繰り返すのは面倒です。 シナリオという機能があると伺い、これが希望のものに近いのですが、 http://www.rericca.com/qa/ex12.html 1000回もシナリオを作るのでは入力の手間が大変です。 そこで次のようにできないでしょうか。 x, y, z の数値の組合せ(400 40 1.5 等々)を次々変えて J,K,L 列の 1から1000行に書いておくと、それらを 順次 B2, D2, F2 に代入し、ある行の組み合わせに対する答え f, g, h が同じ行の M,N,O列に出る、それを 1 から 1000行まで繰り返す、というようなことが可能でしょうか。(出力形式は例として考えたので、この形にはこだわりません)。 f, g, h が 関数として簡単に書ければ、プログラム言語でループをさせればいいのですが、このエクセルは以前の人が作ったもので途中で大変面倒な計算をしており、とても移植できません。(上記の話は説明のために簡単化してあります)。 こういう手段があればとてもありがたいのです。よろしくお願いします。
- ベストアンサー
- オフィス系ソフト
お礼
>>(x,y)の場合は、多分6つじゃないでしょうか。というのは、 >>展開した時にx^2, y^2, xy, x, y, 1 >>の6つの項ができるので、それぞれに対応する6つの係数を定める >>ために一般的には6つの等式が一般には必要になると思います。 なるほど、と思いました。 原理が理解できただけでも満足です。 ありがとうございました。