フェルマーの最終定理の簡単な証明

日高 · 2019/09/23(月) 09:33:36.12

pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
x^p+y^p=z^pをz=x+rとおいて、x^p+y^p=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y^p=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y^p=z^pは自然数解を持たない。

**１３２人目の素数さん** · 2019/09/23(月) 09:50:21.96

ファルマーの冒険って小説なかったっけ？

日高 · 2019/09/23(月) 10:22:04.56

どこか、
おかしいところが、あるでしょうか？

**１３２人目の素数さん** · 2019/09/23(月) 10:52:20.95

>r=p^{1/(p-1)}となるので
なんで？

日高 · 2019/09/23(月) 12:05:14.99

x^p+y^p=(x+r)^pの両辺をr^pで割る。
(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+...+x/r},
r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x},
r^(p-1)=pとすると、r=p^{1/(p-1)}となります。

**１３２人目の素数さん** · 2019/09/23(月) 12:46:00.20

(y/r)^p-1=p{(x/r)^(p-1)+...+x/r},

はなぜですか？

日高 · 2019/09/23(月) 13:24:40.70

わかりやすく、p=3の場合で計算します。
(y/r)^3-1=3{(x/r)^2+x/r}, r^2{(y/r)^3-1}=3(x^2+rx),
r^2=3とすると、r=3^(1/2)となります。

**１３２人目の素数さん** · 2019/09/23(月) 15:08:16.60

p=4の時はどうなりますか？

日高 · 2019/09/23(月) 15:22:43.21

r=4^(1/3)となります。

**１３２人目の素数さん** · 2019/09/23(月) 15:25:39.37

(y/r)^p-1=p{(x/r)^(p-1)+...+x/r},

この計算をp=4の場合にもしていただきたいです

日高 · 2019/09/23(月) 16:49:51.72

p=4は、奇素数ではないので、p=5でやります。
(y/r)^5-1=5{(x/r)^(5-1)+...+x/r},
r^(5-1){(y/r)^5-1}=5(x^(5-1)+...+r^(5-2)x},
r^(5-1)=5とすると、r=5^{1/(5-1)}となります。

**１３２人目の素数さん** · 2019/09/23(月) 16:53:14.21

(x+y)^5計算してみてください
そのあと、x=y=1としてみてください

日高 · 2019/09/23(月) 17:28:26.90

(x+y)^5=x^5+5x^4y+10x^3y^2+10x^2y^3+5xy^4+y^5,
=1+5+10+10+5+1
=32
となります。

**１３２人目の素数さん** · 2019/09/25(水) 01:23:26.97

>>5
r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x},
r^(p-1)=pとすると、r=p^{1/(p-1)}となります。

ここが理解できない。
r^(p-1)=pとなぜ仮定しちゃってるんですか？？

r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x}
の左辺は有理数×有理数という形になっているので、掛け合わしてる数のいずれかは素数の倍数になるという整数の性質は使えないと思うのですが。
違う論法なんですかね。

ちょっと解説を。

日高 · 2019/09/25(水) 06:19:18.74

言われていることの意味は、例えば、
(4/3)*6=2*4という事でしょうか？

**１３２人目の素数さん** · 2019/09/25(水) 21:41:41.34

「r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x}
の左辺は有理数×有理数という形になっているので」

左辺は有理数×有理数とは限りません。

**１３２人目の素数さん** · 2019/09/25(水) 22:45:33.47

>>16
でも自然数×自然数であることの証明はできないわけで。
そうであれば、r^(p-1)=pとは言い切れないような。。

日高 · 2019/09/26(木) 05:39:30.95

「でも自然数×自然数であることの証明はできないわけで。」
これは、どの部分を指しているのでしょうか？

**１３２人目の素数さん** · 2019/09/26(木) 05:49:46.28

r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x},
の左辺のことです。

r^(p-1)=pとすると、r=p^{1/(p-1)}となります。
というところがよく分かってなくて。

自分なりの解釈として、左辺が自然数×自然数であることを前提に、どちらかは素数の倍数である。ということからr^(p-1)=pとおいたのかなと見ていたのですが、この解釈は違う感じですかね。

日高 · 2019/09/26(木) 05:57:52.61

r^(p-1){(y/r)^p-1}=p{x^(p-1)+...+r^(p-2)x},
r^(p-1)=pとすると、r=p^{1/(p-1)}となります。

「ここが理解できない。
r^(p-1)=pとなぜ仮定しちゃってるんですか？？」

例えば、
AB=CDならば、A=Cとすると、B=Dとなるからです。

**１３２人目の素数さん** · 2019/09/26(木) 06:12:37.00

>>20
レスありがとうございます。

何を前提として仮定として置いているのかとすると
(y/r)^p-1=x^(p-1)+...+r^(p-2)x
と仮定してr^(p-1)=pを導いているのか、それとも逆なのか？どちらでしょうか？

日高 · 2019/09/26(木) 06:56:04.89

r^(p-1)=pとすると、
(y/r)^p-1=x^(p-1)+...+r^(p-2)x
となります。

日高 · 2019/09/26(木) 08:54:19.14

逆もいえます。
r^(p-1){(y/r)^p-1}=p{x^(p-1)+...+r^(p-2)x},
ならば、
{(y/r)^p-1}={x^(p-1)+...+r^(p-2)x}
のとき、
r^(p-1)=pとなります。

日高 · 2019/09/26(木) 09:08:00.78

分かりにくいと思いますので、
p=2を代入して、試してみてください。

**１３２人目の素数さん** · 2019/09/26(木) 12:18:41.11

AB=CDの証明として。

A=Cとすると、B=Dである。
またB=Dとすると、A=Cである。
故にAB=CDとなる。

みたいな話をしようとしてます？
この場合、A=CかB=Dを示さないと証明になってないですよね。そこを聞いてるんですけど。。。

日高 · 2019/09/26(木) 12:48:10.26

AB=CDなので、
A=Cとすると、B=Dとなる。
です。

**１３２人目の素数さん** · 2019/09/26(木) 12:49:44.12

>>26
A=Cが成り立つとなぜ言えるんでしょうか？？
本題ではr^(p-1)=pですけど。。

ID変わってるかもです。

**１３２人目の素数さん** · 2019/09/26(木) 12:51:40.10

> A=Cとすると、B=Dとなる。

A≠Cのときは？

**１３２人目の素数さん** · 2019/09/26(木) 12:53:36.63

あと揚げ足取りになるかもですが。

AB=CDの証明なのに
AB＝CDだからA=C
というのも論理的には成り立っていないですよ。

どんなに考えても、この論法は
有理数×有理数を自然数×自然数と錯覚して証明につなげたようにしか思えません。
それ自体は数学ではしょっちゅうある話ですけど。

日高 · 2019/09/26(木) 13:07:52.77

p=2の場合
r^(p-1)=pは、
r^(2-1)=2となります。
x^2+y^2=(x+2)^2,
x=3, y=4, z=x+2=5
となります。

**１３２人目の素数さん** · 2019/09/26(木) 13:25:36.98

　あなたの証明がおかしいのは p = 3 の場合、それも途中までを議論すれば十分です。
　まず x、y、z は自然数（もしくは 0 でない有理数）と仮定します。x、y、z のうちどれか1つでも実数ならば
　　x^3 + y^3 = z^3 ･････①
が成り立つからです。したがって①を変形するとき、両辺に実数を掛けてはいけません。実数を掛けて時点で①が成り立ってしまいます。

