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

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは無理数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kとしたとき、(2)はy^n=L^n-M^nとなるが、
L^n-{(t+1)^n}k=M^n-(t^n)kなので、L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kとすると、L,Mは無理数となる。よって、xも無理数。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>623
> >>621
> 25/4=2^2+(3/2)^2なのでこれも「当然な有理数」であり「当然」というのは結局y^n=z^n-x^nを満たすというだけのことだろ？
> 何が問題なの？
>
> 足し算引き算で求められる数です。
>
> >おまえは右辺の有理数は認めないことにするとフェルマーの最終定理は正しいと言っているだけでしょ
>
> 意味が読み取れませんので、数で示していただけないでしょうか。

> 「当然な有理数」は、7=4^2-3^2の7のことです。
> 「当然な有理数でない有理数」は、3^2=5^2-4^2の3^2のことです。

2^3=35-3^3の場合
35は「当然な有理数」
2^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
3^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？

>>652
もっと詳しく説明してください。

3^2=(x+2)^2-x^2
です。

>>653
2^3=35-3^3の場合
35は「当然な有理数」
2^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
3^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？

2^3,3^3は、「当然な有理数でない有理数」です。

n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^2+y^2=z^2をy^2=(x+m)^2-x^2…(1)と変形する。yは整数,mは有理数とする。
2^2=(t+1)^2-t^2のtは有理数となる。
(1)は(2^2)k=[{(t+1)^2}k+u]-{(t^2)k+u}…(2)となる。k=(y/2)^2,uは有理数。
u=L^2-{(t+1)^2}k,u=M^2-(t^2)kのとき、(2)はy^2=L^2-M^2となる。
u=uより、L^2-{(t+1)^2}k=M^2-(t^2)k。L^2-M^2={(t+1)^2}k-(t^2)kとなる。
L^2={(t+1)^2}k,M^2=(t^2)kのとき、L,Mは有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>655
> >>653
> 2^3=35-3^3の場合
> 35は「当然な有理数」
> 2^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
> 3^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
>
> 2^3,3^3は、「当然な有理数でない有理数」です。

2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値に関しておまえの主張は「0です」だろ？

>>658
2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値に関しておまえの主張は「0です」だろ？

はい。そうです。

>>654
> >>652
> もっと詳しく説明してください。
>
> 3^2=(x+2)^2-x^2
> です。

これは、最新の日高さんの証明、>>656でいうと、何番の式に当たる式ですか？

>>659
> >>658
> 2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値に関しておまえの主張は「0です」だろ？
>
> はい。そうです。

2^3=35-3^3の場合
> 2^3,3^3は、「当然な有理数でない有理数」です。
なので
2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値は1以上であることが簡単に分かる
よって最大値が「0です」は間違いなので日高のフェルマーの最終定理の証明は間違っている
----
0655日高2023/09/05(火) 18:53:30.63ID:c73kSiTy
>>653
2^3=35-3^3の場合
35は「当然な有理数」
2^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
3^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？

2^3,3^3は、「当然な有理数でない有理数」です。
----

>>648
> >>645
> 「r が当然な有理数」⇔「(∃s) s は有理数かつ s^2=r」
>
> 意味がわかりませんので、
> 数を使った式で、示してください。

ご要望どおり、数式で示しました。何かご不満ですか？

>>660
これは、最新の日高さんの証明、>>656でいうと、何番の式に当たる式ですか？

656の何番の式ににも、当たりません。

>>663
>>656は、ピタゴラス数を無数に見つける方法ではないのですか？

>>662
ご要望どおり、数式で示しました。何かご不満ですか？

これは、文字式です。

>>664
>>656は、ピタゴラス数を無数に見つける方法ではないのですか？

はい。そうです。

>>665
> >>662
> ご要望どおり、数式で示しました。何かご不満ですか？
>
> これは、文字式です。

そうですか。それは困りました。

どなたか、「有理数の二乗として書ける有理数」を、日高のいう「数式」で定義していただけますかな？

>>666
> >>664
> >>656は、ピタゴラス数を無数に見つける方法ではないのですか？
>
> はい。そうです。

>>654の
> 3^2=(x+2)^2-x^2

は>>656に沿ってはいないのですか？

日高氏に論理的整合性を求めてもしょうがないよ。
そんなこと気にしてないし、何を言われているのかも理解できてないはず。

