- ベストアンサー
代数学の問題です
p,q,k：整数とする。 p,qは互いに素である。 <x>：xの非整数部分とする。 例 <4.7> = 0.7 このとき k*q ≦ n ＜ (k+1)*q <n*p/q> = a/q (0 ≦ a ＜ q) となるような整数 n が唯一つ存在する事を証明せよ。 k=0と仮定できるのはなぜか？ 自分なりにp,qが互いに素であることより p*x+q*y=1 となる事を考えて利用しようと思ったのですが見当違いのせいかうまくできませんでした。 どなたかこの問題の解答の分かる方のご解答をお待ちしております。
- dio_ti_ama
- お礼率61% (16/26)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
まず、kを任意の正の整数、p,qを互いに素な正の整数とさせて頂くと・・・ np=mq+r, 0≦r＜q となる整数m,rが存在する。このとき、 <np/q> = <m+r/q> = r/q ここで、r≠0 のとき r/q≧1/q 、一方 0≦a＜1 より 0≦ a/q ＜ 1/q なので、r/q = a/q が成立するのは r=a=0 のときのみ。 r=0 のとき np は q の倍数であるが、pとqは互いに素であるから、np がqの倍数となるのは n = kq のときのみ。よって、n = kq のときのみ <np/q> = a/q ( = 0) が成立。 k,p,q を負の整数まで許したとして問題が成立するのかよく調べていませんが（少なくとも、q＜0 なら k＜0 でないと問題が成立しませんね）、 n=kq のときは <np/q>=0 なので a=0 で <np/q> = a/q(=0) が成立 kq＜n＜(k+1)q のときは、上の話の延長線上で |<np/q>| ≧ 1/|q| |a/q|＜1/|q| ですので、<np/q> = a/q を成立させるaは存在しません。 ＞ k=0と仮定できるのはなぜか？ 意味が良く分らなかったのですが、k=0の場合について考えてみると、証明の糸口を見つけやすいかも。
関連するQ&A
- 数A 整数の性質
kを２以上の整数とする。２からkまでの整数のうち、kと互いに素であるものの個数をNとする。 例えば、k=５とすると２から５までの整数のうち、５と互いに素であるものは２、３、４で あるから、N=３である。 （１）k=７のとき、Nを求めよ。また、k=１４のとき、Nを求めよ。 （２）pを７でない素数とする。k=７pのとき、Nを求めよ。 （３）p、qはともに素数であり、p＜qとする。k=pqのとき、N=１１を満たすp、qの組（p、q）をすべて 求めよ。 この問題があまり分かりません。解答・解説を見ても分かりませんでした。 分かる方がいれば、解説まで教えて下さい。 宜しくお願いします。
- 締切済み
- 数学・算数
- 整数問題
（問い）ｘ、ｙについての不定方程式９ｘ＋１１ｙ＝ｎがちょうど１０個の負でない整数解をもつような自然数ｎの中で最小のものを求めよ。 ９ｘ＋１１ｙ＝ｎ（(1)）ｘ＝５ｎ、ｙ＝－４ｎが(1)の整数解の１つだから９（ｘ－５ｎ）＝－１１（ｙ＋４ｎ） ９と１１は互いに素だから、ｙ＋４ｎ＝４ｋ、ｘ－５ｎ＝－１１ｋ すなわち、ｘ＝－１１ｋ＋５ｎ、ｙ＝９ｋ－４ｎ（ｋは整数） ｘ、ｙについて、ｘ≧０、ｙ≧０だから、－１１ｋ＋５ｎ≧０、９ｋ－４ｎ≧０。 よって、４／９ｎ≦ｋ≦５／１１ｎ（(2)） (1)に０以上の整数解が１０個あるとき、(2)の不等式を満たすｋが１０個存在する。５／１１ｎー４／９ｎ＝ｎ／９９より、 １０≦ｎ／９９＜１１（★誤答正しくは９≦ｎ／９９＜１０） としてしまいました。 （疑問点） 例えば１／２≦ｘ≦３／２ならば整数は１個で差は１と考えたのですが、間違えてしまいました。なぜいけないのでしょうか?
- ベストアンサー
- 数学・算数
- x^2+y^2=n×pを満たす整数x,y,nが存在する奇素数pについて
x^2+y^2=n×pを満たす整数x,y,nが存在する奇素数pについて、 a^2+b^2=p^2を満たす互いに素なa,bは必ず存在するでしょうか? 換言しますと、奇素数pについて 「x^2+y^2=n×pとなる整数の組x,y,nが存在する」と 「a^2+b^2=p^2となる互いに素な自然数の組a,bが存在する」は同値でしょうか? 先ほど似た質問をさせていただいたのですが、 http://okwave.jp/qa/q6216192.html 私が確認してるのは「互いに素」でしたので改めて質問し直しました。 私の確認したところでは 2平方数の和がpの倍数にならないもの→3,7,11,19 2平方数の和がp倍数になり、且つp^2を満たすa,bが存在するもの→5,13,17 3^2+4^2=5^2, 5^2+12^2=13^2, 8^2+15^2=17^2
- ベストアンサー
- 数学・算数
- 数学的帰納法
先日模試があったのですが、自分の解答のどこが誤りなのか分かりません…。 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 (nは整数)を満たす互いに素な自然数x,yが存
x^2+y^2=n×p (nは整数)を満たす互いに素な自然数x,yが存在する奇素数pについて、 a^2+b^2=p^2を満たす互いに素なa,bは必ず存在するでしょうか? 換言しますと、奇素数pについて、nを自然数とするとき 「x^2+y^2=n×pとなる互いに素な自然数の組x,yが存在する」と 「a^2+b^2=p^2となる互いに素な自然数の組a,bが存在する」は同値でしょうか? 先ほど似た質問をさせていただいたのですが、 http://okwave.jp/qa/q6216279.html ミスがあり改めて質問し直しました。 私の確認したところでは (a,b,p)=(3,4,5),(5,12,13),(8,15,17)で成り立ちます。 pが3,7,11,19のとき、条件を満たすx,yもa,bも存在しません。
- ベストアンサー
- 数学・算数
- 数学Aの問題です。
nが３以上の整数のとき、xのn乗＋２掛けるｙのｎ乗＝４掛けるｚのｎ乗はｘ＝ｙ＝ｚ＝０以外に存在しないことを証明せよ。 ｘ＝ｙ＝ｚ＝０でない整数ｘ、ｙ、ｚで題意の式を満たすものがあると仮定する。～～～～～～ よって、題意の式を満たす整数ｘ、ｙ、ｚは全て2の倍数である。・・・・・・(1) ｘ＝２ｋ、ｙ＝２ｌ、ｚ＝２ｍ（ｋ、ｌ、ｍは整数）として題意の式に代入すると、ｋのｎ乗＋２掛けるlのｎ乗＝４掛けるｍのｎ乗となる。 よって整数ｋ、ｌ、ｍは題意の式を満たすから、 ｘ、ｙ、ｚが題意の式を満たせばｘ／２、ｙ／２、ｚ／２も題意の式を満たす。・・・・・・・(2) 仮定より、ｘ、ｙ、ｚのうち少なくとも１つは０でない。０でない整数は全て、２のp乗かける（２ｑ－１）｛p、qは整数でｐは０以上｝の形に表される。よってｘ、ｙ、ｚ、の０でないものの内、２の指数pの最小のものをＮとすると、ｘ／２のＮ乗、ｙ／２のＮ乗、ｚ／２のＮ乗のうち少なくともひとつは奇数となる。 ゆえに、ｘ、ｙ、ｚは(2)により題意の式を満たすが、(1)を満たさないから矛盾する。 したがって、ｎが３以上の整数のとき、題意の式を満たす整数ｘ、ｙ、ｚは」ｘ＝ｙ＝ｚ＝０だけである。終。 この回答の(2)の下からをやることの持つ意味と、なぜ少なくともひとつは奇数になれば、ゆえににつながるかを詳しく教えてください
- 締切済み
- 数学・算数
- 不等式の問題がわかりません
（１） 2x+3y≦6n, x≧0, y≧0 （aは正の整数） を満たす点P（x,y）で、x,yがどちらも整数であるもの（格子点）の個数を求めよ。 （２） 2x+3y+6z≦6n, x≧0, y≧0 z≧0 （aは正の整数） を満たす点P（x,y,z）で、x,y,zがすべて整数であるもの（格子点）の個数を求めよ。 という問題で、 (1)は不等式を図示して y=k（k=1,2・・・）とy=-(2/3)x+2n の交点は（ 3n-(3/2)k , k ） 交点が整数であるために2k=mとおくと、 y=m上の格子点の数は 3n-3m+1 よって、1≦y≦2nにおいて、y=（偶数）上の格子点の数は Σ[m=1,n]（3n-3m+1） ＝（3/2）n^2-（1/2）n また図から、y=2k-1上の格子点の数は y=2k=m上の格子点の数より1多いので、 1≦y≦2nにおいて、y=（奇数）上の格子点の数は Σ[m=1,n]｛3n-3m+2｝ ＝（3/2）n^2+（1/2）n y=0上の格子点の数は3n+1より、 求める値は （3/2）n^2-（1/2）n＋（3/2）n^2+（1/2）n+3n+1 ＝3n^2+3n+1 ここまでは分かりました。 （２）はどうやっていいか手の付け方も分かりません。 (1)を使って簡単にして解くような気はします（分かりませんが）。 分かる方お願いします。
- ベストアンサー
- 数学・算数
- 大学入試レベルの問題です。(多項式)
１(１)整数係数のn次式 f(X)=αnX^n+......+α₁X＋α₀ が 有理根Ｘ=(q/p) (p、qは互いに素な整数、p＞０)をもつなら 「pはαnの約数」(1) であり 「qはα₀の約数」(2) であることを証明せよ。 (２)前問を利用して√2が無理数であることを証明せよ。 ～～～～～～～～～～～～～～～～～～～～～～～ 過程を詳しくお願いします(。。)
- ベストアンサー
- 数学・算数
- 高校レベルの数学の問題（方程式）教えてください！！
整数a,bを係数とする2次方程式X^2+aX+b=0が有理数の解αをもつときαは整数であることを示せ。 問題集の解答 α＝n/m(m,nは互いに素な整数、mは0でない) とおく。 「質問壱 α＝n/mと置いたのは有理数の形にした。だけ？」 αはX^2+aX+b=0の解なので (n/m)^2+a(n/m)+b=0 n^2+amn+bm^2=0 mが±1でない ならば、mはある素因数Ｐを含む。 「質問弐 ±1の条件はm=±1ならαは整数になるから？でも整数も有理数なのだからそのままでもいいのでは？」 するとn^2=-m(an+bm)も素因数Pを含む。 n^2の素因数はnの素因数だから、Ｐはnの素因数となり、m,nは公約数Ｐをもつことになる。これはm,nが互いに素であるという仮定に反する。よってm=±1 α=±n(整数) 実を言うとこの解答はほとんどわかっていません。 1．α=n/mという有理数の形にしてみる。 2.実際に与式にn/mを代入したとき、n/mが約分して整数の形になってしまう。だからαが有理数の解ならαは必ず整数ってことが証明できる。っていうことをしているんでしょうか？？ でも解答みるとなんか難しいことかいてるんで良くわからなくて？こんなに難しいことしないと駄目なんでしょうか？？解答ってこれ背理法ってやつですか？あまり背理法理解してないもんで。これ背理法かどうかもわからない。
- ベストアンサー
- 数学・算数
- 代数の合同式の問題で質問です。
「(a,n)=1である自然数aと整数x,yについて a*x≡a*y (nod n) ⇒ x≡y (nod n) が成立することを証明するときにa*t+n*u=1となる整数t,uが存在することを使って解くことは可能でしょうか？？
- ベストアンサー
- 数学・算数
お礼
なるほど、と納得のいく素晴らしいご回答をいただきありがとうございました。 是非とも参考にさせていただきます。 ありがとうございました。