　x、y、z は 0 でない有理数で
　　x^3 + y^3 = z^3 ･････①
を満たしているとする。z - x は必ず有理数になるから、有理数 r を用いて
　　r = z - x
とおくと
　　x^3 + y^3 = (r+x)^3 ･････②
　②の両辺を有理数 r^3 で割る。
　　(x/r)^3 + (y/r)^3 = (1+x/r)^3
　　(y/r)^3 = 1 + 3(x/r) + 3(x/r)^2 + (x/r)^3 - (x/r)^3
　　　　　　= 1 + 3(x/r) + 3(x/r)^2.
　　(y/r)^3 - 1 = 3{ (x/r) + (x/r)^2 } ･････ ※
　※の両辺に有理数 r^2 を掛ける。
　　r^2{ (y/r)^3 - 1 } = 3(rx + x^2) ･････③
　有理数に四則演算を施した結果はやはり有理数なので③の因数である
　　r^2,　(y/r)^3,　rx,　x^2
は有理数である。したがって有理数 A、B、C、D を用いて
　　A = r^2,　B = (y/r)^3,　rx = C,　D = x^2
とおけば③は
　　A(B-1) = 3(C+D) ･････③'
となるが、この式から A = 3 と断定できない。A ≠ 3 でも③'を満たす有理数は無数に存在する。
　たとえば
　　A = 2/7,　　B = 8,　 C = 1/3,　 D = 1/2
のとき
　　A(B-1) = (2/7)(8-1) = 2
　　3(C+D) = 3(2/3) = 2

日高 · 2019/09/26(木) 15:07:15.02

「この式から A = 3 と断定できない。A ≠ 3 でも③'を満たす有理数は無数に存在する。」

その通りです。③'を満たす有理数は無数に存在するので、そのうちの A = 3を選びます。

それから、D = 1/2は、D=1/3の間違いではないでしょうか。

**１３２人目の素数さん** · 2019/09/26(木) 16:51:40.47

> それから、D = 1/2は、D=1/3の間違いではないでしょうか。
　失礼しました。その通りです。

> ③'を満たす有理数は無数に存在するので、そのうちの A = 3 を選びます。
　そういう都合のいい選択では命題を証明する意味がありません。
　A = 3、すなわち r^2 = 3
となってしまい、これを満たす有理数 r が存在しないのは明らかなので、この時点で証明が終わったことになります。

**１３２人目の素数さん** · 2019/09/26(木) 16:52:05.87

A = 3を選んだ場合と、選ばない場合の両方を調べないとダメなので証明は間違い。

日高 · 2019/09/26(木) 17:22:43.01

「③'を満たす有理数は無数に存在するので、そのうちの A = 3 を選びます。」

　理由は、他の数を選んだ場合と、
A = 3を選んだ場合のx,y,zの比は同じだからです。

**１３２人目の素数さん** · 2019/09/26(木) 17:58:14.55

大嘘。証明しろ

日高 · 2019/09/26(木) 18:20:53.37

>大嘘。証明しろ

p=2の場合の例
x^2+y^2=(x+2)^2 (1)
x=3, y=4, z=5

x^2+y^2=(x+1)^2 (2)
x=3/2, y=4/2, z=5/2

(1)と(2)のx,y,zの比は同じです。

**１３２人目の素数さん** · 2019/09/26(木) 18:30:19.70

p=2の場合はピタゴラスの定理が成り立つのだから、例になりません。

　繰り返しますが A = r^2 = 3 を「選んだ」時点で r が有理数でないことは明らかです
から、それでは①の証明にはまったくならないのです。

日高 · 2019/09/26(木) 18:42:41.98

p=2の場合、r=2を選んだ場合と他の数を選んだ場合のx,y,zの比は、同じです。

p=3の場合、r=3^(1/2)を選んだ場合と他の数を選んだ場合のx,y,zの比は、同じです。

**１３２人目の素数さん** · 2019/09/26(木) 19:38:52.34

>p=2の場合、r=2を選んだ場合と他の数を選んだ場合のx,y,zの比は、同じです。
>p=3の場合、r=3^(1/2)を選んだ場合と他の数を選んだ場合のx,y,zの比は、同じです

　何の意味もありません。

日高 · 2019/09/26(木) 21:34:07.95

x^3+y^3={x+3^(1/2)}^3…(1)
x=2, y=({2+3^(1/2)}^3-8)^(1/3), z=2+3^(1/2)

X^3+Y^3=(X+3)^3…(2)
X=2*3/3^(1/2), Y=({2+3^(1/2)}^3-8)^(1/3))*3/3^(1/2), Z=(2+3^(1/2))*3/3^(1/2)

(2)のX,Y,Zは、(1)のx,y,zの3/3^(1/2)倍となります。
X:Y:Z=x:y:zとなります。

**１３２人目の素数さん** · 2019/09/26(木) 22:25:27.55

　> z=2+3^(1/2)

> Z=(2+3^(1/2))*3/3^(1/2)

　3^(1/2)は実数なのだから、証明するまでもなく z も Z も実数であることは明らかだかです。よって命題の証明に関しては何の意味もありません。

　全くの無意味です。

　呆れるほど無意味です。

　何度も言いますが x、y、z は自然数（もしくは 0 でない有理数）と仮定しなければなりません。x、y、z のうちどれか1つでも実数ならば
　　x^3 + y^3 = z^3 ･････①
が成り立つからです。したがって①を変形するとき、
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃　いかなる理由があるとも x、y、z に実数を足したり掛けたりするような四則演算を施しては ┃
┃なりません。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
　変形のための四則演算は必ず有理数の範囲で行うように、慎重を期さねばならないのです。だから難しいのです。

　r は　r = z - x　で定義したのですから当然有理数です。これを
　　r^2{ (y/r)^3 - 1 } = 3(rx + x^2) ･････③
から r^2 = 3 としてしまえば r が有理数であることを否定し、改めて r は実数であるとと仮定したことになります。したがって定義の　r = z - x　より、z か x のどちらかは必ず実数となります。どちらが実数になっても①は成り立ちますので
> z=2+3^(1/2)
> Z=(2+3^(1/2))*3/3^(1/2)
などという変形はまったく無意味なのです。問題外のそのまた外です。

**１３２人目の素数さん** · 2019/09/27(金) 03:34:49.36

〔ABC予想〕
自然数 A<B は互いに素であるとし、A+B=C とおく。
任意のε>0 に対してあるK(ε) >0 が存在し、全ての組(A,B,C)について次が成り立つ。
　C < K(ε)･rad(ABC)^(1+ε),
ただし rad(x) は xのすべての素因数の積。

〔問題〕
ABC予想と K(1)≦1 を仮定して
「フェルマーの最終予想」(ワイルズ-テイラーの定理) (6乗以上の場合) を証明せよ。

**１３２人目の素数さん** · 2019/09/27(金) 03:37:56.78

(略証)
背理法による。
互いに素な自然数の組(a,b,c) と n≧6 が a^n + b^n = c^n を満たすと仮定する。
a^n, b^n, c^n は互いに素だから、ABC予想に A = a^n, B = b^n, C = c^n を代入して
　c^n < rad{(abc)^n}^2 ≦ (abc)^2 < c^6,
{∵ 一般に rad(x^n) = rad(x) ≦ x. }
　c>1 より n<6,
これは n≧6 と矛盾する。(終)

山崎隆雄「フェルマー予想とABC予想」数学セミナー (2010/Oct)

日高 · 2019/09/27(金) 06:43:02.47

>「変形のための四則演算は必ず有理数の範囲で行うように」

理由を教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/09/27(金) 10:46:08.66

> 理由を教えていただけないでしょうか。
>>42
で説明済みです。きちんと読んでいるのですか？

　0 でない有理数 q に対し、無理数（有理数でない実数）r の四則演算
　　q + r
　　q - r
　　qr
　　q/r

は、すべて無理数になります。証明はとても簡単ですが、あなたは証明できますか？

　さらにくどく言うと

　0 でない有理数 x、y、z のどれかに無理数の四則演算を施せば、それは無理数になってしまいます。x、y、z のうちどれか1つでも無理数ならば

　　x^3 + y^3 = z^3 ･････①

が成り立つから、証明するために①を変形する際の四則演算は必ず有理数の範囲でなければいけないのです。

**１３２人目の素数さん** · 2019/09/27(金) 11:45:09.33