>>667
どなたか、「有理数の二乗として書ける有理数」を、日高のいう「数式」で定義していただけますかな？

数の式の例を上げてください。

>>670
> 数の式の例を上げてください。

なんだ、そういう意味か。だったら

25/9は(5/2)^2だから有理数の二乗で書ける。
20/9は有理数の二乗で書けない。

>>668
> 3^2=(x+2)^2-x^2

は>>656に沿ってはいないのですか？

3^2の3を2,(x+2)の2を1に変えれば同じです。

>>671
25/9は(5/2)^2だから有理数の二乗で書ける。
20/9は有理数の二乗で書けない。

そうですね。

>>672
> 3^2の3を2,(x+2)の2を1に変えれば同じです。

それは>>656に書かれているんですか？

>>674
それは>>656に書かれているんですか？

いいえ、同じ要領です。

>>675
> いいえ、同じ要領です。

それって、こんなふうにすればピタゴラス数がいろいろ見つかります、と言っているに過ぎないと思うんですが。

>>676
それって、こんなふうにすればピタゴラス数がいろいろ見つかります、と言っているに過ぎないと思うんですが。

はい。そうです。

>>677
それって、自然数x,yを適当に選び、x^2+y^2が自然数の二乗かどうか確かめる、というやり方と比べて、
どれだけ効率的ですか？

>>678
それって、自然数x,yを適当に選び、x^2+y^2が自然数の二乗かどうか確かめる、というやり方と比べて、
どれだけ効率的ですか？

y^2=2x+1のyに任意の有理数を代入する方法が一番効率的だと思います。

>>679
じゃあ余計なことは書かないほうがいいよ。

>>659
> >>658
> 2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値に関しておまえの主張は「0です」だろ？
>
> はい。そうです。

2^3=35-3^3の場合
> 2^3,3^3は、「当然な有理数でない有理数」です。
なので
2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値は1以上であることが簡単に分かる
よって最大値が「0です」は間違いなので日高のフェルマーの最終定理の証明は間違っている
----
0655日高2023/09/05(火) 18:53:30.63ID:c73kSiTy
>>653
2^3=35-3^3の場合
35は「当然な有理数」
2^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
3^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？

2^3,3^3は、「当然な有理数でない有理数」です。
----

さて、nが奇素数の場合に戻って、

>>657
> L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。

ここの根拠は？

>>687
> L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。

ここの根拠は？

右辺が無理数だからです。

>>683
(t+1)^nとt^nが無理数、だからですか？

>>684
>>683
(t+1)^nとt^nが無理数、だからですか？

はい。そうです。

>>685
(t+1)^nとt^nが無理数なのはなぜ？

>>686
>>685
(t+1)^nとt^nが無理数なのはなぜ？

tが無理数だからです。

>>687
> (t+1)^nとt^nが無理数なのはなぜ？
>
> tが無理数だからです。

tが無理数だとそうなりますか？

>>688
tが無理数だとそうなりますか？

はい。

>>689
なぜ？

>>690
なぜ？

計算すれば、そうなります。

>>691
> 計算すれば、そうなります。

計算を示してください。

>>692
計算を示してください。

計算してみてください。

n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^2+y^2=z^2をy^2=(x+m)^2-x^2…(1)と変形する。yは整数,mは有理数とする。
2^2=(t+1)^2-t^2のtは有理数となる。
(1)は(2^2)k=[{(t+1)^2}k+u]-{(t^2)k+u}…(2)となる。k=(y/2)^2,uは有理数。
u=L^2-{(t+1)^2}k,u=M^2-(t^2)kのとき、(2)はy^2=L^2-M^2となる。
u=uより、L^2-{(t+1)^2}k=M^2-(t^2)k。L^2-M^2={(t+1)^2}k-(t^2)kとなる。
L^2={(t+1)^2}k,M^2=(t^2)kのとき、L,Mは有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>693
> >>692
> 計算を示してください。
>
> 計算してみてください。

それでは証明できたとは認めません。たぶん他のかたも同様の意見かと。

>>696
それでは証明できたとは認めません。たぶん他のかたも同様の意見かと。

同様の意見もあるかと思います。ほとんど自明です。

>>697
ほとんど自明ってことは、説明できるってことですよね？　なぜしないの？

