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

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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>151
> [{(t+1)^n}k+M^n-(t^n)k]は一つの無理数の項となる
の証明がどこにも書いていないのでインチキ (2^n)kは有理数であり[{(t+1)^n}k+M^n-(t^n)k]=(2^n)k+M^nは「一つの有理数の項」にもなりうる

>>148-151は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、俯いていた。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は、「おまえ、何で娘をあんな奴にやったんだ」声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に言った。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、早く子供が欲しかった人だったので、その事で愕然としていた。
　間男は、完全に愛娘を寝取られた事で呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

>>152
なぜか迷惑系日高は肝心な所を省くがそれはm=y/2の場合だよ 正しくは m=y/2の場合は「x=ty/2ならば、
tは無理数なので、xも無理数となります。」 m≠y/2の場合はx≠ty/2なので「xは無理数となる。」は言えない

m=y/2はどこから、でてきたのでしょうか？

>>153
> [{(t+1)^n}k+M^n-(t^n)k]は一つの無理数の項となる
の証明がどこにも書いていないのでインチキ (2^n)kは有理数であり
[{(t+1)^n}k+M^n-(t^n)k]=(2^n)k+M^nは「一つの有理数の項」にもなりうる

(2^n)k+M^nから、M^nを引くと、(2^n)kとなるので、
(2^n)k=(2^n)kとなります。

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
よって、x^n=(t^n)kは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
[{(t+1)^n}k+M^n-(t^n)k]は一つの有理数の項となるので、x^n=M^nは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
[{(t+1)^n}k+M^n-(t^n)k]=(x+m)^n,M^n=x^nは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>156-159は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、俯いていた。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は、「おまえ、何で娘をあんな奴にやったんだ」声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に言った。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、早く子供が欲しかった人だったので、その事で愕然としていた。
　間男は、完全に愛娘を寝取られた事で呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

　江戸時代以前の数学については、ほとんど史料が残っていないことから、概要程度のことしかわからない。日常的な計算術(四則演算)を、そろばんが伝来する以前の計算道具である算木によって運算していたことが知られている。このそろばんが日本に伝来したことから、日本の江戸時代の数学の歴史は始まる。
　そろばんは日本で発明されたものではない。中国大陸のどこかで、諸説あるが、14世紀前後に発明された。それが瞬く間に中国大陸で普及し、海を越えた日本にも伝来していく。日中を行き来した貿易商人たちがその仲介に大きな役割を果たしたものと想像される。1590年代に刊行された『日葡辞書』には"Soroban"という項目があり、計算道具としての記述がまとめられている。この頃には国内に流通し始めていたことがわかる。
　そろばんは当時としては非常に簡便な計算道具だった。それ以前の算木に比べると、手の上で弾いて計算することができ、迅速だった。貿易の現場では重宝されただろうし、野外での測量や土木工事などでも威力を発揮したはずだ。江戸時代初期に築城の現場を描いたとされる屏風絵(名古屋市博物館所蔵「築城図屏風」)には、そろばんを弾いている人物が描写されている。いわゆる鎖国以前の日本における海外貿易関係者、土木工事や開墾にあたった人々に必需品となったのがこのそろばんだった。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
よって、[{(t+1)^n}k+M^n-(t^n)k]=(x+m)^n,M^n=x^nは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>161,163は数学とは何の関係もない単なる猥褻文である。

　1650年代に記された河内国(現在の大阪府)の人の日記では、自分たちの世代はそろばんを使っているが、古老たちは算木で計算をしていたらしい、これは全く想像できない、という趣旨のことを述べています(『河内屋可正旧記』)。つまり、一世代ぐらいの間にそろばんの知識は日本社会に広く浸透していたことがうかがえるのだ。
　そろばんの知識の普及に大きく貢献したのが、そろばんのマニュアルとして刊行された吉田光由(1598-1673)の『塵劫記』(1627年初版)だった。著者の吉田は京都の豪商・角倉一族の出自で、そろばんを若い頃から学んでいたと述べている。『塵劫記』にはそろばんによる四則演算の計算法の他に、田畑の面積計算、簡単な測量術の方法といった実用重視の内容がまとめられていると共に、継子立てやねずみ算といった数学遊戯のような問題まで幅広く収録していたために、好評を博した。吉田の死後も『塵劫記』の類似本が数多く刊行され、江戸時代の日本人に初等的な算術知識の基礎を与えた。
　折しも、徳川幕府による治世は安定し、国内では農地開発を伴う土木事業が各地で行われた。そのような事業を監督する役人層としては、従来のように槍や刀で武功を挙げて出世するのではなく、民政を担当することで頭角を現す新しいタイプの侍身分が期待された。各地でそのような能力を持った人物が登用され、中には数学書を刊行する人々も現れた。江戸時代初期、磐城平藩に採用された今村知商は『豎亥録』の著者として知られるが、民政担当の郡奉行を務めた。会津藩の安藤有益(1624-1708)もそのような数学者の一人だった。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>156
> >>153
> > [{(t+1)^n}k+M^n-(t^n)k]は一つの無理数の項となる
> の証明がどこにも書いていないのでインチキ (2^n)kは有理数であり
> [{(t+1)^n}k+M^n-(t^n)k]=(2^n)k+M^nは「一つの有理数の項」にもなりうる
>
> (2^n)k+M^nから、M^nを引くと、(2^n)kとなるので、
> (2^n)k=(2^n)kとなります。