>>46
>証明するために①を変形する際の四則演算は必ず有理数の範囲でなければいけないのです。

普通の数学書でそんな言い方はしない。厳密さに欠ける表現だ。

**１３２人目の素数さん** · 2019/09/27(金) 11:54:23.36

http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&;namber=49895&page=0&no=0

ここ見たら？

こいつは自分の間違いを理解できる頭を持ってないよ。

**１３２人目の素数さん** · 2019/09/27(金) 11:55:35.57

本当の問題はそこじゃないから
あまりこだわらなくてもね

日高 · 2019/09/27(金) 12:03:41.16

>「x、y、z は自然数（もしくは 0 でない有理数）と仮定しなければなりません。」

理由を教えていただけないでしょうか。

x、y、zは実数と仮定して、式が成り立つものとし、x、y、zが、有理数、もしくは、
無理数となるかを、判定する方法では、だめでしょうか？

**１３２人目の素数さん** · 2019/09/27(金) 12:34:46.58

>普通の数学書でそんな言い方はしない。厳密さに欠ける表現だ。

　質問者にわかるように言っている。初等整数論の「し」の字も知らないようなので（笑）。
　いずれにしても私はこれ以上レスしない。

**１３２人目の素数さん** · 2019/09/27(金) 13:19:05.08

>>50
原理的には可能なアプローチだが、有理数の判定が容易ではないのでうまく行かない。
単位円上の有理点をそのアプローチで考えてみよ。

日高 · 2019/09/27(金) 14:54:20.81

>原理的には可能なアプローチだが、有理数の判定が容易ではないのでうまく行かない。

「rが無理数となる」判定は、間違いでしょうか。

**１３２人目の素数さん** · 2019/09/27(金) 15:07:54.47

既に指摘されてるように、誤りは「r^(p-1)=p 以外の場合は考えなくてよい」とした点にある。

よく考えてみること。

日高 · 2019/09/27(金) 15:25:19.81

>「r^(p-1)=p 以外の場合は考えなくてよい」

理由は、r^(p-1)=p 以外の場合の解の比と、
r^(p-1)=pの解の比が、等しくなるからです。

**１３２人目の素数さん** · 2019/09/27(金) 16:12:35.02

>>55
＞r^(p-1)=p 以外の場合の解の比と、r^(p-1)=pの解の比が、等しくなる
その主張が誤りだと言っています。

z=x+r なのですから、r の値が異なれば、x と z の比は当然異なります。

**１３２人目の素数さん** · 2019/09/27(金) 16:27:03.72

p=2の場合の例
x^2+y^2=(x+2)^2 (1)
x=3, y=4, z=5

x^2+y^2=(x+1)^2 (2)
x=3/2, y=4/2, z=5/2

(1)と(2)のx,y,zの比は同じです。

**１３２人目の素数さん** · 2019/09/27(金) 16:48:31.26

>>57
その主張が通るなら、rとして有理数や整数を選んでも全く問題ありませんよ。
なぜそうしないのですか？

**１３２人目の素数さん** · 2019/09/27(金) 16:53:43.45

>>55
＞r^(p-1)=p 以外の場合の解の比と、r^(p-1)=pの解の比が、等しくなる
その主張が誤りだと言っています。

z=x+r なのですから、r の値が異なれば、x と z の比は当然異なります。

**１３２人目の素数さん** · 2019/09/27(金) 16:54:00.02

これはあかんな…
>>51のひとと同じ罠にハマっているw

**１３２人目の素数さん** · 2019/09/27(金) 16:59:41.75

連投してすまんね

質問を変えます。
「r^(p-1)=p 以外の場合」を考えてはいけない理由を教えてください。

解の比が同じであればよいというのなら、なぜr=1としてはいけないのですか？
つまり、もとの問題は、x^p+y^p=(x+1)^p となる有理数x,yを求める問題を解くことと同じなんですよね？

日高 · 2019/09/27(金) 17:21:33.62

r^(p-1)=p 以外の場合」を考えても、よいです。
但し、r^(p-1)=pの場合と、x,y,zの比が同じとなります。

>解の比が同じであればよいというのなら、なぜr=1としてはいけないのですか？

x^p+y^p=(x+1)^p としても、よいです。
但し、pが奇素数の場合は、xを有理数としても、zが有理数となるので、
yが有理数か、無理数かは、計算しないとわかりません。

**１３２人目の素数さん** · 2019/09/27(金) 17:31:03.56

>>1の論法を使うとこういう証明ができるよね

【定理】x^3+y^3+z^3=w^3は自然数解を持たない。
【証明】w=x+rとおくと、x^3+y^3+z^3=(x+r)^3となる。
これを変形すると、r^2{(y/r)^3+(z/r)^3-1}=3(x^2+rx)となる。
r^2=3となるので、xを有理数とすると、wは無理数となる。
∴x^3+y^3+z^3=w^3は自然数解を持たない。

実際には 3^3+4^3+5^3=6^3 という自然数解が存在するんだけど、
さていったい上の証明はどこが間違ってるんでしょうかねえ？

**１３２人目の素数さん** · 2019/09/27(金) 18:14:22.16

ああこの人か日本中の数学者にメール送りつけてるトンデモさんは
5chだと相手にしてくれる人がいていいな
早速おもちゃにもならんと捨てられ始めてるが

**１３２人目の素数さん** · 2019/09/27(金) 18:28:45.15

□投稿者/ 日高大御所(392回)-(2019/09/26(Thu) 09:43:17)

>>でも、どこかに私に間違いを説明できる人がいるかもわかりません。
> 　そういう奇特な人が現れるまで延々と続けるつもりか？
> 　それならこんな過疎った掲示板でなく
> 　ttps://rio2016.5ch.net/test/read.cgi/math/1567920449/
> で聞いた方が奇特な人を見つけられる可能性が高いぞ。

ありがとうございました。５ちゃんねる掲示板に投稿したら、
奇特な人が、いました。

wwwwww………………

**１３２人目の素数さん** · 2019/09/27(金) 18:44:19.62

いくつかの掲示板でさんざん指摘されたところに答えがあるのだから、過去ログを何十回でも何百回でも読んで、
理解するよう努めれば良いのに。

で、p=2のとき、
x:y:z=3:4:5, r=2
と
x:y:z=5:12:13, r=8
は比が違うぞ。

日高 · 2019/09/27(金) 22:21:27.37

「x^3+y^3+z^3=w^3は自然数解を持たない。」かどうかを判定するのに、
w=x+rとおいても、判定することはできない。

理由は、元の数が多いからです。

**１３２人目の素数さん** · 2019/09/27(金) 23:06:30.15

　これが最後（笑）

>>理由は、元の数が多いからです。

wwwwwwwwwwwwwwwwwwwwww

何という阿呆だ。まじめにつきあって馬鹿を見た

>>66 にはなんと言い訳するのだ

**１３２人目の素数さん** · 2019/09/27(金) 23:08:28.29

>>67
あ、もう一つ

君、あちこちの数学科の教授にメールしてるのは本当かね？

**１３２人目の素数さん** · 2019/09/27(金) 23:09:57.04

>>67
なぜ駄目なのでしょう？
あなたの方法と何も変わらないように見えますよ？

**１３２人目の素数さん** · 2019/09/27(金) 23:09:57.04

>>67
なぜ駄目なのでしょう？
あなたの方法と何も変わらないように見えますよ？

**BLACKX** ◆SvoRwjQrNc · 2019/09/27(金) 23:33:22.53

じゃあ俺は、B^6+L^6+A^6+C^6+K^6+X^6=H^6が自然数解を持つか調べるわ

**１３２人目の素数さん** · 2019/09/27(金) 23:38:15.71

>>67
３つだと駄目で
２つだと良いのは何故ですか

◆z6PUCu/oMY · 2019/09/27(金) 23:43:03.08

分からん