>>698
>>697
ほとんど自明ってことは、説明できるってことですよね？　なぜしないの？

なぜ、自分で、計算できないのですか？

>>699
> ほとんど自明ってことは、説明できるってことですよね？　なぜしないの？
>
> なぜ、自分で、計算できないのですか？

それが、他人（ひと）に自分の証明を読んで批評してもらおうって奴の言うことか？

>>700
それが、他人（ひと）に自分の証明を読んで批評してもらおうって奴の言うことか？

ともかく、計算してみてください。

>>701
はい、では、日高君は証明をあきらめたとみなします。

>>702
>>701
はい、では、日高君は証明をあきらめたとみなします。

?????

>>695
> 2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。

ここの証明をお願いします。

>>704
>>695
> 2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。

ここの証明をお願いします。

証明はありません。そうなります。

>>695
証明は間違っています
[理由]
> >>658
> 2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値に関しておまえの主張は「0です」だろ？
>
> はい。そうです。

2^3=35-3^3の場合
> 2^3,3^3は、「当然な有理数でない有理数」です。
なので
2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値は1以上であることが簡単に分かる
よって最大値が「0です」は間違いなので日高のフェルマーの最終定理の証明は間違っている
----
0655日高2023/09/05(火) 18:53:30.63ID:c73kSiTy
>>653
2^3=35-3^3の場合
35は「当然な有理数」
2^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？
3^3は「当然な有理数」と「当然な有理数でない有理数」のどちら？

2^3,3^3は、「当然な有理数でない有理数」です。
----
[理由終わり]

>>706
[理由終わり]

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

>>707
> >>706
> [理由終わり]
>
> どういう意味でしょうか？

おまえの証明が間違っている理由が [理由]と[理由終わり] の間に書いてあるということ

>>695
> ∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

どうしてでしょうか？

>>708
おまえの証明が間違っている理由が [理由]と[理由終わり] の間に書いてあるということ

わかりませんので、詳しく説明していただけないでしょうか。

>>709
> ∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

どうしてでしょうか？

??

n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^2+y^2=z^2をy^2=(x+m)^2-x^2…(1)と変形する。yは整数,mは有理数とする。
2^2=(t+1)^2-t^2のtは有理数となる。
(1)は(2^2)k=[{(t+1)^2}k+u]-{(t^2)k+u}…(2)となる。k=(y/2)^2,uは有理数。
u=L^2-{(t+1)^2}k,u=M^2-(t^2)kのとき、(2)はy^2=L^2-M^2となる。
u=uより、L^2-{(t+1)^2}k=M^2-(t^2)k。L^2-M^2={(t+1)^2}k-(t^2)kとなる。
L^2={(t+1)^2}k,M^2=(t^2)kのとき、L,Mは有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>695
n=3, k=1, u=(1/9){207-5*(93)^(1/2)}のときだったり
n=3, k=1, u=(1/9){279-5*(93)^(1/2)}のときなど間違いが無数にある

>>710
> >>708
> おまえの証明が間違っている理由が [理由]と[理由終わり] の間に書いてあるということ
>
> わかりませんので、詳しく説明していただけないでしょうか。

> 2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数の最大値に関しておまえの主張は「0です」だろ？
>
> はい。そうです。
>>713の証明では2^n=z^n-x^nの右辺の「当然な有理数でない有理数」が「0です」= 0個でない場合が全く調べられていないからフェルマーの最終定理の証明になっていない

>>713
> 2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。

わかりませんので、詳しく説明していただけないでしょうか。

>>714
>>695
n=3, k=1, u=(1/9){207-5*(93)^(1/2)}のときだったり
n=3, k=1, u=(1/9){279-5*(93)^(1/2)}のときなど間違いが無数にある

これの意味を教えてください。

>>715
> はい。そうです。
>>713の証明では2^n=z^n-x^nの右辺の「当然な有理数でない有理数」が「0です」= 0個でない場合が全く調べられていないからフェルマーの最終定理の証明になってい
ない

詳しく教えてください。

>>716
> 2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。

わかりませんので、詳しく説明していただけないでしょうか。

試してみて下さい。

>>719
> >>716
> > 2^n=(t+1)^n-t^nのtを分数とすると、右辺は分数となるので、tは、無理数となる。
>
> わかりませんので、詳しく説明していただけないでしょうか。
>
> 試してみて下さい。