> (2^n)k=(2^n)kとなります。
で何が言いたいの？

nが奇素数のとき(2^n)kは有理数なので
> [{(t+1)^n}k+M^n-(t^n)k]は一つの有理数の項となるので、x^n=M^nは有理数となる。

>>155
> >>152
> なぜか迷惑系日高は肝心な所を省くがそれはm=y/2の場合だよ 正しくは m=y/2の場合は「x=ty/2ならば、tは無理数なので、xも無理数となります。」 m≠y/2の場合はx≠ty/2なので「xは無理数となる。」は言えない
>
> m=y/2はどこから、でてきたのでしょうか？

> m=y/2はどこから、でてきたのでしょうか？
迷惑系日高の証明の(2^n)k={(t+1)^n}k-(t^n)kとy^n=(x+m)^n-x^n…(1)からだよ (t^n)k=x^nならばk=(y/2)^nよりx=ty/2でありこのxを(1)に代入するとm=y/2
m≠y/2の場合はx≠ty/2,{(t+1)^n}k≠(x+m)^n,(t^n)k≠x^nなので「xは無理数となる。」は言えない

>166
> (2^n)k=(2^n)kとなります。
で何が言いたいの？

当然そうなります。

nが奇素数のとき(2^n)kは有理数なので
> [{(t+1)^n}k+M^n-(t^n)k]は一つの有理数の項となるので、x^n=M^nは有理数となる。

[{(t+1)^n}k+M^n-(t^n)k]は一つの有理数の項となるので、
その場合は、M^n+(2^n)kとなるので、当然の式となります。

>>168
> 当然の式

自分の証明は当然間違いということを書きたくないからごまかしているだけです

>>167
迷惑系日高の証明の(2^n)k={(t+1)^n}k-(t^n)kとy^n=(x+m)^n-x^n…(1)からだよ (t^n)k=x^nならばk=(y/2)^nよりx=ty/2でありこのxを(1)に代入するとm=y/2
m≠y/2の場合はx≠ty/2,{(t+1)^n}k≠(x+m)^n,(t^n)k≠x^nなので「xは無理数となる。」は言えない

mがどんな有理数であっても。全て(3)となります。

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>170
> >>167
> 迷惑系日高の証明の(2^n)k={(t+1)^n}k-(t^n)kとy^n=(x+m)^n-x^n…(1)からだよ (t^n)k=x^nならばk=(y/2)^nよりx=ty/2でありこのxを(1)に代入するとm=y/2
> m≠y/2の場合はx≠ty/2,{(t+1)^n}k≠(x+m)^n,(t^n)k≠x^nなので「xは無理数となる。」は言えない
>
> mがどんな有理数であっても。全て(3)となります。

> mがどんな有理数であっても。全て(3)となります。
(3)からuを消すと全てm=y/2になる
> よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは無理数となる。
迷惑系日高の証明では(3)になっていないだろ (3)になるということは「{(t+1)^n}k+u=(x+m)^n,(t^n)k+u=x^n」

>>173
(3)からuを消すと全てm=y/2になる

詳しく教えて下さい。

>>174
> >>173
> (3)からuを消すと全てm=y/2になる
>
> 詳しく教えて下さい。

(2^n)={(t+1)^n}k-(t^n)kのtをy^n=(x+m)^n-x^n…(1)のxに代入してmについて解けばm=y/2になる
> よって、{(t+1)^n}k=(x+m)^n,(t^n)k=x^nは無理数となる。
このxは(1)の全ての解ではなくてy^n=(x+y/2)^n-x^nの解
(3)からuを消したりuの値を変えると(1)のmの値も変化する(=(1)のxの値も変化する)
(3)からuを消して(1)の解を全てx=tに変化させて無理数だと主張してもフェルマーの最終定理の証明にはならない

