- 締切済み
存在の耐えられない軽さ
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- jcpmutura
- ベストアンサー率84% (311/366)
3519x^2-2737y^2-63=0 両辺に63を加えると 3519x^2-2737y^2=63 391(9x^2-7y^2)=63 17*23(9x^2-7y^2)=17*3+12 x,yを整数と仮定すると 23(9x^2-7y^2)は整数で 左辺は17の倍数だが 右辺は17で割り切れないから矛盾するから x,yは整数でない
関連するQ&A
- 実数が存在する条件
参考書の解説の一部がわからなくて困っています。 不等式(5)、(6)を満たすx,yが存在するための条件が、「n－z≧0かつn＋z≧0」になるようなのですが、その理由がわかりません。どうぞよろしくお願いします。 問題 x,y,zは整数、nは正の整数とする。(1)～(4)の不等式が成り立っているとする。 x＋y＋z≦n・・・(1) －x＋y－z≦n・・・(2) x－y－z≦n・・・(3) －x－y＋z≦n・・・(4) 解説 (1)かつ(4)⇄－(n－z)≦x＋y≦n－z・・・(5) (2)かつ(3)⇆－(n＋z)≦x－y≦n＋z・・・(6) (5)、(6)を満たすx,yが存在するための条件は、n－z≧0かつn＋z≧0 ゆえに －n≦z≦n
- ベストアンサー
- 数学・算数
- 数学的帰納法
先日模試があったのですが、自分の解答のどこが誤りなのか分かりません…。 nを正の整数とする。xとyの方程式 3x+4y=n…ア について、次の問に答えよ。 問 kを正の整数とする。n=3k+1のとき、方程式アを満たす0以上の整数x,yが存在することを示せ。 自分の解答↓ 1)n=4のとき ア⇔3x+4y=4 (x,y)=(0,1)はこれを満たすので、このときアを満たす0以上の整数x,yは存在する。 2)n=3k-2(k=2,3,4…)のとき、 アを満たす0以上の整数x,yは存在すると仮定する。 このとき、x=α、y=β（α、βは0以上の整数）とすると、 3α+4β=3k-2…イ が成立する。 このとき、n=3k+1のときでもアを満たす0以上の整数x,yは存在することを示す。 3x+4y=3k+1…ウとする。 ウ－イ 3(x-α)+4(y-β)=3であり、(x-α、y-β）=（1,0)はこれをみたすから、(x,y)=(1+α、β)はウをみたす。 よって、n=3k+1のときでも、アを満たす0以上の整数x,yは存在する。 以上のことから3でわると1余る4以上のすべての自然数ｎについて、アをみたす0以上の整数x,yは存在することが示された。 よって題意は示された。 と解答したのですが…。 実際解答したときは、かなり急いでいたので、2)→1)のように、 「n=3k-2で成り立つことを仮定」→「n=3k+1で成り立つ」→「n=4のとき成り立つ」というふうに順序が少し変になってしまいました。 採点欄のところには「仮定を用いてるので証明とはいえない」と書かれてしまったのですが、数学的帰納法を用いるなら、仮定を用いるのはふつうではないのでしょうか？ 数学的帰納法だと伝わらなかったのでしょうか？？ そもそも根本的におかしいのでしょうか？？ どなたかお願いします。
- 締切済み
- 数学・算数
- 最小値の存在証明って？
今年大学受験する者です。 ３つの正数ｘ，ｙ，ｚがｘ＋ｙ＋ｚ＝１をみたすとき、不等式（２＋１／ｘ）（２＋１／ｙ）（２＋１／ｚ）≧１２５ が成り立つことを示せ。 という問題で解答の部分は理解できたのですが注の部分で最小に関する話題がでてきて ４ｘｙ＝（ｘ＋ｙ）＾２－（ｘ－ｙ）＾２に着目して 「与式は，ｚを固定するとｘ＝ｙの時最小となる．同様にｙを固定するとｘ＝ｚのとき，ｘを固定するとｙ＝ｚのときに最小となる． よってｘ，ｙ，ｚの少なくとも２つが異なるとき，たとえばｘ≠ｙとするとｚをそのままにしてｘ＝ｙとすることによって，与式を小さくできるから，与式はｘ＝ｙ＝ｚのとき最小となる」と解答してよさそうですが，この議論には重大な欠陥があります． 上の「」で結論できることは，｛与式に最小値がある｝ならば，それはｘ＝ｙ＝ｚのときである，ということであって，｛｝の証明が欠落しています．｛｝はすこしも自明ではありません． と書かれていたのですが、最小値の存在を高校数学の知識で証明できるのでしょうか？ また最小値の存在が自明と捉えてよい基準もよく分かりません。 間違い例の解答も固定していって分数関数に帰着できていて最小値が求められていると思います。 問題文に「最小値を求めろ」と書かれている場合に最小値の存在が前提であると考えられるのでしょうか？ しかしそのように考えると２次関数でも最小値や最大値の存在証明しなくてはならない気がします。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- x^2+y^2=n×pを満たす整数x,y,nが存在する奇素数pについて
x^2+y^2=n×pを満たす整数x,y,nが存在する奇素数pについて、 a^2+b^2=m×p^2を満たすa,b,mは必ず存在するでしょうか? 換言しますと、奇素数pについて 「x^2+y^2=n×pとなる整数の組x,y,nが存在する」と 「a^2+b^2=m×p^2となる整数の組a,b,mが存在する」は同値でしょうか? 19くらいまでは調べたのですが、普遍的かちょっとわからなくて…
- ベストアンサー
- 数学・算数
- 代数の合同式の問題で質問です。
「(a,n)=1である自然数aと整数x,yについて a*x≡a*y (nod n) ⇒ x≡y (nod n) が成立することを証明するときにa*t+n*u=1となる整数t,uが存在することを使って解くことは可能でしょうか？？
- ベストアンサー
- 数学・算数
- 数学Aの問題です。
nが３以上の整数のとき、xのn乗＋２掛けるｙのｎ乗＝４掛けるｚのｎ乗はｘ＝ｙ＝ｚ＝０以外に存在しないことを証明せよ。 ｘ＝ｙ＝ｚ＝０でない整数ｘ、ｙ、ｚで題意の式を満たすものがあると仮定する。～～～～～～ よって、題意の式を満たす整数ｘ、ｙ、ｚは全て2の倍数である。・・・・・・(1) ｘ＝２ｋ、ｙ＝２ｌ、ｚ＝２ｍ（ｋ、ｌ、ｍは整数）として題意の式に代入すると、ｋのｎ乗＋２掛けるlのｎ乗＝４掛けるｍのｎ乗となる。 よって整数ｋ、ｌ、ｍは題意の式を満たすから、 ｘ、ｙ、ｚが題意の式を満たせばｘ／２、ｙ／２、ｚ／２も題意の式を満たす。・・・・・・・(2) 仮定より、ｘ、ｙ、ｚのうち少なくとも１つは０でない。０でない整数は全て、２のp乗かける（２ｑ－１）｛p、qは整数でｐは０以上｝の形に表される。よってｘ、ｙ、ｚ、の０でないものの内、２の指数pの最小のものをＮとすると、ｘ／２のＮ乗、ｙ／２のＮ乗、ｚ／２のＮ乗のうち少なくともひとつは奇数となる。 ゆえに、ｘ、ｙ、ｚは(2)により題意の式を満たすが、(1)を満たさないから矛盾する。 したがって、ｎが３以上の整数のとき、題意の式を満たす整数ｘ、ｙ、ｚは」ｘ＝ｙ＝ｚ＝０だけである。終。 この回答の(2)の下からをやることの持つ意味と、なぜ少なくともひとつは奇数になれば、ゆえににつながるかを詳しく教えてください
- 締切済み
- 数学・算数