**１３２人目の素数さん** · 2019/09/28(土) 01:37:17.77

>>69
同じアルファベットからアドレスが始まる、知っている数学の先生を含む二桁の人のメールアドレスがtoに入っているメールが時々来てたから、
日本数学会の名簿とかで片端からメールしていたんじゃない？

日高 · 2019/09/28(土) 07:43:26.19

>３つだと駄目で
２つだと良いのは何故ですか

２つだと、あと1つ数を与えると、解が定まりますが、
３つだと、1つ数を与えても、解が定まりません。

**１３２人目の素数さん** · 2019/09/28(土) 08:22:21.79

>>76
あなたのやり方では
xを有理数とすると、x+rは無理数となる。ということを根拠にしているのですから、元の数は関係ないですね

**１３２人目の素数さん** · 2019/09/28(土) 08:24:26.64

3次のの例
　x^3 + y^3 = w^3 - z^3,

3^3 + 4^3 = 6^3 - 5^3,
3^3 + 5^3 = 6^3 - 4^3,
4^3 + 5^3 = 6^3 - 3^3,

58^3 + 255^3 = 183^3 + 220^3
　= 256^3 - 9^3 = 292^3 - 201^3,

57^3 + 180^3 = 113^3 + 166^3
　= 185^3 - 68^3 = 209^3 - 146^3 = 246^3 - 207^3,

804^3 + 963^3
　= 1134^3 - 357^3 = 1155^3 - 504^3 = 1246^3 - 805^3
　= 2115^3 - 2004^3 = 4746^3 - 4725^3,

1589^3 + 1939^3 = 1608^3 + 1926^3
　= 2268^3 - 714^3 = 2310^3 - 1008^3 = 2492^3 - 1610^3
　= 4230^3 - 4008^3 = 9492^3 - 9450^3

**１３２人目の素数さん** · 2019/09/28(土) 09:02:54.51

http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&;namber=49895&page=60&no=0
　　フェルマーの最終定理？　もう釣れないよ
　　証明じゃなく、単なる文字の羅列じゃないかwwwww
　　レスは餌になるので一切無用に
　　　　願います＜(_ _)＞。
＿＿　＿＿＿／　　　　　　　　　　　　,／ヽ
　　 ∨　　　　　　　　　　↓H高　　 ,／　　　　ヽ数学の本は、読んでいませんwww
　 ∧＿∧ 　　　　　　　　∧＿∧　　,／　　　　　　ヽ学力は、小学校もあやしいですwww
　（　´∀｀）　　　　　　　（　´∀｀）,／　　　　　　　ヽ2×6 = 3a×4
　（　　　　）　　　　　　　（　　つつ@　　　　　　　　　　ヽの右辺に a(1/a) をかけて
　｜｜　|　　　＿＿_　｜｜　|　　　　　　　　　　　　　ヽ2×6 = 3a×4(1/a)とすると
　（_＿）＿）　　 |――|　（_＿）＿）　　　　　　　　　　　　　　　ヽ2 = 3a となると本気で思っています。
￣￣￣￣￣￣￣￣￣￣￣￣￣|　　　　　　　　　　　　　　　　ヽ＜・フェルマーの最終定理─＜
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ　゜~ ~。゜　~ ~　~ ~~　~ ~~　~ ~~　~~　~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡　～　～～　～～　～～　～　～
　レスは餌になるので一切無用に願います＜(_ _)＞。

日高 · 2019/09/28(土) 10:22:58.09

(1) AB=CD
AB=CDならば、A=Cのとき、B=Dとなる。
(2) A(B+C)=DE
A(B+C)=DEならば、A=Dのとき、B+C=Eとなる。
　　B+C=Eは、Eを決めても、B,Cは定まりません。

x^p+y^p=z^pは、(1)になります。
x^p+y^p+z^p=w^pは、(2)になります。

**１３２人目の素数さん** · 2019/09/28(土) 11:56:56.38

>>1の論法を使うとこういう証明ができる

【定理】x^3+y=z^3は自然数解を持たない。
【証明】z=x+rとおくと、x^3+y=(x+r)^3となる。
これを変形すると、r^2{(y/r^3)-1}=3(x^2+rx)となる。
r^2=3となるので、xを有理数とすると、zは無理数となる。
∴x^3+y=z^3は自然数解を持たない。

**１３２人目の素数さん** · 2019/09/28(土) 23:14:51.91

>>81なんでもありやなw

**１３２人目の素数さん** · 2019/09/29(日) 00:14:35.85

ガロア理論スレのスレ主同様に何を言われても無敵の人っぽいしなあ

**１３２人目の素数さん** · 2019/09/29(日) 04:10:07.56

>>63 >>78
　x = 3pp +5pq -5qq,
　y = 4pp -4pq +6qq,
　z = 5pp -5pq -3qq,
　w = 6pp -4pq +4qq,
ここに p>q は自然数。

ラマヌジャンすれ-109

**１３２人目の素数さん** · 2019/09/29(日) 04:52:17.58

>>63 >>78
　x = -|α|^4 - |β|^2･Re(2αβω),
　y = |α|^4 + |β|^2･Re(2αβω~),
　z = |β|^4 + |α|^2･Re(2αβω),
　w = |β|^4 + |α|^2･Re(2αβω~),
ここに　α,β ∈ Z[√(-3)], ω≠1 は1の3乗根。

・参考書
北村泰一「数論入門」(改訂版)、槇書店数学選書 (1989)
北村泰一「南極越冬隊タロジロの真実」小学館文庫 (2007/Mar) 649円

「オイラーの贈物」スレ-261

**１３２人目の素数さん** · 2019/09/29(日) 05:11:05.58

>>63 >>78
　現在は↓とするらしい････

　x = t^3 -(s+r)tt +(ss+2rr)t +(rss -2rrs +r^3),
　y = -t^3 +(s+r)tt -(ss+2rr)t +(2rss -rrs +2r^3),
　z = (s-2r)tt + (rr-ss)t + (s^3 -rss +2rrs -2r^3),
　w = (s+r)tt + (ss+2rr)t +(-s^3 +rss -2rrs -r^3),
ただし　r,s,t は整数。

現代数学スレ-565

日高 · 2019/09/29(日) 09:48:11.44

【定理】pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
【証明】z=x+rとおくと、x^p+y^p=(x+r)^p…(1)となる。
これを変形すると、r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
r^(p-1)=pとなるので、(1)は、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(1)は、xを有理数とすると、zは無理数となる。
(2)の右辺にa(1/a)を掛けると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)となる。
(4)はr^(p-1)=apとなるので、(1)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は、(3)の解のa^{1/(p-1)}倍となる。よって、(1),(3),(5)は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。

**１３２人目の素数さん** · 2019/09/29(日) 10:19:47.48

http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&;namber=49895&page=60&no=0
　　フェルマーの最終定理？　もう釣れないよ
　　証明じゃなく、単なる文字の羅列じゃないかwwwww
　　レスは餌になるので一切無用に
　　　　願います＜(_ _)＞。
＿＿　＿＿＿／　　　　　　　　　　　　,／ヽ
　　 ∨　　　　　　　　　　↓H高　　 ,／　　　　ヽ数学の本は、読んでいませんwww
　 ∧＿∧ 　　　　　　　　∧＿∧　　,／　　　　　　ヽ学力は、小学校もあやしいですwww
　（　´∀｀）　　　　　　　（　´∀｀）,／　　　　　　　ヽ2×6 = 3a×4
　（　　　　）　　　　　　　（　　つつ@　　　　　　　　　　ヽの右辺に a(1/a) をかけて
　｜｜　|　　　＿＿_　｜｜　|　　　　　　　　　　　　　ヽ2×6 = 3a×4(1/a)とすると
　（_＿）＿）　　 |――|　（_＿）＿）　　　　　　　　　　　　　　　ヽ2 = 3a となると本気で思っています。
￣￣￣￣￣￣￣￣￣￣￣￣￣|　　　　　　　　　　　　　　　　ヽ＜・フェルマーの最終定理─＜
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ　゜~ ~。゜　~ ~　~ ~~　~ ~~　~ ~~　~~　~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡　～　～～　～～　～～　～　～
　レスは餌になるので一切無用に願います＜(_ _)＞。