>>175
(2^n)={(t+1)^n}k-(t^n)kのtをy^n=(x+m)^n-x^n…(1)のxに代入してmについて解けばm=y/2になる

細かく教えてください。

>>176
> >>175
> (2^n)={(t+1)^n}k-(t^n)kのtをy^n=(x+m)^n-x^n…(1)のxに代入してmについて解けばm=y/2になる
>
> 細かく教えてください。

2^n=(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nとなり(t+1)^nと{X+m(2/y)}^nを比較するとm(2/y)=1よってm=y/2

>>177
2^n=(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nとなり(t+1)^nと{X+m(2/y)}^nを比較するとm(2/y)=1よってm=y/2

(t+1)^nと{X+m(2/y)}^nを比較するとの部分ですが、
t=X=2x/yなので、xは無理数となります。

>>178
> >>177
> 2^n=(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nとなり(t+1)^nと{X+m(2/y)}^nを比較するとm(2/y)=1よってm=y/2
>
> (t+1)^nと{X+m(2/y)}^nを比較するとの部分ですが、
> t=X=2x/yなので、xは無理数となります。

だから「(2^n)k={(t+1)^n}k-(t^n)」から「xは無理数となります」といえるのはm(2/y)=1つまりm=y/2の場合だけなんだよ
m≠y/2の場合は(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nは2^n=2^nより成り立つけれども(t+1)^2≠{X+m(2/y)}^n,t^n≠X^nなのでXとtの比較はできず「xは無理数となります」とは言えない

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)k…(4)となる。
(4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)k…(4)となる。
(4)が有理数解を持つので、(3)も有理数解を持つ。よって、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>179
m≠y/2の場合は(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nは2^n=2^nより成り立つけれども
(t+1)^2≠{X+m(2/y)}^n,t^n≠X^nなのでXとtの比較はできず「xは無理数となります」とは言えない

m,yを有理数とすれば、m=y/2となります。
m≠y/2の場合は存在しないことになります。

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)k…(4)となる。
(4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)k…(4)となる。
(4)が有理数解を持つので、(3)も有理数解を持つ。よって、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>182
> >>179
> m≠y/2の場合は(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nは2^n=2^nより成り立つけれども
> (t+1)^2≠{X+m(2/y)}^n,t^n≠X^nなのでXとtの比較はできず「xは無理数となります」とは言えない
>
> m,yを有理数とすれば、m=y/2となります。
> m≠y/2の場合は存在しないことになります。

> m,yを有理数とすれば、m=y/2となります。
> m≠y/2の場合は存在しないことになります。
たとえばy=2,m=3/7とすれば(1)は2^n={x+(3/7)}^n-x^nだがm=y/2でない
m≠y/2の場合でも方程式2^n={x+(3/7)}^n-x^nは存在するので証明は間違い

>>182
> >>179
> m≠y/2の場合は(t+1)^n-t^n={(x+m)^n}/k-(x^n)/k={X+m(2/y)}^n-X^nは2^n=2^nより成り立つけれども
> (t+1)^2≠{X+m(2/y)}^n,t^n≠X^nなのでXとtの比較はできず「xは無理数となります」とは言えない
>
> m,yを有理数とすれば、m=y/2となります。
> m≠y/2の場合は存在しないことになります。

n=2の場合
m=y/2の場合に分かることは2^2={(2/3)+1}^2-(2/3)^2よりx:y:z=3:4:5の有理数解が無数に存在する
> m≠y/2の場合は存在しないことになります。
は間違い n=2であればm≠y/2の場合 x:y:z≠3:4:5であり比x:y:zが異なる解は無数に存在するがその中にも2^2=(t+1)^2-t^2とは無関係な有理数解は存在する
例: 20^2=29^2-21^2=(21+8)^2-21^2はm≠y/2(8≠20/2)なので解の比はx:y:z≠3:4:5であり2^2={(2/3)+1}^2-(2/3)^2とは無関係

nが奇素数の場合
m=y/2の場合 2^n=(t+1)^n-t^n (tは無理数)であればx:y:z=t:2:t+1の無理数解(有理数解でない)が無数に存在する
> m≠y/2の場合は存在しないことになります。
は間違い m≠y/2の場合 x:y:z≠t:2:t+1であり比x:y:zが異なる解は無数に存在するがその中に2^n=(t+1)^n-t^nとは無関係な有理数解が存在するかどうか？というのがフェルマーの最終定理の証明

>>181->>184は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、俯いていた。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は、「おまえ、何で娘をあんな奴にやったんだ」声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に言った。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、早く子供が欲しかった人だったので、その事で愕然としていた。
　間男は、完全に愛娘を寝取られた事で呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

>>185
たとえばy=2,m=3/7とすれば(1)は2^n={x+(3/7)}^n-x^nだがm=y/2でない
m≠y/2の場合でも方程式2^n={x+(3/7)}^n-x^nは存在するので証明は間違い

y^n={x+(3/7)}^n-x^nの場合
m=3/7=y/2
y=6/7となります。

「ならば」を理解していないやつに場合分けを含む証明は不可能

>>188
> >>185
> たとえばy=2,m=3/7とすれば(1)は2^n={x+(3/7)}^n-x^nだがm=y/2でない
> m≠y/2の場合でも方程式2^n={x+(3/7)}^n-x^nは存在するので証明は間違い
>
> y^n={x+(3/7)}^n-x^nの場合
> m=3/7=y/2
> y=6/7となります。

m=3/7なのでy=6/7の場合はxは無理数 y≠6/7の場合(例:2^n={x+(3/7)}^n-x^n)は証明できていないということです

日高さん、もうあきらめなよ。

>>186
>>190

私の言いたいことは、
m≠y/2のm,yが有理数ならば、
m≠y/2は存在しません。
全てm=y/2となります。
ということです。

>>190

mがどんな有理数であっても、(1)は(3)となります。

>>192
> 私の言いたいことは、
> m≠y/2のm,yが有理数ならば、
> m≠y/2は存在しません。
> 全てm=y/2となります。
> ということです。

n=2の場合
4^2=5^2-3^2=(3+2)^2-3^2は(2^2)k={(t+1)^2}k-(t^2)k k=(4/2)^2 m=y/2
8^2=17^2-15^2=(15+2)^2-15^2は(2^2)k={(x+(1/2))^2}k-(x^2)k k=(8/2)^2 m≠y/2 m,yは有理数
20^2=29^2-21^2=(21+8)^2-21^2は(2^2)k={(x+(4/5))^2}k-(x^2)k k=(20/2)^2 m≠y/2 m,yは有理数
なので
> m≠y/2は存在しません。
> 全てm=y/2となります。
は間違っている

>>193
> >>190
>
> mがどんな有理数であっても、(1)は(3)となります。

だったら(4)を持ち出す必要もないだろ
> (2^n)k={(t+1)^n}k-(t^n)k…(4)
を使って「xは無理数となる。」が言えるのはtが無理数でm=y/2のときのみなので証明できていない

> mがどんな有理数であっても、(1)は(3)となります。
ということは
> (1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
> {(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
より(1)のxについて「xは無理数となる。」とは言えない

>>194

m,yが有理数ならば、
全てm=y/2となります。

>>195

(4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
が言えます。

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)k…(4)となる。
(4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
これを、(3)に代入して整理すると、(2^n)k={(t+1)^n}k-(t^n)k…(4)となる。
(4)が有理数解を持つので、(3)も有理数解を持つ。よって、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>198->>199は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、うつむいていた。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は、「おまえ、何で娘をあんな奴にやったんだ」声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に言った。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、俺と結婚した当初から早く子供が欲しかっていたので、複雑な表情を浮かべていた。
　一方間男の方は、完全に愛娘を寝取られた事がわかり、呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

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…(2)のtに有理数を代入すると、成立しないのでtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立するのでtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴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…(2)のtに有理数を代入すると、成立しない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)のtに有理数を代入すると、成立する。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)は有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>201->>206は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男は間娘に対して、
「なぜそんな年が離れたの奴なんかと」とか、「「俺は認めていない！話すら聞いていない！！」とかわめいたが、嫁は
「貴方には、今は私達以上の年の差の奥様がいらっしゃいますし、彼はとても優しく、家庭をきちんと顧みる人だから幸せですよ。それと私は既に成人ですし、結婚するに当たって母の了解を得てますから」
と一刀両断した。
　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、うつむいてしまった。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は、「おまえ、何で娘をあんな奴にやったんだ」声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に言った。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、俺と結婚した当初から早く子供が欲しかっていたので、複雑な表情を浮かべていた。
　一方間男の方は、完全に愛娘を寝取られた事がわかり、呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

206の例
15^2=17^2-8^2
15^2=113^2-112^2
113^2-17^2=12480
112^2-8^2=12480
uは同じ値となる。

>>196
> >>194
>
> m,yが有理数ならば、
> 全てm=y/2となります。

m=1/2,y=2の場合m=y/4なのでm=y/2とはなりません よって証明は間違いです

>>197
> >>195
>
> (4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
> が言えます。

それはm=y/2の場合だけ

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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)は有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>211->>212は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男は間娘に対して、
「なぜそんな年が離れたの奴なんかと」とか、「俺は認めていない！話すら聞いていない！！」とかわめいていたが、嫁は
「貴方には、今は私達以上の年の差の奥様がいらっしゃいますし、彼はとても優しく、家庭をきちんと顧みる人だから幸せですよ。それと私は既に成人ですし、結婚するに当たって母の了解を得てますから」
と一刀両断した。
　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と執拗に食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、うつむいてしまった。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は
「おまえ、何で娘をあんな奴にやったんだ」
と声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に尋ねた。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、俺と結婚した当初から早く子供が欲しがっていたので、複雑な表情を浮かべていた。
　一方間男の方は、完全に愛娘を寝取られた事がわかり、呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

>>210
> (4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
> が言えます。

それはm=y/2の場合だけ

理由を教えて下さい。

>>208
> 206の例
> 15^2=17^2-8^2
> 15^2=113^2-112^2
> 113^2-17^2=12480
> 112^2-8^2=12480
> uは同じ値となる。

> (1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
だから証明とはuの計算が異なっている 証明のuの計算は2^2={(3/2)+1}^2-(3/2)^2=(5/2)^2-(3/2)^2をk倍したものに対して行う

> (2^n)k={(t+1)^n}k-(t^n)k…(4)
(4)は(2^2)(15/2)^2=(5/2)^2*(15/2)^2-(3/2)^2*(15/2)^2より15^2=(75/4)^2-(45/4)^2…(4)
15^2=17^2-8^2は15^2={(75/4)^2+u}-{(45/4)^2+u} u=-62.6265 m,yは有理数だがm=y/2でない
15^2=113^2-112^2は15^2={(75/4)^2+u}-{(45/4)^2+u} u=12417.4375 m,yは有理数だがm=y/2でない
uは同じ値でない
(4)は15^2=17^2-8^2や15^2=113^2-112^2にはならないから解の比較はできない

>>210
それはm=y/2の場合だけ

これが言えるのは、
2^2=(x+1)^2-x^2のときです。
3^2=(x+1)^2-x^2のときは言えません。

>>214
> >>210
> > (4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
> > が言えます。
>
> それはm=y/2の場合だけ
>
> 理由を教えて下さい。

(4)にuを加えると(1)のmの値は変化するのが理由
例:
(3)が{(t+1)^n+u}-{(t^n)+u}={x+(1/2)}^n-x^n
(4)は(t+1)^n-t^n=(x+m)^n-x^n t^n=x^nの場合はmを求めるとm=1

>>216
> >>210
> それはm=y/2の場合だけ
>
> これが言えるのは、
> 2^2=(x+1)^2-x^2のときです。
> 3^2=(x+1)^2-x^2のときは言えません。

だからm=y/2でない場合の(1)が3^2=(x+1)^2-x^2の場合は証明できていないということだよ
3^2=(x+1)^2-x^2は(2^n)k=[{x+(2/3)}^n]k-(x^n)kであって(2^n)k=[{x+1}^n]k-(x^n)kではない

>>216
> >>210
> それはm=y/2の場合だけ
>
> これが言えるのは、
> 2^2=(x+1)^2-x^2のときです。
> 3^2=(x+1)^2-x^2のときは言えません。

> m≠y/2は存在しません。
> 全てm=y/2となります。
は間違っている
n=2の場合
4^2=5^2-3^2=(3+2)^2-3^2は(2^2)k={(t+1)^2}k-(t^2)k k=(4/2)^2 m=y/2
8^2=17^2-15^2=(15+2)^2-15^2は(2^2)k={(x+(1/2))^2}k-(x^2)k k=(8/2)^2 m≠y/2 m,yは有理数
20^2=29^2-21^2=(21+8)^2-21^2は(2^2)k={(x+(4/5))^2}k-(x^2)k k=(20/2)^2 m≠y/2 m,yは有理数

>>215
> (1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
だから証明とはuの計算が異なっている 証明のuの計算は2^2={(3/2)+1}^2-(3/2)^2=(5/2)^2-(3/2)^2をk倍したものに対して行う

k倍したものでも、uは同じとなります。

理屈の通じる相手ではない。よって放置がベスト。

>>217
(4)にuを加えると(1)のmの値は変化するのが理由
例:
(3)が{(t+1)^n+u}-{(t^n)+u}={x+(1/2)}^n-x^n
(4)は(t+1)^n-t^n=(x+m)^n-x^n t^n=x^nの場合はmを求めるとm=1

意味がわかりません。

>>220
> >>215
> > (1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
> だから証明とはuの計算が異なっている 証明のuの計算は2^2={(3/2)+1}^2-(3/2)^2=(5/2)^2-(3/2)^2をk倍したものに対して行う
>
> k倍したものでも、uは同じとなります。

> k倍したものでも、uは同じとなります。
>>215に書いてあることを読んでいないようだが
15^2=17^2-8^2は15^2={(75/4)^2+u}-{(45/4)^2+u} u=-62.6265 m,yは有理数だがm=y/2でない
15^2=113^2-112^2は15^2={(75/4)^2+u}-{(45/4)^2+u} u=12417.4375 m,yは有理数だがm=y/2でない
u=-62.6265とu=12417.4375は同じ値でない

>>222
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。

数学と数学でない話題のＱ＆Ａだから当たり前だ。

ダッドリー「三等分家がやってきた――さてどうするか」
（野崎昭弘訳、『数学セミナー』1983年11月）

『あなたも解ける フェルマーの定理 完全証明』 小野田襄二 著、 めいけい出版

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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)は有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>226
> (2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。

「ならば」の意味がわかっていないんだろう？　わかったふりしてるだけ。

>>226
> (2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。
2^2=(t+1)^2-t^2…(2)は有理数解を持つので(4)は有理数解をもつが2^2=[{(t+1)^2}+1]-{(t^2)+1}…(3)のu=1の場合,(t+1)^2+1=z^2,t^2+1=x^2の場合は(5/2)^2+1=29/4=z^2,(3/2)^2+1=13/4=x^2であるから有理数解にならない

>>225->>226は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男は間娘に対して、
「なぜそんな年が離れたの奴なんかと」とか、「俺は認めていない！話すら聞いていない！！」とかわめいていたが、嫁は
「貴方には、今は私達以上の年の差の奥様がいらっしゃいますし、彼はとても優しく、家庭をきちんと顧みる人だから幸せですよ。それと私は既に成人ですし、結婚するに当たって母の了解を得てますから」
と一刀両断した。
　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と執拗に食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、うつむいてしまった。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は
「おまえ、何で娘をあんな奴にやったんだ」
と声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に尋ねた。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、俺と結婚した当初から早く子供が欲しがっていたので、複雑な表情を浮かべていた。
　一方間男の方は、完全に愛娘を寝取られた事がわかり、呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

悪霊退散！悪霊退散！悪霊退散！悪霊退散！悪霊退散！


羯 多 呪 多 得 想 掛 所 亦 無 耳 不 是 異 蘊 観　 摩
諦 呪 能 是 阿 究 礙 得 無 意 鼻 増 舎 色 皆 自　 訶
菩 即 除 大 耨 竟 無 故 老 識 舌 不 利 色 空 在　 般
菩 説 一 神 多 涅 掛 菩 死 界 身 減 子 即 度 菩　 若
提 呪 切 呪 羅 槃 礙 提 盡 無 意 是 是 是 一 薩　 波
娑 曰 苦 是 三 三 故 薩 無 無 無 故 諸 空 切 行　 羅
婆 羯 真 大 藐 世 無 陀 苦 明 色 空 法 空 苦 深　 蜜
訶 諦 実 明 三 諸 有 依 集 亦 聲 中 空 即 厄 般　 多
般 羯 不 呪 菩 佛 恐 般 滅 無 香 無 相 是 舎 若　 心
若 諦 虚 是 提 依 怖 若 道 無 味 色 不 色 利 波　 経
心 波 故 無 故 般 遠 波 無 明 觸 無 生 受 子 羅
経 羅 説 上 知 若 離 羅 智 盡 法 受 不 想 色 蜜
□ 羯 般 呪 般 波 一 蜜 亦 乃 無 想 滅 行 不 多
□ 諦 若 是 若 羅 切 多 無 至 眼 行 不 識 異 時
□ 波 波 無 波 蜜 顛 故 得 無 界 識 垢 亦 空 照
□ 羅 羅 等 羅 多 倒 心 以 老 乃 無 不 復 空 見
□ 僧 蜜 等 蜜 故 夢 無 無 死 至 眼 浄 如 不 五

>>225の訂正版

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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持たないので(3)も有理数解を持たない。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)は有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持つので(3)も有理数解を持つ。
∴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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持たないので(3)も有理数解を持たない。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>218
だからm=y/2でない場合の(1)が3^2=(x+1)^2-x^2の場合は証明できていないということだよ
3^2=(x+1)^2-x^2は(2^n)k=[{x+(2/3)}^n]k-(x^n)kであって(2^n)k=[{x+1}^n]k-(x^n)kではない

3^2=(x+1)^2-x^2は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となります。

>>232->>234は数学とは何の関係もない単なる猥褻文である。つまり以下のような文章と同値である。

　間男は間娘に対して、
「なぜそんな年が離れたの奴なんかと」とか、「俺は認めていない！話すら聞いていない！！」とかわめいていたが、嫁は
「貴方には、今は私たち以上の年の差の奥様がいらっしゃいますし、彼はとても優しく、家庭をきちんと顧みる人だから幸せですよ。それと私は既に成人ですし、結婚するに当たって母の了解を得てますから」
と他人行儀な言葉づかいで一刀両断した。
　間男はそれでも引き下がらず、「俺に一言くらいあってもいいんじゃないか」と執拗に食い下がった。しかし、実の娘に
「貴方は、私たち母娘を捨てて出て行った人でしょう」と言われると、顔を真っ赤にして、うつむいてしまった。
　ちょうどそのとき、今では俺の義母となった間男の元妻が俺たちの所へやってきた。義母は間男の顔を見るなり、
「あら、どうしてあなたが？」
と困惑気味に声をあげた。
　間男は
「おまえ、何で娘をあんな奴にやったんだ」
と声を荒げたが、義母は
「しかたがないじゃない、あの子が彼を好きになっちゃったんだから」
と適当に受け流していた。
　そんな中、今まで空気のような感じだった俺の元嫁、つまり間男の今嫁が、「ある事」に気がついたらしく、俺に尋ねた。
「あの、奥さん妊娠してるの」
「うん、いま三ヶ月目」
　俺は短く答えた。元嫁は、俺と結婚した当初から早く子供が欲しがっていたので、複雑な表情を浮かべていた。
　一方間男の方は、完全に愛娘を寝取られた事がわかり、呆然となっていた。しかし、この男に本当の止めを刺したのは義母だった。
「あなたはいいわねぇ。私も赤ちゃん欲しいわ」
と何気なくつぶやき、俺の手を取り、腕を組んだ。義母の娘である俺の妻は、それを見てニコニコ笑っている。
　間男は、自分の元妻と娘を呆然と見ていたが、みるみるうちに青ざめ、凍りついていた。

>>219
n=2の場合
4^2=5^2-3^2=(3+2)^2-3^2は(2^2)k={(t+1)^2}k-(t^2)k k=(4/2)^2 m=y/2
8^2=17^2-15^2=(15+2)^2-15^2は(2^2)k={(x+(1/2))^2}k-(x^2)k k=(8/2)^2 m≠y/2 m,yは有理数
20^2=29^2-21^2=(21+8)^2-21^2は(2^2)k={(x+(4/5))^2}k-(x^2)k k=(20/2)^2 m≠y/2 m,yは有理数

4^2=5^2-3^2は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となります。
8^2=17^2-15^2は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となります。
20^2=29^2-21^2は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となります。

>>235
>>237
+uの部分で(t+1)^n}kと(t^n)kは消えるので「(3)となります。」だったら>>234は「当然xは有理数となります。」ということで間違いですね
008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

>>234の訂正版

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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持たないので(3)も有理数解を持たない。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持たないので(3)も有理数解を持たない。
∴nが奇素数のとき、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…(2)は有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持たないので(3)も有理数解を持たない。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

n=2のとき、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…(2)は有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは有理数。
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持つので(3)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>223
15^2=17^2-8^2は15^2={(75/4)^2+u}-{(45/4)^2+u} u=-62.6265 m,yは有理数だがm=y/2でない
15^2=113^2-112^2は15^2={(75/4)^2+u}-{(45/4)^2+u} u=12417.4375 m,yは有理数だがm=y/2でない
u=-62.6265とu=12417.4375は同じ値でない

uが同じ値というのは、同じ式の中で同じ値ということです。

>>227
「ならば」の意味がわかっていないんだろう？　わかったふりしてるだけ。

教えてください。

>>228
2^2=(t+1)^2-t^2…(2)は有理数解を持つので(4)は有理数解をもつが2^2=[{(t+1)^2}+1]-{(t^2)+1}…(3)のu=1の場合,
(t+1)^2+1=z^2,t^2+1=x^2の場合は(5/2)^2+1=29/4=z^2,(3/2)^2+1=13/4=x^2であるから有理数解にならない

この場合は、u=0とすればよいです。

>>231
008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

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

意味がわかりません。

>>238
+uの部分で(t+1)^n}kと(t^n)kは消えるので「(3)となります。」だったら>>234は「当然xは有理数となります。」ということで間違いですね
008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

意味がわかりません。

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

>>246
>>247
> +uの部分で(t+1)^n}kと(t^n)kは消えるので「(3)となります。」だったら>>234は「当然xは有理数となります。」ということで間違いですね
> 008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
> 訂正します。
> 当然xは有理数となります。
>
> ∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない
>
> 意味がわかりません。

> この場合は、u=0とすればよいです。
はuの値を変えれば解が有理数解から無理数解(あるいは無理数解から有理数解)に変化するということでありu=0の場合に無理数解でもuの値を変えたら有理数解に変えることができるということなので証明は間違い

悪霊退散！悪霊退散！悪霊退散！悪霊退散！悪霊退散！


羯 多 呪 多 得 想 掛 所 亦 無 耳 不 是 異 蘊 観　 摩
諦 呪 能 是 阿 究 礙 得 無 意 鼻 増 舎 色 皆 自　 訶
菩 即 除 大 耨 竟 無 故 老 識 舌 不 利 色 空 在　 般
菩 説 一 神 多 涅 掛 菩 死 界 身 減 子 即 度 菩　 若
提 呪 切 呪 羅 槃 礙 提 盡 無 意 是 是 是 一 薩　 波
娑 曰 苦 是 三 三 故 薩 無 無 無 故 諸 空 切 行　 羅
婆 羯 真 大 藐 世 無 陀 苦 明 色 空 法 空 苦 深　 蜜
訶 諦 実 明 三 諸 有 依 集 亦 聲 中 空 即 厄 般　 多
般 羯 不 呪 菩 佛 恐 般 滅 無 香 無 相 是 舎 若　 心
若 諦 虚 是 提 依 怖 若 道 無 味 色 不 色 利 波　 経
心 波 故 無 故 般 遠 波 無 明 觸 無 生 受 子 羅
経 羅 説 上 知 若 離 羅 智 盡 法 受 不 想 色 蜜
□ 羯 般 呪 般 波 一 蜜 亦 乃 無 想 滅 行 不 多
□ 諦 若 是 若 羅 切 多 無 至 眼 行 不 識 異 時
□ 波 波 無 波 蜜 顛 故 得 無 界 識 垢 亦 空 照
□ 羅 羅 等 羅 多 倒 心 以 老 乃 無 不 復 空 見
□ 僧 蜜 等 蜜 故 夢 無 無 死 至 眼 浄 如 不 五

>>239

意味がわかりません。

悪霊退散！悪霊退散！悪霊退散！悪霊退散！悪霊退散！


衆 雲 玩 若 或 呪 或 或 或 或 或 或 假 我 弘 具 世
生 雷 蛇 悪 遇 詛 囚 遭 値 被 在 漂 使 為 誓 足 尊
被 皷 及 獣 悪 諸 禁 王 怨 悪 須 流 興 汝 深 妙 妙
困 掣 蝮 圍 羅 毒 枷 難 賊 人 弥 巨 害 略 如 相 相
厄 電 蠍 繞 刹 薬 鎖 苦 繞 逐 峯 海 意 説 海 尊 具
無 降 気 利 毒 所 手 臨 各 堕 為 龍 推 聞 歴 偈 我
量 雹 毒 牙 龍 欲 足 刑 執 落 人 魚 落 名 劫 答 今
苦 大 煙 爪 諸 害 被 欲 刀 金 所 諸 大 及 不 無 重
逼 雨 火 可 鬼 身 柱 寿 加 剛 推 鬼 火 見 思 盡 問
身 □ 燃 怖 等 者 械 終 害 山 墮 難 坑 身 議 意 彼
観 念 念 念 念 念 念 念 念 念 念 念 念 心 侍 汝 佛
音 彼 彼 彼 彼 彼 彼 彼 彼 彼 彼 彼 彼 念 多 聴 子
妙 観 観 観 観 観 観 観 観 観 観 観 観 不 千 観 何
智 音 音 音 音 音 音 音 音 音 音 音 音 空 億 音 因
力 力 力 力 力 力 力 力 力 力 力 力 力 過 佛 行 縁
能 應 尋 疾 時 還 釋 刀 咸 不 如 波 火 能 発 善 名
救 時 聲 走 悉 著 然 尋 即 能 日 浪 坑 滅 大 應 為
世 得 自 無 不 於 得 段 起 損 虚 不 變 諸 清 諸 観
間 消 回 邊 敢 本 解 段 慈 一 空 能 成 有 淨 方 世
苦 散 去 方 害 人 脱 壊 心 毛 住 没 池 苦 願 所 音