初等数学によるフェルマーの最終定理の証明

1 ：日高：2023/01/28(土) 19:36:01.97 ID:cewLr2LS.net

n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
x^3=3y^2+3y+1…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(2)と変形する。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。

668 ：日高：2023/03/07(火) 17:59:10.86 ID:7ZqBgKu5.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3y(y+1)/a…(3)と変形する。aは有理数。
左辺のxにa3+1を代入する。
{(a3+1)^2+(a3+1)+1}これは、常に分子が奇数となり、
分子の奇数が、奇数で割り切れるか、もしくは、奇数で割り切れない数となる。
よって、(y^2+y)/aの分子が整数の場合は、(y^2+y)/aのaも奇数となる必要がある。
そのとき、(y^2+y)/aは、分子が、常に偶数となる。
aが分数の場合は、両辺にaをかけると、{(a3+1)^2+(a3+1)+1}aの分子は、は分数となり、
{(y^2+y)/a}aの分子は、偶数となる。
よって、(3)はx=1,y=0以外の有理数解を持たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

669 ：日高：2023/03/07(火) 18:15:52.57 ID:7ZqBgKu5.net

nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nを、X^n+Y^n=(Y+m)^n…(1)とおく。
(1)をx^n+y^n=(y+1)^n…(2)とおく。x,yは有理数。
(2)を(x-1){x^(n-1)+…+1}=an{y^(n-1)+…+y}/a…(3)と変形する。aは有理数。
左辺のxにan+1を代入する。
{(an+1)^(n-1)+…+1}これは、常に分子が奇数となり、
分子の奇数が、奇数で割り切れるか、もしくは、奇数で割り切れない数となる。
よって、{y^(n-1)+…+y}/aの分子が整数の場合は、{y^(n-1)+…+y}/aのaも奇数となる必要がある。
そのとき、{y^(n-1)+…+y}/aは、分子が、常に偶数となる。
aが分数の場合は、両辺にaをかけると、{(an+1)^(n-1)+…+1}aの分子は、は分数となり、
({y^(n-1)+…+y})aの分子は、偶数となる。
よって、(3)はx=1,y=0以外の有理数解を持たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

670 ：１３２人目の素数さん：2023/03/07(火) 18:16:34.25 ID:gNcc7zaN.net

有理数における 3 の倍数の定義を教えてください。

671 ：１３２人目の素数さん：2023/03/07(火) 18:18:22.17 ID:ByqO8Qtq.net

>>668
全般的に見て何を言いたいのか支離滅裂です。
取りあえずおかしいところを指摘して確認要請。

>{(a3+1)^2+(a3+1)+1}これは、常に分子が奇数となり、
>分子の奇数が、奇数で割り切れるか、もしくは、奇数で割り切れない数となる。
>よって、(y^2+y)/aの分子が整数の場合は、(y^2+y)/aのaも奇数となる必要がある。

(y^2+y)/aの分子が整数の場合ってどういう意味なんでしょうか？　y(y+1) すなわちyが整数のときという意味なんでしょうか？
まあそういう意味なんだとして「(y^2+y)/aのaも奇数」って何ですか？
aは有理数でしょう。有理数に奇数偶数の区別があるんですか。

いつものようにいつの間にか文字変数aが整数化してませんか。
有理数が偶数なのか奇数なのか、どのようにしたら判別できるのか教えてください。

672 ：日高：2023/03/07(火) 18:28:53.98 ID:7ZqBgKu5.net

＞６６９
有理数における 3 の倍数の定義を教えてください。

分子が3 の倍数です。

673 ：１３２人目の素数さん：2023/03/07(火) 18:37:29.29 ID:YSP2qT+5.net

日高次元では3/3=1は3の倍数なのか

674 ：１３２人目の素数さん：2023/03/07(火) 20:26:53.21 ID:ByqO8Qtq.net

>>669
あっ、大嘘発見。

>{(an+1)^(n-1)+…+1}これは、常に分子が奇数となり、

n=4のときx=an+1=q/p (p,qは自然数)とおく
x^3+x^2+x+1=(an+1)^(n-1)+…+1 = (q/p)^3+(q/p)^2+q/p+1 = (q^3+p*q^2+q*p^2+p^3) / p^3
となるから分子は
p^3+p^2*q+p*q^2+q^3
pもqも奇数のときp≡1、q≡1 (mod 2)。
従って、p^3+p^2*q+p*q^2+q^3≡1+1+1+1≡0

