No.2ベストアンサー
- 回答日時:
3つめの補足の証明が、簡潔でいいと思うな。
少し書き方を変えて...
n+2 と n で互除法を行う。
n+2 を n で割れば、商 1 余り 2。
n を 2 で割れば、n は奇数だから、余り 1 で商は整数 q = (n-1)/2。
q を 1 で割ると割り切れるから、n+2 と n の最大公約数は 1。
最大公約数が 1 と判ったから、n+2 と n は互いに素。
No.11
- 回答日時:
n=ab、n+2=acと公約数が含まれた場合(n=2m-1、n+2=2m+1;mは整数)
n+2-n=a(cーb)=2からa=1か2。a=1の時、互いに素の定義に矛盾する(互いに1以外の約数を持たない)。a=2の時nとn+2は偶数になり仮定と矛盾する。
こうすれば、補足の1番の 3 以上の素数 p が存在して、 n と n+2 はともに p の倍数である。
は要りませんね。
回答ありがとうございます。
あなたの説明でa≧3とはならないことが棄却できていますね。ただし全体として論理に破綻があることは否めません。(たとえば、最初にmが登場するが、その後使用されていない点、「互いに素の定義に矛盾」と結論を定義・仮定としてしまっている点など。)補足1の、3以上の素数p〜の部分は、背理法の仮定を言い換えたにすぎないので「背理法の仮定」として必要です。
この質問掲示板を通して、私なりに奇数nとn+2が互いに素であることは、まずまず自明に感じられるようになっています。回答いただいた回答者の皆さんに感謝いたします。
No.10
- 回答日時:
n=ab、n+2=cdで表される( a≠b≠c≠dは奇数)場合、abに2を加えても奇数なのでn+2=cdとなり
nとn+2が共通の約数を持たないので、互いに素である。例:33=3x11、35=3x7.
と組が非常に限定されるので、
n=a又はab、n+2=c又はcdで表される( a≠b≠c≠dは奇数)場合、a又はabに2を加えても奇数なのでn+2=c又はcdとなり
nとn+2が共通の約数を持たないので、互いに素である。例:3=3、7=7;7=7、9=9;9=9、11=11
・・・・19=19、21=3x7;21=3x7、23=23・・・
と全てにあてはまりますね。
仮に、
n=ab
n+2=ac
と仮定したときに矛盾は導けますか?頂いた回答ではこのような場合わけが含まれていませんね?因みに、nとn+2が互いに素であることは示すべき結論なので、仮定として利用できませんよ。
No.9
- 回答日時:
おかしなこととは、変なことや妙なこと。
矛盾は、理屈として二つの事柄のつじつまが合わないこと。
から、背理法では矛盾を突かないといけません。
それはさておき、
奇数のnとn+2が互いに素であれば共通の約数を持たないのでn=ab、n+2=cdで表される( a≠b≠c≠dは奇数)
abに2を加えても奇数なのでn+2=cdと矛盾しない。
とか、一般化して
奇数のnとn+m(mは偶数)が互いに素であれば共通の約数を持たないのでn=ab、n+m=cdで表される( a≠b≠c≠dは奇数)
abにmを加えても奇数なのでn+m=cdと矛盾しない。
nとn+2が互いに素なことを示すのが目標なので、
> 奇数のnとn+2が互いに素であれば
> 奇数のnとn+m(mは偶数)が互いに素であれば
のように、結論を仮定とするのは議論の筋道が変ではありませんか?
No.8
- 回答日時:
質問者さまの
背理法を用います。
奇数 n と n+2 が互いに素ではないと仮定する。
このとき、3 以上の素数 p が存在して、 n と n+2 はともに p の倍数である。
∴ n=ap , n+2=bp を満たす整数 a,b が存在する。
この場合
n=7、n+2=9の時7と9は、3 以上の素数pの倍数ではない。
n=ap , n+2=bp を満たす整数 a,b が必ずしも存在するとは言えない。
3 以上の素数 p が存在して、には、奇数 n と n+2の奇数を意識しているのは見え見えです。
素数に唯一偶数の2が含まれているからね。
加えて、同じ素数の倍数で全ての奇数は表せませんよ。
さらに、互いに素の数と素数は別物ですね。
回答をいただいて失礼なお礼になり申し訳ないのですが、、、
おかしなことになるから、背理法が有効なのです。
nとn+2が奇数のもとで、それらが「互いに素でない」と仮定する。そして議論を進めると、結構簡単におかしなことになるから仮定の「互いに素でない」が棄却されて、結果として「互いに素である」ことが証明される。私はこうして「互いに素」なことを証明できているつもりです。そして、こうやって簡単に示せるからnとn+2が互いに素なことは「自明」ですか?とその単純さを質問しています。自明であれば、背理法など詳細に用いなくても説明できないものかと質問しています。その1つの考えが補足3です。
nとn+2が互いに素なことを簡単に示したいのであって、互いに素だったら割り切れるとか割り切れないとか、それを議論したいわけではありません。数学の論理は大丈夫ですか?
No.7
- 回答日時:
奇数2n±1(nは整数)と2つ離れた奇数2n±1±2は互いに素の場合割り切れないと書いています。
(2n±1±2-±2)/(2n±1±2)=1ー±2/(2n±1±2)で余りの偶数/奇数は割り切れないと言っています。
質問者さまの
∴ n=ap , n+2=bp を満たす整数 a,b が存在する。
は整数 a,bが偶数のばあい、nとn+2は偶数になって、
n=ap , n+2=bp を満たす整数 a,b が存在する。は間違いになりますね。
n=ap , n+2=bp を満たす奇数 a,b が存在する。と限定されて必要十分になっていません。
>∴ n=ap , n+2=bp を満たす整数 a,b が存在する。
は整数 a,bが偶数のばあい、nとn+2は偶数になって、n=ap , n+2=bp を満たす整数 a,b が存在する。は間違いになりますね。
しいてaとbの偶奇について触れれば、nとn +2は奇数なので、aとbは奇数であると背理法の証明の中で主張することができます。つまり、aとbは偶数にはなり得ません。
No.5
- 回答日時:
例が悪うございました。
2つ離れた奇数なので。15/13=1+2/13のように(n=6)。15/10=1+1/2など の10は偶数ですね。
回答ありがとうございます。
2離れた奇数を用意する。
大÷小=整数+分数 ⇒ 割り切れない ⇒ 互いに素
という説明をいただいていると思うのですが、その途中の
割り切れない ⇒ 互いに素 ①
という部分について、理解できずにいます。
※逆の命題 互いに素 ⇒ 割り切れない ② は正しいと思います。
15/10 は割り切れないけど互いに素でない
※これは命題①の判例(判例があるので命題①は偽ではないか?)
15/7 は割り切れない
※これは真の命題②(真の命題)の具体例
であると思うのですが・・・。
No.3
- 回答日時:
奇数は2n±1(nは整数)。
2離れていると2n±1+2で2n+1と2n+3、2n±1ー2で2n-1と2n-3これらは素の場合割り切れない。(他にも組はあるがこれを代表にする)
(2n+3)/(2n+1)=(2n+1+2)/(2n+1)=1+2/(2n+1)、余り2/(2n+1)の分子は偶数、分母は奇数より割り切れない。
(2n-1)/(2n-3)=(2n-3+2)/(2n-3)=1+2/(2n-3)、余り2/(2n-3)の分子は偶数、分母は奇数より割り切れない。
従って、2離れた奇数は互いに素である。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 エステルレ博士の奇怪なABC予想の証明とは? 1 2022/04/18 15:37
- 学校 連続した2つの整数の2乗の和は奇数になる。このことを証明せよ。という問題が分かりません。教えてくださ 5 2022/06/09 13:10
- 大学・短大 とても急いでます、、。 n次の置換σに対し、以下をみたす自然数の組(i,j)の個数をf(σ)とする。 2 2022/12/29 11:25
- 数学 画像の問題で、回答(補足に貼ります)では、Xについて奇関数ということしか証明できていないと思うのです 3 2023/02/08 12:54
- 中学校 中3の数学の問題の四季と計算の利用という分野の問題がいくつか分かりません 助けてくださいm(_ _) 2 2022/05/05 21:23
- 数学 累乗根 の奇数のものは、ただ一つの証明をおしえてください。 2 2022/09/20 22:56
- 化学 立体化学での質問です。 「メソ体は、不斉炭素が偶数で、分子内に鏡映面がある化合物である。」 といった 2 2022/06/24 02:34
- 数学 p を奇素数 ((b) は p≠5) とするとき, 以下の同値関係を示せ. (a) (-2/p) = 3 2022/07/03 16:35
- 数学 a∈ℤ,b∈ℤ,n∈ℕが全て奇数のとき、不等式 |a²-b²-2abn|≧2n が成り立つことの証明 5 2023/04/29 10:52
- 政治 ABC予想で自衛隊を合憲にする事ができますよね? 3 2022/04/23 05:46
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
(a+b)(a2-ab+b2)=a3+b3の途中式
-
三重根号を簡単にする問題です...
-
【数学】2√3の整数部分をa, 少...
-
計算が苦手です。 4a四乗−25a二...
-
ax + by (a,bは自然数で互いに...
-
「因数定理」は、いつ習います...
-
(3a+b)の4乗の答えを教えてく...
-
群の乗積表の作り方は?
-
aの6乗+26aの3乗-27 ってどうや...
-
数学の問題です。 (a+b)2乗−5(...
-
等差数列の問題
-
分数に未知数を含む等式の変形...
-
数学
-
次の不等式を証明せよ。 |a+b+c...
-
楕円の変数変換
-
この問題の解き方教えてくださ...
-
異なる2つの無理数の積について
-
これの解き方と解説をお願いし...
-
ab-b-ac+c この式を因数分解し...
-
アーベル群
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
(a+b)(a2-ab+b2)=a3+b3の途中式
-
「因数定理」は、いつ習います...
-
他の式を利用した因数分解 x^3+...
-
【数学】2√3の整数部分をa, 少...
-
三重根号を簡単にする問題です...
-
数学II x^2-2x+9+2√15=0 の解の...
-
aの6乗+26aの3乗-27 ってどうや...
-
異なる2つの無理数の積について
-
ab>a+bは常に成り立つでしょうか?
-
数学
-
a^n+b^nの因数分解の仕方
-
2離れた奇数が互いに素なこと...
-
計算が苦手です。 4a四乗−25a二...
-
高校数学について。 (3x²+1)...
-
平方すると、-18i になる複素数...
-
因数分解で・・・
-
数Aの問題について
-
高一数学です。なるべくお早め...
-
異なる自然数a,bがあり, a+bを7...
-
立方完成,N乗完成は存在するの?
おすすめ情報
自分で考えてみました。
背理法を用います。
奇数 n と n+2 が互いに素ではないと仮定する。
このとき、3 以上の素数 p が存在して、 n と n+2 はともに p の倍数である。
∴ n=ap , n+2=bp を満たす整数 a,b が存在する。
後者の式から前者の式を辺々それぞれ減じると、次の等式が導かれる。
2 = (b-a)p
これは自然数が 2 が p の倍数( p は 3以上の素数だった)であることを示しているが、これは自然数 2 が 2 以外の素因数を持たないことに矛盾。(q.e.d.)
質問の内容の訂正です。
n と n+2 が互いに素なことを示したいです。
考えてみると、p の倍数は数直線上で p の刻みごとに現れる数なので
一般に 整数 m と m+2 が互いに素でなければ、その公約数は 2 しかありえないですね。
自明に思えてきました。