- 締切済み
鳩ノ巣原理の証明
1 2 ・・・ mn+1を +1個の異なる実数の列とする。このとき +1個の数からなる単調増加部分列 i_(1) i( )2 ・・・ i_(m+1) (1 2 ・・・ m+1) あるいは、＋１個の数からなる単調減少部分列 i_(1 ) i(_2) ・・・ i_(ｎ+1) (1 2 ・・・ n+1) が存在する。 このことを 鳩ノ巣原理を用いて証明してください iの横についてるカッコの中は下付き文字という事です
- みんなの回答 （2）
- 専門家の回答
みんなの回答
- MagicianKuma
- ベストアンサー率38% (135/348)
- noname2727
- ベストアンサー率35% (40/112)
関連するQ&A
- 証明を教えてください
A1,A2 ...........Amnをmn+１の実数の列として m+1の数からなる単調増加部分列 あるいはn+１からなる単調減少部分列 が存在する これを鳩ノ巣原理を用いて証明してください
- 締切済み
- 数学・算数
- 単調数列の証明問題です
自分なりに、以下の単調数列の証明問題を解いてみました。 間違いがあれば、ご指摘いただけるとありがたいです。 よろしくお願いします。 【問題】 数列{(n-1)/(n+1)}{n=1,2,3,...}は有界な単調数列であるか？ 理由とともに、単調な場合には、単調増加であるか単調減少であるか についても求めよ。 【証明】 まず、単調増加であるかについて証明する。 (n-1)/(n+1) = {(n+1)-2}/(n+1) = 1-{2/(n+1)}と変形させる。 これにより、1より小さいことがわかる。 また、2/(n+1)は単調減少であるため、-2/(n+1)は単調増加である。 よって、1-{2/(n+1)}も単調増加であることが証明される。 次に有界であるかについて証明する。 n→∞とするとき、{1-(1/n)}/{1+(1/n)}→1となる。 よって、1-(n-1)/(n+1) = 2/n+1 > 0とあらわすことができる。 ゆえに、数列{(n-1)/(n+1)}{n=1,2,3,...}は有界な単調数列である。 証明終わり。
- ベストアンサー
- 数学・算数
- 有界な単調数列の証明（再掲）
こちらの皆様のご指導のもと、以下の単調数列の証明問題を解いてみました。 証明が変なところがあれば、ご指導よろしくお願いします。 【問題】 数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は 有界な単調数列であるか？ 理由とともに、単調な場合には、 単調増加であるか単調減少であるかについても求めよ。 【証明】 まず、有界かどうかについて証明する。 n→∞とすると、 lim[n→∞] { 1-(1/n) }/{ 1+(1/n} } =lim[n→∞] (n-1+2-1)/(n+1) =lim[n→∞] 1-2/(n+1)=1 よって、有界。 つぎに単調増加について証明する。 (n-1)/(n+1) = (n+1-2)/(n+1) = 1-2/(n+1)と変形させることにより、 1より小さいことがわかる。 また、2/(n+1)は単減少であることより、-2/(n+1)は単調増加。 よって、1-2/(n+1)も単調増加であることが証明される。 ∴数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は、 有界な単調増加である。
- ベストアンサー
- 数学・算数
- 下に有界な数列{an}の極限とanの関係の証明
こんにちは。大学学部生1年です。 処理できない問題があるのでご協力いただきたく投稿しました。 なお、今考えている証明を載せておきますので、訂正などしていただけると嬉しいです。（＾＾； 【問】 下に有界な単調減少列{an}について、{an}が極限αを持つならばan≧αを証明せよ。 ∵）∃Ｍは実数,∀ｎは自然数;Ｍ≦anとする。 また、αが｛an｝の極限であることから、 ∀ε＞0,∃Ｎは自然数,ｎ≧Ｎ；｜an－α｜＜εが成り立つ。―(1) 今、an＜αと仮定すると、｛an｝は単調減少列なので、 α＞an≧an+1≧an+2≧…≧Ｍとなる。―(2) (1)より、an＜αのとき、α-an＜ε また、(2)より、α-an＜α-an+1＜α-an+2＜…となり、 αが極限であることに矛盾する。 よって、an≧α （証終） なんか変な気がするんですよね・・・ 環境依存文字が多かったため、表記が稚拙なところがあります。すみません。
- ベストアンサー
- 数学・算数
- 証明問題が解けません
物理学の証明問題なのですがクロネッカーのデルタというのを初めて耳にしたので問題が解けません。 L ∫sin(nπx/L)sin(mπx/L)dx=(L/2)δnm 0 この式を証明しなさい。ただしm,n=1,2,3,…とする。またδmnはクロネッカーのデルタであり、m=nのときδmn=1、m≠nのときδmn=0である。Lは正の実数である という問題です。詳しい解説をつけてくださると助かります。 すみませんがだれか回答をどうかよろしくお願いいたします。
- ベストアンサー
- 物理学
- 恒等式の証明
「i, nを自然数、kを奇数とし、1≦i≦n≦k+1を満たすとする。 このとき、 Σ_{m=0}^{k-n-1} ( 1/（m!・(k-m-n-1)!) )・i(i+1)…(i+m-1)・(n-i+1)(n-i+2)…(k-m-i-1)・(-1)^m k_C_(i+m) = (-1)^n (k-1)_C_(i-1) + (k-1)_C_(n-i) を証明せよ。 （ただし、積が存在しない部分は１と考え、左辺はm=0からk-n-1までの和をとるものとする。また、(-1)^mは(-1)のm乗とし、k_C_iは二項係数を意味するものとする。）」 について、帰納法を用いた証明を考えてみましたが、なかなか上手く証明できません。 直接 式を変形する証明法について、一番知りたいと思っていますが、もしもわかられる方がおられれば教えて頂ければ、たいへん有り難く存じます。
- 締切済み
- 数学・算数
- 数列の証明
以下の解答がエレガントであるかどうかどなたかご意見頂けますでしょうか？ A1>0 で An/n が増加数列、つまり (An+1/n+1)>(An/n) が全てのｎについて成立とするとき - (a)、 lim (n->無限) An = 無限 - (b) を証明せよ、という問題です。 自分の解答: もし全てのn>N (Nは自然数）についてAn>M(Mは実数）が成立すれば(b)が成立する。 -(c) (a)の条件から、全てのn>N'(N'は自然数）について(An/n)>M'(M'は実数）が成立することがわかっている。 (An/n)>M' => An>M'n>M'N'(実数） が成立する。よってM'N' = M とすれば(c)が成立する。 ちょっとややこしいですがよろしくお願いします。
- ベストアンサー
- 数学・算数
- 証明問題
E1 ⊂ E2 ⊂ · · · を可測集合の増加列とするとき m(∪∞n=1En) = lim m(En) n→∞ 証明: E1′ =E1,E2′ =E2\E1′,···,En′ =En\En－1 とおくとEi′∩Ej′ =∅(i̸=j)であり (2.2) En =E1′ ∪E2′ ∪···∪En′ である. よってm(En) =∑(上n下i=1) m(Ei′) であるから n → ∞ とすればよい. (2.3) ∪∞n=1En = ∪∞i=1Ei′であることに注意せよ. 1、(2.2) を示せ. 2、 (2.3) を示せ. この2問の示し方がわかりません。
- ベストアンサー
- 数学・算数
- 集合論の命題の証明について質問させていただきます．
集合論の命題の証明について質問させていただきます． 集合列{E_k}，k=1,...における各E_kが互いに素（E_i∩E_j=空集合） ならば ∪E_k (ただし，∪はk=nから∞まで）は単調減少列である（nを大きくすると空集合に近づく） 以上が示したい命題です． おそらくイプシロン・デルタ法を使えば良いと思われるのですが， 「∪E_k (ただし，∪はk=nから∞まで）は単調減少列である」 示したいこの部分をイプシロン・デルタを使って記述する方法がわかりません． よろしければご教授いただけないでしょうか？ よろしくお願い致します．
- ベストアンサー
- 数学・算数
- 電話帳から名前や電話番号を削除する方法について教えてください。
- MFC-J939DNを使用して、電話帳から名前や電話番号を削除する方法を教えてください。
- Windows10環境でMFC-J939DNを使用して電話帳から名前や電話番号を削除する方法について教えてください。
