• 締切済み

数学の質問です。

n=5,6の場合に次の2条件を満たす数列 X1<X2<...<Xn をすべて求めよ。 条件 1)Xi+X(n-i+1)=Xn 2)X(j-i)≦Xi-Xj≦X(j-i+1) どうやってやったらいいのかが全然わかりません。

みんなの回答

  • f272
  • ベストアンサー率46% (8042/17183)
回答No.2

条件1でi=1の場合にはX(1)+X(n)=X(n)となってX(1)=0がわかる。 条件2でi=1,j=2の場合にはX(1)≦X(1)-X(2)となってX(2)≦2X(1)=0がわかる。 しかしこれではX(1)<X(2)と矛盾するので,題意を満たす数列は存在しない。

全文を見る
すると、全ての回答が全文表示されます。
  • info222_
  • ベストアンサー率61% (1053/1707)
回答No.1

n=5の場合は 条件1)の式にi=1~5を代入 条件2)の式には  j=(i+1)~5,i=1~4を代入して 見てください。 出来た式を満たすようなX1~X5(X1<X2<...<X5)を求めればいいでしょう。 n=6の場合も同様です。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 結合法則

    M:空でない集合 φ:M×M→M φ(φ(x,y),z)=φ(x,φ(y,z)) (∀x,y,z∈M)…☆ が成立しているとする。 X1,…,Xn∈Mが与えられたとき、Xi,X(i+1)に対しφを作用させる。次にn-1個の元X1,…,X(i-1),φ(Xi,X(i+1)),X(i+2),…,Xnを改めてY1,…,Y(n-1)と記し、またYj,Y(j+1)に対しφを作用させる。この操作を繰り返し最後に残った元をZとする。 このとき、X1,…,Xnに対しZを対応させる写像ψn:M^n→Mはφを作用させる場所によらず(つまりiやjなどによらず)well-definedである。 以上のことを証明してみたのですがあっているかどうかわからないので、教えて下さい。 (証明) nに関する帰納法で示す。 n=2…明らか n=3…☆により明らか。 ψ(n-1)までがwell-definedであると仮定する。 ψnがwell-definedであることを示すには ψ(n-1)(φ(X1,X2),X3,…,Xn)=…=ψ(n-1)(X1,…,X(n-2),φ(X(n-1),Xn)) (∀Xi∈M,i=1,…n)をいえばよい。 ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)とψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)が等しいことをいえばOK。(j=1,…,n-2) ψ(n-1)のwell-defined性より ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)=ψ(n-2)(X1,…,X(j-1),φ(φ(Xj,X(j+1)),X(j+2)),X(j+3),…,Xn)…(1) ψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)=ψ(n-2)(X1,…,X(j-1),φ(Xj,φ(X(j+1),X(j+2))),X(j+3),…,Xn)…(2) ☆より(1)=(2)がわかるから ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)とψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)が等しい。 したがってψnはwell-definedである。

  • 数学IIIの問題です、添削&解答お願いします!

    数学IIIの問題です。 (1)~(3)は添削、(4)、(5)は解答を教えていただけると嬉しいです。 問、 数列{Xi}が次の漸化式を満たしている。 Xi+1=Xi^2+1/2(i=1,2,3,・・・) (1)すべての自然数iに対して、Xi+1≧Xiが成り立つことを示せ。 (2)lX1l≦1のとき、全ての自然数iに対してXi≦1であることを示せ。 (3)自然数nに対して、等式Xn+1-X1=1/2*Σ(i=1,n)(Xi-1)^2 (4)lX1l≦1のとき、Xn+1-X1≧n/2*(Xn-1)^2が成り立つことを示せ。 (5)初項X1の値に応じて、数列{Xn}の収束、発散について調べ、 収束するときは極限値を求めよ。 (1)Xi+1-Xi≧0 Xi^2+1/2-Xi≧0 (Xi-1)^2/2≧0 よって、すべての自然数iに対して成り立つ (2)数学的帰納法を用いて導く。 (I)i=1のとき、lX1l≦1よりX1≦1 よって、Xi≦1はなりたつ (II)i=kのときXi≦1が成り立つと仮定するとXk≦1 i=k+1のとき、Xk+1=Xk^2+1/2 Xk≦1よりXk+1≦1 よって、Xi≦1は成り立つ (I)(II)より、全ての自然数iに対してXi≦1は成り立つ。 (3)(右辺)=Σ(i=1,n)(Xi+1-Xi) (1より) =Xn+1-X1 =(右辺) したがって、成り立つ。

  • 総和の質問です。

    X1,X2,X3...Xnを実数とし、(nは1以上の整数) (文字化けするかもしれません) Σ[i=1~n]Σ[j=1~n] | Xi+Xj | をX1以外を固定してとくと 2|X1|+Σ[j=1~n] ( |X1| ± Xj) +C(定数) となると書いてあるのですが 2|X1|+ 2Σ[j=1~n] |X1 ± Xj | +C ではないのでしょうか?  回答よろしくお願いします。

  • こんな関数は存在する?存在しない?

    とある理由で、以下のような問題を考えています。 しかしながら、どう証明(or反例)してよいのかいいアイディア が浮かばず、質問させていただきました。 -------------------------------------- 問い: ある関数f(x1,x2)が存在したとします。 この時下記条件を満足する関数g(x1,x2,...,xn)が存在できるか。 条件: まず、任意のiとj(j≠i)を選びます。 {xk}(k≠i,j)に対して任意の定数値{ck}を設定します。 こうして生成されたh(xi,xj)=g(c1,...,xi,...,xj,...,cn)を考えます。 この関数hがh(xi,xj) = a*f(xi,xj)を常に満足する。 ここでaは0以外の定数。 ------------------------------------- 一般的に証明するのは難しそうなので、g(x1,x2,x3)の場合などでもかまいません。 また、f(x1,x2)に対して拘束条件f(x1,x2)=f(x2,x1)をかけてもかまいません。 なにか「こういうアプローチで証明(or反例)できるのではないか?」といったアイディアをお持ちではないでしょうか? ------------------------------------------- ちなみにこの問題は量子力学のN-representability問題に端を発しています。もしこの証明ができれば、N-representability問題に対してすこし切り込めるかなぁと考えている次第です。 よろしくお願いします。

  • ファンデルモンドの行列式の証明方法

    d/dt|A1(t),A2(t),....,An(t)|=|A1'(t),A2(t),....,An(t)|+ |A1(t),A2'(t),....,An(t)|+..... +|A1(t),A2(t),....,An'(t)| を使って、ファンデルモンドの行列式 |1 x1 x1^2 .... x1^(n-1)| |1 x2 x2^2 .... x2^(n-1)| | . . . . . . . . . . . . . . . . .| | . . . . . . . . . . . . . . . . .| =Π(xj-xi) (1<=i<j<=n) | . . . . . . . . . . . . . . . . .| | 1 xn xn^2 .... xn^(n-1)| を証明するという問題にどなたか回答お願いします。

  • 高校数学の問題です。解答お願い致します。

    問題 数列{Xn}をXn= -an^2+bn+c、n=1,2,3,・・・・・・によって定める。 この時、次の2つの条件(A)、(B)を満たす自然数a,b,cの値を求めよ。 (A) 4, X1, X2 はこの順で等差数列である。 (B)すべての自然数nに対して{(Xn+Xn+1)/2}^2 ≧(Xn)(Xn+1)+1 が成り立つ。 答えは a=1,b=1,c=2 です。 京都大学の問題です。 解答お願い致します。

  • 数学B 数列 センター向けの問題です

    数列{xn}は x1=5,x(n+1)=xn+2 (n=1,2,3,・・・) で定義された数列である。 x2=7,x3=9 であり、 xn=2n+3 である。 次に、数列{yn}は y1=3,y(n+1)=yn+2n+3 (n=1,2,3,・・・) で定義された数列である。このとき yn=n^ア+イn Σ[k=1→n]yk=(1/6)n(n+ウ)(エn+オ) である。 さらに、数列{zn}を x1,y1,y2,x1,x2,x3,y1,y2,y3,y4,・・・ とし、この数列{zn}を x1|y1,y2|x1,x2,x3|y1,y2,y3,y4|・・・ のように、1個、2個、3個、4個、・・・と区画に分ける。すなわち、l=1,2,3,・・・として 第(2l-1)区画にはx1,x2,x3,・・・,x(2l-1) の項があり、 第2l区画にはy1,y2,y3,・・・,y2l の項があるように区画に分ける。 このとき、z199は第カキ区間のク番目の項であるから z199=ケコ である。また Σ[k=200→240]zk=サシスセ である。 解答 n^ア+イn=n^2+2n (1/6)n(n+ウ)(エn+オ)=(1/6)n(n+1)(2n+7) カキ=20 ク=9 ケコ=99 サシスセ=3815 この問題の解き方がわかりません 解き方を教えて下さい よろしくお願いします

  • {x1,x2,…,xn}は正規直交系でxがspan{x1,x2,…,xn}に無いならxは直交する?

    [Q] Given a orthonormal set,O:{x1,x2,…,xn},and x is not in spanO,show that x is orthonormal to every vector in O. という定理についてです。 仮定は<xi,xj>=δij (i,j∈{1,2,…,n}) xがspanOの中に無いというのだからx,x1,x2,…,xnは一次独立ですよね。 一次独立だからといってxがOのどの元とも直交するとは言えませんよね。 背理法で∃i∈{1,2,…,n};<x,xi>≠0だと仮定してみると ∥x∥∥xi∥cos∠(x,xi)≠0と書け、、、 からどうやってxがOのどの元とも直交である事を示せばいいのでしょうか?

  • 数学で困ってます、、、

     ↓この定理の証明がうまくいかなくて困っています。  f(X)→A (X→a) であるための必要十分条件は、Xn→a (n→∞) (ただしXn≠a)である任意の数列{Xn}に対し、f(Xn)→A (n→∞)となることである。  この定理の証明がわかる方がいたら教えていただきたいです。

  • 大学数学の質問です

    R^4上の関数 f(X1,X2,X3,X4):=X1 X2^2 X^3 X^4 は連続なので、 R^4の有界閉集合D:={(X1,X2,X3,X4)∈R^4 | Xi≧0 (1≦i≦4), ∑(1≦i≦4) Xi≦1} において最大値を持つ。 この最大値をとる点p∈Dについて、次の問いに答えよ。 (1) 点pがDの内部 Di:={(X1,X2,X3,X4)∈R^4 | Xi>0 (1≦i≦4), ∑(1≦i≦4) Xi<1}に属すると仮定して、矛盾を導け (2) よってpはDの境界 δD:=D/Di 上にある。   このpを求め、fのDにおける最大値を求めよ。 という問題が分かりません 解説よろしくお願いします。