**１３２人目の素数さん** · 2019/09/29(日) 10:25:24.41

指摘をスルーし同じことを繰り返す

**１３２人目の素数さん** · 2019/09/29(日) 10:46:06.20

https://twitter.com/fujitapiroc1964/status/1040151277055881217

こいつ、ほんとうに屑のような証明を送りつけていたんだなwwwwwwwwwwwwwwwwww
https://twitter.com/5chan_nel (5ch newer account)

日高 · 2019/09/29(日) 11:06:58.75

>指摘をスルーし同じことを繰り返す

指摘とは、x^3+y^3+z^3=w^3のことでしょうか？

**１３２人目の素数さん** · 2019/09/29(日) 11:28:40.64

**１３２人目の素数さん** · 2019/09/29(日) 12:55:01.46

> 指摘とは、x^3+y^3+z^3=w^3のことでしょうか？
　>>87 のすべて。

**１３２人目の素数さん** · 2019/09/29(日) 13:24:27.38

ガロア理論スレのスレ主とか
0.99999……は１ではない　のスレ主とか
ここの日高とか

全く何も理解できないわけでもないのに読解力や思考力に欠け
ネットで延々同じ話をループさせるだけの人間はなんなんだろう？
パタンは違うが数学の本スレの松坂くんも似たタイプ

うん新井紀子先生なら彼らにも正しい読解力を身につけさせられるだろうww

**１３２人目の素数さん** · 2019/09/29(日) 13:53:19.72

ほい

【定理】x^2+y^2=z^2は自然数解を持たない。
【証明】z=x+rとおくと、x^2+y^2=(x+r)^2…(1)となる。
これを変形すると、r^2{(y/r)^2-1}=2{rx}…(2)となる。
r^2=2となるので、(1)は、x^2+y^2=(x+√2)^2…(3)となる。
(1)は、xを有理数とすると、zは無理数となる。
(2)の右辺にa(1/a)を掛けると、r^2{(y/r)^2-1}=2a{rx}(1/a)…(4)となる。
(4)はr^2=2aとなるので、(1)はx^p+y^p=(x+√(2a))^2…(5)となる。
(5)の解は、(3)の解のa^{1/2}倍となる。よって、(1),(3),(5)は有理数解を持たない。
∴x^2+y^2=z^2は自然数解を持たない。

日高 · 2019/09/29(日) 14:32:08.36

87のどの部分が間違いかを、ご指摘いただけないでしょうか。

**１３２人目の素数さん** · 2019/09/29(日) 14:55:10.72

奇数芸人と一緒で「君の理屈を使うとこんなおかしなこと証明できちゃうから、君の理屈はおかしいんだよ」ってのが通じないみたいだね

日高 · 2019/09/29(日) 16:19:50.42

具体的には、どういう事でしょうか？

**１３２人目の素数さん** · 2019/09/29(日) 16:36:23.84

お前の証明が正しいのなら >>81 の証明も正しいってこと。

**１３２人目の素数さん** · 2019/09/29(日) 17:07:51.56

奴との共通点はまだあるぞ
・唐突に新しい変数を説明なしで使う
・一度定義した変数を別の意味で使う
・式の形が同じだから同値だと言い張る

あとはこれかな
・指摘してくださいと言いつつ指摘を聞く気はない

日高 · 2019/09/29(日) 17:42:56.71

・唐突に新しい変数を説明なしで使う
・一度定義した変数を別の意味で使う
・式の形が同じだから同値だと言い張る

何番のどの部分かを、教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/09/29(日) 17:49:11.56

>>81には触れないんだね

**１３２人目の素数さん** · 2019/09/29(日) 17:51:30.33

「元の数が多い」という言い訳が通用しない反論はこの2つかねえ
>>1はどう再反論するつもりなのか

81１３２人目の素数さん2019/09/28(土) 11:56:56.38ID:/q9d/h6J
>>1の論法を使うとこういう証明ができる

【定理】x^3+y=z^3は自然数解を持たない。
【証明】z=x+rとおくと、x^3+y=(x+r)^3となる。
これを変形すると、r^2{(y/r^3)-1}=3(x^2+rx)となる。
r^2=3となるので、xを有理数とすると、zは無理数となる。
∴x^3+y=z^3は自然数解を持たない。

95１３２人目の素数さん2019/09/29(日) 13:53:19.72ID:TVW6j99y
ほい

【定理】x^2+y^2=z^2は自然数解を持たない。
【証明】z=x+rとおくと、x^2+y^2=(x+r)^2…(1)となる。
これを変形すると、r^2{(y/r)^2-1}=2{rx}…(2)となる。
r^2=2となるので、(1)は、x^2+y^2=(x+√2)^2…(3)となる。
(1)は、xを有理数とすると、zは無理数となる。
(2)の右辺にa(1/a)を掛けると、r^2{(y/r)^2-1}=2a{rx}(1/a)…(4)となる。
(4)はr^2=2aとなるので、(1)はx^p+y^p=(x+√(2a))^2…(5)となる。
(5)の解は、(3)の解のa^{1/2}倍となる。よって、(1),(3),(5)は有理数解を持たない。
∴x^2+y^2=z^2は自然数解を持たない。

**１３２人目の素数さん** · 2019/09/29(日) 17:54:12.40

そもそも元の数云々もよく分かんないけど...

**１３２人目の素数さん** · 2019/09/29(日) 18:32:49.42

奇数芸人TAKAGI KOJIと
フェルマー芸人kokaji222@yahoo.co.jp

の間には何らかのアナグラムが隠されているかもしれん

**１３２人目の素数さん** · 2019/09/29(日) 18:49:11.05

http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&;namber=49895&page=60&no=0
　　フェルマーの最終定理？　もう釣れないよ
　　証明じゃなく、単なる文字の羅列じゃないかwwwww
　　レスは餌になるので一切無用に
　　　　願います＜(_ _)＞。
＿＿　＿＿＿／　　　　　　　　　　　　,／ヽ
　　 ∨　　　　　　　　　　↓H高　　 ,／　　　　ヽ数学の本は、読んでいませんwww
　 ∧＿∧ 　　　　　　　　∧＿∧　　,／　　　　　　ヽ学力は、小学校もあやしいですwww
　（　´∀｀）　　　　　　　（　´∀｀）,／　　　　　　　ヽ2×6 = 3a×4
　（　　　　）　　　　　　　（　　つつ@　　　　　　　　　　ヽの右辺に a(1/a) をかけて
　｜｜　|　　　＿＿_　｜｜　|　　　　　　　　　　　　　ヽ2×6 = 3a×4(1/a)とすると
　（_＿）＿）　　 |――|　（_＿）＿）　　　　　　　　　　　　　　　ヽ2 = 3a となると本気で思っています。
￣￣￣￣￣￣￣￣￣￣￣￣￣|　　　　　　　　　　　　　　　　ヽ＜・フェルマーの最終定理─＜
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ　゜~ ~。゜　~ ~　~ ~~　~ ~~　~ ~~　~~　~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡　～　～～　～～　～～　～　～
　レスは餌になるので一切無用に願います＜(_ _)＞。

**１３２人目の素数さん** · 2019/09/29(日) 20:53:15.26

5315
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
https://twitter.com/dy_dt_dt_dx
https://twitter.com/5chan_nel (5ch newer account)

日高 · 2019/09/29(日) 21:01:37.73

>>81には触れないんだね

どういうことか、教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/09/29(日) 21:37:15.14

日本語理解できないの？

日高 · 2019/09/29(日) 21:40:51.67

すみません。よくわかりませんので。

