1/{(x-a)g(x)}=A/(x-a)+h(x)/g(x),g(x)、h(x)は多項式でg(a)≠0とする。
このとき,A=1/g(x)を証明せよ。

どうやたらいいか教えてください。
ヒントだけでもいいのでおしえて!!

A 回答 (4件)

計算ミスしていました。


    Ag(x)+(x-a)h(x) = 1
    A = -(x-a)h(x)/g(x)

    Ag(x)+(x-a)h(x) = 1
    A = {1 - (x-a)h(x)}/g(x)
の誤りでした。

abt-594さんの意図はこういう事だったんですね。
上式にx=aを代入すれば
    A = 1/g(a)
が導けます。

もし問題に「A=1/g(x)」と書いてあったのであればきっと誤植でしょう。
    • good
    • 0

1/{(x-a)g(x)}と分母にg(x)が入っている段階ですでにg(x)≠0なので、g(a)≠0は不要な条件でしょう。



右辺を通分すると
    {Ag(x)+(x-a)h(x)}/{(x-a)g(x)}
となるので両辺を1/{(x-a)g(x)}で割って
    Ag(x)+(x-a)h(x) = 1
    A = -(x-a)h(x)/g(x)
となり、証明すべき式に程遠い答えが出てくるのですが。

何が問題を読み違えてはいませんか?
    • good
    • 0
この回答へのお礼

ありがとうございます。
問題はそのまま写したので・・・

お礼日時:2001/07/24 23:23

ヒントだけでもいいのでおしえて!!


とのことですので
x=a^2としてみてください。
いかがですか?
    • good
    • 0
この回答へのお礼

ありがとうございます。

お礼日時:2001/07/24 23:20

とりあえず、式を簡単な形に変形しましょう。


分母をそろえるといいことがあるかも!

あと、証明すべきものは

A=1/g(a) じゃないかな
    • good
    • 0
この回答へのお礼

ありがとうございます。

お礼日時:2001/07/24 23:19

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aと関連する良く見られている質問

QX=loga(4/3),Y=loga(8/3),a>0,a≠1のとき,loga3をX,Yで表せ。

X=loga(4/3),Y=loga(8/3),a>0,a≠1のとき,loga3をX,Yで表せ。


この問題の答えはわかるんですが、やり方がわからないので教えてください


ちなみに答えは-3X+2Yです

Aベストアンサー

回答者のヒントで解決しなければ、ヒントを下にやったことを補足に書いてどこで行き詰まっているか、を質問しないと、いつまでも解決しませんよ。
やり方のヒントやアドバイスをもらえるだけですから、自力解答を作って補足に書いて、わからない箇所をきいて下さい。

解答を作るのは質問者さんであって、回答者ではありません。

ヒント)
XとYをloga(2)とloga(3)に分解して、
分解した2つの式からloga(2)を消去して下さい。
消去した式をloga(3)=...
の形に解けば答に至ります。

分からなければ、やった所までを補足に書いて、補足質問して下さい。

Qx1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底,{y1,y2,y3}がその双対基底でx=(0,1,0)の時,y1(x),y

[問] ベクトルx1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底とする。
{y1,y2,y3}がその双対基底でx=(0,1,0)の時、
y1(x),y2(x),y3(x)を求めよ。

という問題の解き方をお教え下さい。

双対基底とは
{f;fはF線形空間VからFへの線形写像}
という集合(これをV*と置く)において、
V(dimV=nとする)の一組基底を{v1,v2,…,vn}とすると
fi(vj)=δij(:クロネッカーのデルタ)で定めるV*の部分集合
{f1,f2,…,fn}はV*の基底となる。これを{v1,v2,…,vn}の双対基底と呼ぶ。

まず、
C^3の次元は6(C^3の基底は(1,0,0),(0,1,0),(0,0,1),(i,0,0),(0,i,0),(0,0,i))
だと思うので上記のx1,x2,x3は基底として不足してると思うのです(もう3ベクトル必要?)。

うーん、どのようにしたらいいのでしょうか?

Aベストアンサー