つまり、n=4のとき{(an+1)^(n-1)+…+1は分子が偶数となることがある。
n=2m(mは自然数)のときは常に、分子の項数が偶数だからx=q/pのp、qが奇数ならば
分子≡0 (mod 2)となるので、上の証明は大嘘確定。

675 ：１３２人目の素数さん：2023/03/08(水) 00:02:54.90 ID:mV4GpT2a.net

>>673
なるほど。全ての有理数は3の倍数

676 ：１３２人目の素数さん：2023/03/08(水) 10:11:06.58 ID:OA4z74z9.net

＞＞有理数における 3 の倍数の定義を教えてください。
＞分子が3 の倍数です。

アホの高木も同じこと言ってたな
同一人物か？

677 ：１３２人目の素数さん：2023/03/08(水) 10:11:21.99 ID:tQCSk0uO.net

>>672
>>667 において、なぜ x-1 の分子が 3 の倍数でなければならないのですか？

678 ：１３２人目の素数さん：2023/03/08(水) 12:05:43.13 ID:NqzvkyZE.net

x^3+y^3=(y+1)^3　(x,yは有理数）


x^3=(y+1)^3-y^3　(x,yは自然数)


これは、
立方数y^3を一回り大きな立方数にする
のに必要な数が、立方数にならないと
示しているだけで定理の証明には
ならない

679 ：日高：2023/03/08(水) 12:46:03.28 ID:/G2RISDM.net

＞６７０

６６７は間違いでした。

680 ：日高：2023/03/08(水) 12:47:22.54 ID:/G2RISDM.net

＞６７７

はいそうです。

681 ：日高：2023/03/08(水) 12:48:35.39 ID:/G2RISDM.net

＞６７６
６６６は間違いでした。

682 ：日高：2023/03/08(水) 12:49:48.05 ID:/G2RISDM.net

＞６７５
アホの高木ではありません。

683 ：日高：2023/03/08(水) 12:50:45.56 ID:/G2RISDM.net

＞６７４
６７２は間違いでした。

684 ：日高：2023/03/08(水) 12:51:43.48 ID:/G2RISDM.net

＞６７３
６６８は間違いでした。

685 ：日高：2023/03/08(水) 12:53:07.73 ID:/G2RISDM.net

＞６７２
日高次元では3/3=1は3の倍数なのか

間違いでした。

686 ：日高：2023/03/08(水) 12:59:27.65 ID:/G2RISDM.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
(3)はa=t(t^3-1),(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのとき、成立する。
(3)はt=1なので、a=0となり、該当するaは存在しない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

687 ：日高：2023/03/08(水) 13:06:01.01 ID:/G2RISDM.net

(x-t)(x^2+tx+t^2)=a3y(y+1)/a

t=1, a=0,
t=2, a=14, x=44, y=168
t=3, a=78, x=237, y=2106
t=4, a=252, x=760, y=12096
t=5, a=620, x=1865, y=46500
a=t(t^3-1)
よって、t=1の場合は、該当するaは存在しないことになります。

688 ：日高：2023/03/08(水) 13:12:46.26 ID:/G2RISDM.net

3*4=a2*6/a
3=a2
a=3/2
式が成立するならば、必ずaが存在する。

689 ：１３２人目の素数さん：2023/03/08(水) 14:02:39.47 ID:Uh0zA/ec.net

n=3のとき、
X^n+Y^n=Z^nは自然数解を持たない

X^3+Y^3=Z^3を、
X^3+Y^3=(Y+m)^3…(1)とおく

(1)を
x^3+y^3=(y+1)^3…(2)とおく(x,yは有理数)


Z=Y+m=y+1
としたのがそもそも失敗だろ

x,yを自然数にしても
何の証明にもならない

690 ：日高：2023/03/08(水) 14:48:16.69 ID:/G2RISDM.net

＞６８８
Z=Y+m=y+1
としたのがそもそも失敗だろ

どうしてでしょうか？

691 ：日高：2023/03/08(水) 16:20:18.16 ID:/G2RISDM.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
(3)は(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのt=1の場合である。
a=t(t^3-1)なので、t=1を代入すると、a=0となる。
よって、該当するaは存在しない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

692 ：１３２人目の素数さん：2023/03/08(水) 17:13:12.38 ID:OAX1vDSv.net

>>687
これはt=2,3,4,5の場合には
(x-t)(x^2+tx+t^2)=3y(y+1)
には解があるということを指摘しているだけで、aの値が解の発見に何ら寄与していない。
つまり、a=t(t^3-1)でなければならない必然性がどこにもない。

t=1, a=2,
t=2, a=18, x=44, y=168
t=3, a=84, x=237, y=2106
t=4, a=260, x=760, y=12096
t=5, a=630, x=1865, y=46500
a=t(t^3+1)

なので、a=2としてt=1の場合の解を探しましょうと言われたら、何の反論もできないのであなたの証明には意味がない。

693 ：１３２人目の素数さん：2023/03/08(水) 17:17:59.89 ID:OAX1vDSv.net

>>687
x=2000までで解を探したけれど、/3した後で四捨五入によって数値が丸まっていたのでt=5の場合の解を見逃していましたね。
それを修正できたので、それだけは感謝。

694 ：１３２人目の素数さん：2023/03/08(水) 17:31:59.93 ID:OAX1vDSv.net

a=t(t^3-1)でなければならない必然性を示せないのであれば、/aがある以上t=1のときにa=0となるような式をaとしてはいけません。
それをやってしまうと、そのような記述は数学の証明ではなくなります。
それはt=1の場合の検討を放棄しているだけです。
検討を放棄していることを解がないと誤魔化しているだけです。

数学の証明をなしたいのであれば、数学の証明であると主張したいのであれば、数学のルールを守って証明活動を行いましょう。

695 ：日高：2023/03/08(水) 17:46:45.97 ID:/G2RISDM.net

＞６９３
t=6,7,8,9,10…で計算が合ってもa=t(t^3-1)は、駄目でしょうか？

696 ：１３２人目の素数さん：2023/03/08(水) 18:28:56.77 ID:OAX1vDSv.net

>>695
解となるx,yを見つける作業にaの値は何も寄与していないでしょう。
aをa=t(t^3-1)としたあとでこのようにaを操作すると解が見つかる、とaの式と解を見つける作業を関連づけられないのであればa=t(t^3-1)でなければならないと考える意味がありません。

あなたはどうやって解を見つけましたか？
aの値に基づいてx,yを探し出せたというのでないのであれば、aの値は何でもいいはずです。
あなたのaの値を前提にしても(x-t)=3y*aなど成り立っていませんよね。
だったらtの値にかかわらずa=2でもいいのではありませんか？

a=t(t^3-1)でなければならない必然性を示しましょう。
それができないのであればt=1のときにa=0となる式を指定してはいけません。

それとは別にt=6,8,9,10のときの解は探して欲しいですね。
t=7とt=11のときの解は探せましたが、上記の値のときの解はその有無を含めて知らないので。
むしろt=1以外にも解がない場合があるのか、という方が興味がありますが、t=1の場合と同じく、ないことの証明は難しいでしょうね。

697 ：日高：2023/03/08(水) 18:42:30.60 ID:/G2RISDM.net

＞あなたはどうやって解を見つけましたか？

(x-2)(x^2+2x+4)=a3(y^2+y)/a
a=2(2^3-1)=14
a3=14*3=42
(x-2)=42
x=44
(44^2+2*44+4)=(y^2+y)/14を解くと
y=168
です。

698 ：１３２人目の素数さん：2023/03/08(水) 18:45:22.90 ID:OAX1vDSv.net

さらに申し上げておくと、あなたが解を探すのにaの値に基づいていないというのであれば、そのこと自体がaをかけてaで割る、という作業の無意味さを示しています。
実際に解があるのかないのか探すのにaの値が関係ないのであれば、なんでそんなことせにゃならんの、と疑問がわきませんか？

699 ：１３２人目の素数さん：2023/03/08(水) 18:50:00.02 ID:QM0jzrx1.net

t=2,x=32,y=104.
t=3,x=87,y=468.

700 ：日高：2023/03/08(水) 19:46:03.71 ID:/G2RISDM.net

＞t=2,x=32,y=104.
t=3,x=87,y=468.

t=1のときの、x,yを教えていただけないでしょうか。

701 ：日高：2023/03/08(水) 19:50:31.81 ID:/G2RISDM.net

t=2,x=32,y=104.
この場合、a=10ですが、式を教えていただけないでしょうか。

702 ：１３２人目の素数さん：2023/03/08(水) 19:59:05.86 ID:OAX1vDSv.net

>>697
前言を撤回します。
これは凄いですね。
これはｔ=n (n>=2)のときに解を与える式になっています。

いやー、お見それしました。

703 ：１３２人目の素数さん：2023/03/08(水) 20:54:24.09 ID:EXA3N6GD.net

>>690
> ＞６８８
> Z=Y+m=y+1
> としたのがそもそも失敗だろ
>
> どうしてでしょうか？

日高の説明がなってないから誤解される

704 ：１３２人目の素数さん：2023/03/08(水) 20:58:48.00 ID:Uh0zA/ec.net

x^3+y^3=(y+1)^3　(x,yは有理数）


定理の証明でも何でもないこの式に
何とかして意味を持たせたいらしい

705 ：日高：2023/03/08(水) 21:02:06.11 ID:/G2RISDM.net

＞７０３

同値式にした方が計算が簡単だと思ったからです。

706 ：１３２人目の素数さん：2023/03/08(水) 21:09:25.40 ID:Uh0zA/ec.net

(x-1)(x^2+x+1)=a3y(y+1)/a…(3)　(aは有理数)

(3)はx=1,y=0以外の有理数解を持たない

∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない
　↑
これは、デタラメな論理飛躍

分母と分子に同じ変数をつけると
約分で消える

707 ：１３２人目の素数さん：2023/03/08(水) 21:24:41.44 ID:Uh0zA/ec.net

(x-1)(x^2+x+1)=(a+3)y(y+1)/a…(3)　(aは有理数)


であれば約分されない

708 ：日高：2023/03/08(水) 21:29:35.25 ID:/G2RISDM.net

＞(x-1)(x^2+x+1)=(a+3)y(y+1)/a…(3)　(aは有理数)
であれば約分されない

よく意味がわかりません。

709 ：１３２人目の素数さん：2023/03/08(水) 22:03:59.99 ID:OAX1vDSv.net

a=t(t^3-1)とおくとなぜ解を持つのかを検証。

a=t(t^3-1)
(/aが想定されているのでt≠1,t≠0、これは数学であるために必要なので不可欠)
x=3a+t=3t(t^3-1)+t=t(3t^2-2)

y(y+1)
=(x^2+tx+t^2)*a
=(x^2+tx+t^2)*t(t^3-1)*a
={t^2(3t^2-2)^2+t^2(3t^2-2)+t^2}*a
={9t^8-9t^5+3t~2}*a
={3t^2(3t^6-3t^3+1)}*a
=3t^2*a*{3t^6-3t^3+1}
=3t^2*t(t^3-1)}{3t^6-3t^3+1}
={3t^6-3t^3}{3t^6-3t^3+1}
=3p*(3p+1) 　( p=t^3(t^3-1) )

したがって(x-t)(x^2+tx+t^2)=3(y^2+y)
はt>=2で整数解を持つことがわかる。
いやー、勉強になりました。

しかし、これはa=t(t^3-1)、x=3a+tがt>=2で整数解を与える式であるということを示しているが、他に有理数解が存在しうることを否定はしておらず、そもそもt=1の場合は適用外なので、日高氏の証明が正しいわけではない。念のため

710 ：１３２人目の素数さん：2023/03/09(木) 06:19:14.70 ID:tr0ljQE2.net

>>691

0で割る式が出てきた場合、そのやり方は使えない、間違っている、インチキである、という意味です。

元の式X^n+Y^n=Z^nのどこにもないaを勝手につかって、勝手に0にして、勝手に割り算して、勝手に成り立たないことにするとか

ひどいインチキです。

0で割る式が出てきた場合、別の正しいやり方があって、ちゃんと答えがわかる、ということは>>551にを見てください。

711 ：日高：2023/03/09(木) 07:08:45.02 ID:9CQB9imX.net

＞７０８

aを与える別の式があると思います。
その別の式がどうなるかを知りたいです。
たとえば、
t=2,x=32,y=104,a=10
t=3,x=87,y=468.

712 ：１３２人目の素数さん：2023/03/09(木) 13:34:25.07 ID:UDFLOSu7.net

n=3のとき、x^n+y^n=z^nは、
0以外の整数解を持つ(仮定)

x^3+y^3=z^3-1 は、0以外の整数解がある
(∴x=6,y=8,z=9)


数式x^3+y^3=z^3-1 は式の変形で-1 を
消去して数式x^3+y^3=z^3　にできない

これは最初の仮定が間違いである事を
意味する

∴x^n+y^n=z^nは0以外の整数解を持たない(n=3)

713 ：１３２人目の素数さん：2023/03/09(木) 19:13:48.03 ID:tqkO98MF.net

何度か学術誌のreviewの依頼を受けたことがあるけど、先行研究が十分に調べられてなかったり、用語や基本事項の復習が行われてないものは結果的にrejectを推奨したなあ
この人の場合は多分reviewerに回ってないからそれ以前の問題だとは思うけど

714 ：１３２人目の素数さん：2023/03/09(木) 19:15:53.95 ID:tqkO98MF.net

誤爆

715 ：日高：2023/03/09(木) 19:19:42.88 ID:9CQB9imX.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
(3)は(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのt=1の場合である。
a=t(t^3-1)なので、t=1を代入すると、a=0となる。
よって、該当するaは存在しない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

3*4=2*6…(1)
3*4=a2*6/a…(2)
(1)が成立するならば、(2)のaは必ず０以外の数となる。
つまり、(2)は、a=0では、成立しない。

716 ：日高：2023/03/09(木) 19:22:46.88 ID:9CQB9imX.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
(3)は(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのt=1の場合である。
a=t(t^3-1)なので、t=1を代入すると、a=0となる。
よって、(3)は成立しない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

3*4=2*6…(1)
3*4=a2*6/a…(2)
(1)が成立するならば、(2)のaは必ず０以外の数となる。
つまり、(2)は、a=0では、成立しない。

717 ：１３２人目の素数さん：2023/03/09(木) 19:54:17.87 ID:pgkOUFjJ.net

> a=t(t^3-1)なので

これの理由がわかりません。

718 ：日高：2023/03/09(木) 20:11:28.14 ID:9CQB9imX.net

> a=t(t^3-1)なので

これの理由がわかりません。

理由は、私にもわかりません。
ただ、この式が正しいことは、７０８を見てください。
t=1の場合は、a=0となりますが、(3)に、あてはめると、
式が成立しないということになります。

719 ：１３２人目の素数さん：2023/03/09(木) 20:19:48.92 ID:pgkOUFjJ.net

日高さんのことばで説明してください。

720 ：日高：2023/03/09(木) 20:41:20.99 ID:9CQB9imX.net

＞日高さんのことばで説明してください。

ただ、計算が合うということです。

721 ：１３２人目の素数さん：2023/03/09(木) 20:43:18.88 ID:pgkOUFjJ.net

どう計算が合うのですか？

722 ：１３２人目の素数さん：2023/03/09(木) 21:26:02.92 ID:UDFLOSu7.net

数式x^3+y^3=z^3-1 と
数式x^3+y^3=z^3　は

別の式でござった

723 ：１３２人目の素数さん：2023/03/09(木) 21:43:56.42 ID:UDFLOSu7.net

x^3+y^3=z^3-1 は、0以外の整数解がある
(∴x=6,y=8,z=9)

6^3+8^3=9^3-1

6^3,8^3,9^3　は原子核

6^3と8^3が核融合を起こして
9^3となり、エネルギーが1余って
電子1 が飛び出す

1は最小の立方数

これはおそらく
フロンティア電子軌道理論

724 ：日高：2023/03/10(金) 08:24:09.76 ID:cBYYU2yI.net

＞７２０
どう計算が合うのですか？

tが変わっても両辺が、一致するということです。
t=1では、両辺は、一致しません。

725 ：１３２人目の素数さん：2023/03/10(金) 10:16:36.10 ID:1I7Chz5Z.net

a=t^2-1

でもいいと思う

726 ：１３２人目の素数さん：2023/03/10(金) 10:55:27.87 ID:1I7Chz5Z.net

◆(2)式変形　[z=y+t の場合]

x^3+y^3=(y+t)^3

x^3=(y+t)^3-y^3

x^3=(y+t){(y+t)^2}-y^3

x^3=(y+t)(y^2+2ty+t^2)-y^3

x^3=(y^3+2ty^2+t^2y+ty^2+2t^2y+t^3)-y^3

x^3=(y^3+3t^2y+3ty^2+t^3)-y^3

x^3=3t^2y+3ty^2+t^3

x^3-t^3=3t^2y+3ty^2

(x-t)(x^2+tx+t^2)=3ty(t+y)…(3)

727 ：１３２人目の素数さん：2023/03/10(金) 11:59:08.27 ID:1I7Chz5Z.net

a3(y^2+y)/a　じゃなくて


a3t(y^2+y)/a　かな

728 ：日高：2023/03/10(金) 12:20:50.50 ID:cBYYU2yI.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(3)と変形する。
x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
よって、x,yが整数の場合を検討する。
(3)の右辺はyの増加につれて、y+0.5に近づく。
(3)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

729 ：日高：2023/03/10(金) 12:27:04.62 ID:cBYYU2yI.net

>725
a=t^2-1
でもいいと思う

a=t^2-1では、計算が合いません。

730 ：日高：2023/03/10(金) 12:29:06.70 ID:cBYYU2yI.net

＞７２６
a3t(y^2+y)/a　かな

意味がわかりません。

731 ：日高：2023/03/10(金) 12:38:56.57 ID:cBYYU2yI.net

n≧3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nを、X^n+Y^n=(Y+m)^n…(1)とおく。
(1)をx^n+y^n=(y+1)^n…(2)とおく。x,yは有理数。
(2)を{(x^n-1)/n}^{1/(n-1)}={y^(n-1)+…+y}^{1/(n-1)}…(3)と変形する。
x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
よって、x,yが整数の場合を検討する。
(3)の右辺はyの増加につれて、y+0.5に近づく。
(3)の左辺はxの増加につれて、y+0.5に近づかない。
∴n≧3のとき、X^n+Y^n=Z^nは自然数解を持たない。

732 ：１３２人目の素数さん：2023/03/10(金) 12:55:12.70 ID:1I7Chz5Z.net

x^3+y^3=z^3-1 は、0以外の整数解がある
(∴x=6,y=8,z=9)

6^3+8^3=9^3-1

6^3=8(3^3)
8^3=19(3^3)-1
9^3=27(3^3)

6^2+8^2=10^2

1は最小の立方数

9^3-1=26(3^3)+26

733 ：１３２人目の素数さん：2023/03/10(金) 13:23:40.61 ID:1I7Chz5Z.net

6^3+8^3=9^3-1

8(3^3)+19(3^3)-1=27(3^3)-1

8(3^3)+19(3^3)-1+1=27(3^3)

8(3^3)+19(3^3)=27(3^3)



式変形により-1 を消去

734 ：１３２人目の素数さん：2023/03/10(金) 13:44:18.35 ID:1I7Chz5Z.net

19 が立方数なら
フェルマーの大定理の反例

10^2-9^2=19

3^3-2^3=19

735 ：１３２人目の素数さん：2023/03/10(金) 13:59:11.85 ID:1I7Chz5Z.net

二つの立方数が一つの立方数に
できてしまうと、
核融合でエネルギーが
生み出せない

一つの立方数が二つの立方数に
分裂すると、核分裂でエネルギーが
生み出せない

736 ：１３２人目の素数さん：2023/03/10(金) 14:18:12.37 ID:1I7Chz5Z.net

n=3のとき、x^n+y^n=z^nは、
0以外の整数解を持つ(仮定)

x^3+y^3=z^3-1 は、0以外の整数解がある
(∴x=6,y=8,z=9)

もし、
最初の仮定が正しいとするならば、
数式x^3+y^3=z^3-1 は式の変形で-1 を
消去して数式x^3+y^3=z^3　に
変形できる事となる

しかし、これは不可能である

つまり最初の仮定が間違いである事を
意味する

∴x^n+y^n=z^nは0以外の整数解を持たない(n=3)

737 ：１３２人目の素数さん：2023/03/10(金) 17:11:25.01 ID:BOd6XEIO.net

>>728
> x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
> よって、x,yが整数の場合を検討する。

整数は必ず有理数だが有理数は整数でない場合があるので間違い

x,yが有理数で解を持つならばx,yが実数でも解を持つ
よってx,yが実数の場合を検討する
を考えれば間違いは明らか

738 ：日高：2023/03/10(金) 17:25:21.09 ID:cBYYU2yI.net

＞７３６
x,yが有理数で解を持つならばx,yが実数でも解を持つ
よってx,yが実数の場合を検討する
を考えれば間違いは明らか

詳しく教えてください。

739 ：１３２人目の素数さん：2023/03/10(金) 17:34:32.02 ID:BOd6XEIO.net

>>738
> 整数は必ず有理数だが有理数は整数でない場合があるので間違い

> x,yが有理数で解を持つならばx,yが実数でも解を持つ
有理数が実数であることはどんな有理数でも正しい

> 整数は必ず有理数だが有理数は整数でない場合があるので間違い
>
> x,yが有理数で解を持つならばx,yが実数でも解を持つ
> よってx,yが実数の場合を検討する
> を考えれば間違いは明らか

おまえはなぜか
> 整数は必ず有理数だが有理数は整数でない場合があるので間違い
>
を省く

740 ：１３２人目の素数さん：2023/03/10(金) 17:38:20.48 ID:1I7Chz5Z.net

3^3+4^3+5^3=6^3



3^2+4^2=5^2

741 ：日高：2023/03/10(金) 17:45:47.87 ID:cBYYU2yI.net

＞７３８
おまえはなぜか
> 整数は必ず有理数だが有理数は整数でない場合があるので間違い
>
を省く

どういう意味でしょうか？

742 ：日高：2023/03/10(金) 17:47:59.37 ID:cBYYU2yI.net

＞７３９
3^3+4^3+5^3=6^3

計算が合うでしようか？

743 ：１３２人目の素数さん：2023/03/10(金) 17:49:41.44 ID:BOd6XEIO.net

>>741
おまえは
> 整数は必ず有理数だが有理数は整数でない場合があるので間違い
を理解しているの？

744 ：１３２人目の素数さん：2023/03/10(金) 17:56:47.31 ID:1I7Chz5Z.net

n=2のとき、x^n-4=0 は、
0以外の整数解を持つ(仮定)


x^2-5=-1 は、0以外の整数解がある
(∴x=2)

もし、
最初の仮定が正しいとするならば、
数式x^2-5=-1 は式の変形で-1 を
消去して数式x^n-4=0 に
変形できる事となる

これは可能である

x^2-5=-1
x^2-5+1=0
∴x^2-4=0


つまり最初の仮定が正しい事を意味する

∴n=2のとき、x^n-4=0 は、
0以外の整数解を持つ

745 ：１３２人目の素数さん：2023/03/10(金) 18:00:10.56 ID:1I7Chz5Z.net

0以外はいらなかった

746 ：１３２人目の素数さん：2023/03/10(金) 18:13:28.60 ID:1I7Chz5Z.net

x,yが有理数で解を持つならば、
x,yが整数でも解を持つ
よって、x,yが整数の場合を検討する



整数は有理数に含まれているので
問題ない

747 ：１３２人目の素数さん：2023/03/10(金) 18:18:42.65 ID:1I7Chz5Z.net

3^3+4^3+5^3=6^3


5^3を一回り大きな6^3にするのに
必要な数が、


3^3+4^3だったとは

748 ：１３２人目の素数さん：2023/03/10(金) 18:22:45.51 ID:1I7Chz5Z.net

n=2のとき、x^n-4=0 は整数解を持つ(仮定)

x^2-5=-1 は整数解がある(∴x=2)

もし、
最初の仮定が正しいとするならば、
数式x^2-5=-1 は式の変形で-1 を
消去して数式x^n-4=0 に
変形できる事となる

これは可能である

x^2-5=-1
x^2-5+1=0
∴x^2-4=0


つまり最初の仮定が正しい事を意味する

∴n=2のとき、x^n-4=0 は整数解を持つ

749 ：１３２人目の素数さん：2023/03/10(金) 18:30:27.40 ID:1I7Chz5Z.net

6^3+8^3=9^3-1

8(3^3)+19(3^3)-1=27(3^3)-1

8(3^3)+19(3^3)-1+1=27(3^3)

8(3^3)+19(3^3)=27(3^3)

式変形により-1 を消去



8と27は立方数
ここで19を立方数にする変化を
与えると、8と27が立方数でなくなる？

8,19,27 を連立方程式にして
すべて立方数にできるか？

750 ：１３２人目の素数さん：2023/03/10(金) 18:56:49.60 ID:1I7Chz5Z.net

立方数でない数に立方数を掛けても
立方数にならないから不可能

751 ：１３２人目の素数さん：2023/03/10(金) 19:00:16.08 ID:1I7Chz5Z.net

n=3のとき、x^n+y^n=z^nは自然数解を持つ(仮定)

x^3+y^3=z^3-1 は自然数解がある
(∴x=6,y=8,z=9)

もし、
最初の仮定が正しいとするならば、
数式x^3+y^3=z^3-1 は式の変形で-1 を
消去して数式x^3+y^3=z^3　に
変形できる事となる

しかし、これは不可能である

つまり最初の仮定が間違いである事を
意味する

∴x^n+y^n=z^nは自然数解を持たない(n=3)

752 ：１３２人目の素数さん：2023/03/10(金) 19:10:48.43 ID:1I7Chz5Z.net

こ、これは

背理法に演繹を加味した
新しい証明方法か？



◆数学的な考え方の「演繹的な考え方」

すでに正しいことが明らかになっている
事柄を基にして別の新しい事柄が
正しいことを説明していく考え方です

753 ：日高：2023/03/10(金) 19:40:01.25 ID:cBYYU2yI.net

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(3)と変形する。
x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
よって、x,yが整数の場合を検討する。
(3)の右辺はyの増加につれて、y+0.5に近づく。
(3)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
例
{(500^3-1)/3}^(1/2)=6454.972217859
(6454*6455)^(1/2)=6454.49998063366

754 ：日高：2023/03/10(金) 19:43:40.27 ID:cBYYU2yI.net

例
(3)の左辺…{(500^3-1)/3}^(1/2)=6454.972217859
(3)の右辺…(6454*6455)^(1/2)=6454.49998063366

755 ：１３２人目の素数さん：2023/03/10(金) 20:11:18.67 ID:/DZjWFmk.net

>>753
おまえは実数解のことは隠すがx^3+y^3=(y+1)^3…(2)が
整数解を持たないので(実数解も)有理数解も持たない

この証明方法ではx^3+y^3=z^3が実数解を持たないことも示すことができるので間違っている

756 ：１３２人目の素数さん：2023/03/10(金) 20:17:32.11 ID:1I7Chz5Z.net

n=3のとき、
x^n+y^n=z^nは0以外の整数解を持たない

x^3+y^3=z^3を、z=y+mとおく[mは定数(1,2,3,4,5…)]

x^3+y^3=(y+m)^3を展開、
整理して両辺を因数分解する
(x^3-m^3)/3m=y(y+m)

左辺を、右辺と同じ形に因数分解することは不可能

∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない

757 ：日高：2023/03/10(金) 20:45:48.07 ID:cBYYU2yI.net

＞７５４
おまえは実数解のことは隠すがx^3+y^3=(y+1)^3…(2)が

実数解とは、無理数解と、有理数解のことでしょうか？

758 ：１３２人目の素数さん：2023/03/10(金) 20:46:58.25 ID:Aj9+O21h.net

(-1)^x=2023/yは自然数解を持たない。
右辺はyの増加につれて、0に近づく。
左辺はxの増加につれて、0に近づかない。

759 ：日高：2023/03/10(金) 20:58:09.67 ID:cBYYU2yI.net

＞７５５
(x^3-m^3)/3m=y(y+m)
左辺を、右辺と同じ形に因数分解することは不可能

両辺が、同じ数であれば、
3*4=2*6と、違う形にできますが、
片方に、a*1/aを掛けると同じ形になります。

760 ：日高：2023/03/10(金) 21:00:46.81 ID:cBYYU2yI.net

＞７５７
(-1)^x=2023/yは自然数解を持たない。
右辺はyの増加につれて、0に近づく。
左辺はxの増加につれて、0に近づかない。

そうですね。

761 ：１３２人目の素数さん：2023/03/10(金) 21:05:43.94 ID:Aj9+O21h.net

(-1)^x=2023/yは整数解x=2,y=2023などをもつ

762 ：１３２人目の素数さん：2023/03/10(金) 21:21:36.53 ID:szFq0unN.net

>>757
> 実数解とは、無理数解と、有理数解のことでしょうか？

整数解は実数解だろ
以前日高が書いていた以下が成り立つ理由は整数解は有理数解だからということであった
> x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
だから同じように実数解を持てば整数解を持つのだろ？

763 ：日高：2023/03/10(金) 21:33:34.28 ID:cBYYU2yI.net

＞７６１
> x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
だから同じように実数解を持てば整数解を持つのだろ？

実数解とは、無理数解も含むのではないでしようか？

764 ：１３２人目の素数さん：2023/03/10(金) 21:34:38.66 ID:1I7Chz5Z.net

やはり、

a3t(y^2+y)/a　かな

765 ：１３２人目の素数さん：2023/03/10(金) 21:35:54.26 ID:Aj9+O21h.net

>>761は読みましたか？

766 ：１３２人目の素数さん：2023/03/10(金) 22:13:27.28 ID:Aj9+O21h.net

日高さんは寝ちゃったみたいだから、もう一度まとめて書きます。

>>760
> ＞７５７
> (-1)^x=2023/yは自然数解を持たない。
> 右辺はyの増加につれて、0に近づく。
> 左辺はxの増加につれて、0に近づかない。
>
> そうですね。

でもx=2,y=2023は自然数解です。
「増加につれて」は自然数解の有無を調べるには役立たない、とわかります。

767 ：１３２人目の素数さん：2023/03/10(金) 22:15:59.05 ID:1I7Chz5Z.net

逆算してこの式を作った

(x-t)(x^2+tx+t^2)=a3(y^2+y)/a　[a=t(t^3-1)]


(x-1)(x^2+x+1)=a3(y^2+y)/a　(∵t=1)


tが2以上の整数の時にx,yが整数解を
持つ式を作り出し、tが1 の時だけaが
0になる



∴n=3のとき、
X^n+Y^n=Z^nは自然数解を持たない