**１３２人目の素数さん** · 2019/09/29(日) 21:42:19.77

どこがわからないのかが分からない。てかここまで説明されて分からないんだったらお前才能ないから諦めろ。

**１３２人目の素数さん** · 2019/09/30(月) 00:21:00.25

致命的な指摘はわからないで押し通すつもりなのか、それとも本当にわからないのか

**１３２人目の素数さん** · 2019/09/30(月) 00:31:39.24

>>致命的な指摘はわからないで押し通すつもりなのか、それとも本当にわからないのか
　本当にわからないのだ（笑）。なにしろ数学ナビの掲示板で

　スレ主は以下の命題の真偽がわかるかね？
　(1) sin(π/2) = 0 ⇒ cos(π/3) = 1
　(2) sin(π/2) = 1 ⇒ cos(π/3) = 1
　(3) sin(π/3) = 0 ⇒ cos(π/3) = 1

という質問に対し、

　問題の意味がよくわかりません。
　⇒の意味は、～ならば～である。と思いますが、
　sin(π/2) = 0, sin(π/3) = 0となりません。
　sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。

と珍答するほど数学的素養に欠けるやつだからなwwwwwwww

日高 · 2019/09/30(月) 05:39:21.23

>致命的な指摘はわからないで押し通すつもりなのか、それとも本当にわからないのか

本当に、わかりません。

**１３２人目の素数さん** · 2019/09/30(月) 05:43:29.96

x^3+y=z^3は自然数解を持つのに、
>>1の論法を使った>>81では自然数解を持たないことが
証明できてしまうので、>>1の論法は間違っているということだよ。

日高 · 2019/09/30(月) 06:04:20.26

pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
x^p+y^p=z^pをz=x+rとおいて、x^p+y^p=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y^p=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y^p=z^pは自然数解を持たない。

確認ですが、>>1とは、これの事でしょうか？

日高 · 2019/09/30(月) 06:53:57.22

>スレ主は以下の命題の真偽がわかるかね？
　(1) sin(π/2) = 0 ⇒ cos(π/3) = 1
　(2) sin(π/2) = 1 ⇒ cos(π/3) = 1
　(3) sin(π/3) = 0 ⇒ cos(π/3) = 1

答えと、その理由を教えていただけないでしょうか。

日高 · 2019/09/30(月) 07:03:34.64

悶える様
数学ナビゲーターの50069の中で
「x,y,z,wは連続する４つの自然数なので、」と書いてありましたが、
その理由を教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/09/30(月) 13:37:29.00

>>115は無視？
都合が悪いから？

**１３２人目の素数さん** · 2019/09/30(月) 13:43:45.04

「わからない」でとぼけ通すつもりっぽいですよね

日高 · 2019/09/30(月) 13:54:36.89

>x^3+y=z^3は自然数解を持つのに、
>>1の論法を使った>>81では自然数解を持たないことが
証明できてしまうので、>>1の論法は間違っているということだよ。

どういう意味でしょうか？
教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/09/30(月) 13:55:23.77

ほらね

日高 · 2019/09/30(月) 13:59:23.22

>「わからない」でとぼけ通すつもりっぽいですよね

これは、どのことを、指しているのでしょうか？

日高 · 2019/09/30(月) 14:03:12.67

>ほらね

これは、どのことに対してでしょうか？

**１３２人目の素数さん** · 2019/09/30(月) 14:05:36.05

数学も日本語もできない馬鹿だな。

分からないのならどこが分からないのか具体的に書けよ。

**１３２人目の素数さん** · 2019/09/30(月) 14:08:06.57

>>123
どう考えても >>121 のことを指してるだろw

>>124
どう考えても >>121, >>123 に対してだろ。

少しは頭を使えよ猿。

**１３２人目の素数さん** · 2019/09/30(月) 14:16:06.56

>>100追加

・指摘に反論できなくなるとトボけ倒して逃げる

**１３２人目の素数さん** · 2019/09/30(月) 14:18:27.55

奇数芸人は本気で自分が正しいと信じてそうだけどな

日高 · 2019/09/30(月) 14:58:29.66

具体的に、
どのことに対してでしょうか。

**１３２人目の素数さん** · 2019/09/30(月) 15:02:54.15

>>115読んでもわからないなら何してもわからないから、諦めた方がいいよ

**１３２人目の素数さん** · 2019/09/30(月) 15:03:17.83

お前が誤魔化さずに具体的に聞けよw
出来の悪い猿だなww

日高 · 2019/09/30(月) 15:46:17.19

具体的にお願いします。

**１３２人目の素数さん** · 2019/09/30(月) 15:53:27.20

具体的に書くのはお前のほうだ、猿。

日高 · 2019/09/30(月) 15:58:37.47

よろしくお願いします。

**１３２人目の素数さん** · 2019/09/30(月) 15:59:22.38

お前だよ、猿w

**１３２人目の素数さん** · 2019/09/30(月) 15:59:45.68

　　，　　，:‘. 　　　　　　　 ..; '，　　，:‘　　　　　　　　　’‘
　　　　　　, .. . 　　　+　　　　　　。　　　　　　　　　’‘ 　　　　　　　:] . ..
，　　，:‘. 数学の本を読めないのに　　　　　　　　　　　　　+　　，..
　’‘ 　　　　+　　，.. 　　　　　　. ..; '，　　，:‘
+　　，.. 　　　，:‘. つまりは、初等整数論の基礎の基礎すら知らないで　　　　，:‘. 　，..
　’‘ 　　　　+　　，.. 　　　　　　. ..; '，　　，:‘
　　　　　　　　　　　　+　, .. . 　　　　　　　　　　　　　+　　　　　　　　　　’。
　　　　　. .; : ’フェルマーの最終定理を証明できたなんて・・・　　　 '　，:‘.
　　　　　　, .. . 　　　+　　　　　　。　　　　　　　　　’‘ 　　　　　　　:] . ..
　　それにしても　　. ..; '，　　，:
　　　　, .. . 　　2 = 3aとなるので、a = 2/3となります。　 ..; '，　
　　　'　，:‘. 　　a = -1 の場合　　, .. .
　　　. ..; '.　　　2*6 =3a*4(1/a)=-3*(-4)=12となります。　　 ..; '，
　　　だなんて・・　あ　あ　・　・　・　　　　　　　，:‘. 　　　　　+
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　。
.. '　，:‘. 　　　　　　　　　馬　鹿　過　ぎ　ま　す　　　　　　　　　. ...:]　’‘
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　。
’‘ 　　　　.;　　　こ　ん　な　馬　鹿　な
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　。
.　　　　　。　　　ス　レ　ッ　ド　を　見　た　の　　　　　，:‘. 。+
　'+。
　　　　　　　　　　　　　　　　初　め　て　で　す　　　　　　　　　　.. '　，:‘.
:] . .. 　　　　　　　　　　　　　　　　　　　　　　　　　　　.. '　，:‘.
　　，　　，:‘. 　　　　　　　 ..; '，　　，:‘　　　　　　　　　’‘
　，:‘. 。　　　.. . . :]:　 '　，:‘. 　　, .. . 　　　+　　。　　, .. . 　　　+　　.　:　:...

**１３２人目の素数さん** · 2019/09/30(月) 16:05:13.58

スレ主は以下の命題の真偽がわかるかね？
　(1) sin(π/2) = 0 ⇒ cos(π/3) = 1
　(2) sin(π/2) = 1 ⇒ cos(π/3) = 1
　(3) sin(π/3) = 0 ⇒ cos(π/3) = 1
どなたか、答えをおしえていただけないでしょうか。

日高 · 2019/09/30(月) 16:18:52.89

2 = 3aとなるので、a = 2/3となります。　 ..; '，　
　　　'　，:‘. 　　a = -1 の場合　　, .. .
　　　. ..; '.　　　2*6 =3a*4(1/a)=-3*(-4)=12となります

「a = -1 の場合」
どうして、こうなるのでしょうか？