わかりませんので、詳しく説明していただけないでしょうか。

>>720
わかりませんので、詳しく説明していただけないでしょうか。

ためさないとわかりません。

>>721
> >>720
> わかりませんので、詳しく説明していただけないでしょうか。
>
> ためさないとわかりません。

どういうふうに試したらわかるのかが、わかりません。

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtに整数、分数を代入しても右辺は偶数とならないので、tは無理数。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>722
どういうふうに試したらわかるのかが、わかりません。

723をみて下さい。

>>718
> >>715
> > はい。そうです。
> >>713の証明では2^n=z^n-x^nの右辺の「当然な有理数でない有理数」が「0です」= 0個でない場合が全く調べられていないからフェルマーの最終定理の証明になっていない
>
> 詳しく教えてください。

2^n=(t+1)^n-t^n (tは無理数)ならば右辺の「当然な有理数でない有理数」の個数が「0です」
2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数が「0です」でない場合が全く調べられていないからフェルマーの最終定理の証明になっていない

>>717
> >>714
> >>695
> n=3, k=1, u=(1/9){207-5*(93)^(1/2)}のときだったり
> n=3, k=1, u=(1/9){279-5*(93)^(1/2)}のときなど間違いが無数にある
>
> これの意味を教えてください。

これらのuでは
> L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となる
が成立していない

>>723
> 2^n=(t+1)^n-t^nのtに整数、分数を代入しても右辺は偶数とならないので、tは無理数。

わかりませんので、詳しく説明していただけないでしょうか。

>>723
> 2^n=(t+1)^n-t^n
の(t+1)^nやt^nは「当然な有理数でない有理数」と「当然な有理数」のどちらでもないのだよね？

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtが有理数のとき、右辺は偶数とならないので、tは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^2+y^2=z^2をy^2=(x+m)^2-x^2…(1)と変形する。yは整数,mは有理数とする。
2^2=(t+1)^2-t^2のtは有理数となる。
(1)は(2^2)k=[{(t+1)^2}k+u]-{(t^2)k+u}…(2)となる。k=(y/2)^2,uは有理数。
u=L^2-{(t+1)^2}k,u=M^2-(t^2)kのとき、(2)はy^2=L^2-M^2となる。
u=uより、L^2-{(t+1)^2}k=M^2-(t^2)k。L^2-M^2={(t+1)^2}k-(t^2)kとなる。
L^2={(t+1)^2}k,M^2=(t^2)kのとき、L,Mは有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>725
2^n=z^n-x^nの右辺の「当然な有理数でない有理数」の個数が「0です」でない場合が全く調べられていないからフェルマーの最終定理の証明になっていない

当然な有理数でない有理数の個数は0です。

>>726
これらのuでは
> L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となる
が成立していない

よくわからないので、計算式を示してください。

>>727
わかりませんので、詳しく説明していただけないでしょうか。

計算してみて、理由を考えてをみてください。

>>728
>>723
> 2^n=(t+1)^n-t^n
の(t+1)^nやt^nは「当然な有理数でない有理数」と「当然な有理数」のどちらでもないのだよね？

tは無理数です。

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtが有理数のとき、右辺は偶数とならないので、tは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのとき、L,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>732
> >>726
> これらのuでは
> > L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となる
> が成立していない
>
> よくわからないので、計算式を示してください。

> > n=3, k=1, u=(1/9){207-5*(93)^(1/2)}のときだったり
> > n=3, k=1, u=(1/9){279-5*(93)^(1/2)}のときなど間違いが無数にある
> >
> > これの意味を教えてください。
>
> これらのuでは
> > L^n={(t+1)^n}k,M^n=(t^n)kのときL,Mは無理数となる
> が成立していない
----
> u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。

>>734
> >>728
> > 2^n=(t+1)^n-t^n
> の(t+1)^nやt^nは「当然な有理数でない有理数」と「当然な有理数」のどちらでもないのだよね？
>
> tは無理数です。

2^n=z^n-x^nの場合のフェルマーの最終定理は
2^n={当然な有理数}-{???}と2^n={???}-{当然な有理数}の{???}が「当然な有理数でない有理数」である
ということは理解しているよね？