>C^3の次元は6(

これが間違え.
「x1=(1,1,1),x2=(1,1,-1),x3=(1,-1,-1)をC^3の基底」
といってるんだから,係数体はRではなく,C.

あとは定義にしたがって,
dualな基底を書き下せばいいだけ.
y1(x1)=1,y1(x2)=y1(x3)=0であって
v=ax1+bx2+cx2と表わせるわけだし,
v=(v1,v2,v3)とすれば,a,b,cはv1,v2,v3で表現できる
#単なる基底変換の問題.

Q∫[a,b](f(x)+g(x))dx=∫[a,b]f(x)dx + ∫[a,b]g(x)dx の証明

ある本(微分積分学)を読んでいて、次のような定理の証明を考えています。

有界なf(x),g(x)が[a,b]でリーマン積分可能であるとき、f(x)+g(x)もそうであり、∫[a,b](f(x)+g(x))dx=∫[a,b]f(x)dx + ∫[a,b]g(x)dxが成り立つ。

定積分に関するごく初歩的な定理ですが、これを、上限と下限の不等式を使って証明しようとしているのですが、うまくいきません。ヒントには次のようになっています。

#以下の記述ですが、上の本は記号の表示に誤りを含んでいるように思われましたので正しい表示に直してあります。

ヒント
fに対する不足和、過剰和を、それぞれ、 s(f,Δ)、S(f,Δ)というふうに書けば、s(f,Δ)+ s(g,Δ)≦s(f+g,Δ)≦S(f+g,Δ)≦S(f,Δ)+ S(g,Δ) に注意せよ。

同書の略解
分割Δの小区間[a(i-1),a(i)]における f+g,f,g の下限をm(i),n(i),p(i)とすれば m(i)≧n(i)+p(i)、ゆえにs(f,Δ)+ s(g,Δ)=Σn(i)(a(i)-a(i-1)) + Σp(i)(a(i)-a(i-1))≦Σm(i)(a(i)-a(i-1))=s(f+g,Δ)同様にS(f+g,Δ)≦S(f,Δ)+ S(g,Δ) だから、inf(S(f,Δ))=sup(s(f,Δ))、inf(S(g,Δ))=sup(s(g,Δ))なら、inf(S(f+g,Δ))=sup(s(f+g,Δ))=、sup(s(f,Δ))+sup(s(g,Δ))

となっていますが、最後の等式がどうしても出てきません(その前までは理解できました)。行間を埋めていただけるとありがたいです。

s(f,Δ)+ s(g,Δ)≦s(f+g,Δ)≦S(f+g,Δ)≦S(f,Δ)+ S(g,Δ)

からそれぞれの辺のsup、infを考えるとできるのではないかとも思われるのですが、どうしてもわかりませんでした。

よろしくお願いいたします。

ある本(微分積分学)を読んでいて、次のような定理の証明を考えています。

有界なf(x),g(x)が[a,b]でリーマン積分可能であるとき、f(x)+g(x)もそうであり、∫[a,b](f(x)+g(x))dx=∫[a,b]f(x)dx + ∫[a,b]g(x)dxが成り立つ。

定積分に関するごく初歩的な定理ですが、これを、上限と下限の不等式を使って証明しようとしているのですが、うまくいきません。ヒントには次のようになっています。

#以下の記述ですが、上の本は記号の表示に誤りを含んでいるように思われましたので正しい表示に直してあります。

...続きを読む

Aベストアンサー

おそらく、同じ分割Δに対して、不等式、
s(f,Δ)+ s(g,Δ)≦s(f+g,Δ)≦S(f+g,Δ)≦S(f,Δ)+ S(g,Δ)
を考えているからわかりにくいのだと思います。

分割Δ1と分割Δ2を合体させた分割をΔ3とします。
Δ1の分割点x1,…,xmと、Δ2の分割点y1,…,ynを合わせた分割点
x1,…,xm,y1,…,ynによって[a,b]を分割するのがΔ3という意味。

小区間[x(i-1),xi]が2つの小区間[x(i-1),yj]と[yj,xi]に分割された
とすると、小区間[x(i-1),xi]でのinf(f)(xi-x(i-1))よりも、
2つの小区間[x(i-1),yj]と[yj,xi]での
inf(f)(yj-x(i-1))+inf(f)(xi-yj)の方が大きくなる。
sup(f)では逆に小さくなる。
(グラフを描いてみればわかると思います)

すなわち、分割を細かくすると、不足和は大きく、過剰和は小さくな
る。

なので、s(f,Δ1)≦s(f,Δ3)、s(g,Δ2)≦s(g,Δ3)
辺々足して、
s(f,Δ1)+s(g,Δ2)≦s(f,Δ3)+s(g,Δ3)
≦s(f+g,Δ3)≦sup(s(f+g,Δ))←これは、あらゆる分割Δに対するsup
という意味で使っているので、Δは分割の変数のような記号と思って
ください。

このように、別個の分割に対する不等式が示せたので、
s(f,Δ1)、s(g,Δ2)それぞれであらゆる分割を考えて、
sup(s(f,Δ))+sup(s(g,Δ))≦sup(s(f+g,Δ))

infのほうも同様です。

本の記述はわかりませんが、同じ分割に対してのみsup,infを考えてい
たのでは、やや曖昧な気がします。

しかし、私の大学時代の関数論が専門の教授は、一松信先生は大先生
だと絶賛していましたが・・・
おそらく、本の中で論理は通っているものと思われますが・・・

おそらく、同じ分割Δに対して、不等式、
s(f,Δ)+ s(g,Δ)≦s(f+g,Δ)≦S(f+g,Δ)≦S(f,Δ)+ S(g,Δ)
を考えているからわかりにくいのだと思います。

分割Δ1と分割Δ2を合体させた分割をΔ3とします。
Δ1の分割点x1,…,xmと、Δ2の分割点y1,…,ynを合わせた分割点
x1,…,xm,y1,…,ynによって[a,b]を分割するのがΔ3という意味。

小区間[x(i-1),xi]が2つの小区間[x(i-1),yj]と[yj,xi]に分割された
とすると、小区間[x(i-1),xi]でのinf(f)(xi-x(i-1))よりも、
2つの小区間[x(i-1),yj]と[yj,xi]での
inf(f)(yj-x(i...続きを読む

Q2直線 x/a+y/b=1, x/a+y/b=2(a>0, b>0)の

2直線 x/a+y/b=1, x/a+y/b=2(a>0, b>0)の間の距離を求めよ。

という問題の解説に、

2直線は平行だから、第一の直線上の点(1、0)を通る。よって、ここからbx+ay=2abまでの距離を求める

と、ありました。

なぜ(1,0)を通るのですか?

Aベストアンサー

誤記なんてレベルでは済まないですよ。
 A.2直線は平行である。
 B.第一の直線が点(1,0)を通る。or B'.第一の直線上のどこかの点を第二の直線が通る。
 C.AがB(またはB')の根拠になっている。
このうち正しいのはAだけです。

第一の直線は点(a,0)を通る。
また、2直線は平行だから、点(a,0)から第二の直線までの距離を求めればよい。
とでも書くのなら良いのですが、論理が滅茶苦茶ですね。

Qにゃんこ先生の自作問題、Σ[a≠b,b≠c,c≠a, a,b,c∈{1,2,3,…,n}]abc

にゃんこ先生といいます。

a,b,c∈{1,2,3,…,n}
とします。

Σ[a≠b]ab
={Σ[k=1~n]k}^2 - Σ[k=1~n]k^2
={n(n+1)/2}^2 - n(n+1)(2n+1)/6
=n(n+1)(3n^2-n-2)/12

Σ[a<b]ab
=(1/2)Σ[a≠b]ab
=n(n+1)(3n^2-n-2)/24

Σ[a≦b]ab
=Σ[a<b]ab + Σ[a=b]ab
=n(n+1)(3n^2-n-2)/24 + n(n+1)(2n+1)/6
=n(n+1)(3n^2+7n+2)/24

ですが、
Σ[a≠b,b≠c,c≠a]abc

Σ[a<b<c]abc

Σ[a≦b≦c]abc
また、それらをm変数に拡張したものはどういった公式ににゃるのでしょうか?
にゃにかうまい考えがある気がするのですが、思いつきません。

Aベストアンサー

>それらをm変数に拡張したものはどういった公式ににゃるのでしょうか?

m変数に拡張したものは、次のようになりました。

f(n,m)=Σ[a[1]≦a[2]≦…≦a[m]](a[1]*a[2]*…*a[m]) とすると、
f(n,m)=S(n+m,n).
(S(n,k)は第二種スターリング数)
http://mathworld.wolfram.com/StirlingNumberoftheSecondKind.html

計算例:
f(n,10)
=(99*n^9+1485*n^8+6930*n^7+8778*n^6-8085*n^5-8195*n^4+11792*n^3
-2068*n^2-2288*n+768)*(n+10)!/(367873228800*(n-1)!)


g(n,m)=Σ[a[1]<a[2]<…<a[m]](a[1]*a[2]*…*a[m]) とすると、
g(n,m)
=(-1)^m*s(n+1,n-m+1)
=(-1)^m*Σ[j=0,m]Σ[i=0,j](-1)^i/(j!)*i^(j+m)*comb(j,i)*comb(j+n,j+m)*comb(n+1+m,m-j).
(s(n,k)は第一種スターリング数)
http://oshiete1.goo.ne.jp/qa3563977.html
http://mathworld.wolfram.com/StirlingNumberoftheFirstKind.html

計算例:
g(n,10)
=(99*n^9-594*n^8-1386*n^7+6468*n^6+14091*n^5-12826*n^4-44132*n^3
-18392*n^2+14432*n+7680)*(n+1)!/(367873228800*(n-10)!).


h(n,m)=Σ[1≦i<j≦m をみたす全てのi,jに対してa[i]≠a[j]](a[1]*a[2]*…*a[m])
とすると、
h(n,m)=(m!)*g(n,m).

>それらをm変数に拡張したものはどういった公式ににゃるのでしょうか?

m変数に拡張したものは、次のようになりました。

f(n,m)=Σ[a[1]≦a[2]≦…≦a[m]](a[1]*a[2]*…*a[m]) とすると、
f(n,m)=S(n+m,n).
(S(n,k)は第二種スターリング数)
http://mathworld.wolfram.com/StirlingNumberoftheSecondKind.html

計算例:
f(n,10)
=(99*n^9+1485*n^8+6930*n^7+8778*n^6-8085*n^5-8195*n^4+11792*n^3
-2068*n^2-2288*n+768)*(n+10)!/(367873228800*(n-1)!)


g(n,m)=Σ[a[1]<a[2]<…<a[m]](a[1]*a[2]*…*a[m...続きを読む


人気Q&Aランキング

おすすめ情報