**１３２人目の素数さん** · 2019/09/30(月) 16:31:59.55

□投稿者/ 日高大御所(368回)-(2019/08/27(Tue) 15:50:36)

■No49986に返信(勇気再雨さんの記事)
> 2019/08/27(Tue) 09:56:06 編集(投稿者)
>
>>a(1/a)=1なので、右辺にa(1/a)をかけて
>>２×６＝３a×４(1/a)とすると
>>2=3a, a=2/3, となるので、
>>２×６＝２×６となります。
>
> 2*6 = 3a*4
> の右辺に a(1/a) をかけて
> 2*6 = 3a*4(1/a)
> とすると
> 2 = 3a, a = 2/3
> となるので、a = -1 の場合
> 2 = 3(-1), (-1) = 2/3
> となります。

2 = 3aとなるので、a = 2/3となります。

a = -1 の場合
2*6 =3a*4(1/a)=-3*(-4)=12となります。

日高 · 2019/09/30(月) 16:46:39.34

どうして
a = -1 の場合がでてくるのでしょうか。

**１３２人目の素数さん** · 2019/09/30(月) 17:07:59.19

ガロアのスレ主とか安達とか日高とか
何言っても「無敵」なんだが微妙に会話のパターンが違うか

**１３２人目の素数さん** · 2019/09/30(月) 17:34:32.50

【定理】x^3+y=z^3は自然数解を持たない。

【証明】
[1] z=x+rとおくと、x^3+y=(x+r)^3となる。
[2] これを変形すると、r^2{(y/r^3)-1}=3(x^2+rx)となる。
[3] r^2=3となるので、xを有理数とすると、zは無理数となる。
[4] ∴x^3+y=z^3は自然数解を持たない。

実際には x^3+y=z^3 は自然数解を持つので、
上記の証明はどこかが間違っている。
[1]～[4]のうちどの行が間違いなのか、>>1は指摘してみせよ。

**１３２人目の素数さん** · 2019/09/30(月) 17:41:25.10

わかりませんって返ってくるぞ

**１３２人目の素数さん** · 2019/09/30(月) 20:24:24.02

↓日高=猿

118
＞・・・と書いてありましたが、
＞その理由を教えていただけないでしょうか。

121
＞どういう意味でしょうか？
＞教えていただけないでしょうか。

123
＞これは、どのことを、指しているのでしょうか？

124
＞これは、どのことに対してでしょうか？

129
＞具体的に、
＞どのことに対してでしょうか。

132
＞具体的にお願いします。

134
＞よろしくお願いします。

138
＞「a = -1 の場合」
＞どうして、こうなるのでしょうか？

140
＞どうして
＞a = -1 の場合がでてくるのでしょうか。

**１３２人目の素数さん** · 2019/09/30(月) 21:10:27.44

http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&;namber=49895&page=50&no=0