>>735
> 2^n=(t+1)^n-t^nのtが有理数のとき、右辺は偶数とならないので、tは無理数となる。

なぜでしょうか？

>>736

わかりません。

>>737
2^n=z^n-x^nの場合のフェルマーの最終定理は
2^n={当然な有理数}-{???}と2^n={???}-{当然な有理数}の{???}が「当然な有理数でない有理数」である
ということは理解しているよね？

わかりません。

>>738
> 2^n=(t+1)^n-t^nのtが有理数のとき、右辺は偶数とならないので、tは無理数となる。

なぜでしょうか？

計算をためしてみてください。

>>740
> >>737
> 2^n=z^n-x^nの場合のフェルマーの最終定理は
> 2^n={当然な有理数}-{???}と2^n={???}-{当然な有理数}の{???}が「当然な有理数でない有理数」である
> ということは理解しているよね？
>
> わかりません。

分からないのだったら
> 2^n=(t+1)^n-t^nのtが有理数のとき、右辺は偶数とならないので、tは無理数となる。
の後ろに
「私日高は2^n=z^n-x^nの場合のフェルマーの最終定理のことは分かりません」
「2^n=(t+1)^n-t^nのtが無理数の場合はフェルマーの最終定理に関係ないらしいですがそのようなことは分からないので
証明に使います」を証明に書き加えなさい

>>742
「2^n=(t+1)^n-t^nのtが無理数の場合はフェルマーの最終定理に関係ないらしいですがそのようなことは分からないので
証明に使います」を証明に書き加えなさい

どうしてでしょうか？

>>741
> なぜでしょうか？
>
> 計算をためしてみてください。

君は証明できているの？

>>744
君は証明できているの？

できていません。でも、だいたいわかります。

n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^2+y^2=z^2をy^2=(x+m)^2-x^2…(1)と変形する。yは整数,mは有理数とする。
2^2=(t+1)^2-t^2のtは有理数となる。
(1)は(2^2)k=[{(t+1)^2}k+u]-{(t^2)k+u}…(2)となる。k=(y/2)^2,uは有理数。
u=L^2-{(t+1)^2}k,u=M^2-(t^2)kのとき、(2)はy^2=L^2-M^2となる。
u=uより、L^2-{(t+1)^2}k=M^2-(t^2)k。L^2-M^2={(t+1)^2}k-(t^2)kとなる。
L^2={(t+1)^2}k,M^2=(t^2)kのとき、L,Mは有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^nのtが有理数のとき、右辺は偶数とならないので、tは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。k=(y/2)^n,uは実数。
u=L^n-{(t+1)^n}k,u=M^n-(t^n)kのとき、(2)はy^n=L^n-M^nとなる。
u=uより、L^n-{(t+1)^n}k=M^n-(t^n)k。L^n-M^n={(t+1)^n}k-(t^n)kとなる。
L^n={(t+1)^n}k,M^n=(t^n)kのとき、L,Mは無理数となるので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>745
> >>744
> 君は証明できているの？
>
> できていません。でも、だいたいわかります。

ということは、日高さんがちょくちょく書き込んでいる

> nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

から始まるレスは証明ではない？

>>743
> >>742
> 「2^n=(t+1)^n-t^nのtが無理数の場合はフェルマーの最終定理に関係ないらしいですがそのようなことは分からないので
> 証明に使います」を証明に書き加えなさい
>
> どうしてでしょうか？

2^n=z^n-x^nの場合のフェルマーの最終定理は
2^n={当然な有理数}-{???}と2^n={???}-{当然な有理数}の{???}が「当然な有理数でない有理数」である
ということは理解しているよね？
という質問に対するおまえの答えが「わかりません。 」だからだよ

>>748
> nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

から始まるレスは証明ではない？

どうでしょうか？

>>749
おまえの答えが「わかりません。 」だからだよ

わかりません。

>>751
> >>749
> おまえの答えが「わかりません。 」だからだよ
>
> わかりません。

「私日高は2^n=z^n-x^nの場合のフェルマーの最終定理のことは分かりません」
「2^n=(t+1)^n-t^nのtが無理数の場合はフェルマーの最終定理に関係ないらしいですがそのようなことは分かりません」
>>747の自分の証明の内容も「わかりません」
>>747の証明の間違いも「わかりません」
間違いの理由を説明されても「わかりません」