┌日┐
｜※｜　数学力は小学生レベルも怪しいです(´・ω・｀)
｜数｜
｜学｜　でも、あのフェルマーの最終定理を証明できたんです！(｀^´) ﾄﾞﾔｯ!
｜の｜
｜本｜　それをここで発表したら・・・驚くべきことに (･ω･´ ﾉ)ﾉﾅﾇｯｯ!!
｜は｜
｜読｜　数学ナビの掲示板で一番の人気スレになりました！！(｀^´) ﾄﾞﾔｯ!
｜ん｜
｜で｜　スレの過去ログもなんと1～7まであります！(｀⌒´)エｯﾍﾝ！
｜ま｜
｜せ｜　事実上まったく同じ屑スレが7つもあるのです(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
｜ん｜
｜！｜　あ！無職なので仕事でダメ出しされることはないです(｀⌒´)エｯﾍﾝ！
└高┘

**１３２人目の素数さん** · 2019/09/30(月) 21:11:37.91

┌日┐
｜※｜　毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜　よって人生経験はそれなりにあるんですが・・・・・
｜の｜
｜本｜　数学力、国語力は小学生レベルも怪しいです(´・ω・｀)
｜は｜
｜読｜　でも、下阪神は人格がないくらい元気ですので(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
｜ん｜
｜で｜　あのフェルマーの最終定理を証明できたんです！(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜　下阪神力で達成した証明ですから、常人には理解不可能です。
｜ん｜
｜！｜　よってレスは一切無用に願います＜(_ _)＞。
└高┘

日高 · 2019/09/30(月) 21:39:31.13

>z=x+rとおくと、x^3+y=(x+r)^3となる。

は、x^3+y^3=(x+r)^3となる。ではないでしょうか？

**１３２人目の素数さん** · 2019/09/30(月) 21:50:22.00

>>147
>>142は>>1と全く同じロジックを使って、別問題の証明を行なっている。>>1の誤りを示すために。

**１３２人目の素数さん** · 2019/09/30(月) 22:14:46.16

1,87は、私の証明です。
81は、他の人が、書いています。（タイプミスだと思います。）

日高 · 2019/09/30(月) 22:20:09.70

1,87は、私の証明です。
81は、他の人が、書いています。（タイプミスだと思います。）

**１３２人目の素数さん** · 2019/09/30(月) 22:45:09.02

>>81は、x^3+y=z^3が自然数解を持たないことを証明しているのでyの係数が3でないのはタイプミスではありません。以上。

**１３２人目の素数さん** · 2019/09/30(月) 22:46:37.68

>>115を100回読んで、意味を理解して

日高 · 2019/09/30(月) 23:17:20.18

>>81は、x^3+y=z^3が自然数解を持たないことを証明しているのでyの係数が3でないのはタイプミスではありません。

「yの係数が3」でないとは、言っていません。
yは、y^3の間違いでは、ないでしょうか？

**１３２人目の素数さん** · 2019/09/30(月) 23:19:58.92

yは、y^3の間違いでは、ないでしょう。

**１３２人目の素数さん** · 2019/09/30(月) 23:26:23.29

>>153
やっぱりあえて無視してるの？
>>115はイミわかる？

**１３２人目の素数さん** · 2019/09/30(月) 23:32:53.90

x^3+y=z^3は自然数解を持つのに、
>>1の論法を使った>>81では自然数解を持たないことが
証明できてしまうので、>>1の論法は間違っているということだよ

上記は、１１５ですが、どういう意味でしょうか？

**１３２人目の素数さん** · 2019/09/30(月) 23:36:19.24

>>156
まず、一番上の行のイミはわかりますか？

日高 · 2019/09/30(月) 23:55:54.97

>x^3+y=z^3は自然数解を持つのに、

わかりません。教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/10/01(火) 00:05:11.11

>>158
x,y,z=2,19,3など無限とある。yでいくらでも調整できるし。

**１３２人目の素数さん** · 2019/10/01(火) 03:00:57.97

フェルマーの最終定理より、フェルマーの最終定理が成り立つ
こっちのが簡単

**１３２人目の素数さん** · 2019/10/01(火) 03:15:28.10

たしか p=3 については解があったよな

http://i.imgur.com/WnK47xk.jpg

日高 · 2019/10/01(火) 08:41:43.56

「x,y,z=2,19,3など無限とある。yでいくらでも調整できるし。」

その通りと思います。

日高 · 2019/10/01(火) 08:47:46.78

>たしか p=3 については解があったよな

http://i.imgur.com/WnK47xk.jpg

これは、足し算が間違っています。

**１３２人目の素数さん** · 2019/10/01(火) 08:59:11.21

>>162
では>>115全体の意味はわかりますか？

日高 · 2019/10/01(火) 09:45:29.13

「では>>115全体の意味はわかりますか？」

わかりません。

**１３２人目の素数さん** · 2019/10/01(火) 09:54:03.43

>>165
「>>1の論法を使うと x^3+y=z^3 が自然数解を持たないことが証明できる」
この意味はわかりますか？

日高 · 2019/10/01(火) 10:11:22.14

「>>1の論法を使うと x^3+y=z^3 が自然数解を持たないことが証明できる」
この意味はわかりますか？

わかりません。

**１３２人目の素数さん** · 2019/10/01(火) 10:14:41.34

>>167
どこがわかりませんか？

日高 · 2019/10/01(火) 10:26:18.07

「どこがわかりませんか？」

「>>1の論法を使うと x^3+y=z^3 が自然数解を持たないことが証明できる」

これが、わかりません。

**１３２人目の素数さん** · 2019/10/01(火) 10:27:45.12

>>169
それのどこがわかりませんか？

日高 · 2019/10/01(火) 10:35:31.64

「>>1の論法を使うと」
が、わかりません。

**１３２人目の素数さん** · 2019/10/01(火) 10:58:14.98

>>171
そのままの意味です
「論法」の意味がわからなければ辞書で引いてください
「使うと」というのは「使った場合」、「使えば」程度の意味です

日高 · 2019/10/01(火) 11:08:55.88

「そのままの意味です」

具体的に、教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/10/01(火) 11:10:20.89

>>173
「論法」の意味がわからなければ辞書で引いてください
「使うと」というのは「使った場合」、「使えば」程度の意味です

日高 · 2019/10/01(火) 11:26:09.42

pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
x^p+y^p=z^pをz=x+rとおいて、x^p+y^p=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y^p=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y^p=z^pは自然数解を持たない。

上記のどの部分を使うと、「x^3+y=z^3 が自然数解を持たないことが証明できる」
のでしょうか？

**１３２人目の素数さん** · 2019/10/01(火) 11:53:17.46

y^pをYにでも置き換えればいいじゃん

日高 · 2019/10/01(火) 12:48:37.39

「y^pをYにでも置き換えればいいじゃん」

具体的に、どのようにすればいいのでしょうか。

**１３２人目の素数さん** · 2019/10/01(火) 12:52:10.91

>>177
y^pをyに読み替えればいいですね

**１３２人目の素数さん** · 2019/10/01(火) 12:53:16.76

わからないわからないと誤魔化し続けても正しくなる訳じゃない
この人は何をしてるんでしょうか？

**１３２人目の素数さん** · 2019/10/01(火) 12:54:36.29

単なる能力不足でしょ

日高 · 2019/10/01(火) 13:06:43.05

「y^pをyに読み替えればいいですね」

pが奇素数のとき、x^p+y=z^pは自然数解を持たない。
x^p+y=z^pをz=x+rとおいて、x^p+y=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y=z^pは自然数解を持たない。

これで、よろしいでしょうか。

**１３２人目の素数さん** · 2019/10/01(火) 13:10:40.44

それで無事間違った命題が証明されたわけですね
どこが間違ってるかわかりますか？
わからなければ、このスレを読み返してくださいね

**１３２人目の素数さん** · 2019/10/01(火) 13:19:39.26

　日高さんは他の分野の数学はだいじょうぶなのですか。
　たとえば
　　 x +　y +　z = 10 ……①
　　 x + 2y + 3z = 21 ……②
　　5x + 6y + 7z = 61 ……③
について x = 2，y = 5，z = 3 という解はこの連立１次方程式を満たしますが、これを解けますか？

日高 · 2019/10/01(火) 14:35:16.03

x^2+y^2=(x+r)^2
変形すると、
r{(y/r)^2-1}=2x
r=2とすると、
x^2+y^2=(x+2)^2
y^2=4x+4…(1)
(1)は、xに、任意の有理数を代入しても、
yは、有理数になるとは、限りません。

x^2+y=(x+r)^2
変形すると、
r{y/r^2-1}=2x
r=2とすると、
x^2+y=(x+2)^2
y=4x+4…(2)
(2)は、xに、任意の有理数を代入すると、
yは、必ず有理数になります。

x^2+y^2=(x+r)^2と、x^2+y=(x+r)^2は式が異なるので、
同じ論法は使えないと思います。

**１３２人目の素数さん** · 2019/10/01(火) 14:47:31.58

>>81は x^3+y=z^3 ですよ

**１３２人目の素数さん** · 2019/10/01(火) 14:48:12.87

>>100にこれも追加

・問い詰められると関係ない話をして逃げる

日高 · 2019/10/01(火) 16:08:24.36

>>81は x^3+y=z^3 ですよ

x^3+y=z^3は、y=z^3-x^3なので、
z,xを有理数とすると、
yは、必ず有理数になります。

x^3+y^3=z^3は、y^3=z^3-x^3なので、
z,xを有理数とすると、
zは、有理数になるとは限りません。

**１３２人目の素数さん** · 2019/10/01(火) 16:24:34.51

>>187
そうですね
けどあなたが使った理屈を使うと自然数解がないことが示せてしまうんですね

**１３２人目の素数さん** · 2019/10/01(火) 16:38:30.58

>>81 は

　　x^3 + y = z^3 を満たす自然数の組 (x, y, z) は存在しない。･････①

と主張しているのであって、

　　z, x が有理数 ⇒ yは有理数

を否定しているわけではありませんよ。実際には

　　x^3 + y = z^3 を満たす自然数の組 (x, y, z) は無数に存在します。

　したがって①は偽の命題です。ところがあなたの珍論理を使うと①が真の命題になってしまうのです。その証明が>>81です。つまりあなたの珍論理は人類が築き上げた数学とはまったく相容れないものなので、今後は犬か猫にでも相談してください。

日高 · 2019/10/01(火) 21:27:37.12

　x^3 + y = z^3 を満たす自然数の組 (x, y, z) は存在しない。･････①
は、偽の命題です。

x^3 + y^3 = z^3 を満たす自然数の組 (x, y, z) は存在しない。･････②

①のx^3 + y = z^3と、②のx^3 + y^3 = z^3は、別の式だと思います。

**１３２人目の素数さん** · 2019/10/01(火) 21:45:56.02

>>190
背理法
でもあなたの論法を使えば、両者証明できてしまう。これは矛盾でしょう？
だからその論法が間違っているの。背理法。

**１３２人目の素数さん** · 2019/10/01(火) 21:54:27.42

日高さんに質問。

命題「x が有理数 ⇒ z が無理数」が真のとき、
命題「ゼロでないどんな実数 a についても積 ax と積 az がともに有理数になることはない」
は真ですか？

**１３２人目の素数さん** · 2019/10/02(水) 06:46:21.94

偽
a=x=z=√p　(pは素数)

**１３２人目の素数さん** · 2019/10/02(水) 07:14:37.02

>>183
解けますた。
③ = ①*4 + ②
なので、①,②を満足すれば十分。(rank=2)

①,②から
　y + 2z = 11,
　-x +z = 1,
　2x + y = 9,
となり
　x = 2 + k,
　y = 5 - 2k,
　z = 3 + k,

**１３２人目の素数さん** · 2019/10/02(水) 07:15:09.86

お前は>>1か？

日高 · 2019/10/02(水) 08:38:51.94

>でもあなたの論法を使えば、両者証明できてしまう。これは矛盾でしょう？

詳しく教えていただけないでしょうか。

日高 · 2019/10/02(水) 08:49:19.52

>命題「x が有理数 ⇒ z が無理数」が真のとき、

すみません。意味がはっきり、よみとることが、できませんので、具体的に
説明していただけないでしょうか。

**１３２人目の素数さん** · 2019/10/02(水) 08:54:22.47

>>197
あなたが「xを有理数とすると、zは無理数となる」と言っていたのは、
「x が有理数 ⇒ z が無理数」が真であるということではないのですか？

**１３２人目の素数さん** · 2019/10/02(水) 09:12:46.67

「xを有理数とすると、zは無理数となる」ならば、
「ゼロでないどんな実数 a についても積 ax と積 az がともに有理数になることはない」と言えますか？

**１３２人目の素数さん** · 2019/10/02(水) 09:15:50.97

>>196
読んだまんまなんだが、どこがわからないの？