20/02/09 17:30:32.67 4kMS721s.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
3:１３２人目の素数さん
20/02/09 19:08:36 EYLMpoyU.net
再掲
前スレ>>924
> ｛ 1=x^2-xy+y^2
> ｛ z^3/1=(x+y)
> は、(z^3/1)1=(x+y)(x^2-xy+y^2)…(3)から、導いた式です。
> ｛ 49=x^2-xy+y^2
> ｛ z^3/49=(x+y)
> は、(z^3/49)49=(x+y)(x^2-xy+y^2)…(2)から、導いた式です。
(3)を満たすx=3,y=8,z=3乗根√539が
｛ 1=x^2-xy+y^2
｛ z^3/1=(x+y)
を満たさないことから明らかな通り、(3)から
｛ 1=x^2-xy+y^2
｛ z^3/1=(x+y)
は導けません。
(3)から正しく導いた式は、(3)を満たす数を入れれば必ず満たされます。
また、(2)を満たすx=1,y=1,z=3乗根√2が
｛ 49=x^2-xy+y^2
｛ z^3/49=(x+y)
を満たさないことから明らかな通り、(2)から
｛ 49=x^2-xy+y^2
｛ z^3/49=(x+y)
は導けません。
(2)から正しく導いた式は、(2)を満たす数を入れれば必ず満たされます。
4:１３２人目の素数さん
20/02/09 20:04:40 7oyradcd.net
前スレ >995 日高
> 等式は、両辺に同じ数をかけても、成り立ちます。
5:> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3) > 両辺に、aをかけると、 > (z^p/1)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}a > 両辺に、1/aをかけると、 > (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2) > となります。 それは普通の数学のnotationでの話であり、日高のnotationでは(3)は { z^p/1=x+y { 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} の連立式の意味になる。同様に(2)は { z^p/a=x+y { a={x^(p-1)-x^(p-2)y+…+y^(p-1)} の意味で、これが同じだとすれば1=aとなる。
6:日高
20/02/09 21:24:41.39 4kMS721s.net
>3
>(3)から正しく導いた式は、(3)を満たす数を入れれば必ず満たされます。
違います。
3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
7:日高
20/02/09 21:30:26.94 4kMS721s.net
>4
>それは普通の数学のnotationでの話であり、日高のnotationでは(3)は
{ z^p/1=x+y
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の連立式の意味になる。同様に(2)は
{ z^p/a=x+y
{ a={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の意味で、これが同じだとすれば1=aとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)と
a={x^(p-1)-x^(p-2)y+…+y^(p-1)は、同じではありません。
8:１３２人目の素数さん
20/02/09 21:36:03.52 7oyradcd.net
>>6 日高
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)と
> a={x^(p-1)-x^(p-2)y+…+y^(p-1)は、同じではありません。
じゃあどうして、>>1で、前者を満たすx,yだけを考えて、後者を満たすx,yを考えないの？
9:１３２人目の素数さん
20/02/09 21:36:46.67 EYLMpoyU.net
>>5
もともと調べたいことは、(3)を満たすかどうか、ですよね。
あなたが(3)から導いた式は、(3)を満たす数を入れても、満たされる場合と満たされない場合がある、ということですね。
ではあなたのやり方では、(3)を満たすが(3)から導いた式を満たさない答えを見つけられません。
なのであなたの証明は間違っています。
10:１３２人目の素数さん
20/02/09 22:04:46.35 7oyradcd.net
>>5 日高
> 3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
具体的な例を示していただけないでしょうか。(3)とは別の式から始める例でも構いません。
11:１３２人目の素数さん
20/02/09 22:58:12.87 c59wdKX3.net
前スレある流れ1
71 名前：１３２人目の素数さん[sage] 投稿日：2020/01/18(土) 08:23:05.57 ID:RVp1Ptis [2/6]
>>68
> >56
> >z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)} と
> z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> の解の関係はどうなると思っていますか？
>
> z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)}の解と、
> z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}の解の比は、
> 同じです。
z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)} (aは1以外の自然数) …(1)
を満たす有理数解が存在する場合
z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} …(2)
(2)の解で(1)の解と比が同じになるものを考えると、(2)の解は(1)の解の1/a^{1/(p-1)}倍になります。
pは奇素数なので、これは一般的には有理数ではありません。
ですから、(1)の有理数解が存在する場合に(2)の有理数解が必ず存在するとは言えません。
結論としては、、
z^p=（x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
に有理数解があるかどうか判断するのに
z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の有理数解だけを考えればよいことにはなりません。
12:１３２人目の素数さん
20/02/09 22:59:01.34 g0AQtyga.net
日高＞3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
凄い１行で矛盾してる凄い
日高は数学の根本を否定しようと言うのだろうか
13:１３２人目の素数さん
20/02/09 23:01:12.93 c59wdKX3.net
前スレある流れ2
230 名前：１３２人目の素数さん[sage] 投稿日：2020/01/20(月) 17:42:52.14 ID:sPt0rfG9
前スレ995
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす有理数は、
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)なので、(x,y)=(0,1)、(x,y)=(1,0)
> (x,y)=(1,1)のみである。
x=8/7,y=3/7とおくと
x^2-xy+y^2=64/49-24/49+9/49=1
303 名前：１３２人目の素数さん[sage] 投稿日：2020/01/21(火) 19:46:28.52 ID:yRPB6RQh [1/7]
...
x^p+y^p=z^pに自然数解があるならx>1,y>1であることがすぐわかる。
よってx+y<x^p+y^p。だから{x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)>1が成り立つ。
それなのに最左辺=1のみを検討しているので、完全な誤り。
470 名前：１３２人目の素数さん[sage] 投稿日：2020/01/24(金) 00:37:09.50 ID:JgvByBrP
>>1 から>>105 までは、理屈はともかく比が等しいから…と書いていた
z-y=1に限定しても自然数のX,Y,Zと同じ比になるx,y,zを見つけられるから、と
しかし>>136 ではその文言は消えてしまってもっともらしい理屈がきえた
そして>>230で自明でない1={x^(p-1)-x^(p-2)y+…+y^(p-1)}の解を教えられて
>>254でx,y,zを自然数に限定してしまった
比が等しいx,y,zを見つけることさえ放棄してしまった
14:１３２人目の素数さん
20/02/09 23:05:30.45 c59wdKX3.net
前スレある流れ3
499 名前：１３２人目の素数さん[sage] 投稿日：2020/01/25(土) 23:04:39.33 ID:HLgVyAHa
>>71 より
p=3 の時に
方程式 (i)
z^3/a=x+y ……(1)
a=x^2-xy+y^2 ……(2)
を満たす有理数の組 (x, y, z)=(r, s, t) があった場合、
それぞれ 1/a^(1/2) 倍した (R, S, T) は、
R+S
=r*1/a^(1/2)+s*1/a^(1/2)
=1/a^(1/2)(r+s)
(1) より
...
=T^3
R^2-RS+S^2
...
=1
となり、
方程式 (ii)
z^3=x+y
1=x^2-xy+y^2
を満たす。
従って、a^(1/2) が無理数である時に 方程式 (i) に有理数解があれば、それと同じ比で方程式 (ii) を満たす解は無理数である。
これのどこが間違ってるんでしょうか？
15:１３２人目の素数さん
20/02/09 23:10:09.05 c59wdKX3.net
前スレある流れ4
647 名前：１３２人目の素数さん[sage] 投稿日：2020/01/30(木) 20:21:51.83 ID:X49X0qIj [3/4]
>>640
> 実際正しいかどうかを、p=2,p=3,p=5で、計算していただけないでしょうか。
これは置いといて
a^{1/(p-1)}だと、ちょっと前と同じなので、
>>71,499,510,555などの指摘の通り
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)
の無理数解を、a^{1/(p-1)}（これも無理数とする）倍した時、
> (z^p/a)×a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
の有理数解になる可能性があります。
よって(1)だけを調べるなら、
自然数の範囲だけでなく、無理数の範囲まで調べる必要があるのではないでしょうか？
16:１３２人目の素数さん
20/02/09 23:15:17.26 c59wdKX3.net
前スレある流れ5
652 名前：日高[] 投稿日：2020/01/30(木) 21:28:31.34 ID:vh68HP+j [18/22]
>647
>> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)
の無理数解を、a^{1/(p-1)}（これも無理数とする）倍した時、
> (z^p/a)×a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
の有理数解になる可能性があります。
定数倍するので、有理数解になる可能性は、ありません。
もし、有理数解になるとしたら、もとの無理数は、整数比です。
>よって(1)だけを調べるなら、
自然数の範囲だけでなく、無理数の範囲まで調べる必要があるのではないでしょうか？
無理数の範囲まで調べる必要は、ありません。
有理数の範囲までは、調べる必要は、あります。
17:１３２人目の素数さん
20/02/09 23:19:56.23 c59wdKX3.net
前スレある流れ6
667 名前：１３２人目の素数さん[sage] 投稿日：2020/01/31(金) 08:56:54.76 ID:Ddrpt7ZT [1/5]
>>665
> >660
> >> 定数倍するので、有理数解になる可能性は、ありません。
> > もし、有理数解になるとしたら、もとの無理数は、整数比です。
> 整数比だと、何か問題があるでしょうか？
>
> もとの無理数が、整数比ならば、共通の無理数でわると、整数となります。
つまり
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)
> (z^p/a)×a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
該当する(1)の無理数解を、共通の無理数でわると、
また(1)の有理数解になる、という事でしょうか。
18:１３２人目の素数さん
20/02/09 23:25:06.94 c59wdKX3.net
前スレある流れ7
676 名前：１３２人目の素数さん[sage] 投稿日：2020/01/31(金) 19:50:55.81 ID:Ddrpt7ZT [3/5]
>>669
> >667
> >> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)
> > (z^p/a)×a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
> 該当する(1)の無理数解を、共通の無理数でわると、
> また(1)の有理数解になる、という事でしょうか。
>
> はい。
いいえ、そうではありません。
p=3でやります。
>>552 を拝借させて頂きます
有理数の組 (x, y, z)=(r, s, t) が
(2)
z^3/a=x+y
a=x^2-xy+y^2
を満たす時、
それぞれ 1/a^(1/2) 倍した (R, S, T)は、
(1)
z^3=x+y
1=x^2-xy+y^2
を満たす。
(R, S, T) = (r/a^(1/2), s/a^(1/2), t/a^(1/2)) である。
よって
(1)の無理数解(R, S, T)の無理数部分を落としたものは、
(r, s, t)になるので、 （a^{1/(p-1)}倍と同じに、）
『(2)の』有理数解になります。
19:１３２人目の素数さん
20/02/09 23:30:26.95 c59wdKX3.net
前スレある流れ8終
680 名前：日高[] 投稿日：2020/01/31(金) 21:10:36.50 ID:zosdNjyf [11/16]
>676
>(1)の無理数解(R, S, T)の無理数部分を落としたものは、
(r, s, t)になるので、 （a^{1/(p-1)}倍と同じに、）
『(2)の』有理数解になります。
その通りだと、思います。
689 名前：１３２人目の素数さん[sage] 投稿日：2020/01/31(金) 21:57:54.96 ID:VlXTyNlb [5/6]
pが3の場合。zzz=xxx+yyyだがこれをzzz×1=(x+y)(xx-xy+yy)とし
zzz=x+y,1=xx-xy+yy...(1)
と決めつけるのが日高流。そうではなく
a=xx-xy+yy,zzz/a=x+y...(2)（aは自然数。）
の場合がありえる。
この解をX,Y,Zとするとa=XX-XY+YY,ZZZ/a=X+Yである。
これに“対応”する(1)の解を考えると
1=(X/a^.5)(X/a^.5)-(X/a^.5)(Y/a^.5)+(Y/a^.5)(Y/a^.5)。
a^.5が有理数とは限らないから(1)の有理数解だけを考えていてはだめ。
こういうことかな？
690 名前：１３２人目の素数さん[sage] 投稿日：2020/01/31(金) 22:11:15.30 ID:Ddrpt7ZT [5/5]
>>689
>>647から書いた方法とは少し違いますが、
合っていると思います。
20:１３２人目の素数さん
20/02/10 02:32:23.74 fU9V5JDD.net
>>5
AB=CDからA=C,B=Dが導けるのが日高流。
3*4=2*6だが3=2,4=6は成り立たない。
こういうことを言っているのか？
21:１３２人目の素数さん
20/02/10 04:30:38 psCuiT0h.net
なんでもいいけど
(z^p/a)=(x+y), a={x^(p-1)-x^(p-2)y+…+y^(p-1)} の場合に解がないことを、
(z^p/1)=(x+y), 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} の場合の結果を使うことなく（★コレ重要！）
日高が示せばそれでいいのよ
日高はいつまでもそれを頑としてやらないし、できない
だから誰にも認められない
22:日高
20/02/10 08:35:53 fchV64dp.net
>7
>> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)と
> a={x^(p-1)-x^(p-2)y+…+y^(p-1)は、同じではありません。
じゃあどうして、>>1で、前者を満たすx,yだけを考えて、後者を満たすx,yを考えないの？
後者を満たすx,yは、無限にあるからです。
23:日高
20/02/10 08:44:35 fchV64dp.net
>8
>もともと調べたいことは、(3)を満たすかどうか、ですよね。
あなたが(3)から導いた式は、(3)を満たす数を入れても、満たされる場合と満たされない場合がある、ということですね。
ではあなたのやり方では、(3)を満たすが(3)から導いた式を満たさない答えを見つけられません。
(3)を満たすが(3)から導いた式を満たさない答えは、
(3)から導いた式を満たす答えと、同じ性質となります。
24:１３２人目の素数さん
20/02/10 08:54:30 YNLNSUd3.net
>>21 >>22 本気で言ってるのならただの馬鹿だし、それとも愉快犯なのかな
25:日高
20/02/10 09:06:23 fchV64dp.net
>9
> 3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
具体的な例を示していただけないでしょうか。(3)とは別の式から始める例でも構いません。
例
15=(2x+1)(y+3)の整数解は、(x,y)=(1,2)、(x,y)=(2,0)、(x,y)=(7,-2)、(x,y)=(0,12)
15=(2x+1)(y+3)から、導かれる式は、
3=(2x+1),5=(y+3)、(x,y)=(1,2)
5=(2x+1),3=(y+3)、(x,y)=(2,0)
15=(2x+1),1=(y+3)、(x,y)=(7,-2)
1=(2x+1),15=(y+3)、(x,y)=(0,12)
26:日高
20/02/10 09:28:14 fchV64dp.net
>10
>z^p/a=x+y, a={x^(p-1)-x^(p-2)y+…+y^(p-1)} (aは1以外の自然数) …(1)
を満たす有理数解が存在する場合
z^p=x+y, 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} …(2)
(2)の解で(1)の解と比が同じになるものを考えると、(2)の解は(1)の解の1/a^{1/(p-1)}倍になります。
pは奇素数なので、これは一般的には有理数ではありません。
ですから、(1)の有理数解が存在する場合に(2)の有理数解が必ず存在するとは言えません。
(1)の有理数解が存在する場合には、(2)の有理数解が必ず存在します。
理由は、
(2)の無理数解で、整数比となった場合、共通の無理数でわると、有理数解となるからです。
27:日高
20/02/10 09:33:16 fchV64dp.net
>11
日高＞3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
凄い１行で矛盾してる凄い
>日高は数学の根本を否定しようと言うのだろうか
このことは、数学の根本を否定していることなのでしょうか？
28:１３２人目の素数さん
20/02/10 09:34:05 HPBafvkQ.net
>>25
それ>>16-18でやったじゃん。
まだ完全に理解してないんだね。
29:日高
20/02/10 09:49:06.22 fchV64dp.net
>19
>AB=CDからA=C,B=Dが導けるのが日高流。
3*4=2*6だが3=2,4=6は成り立たない。
>こういうことを言っているのか？
3*4は、4*3、12*1、1*12、2*6、6*2とすることが出来るという意味です。
30:日高
20/02/10 12:09:14 fchV64dp.net
>20
>(z^p/a)=(x+y), a={x^(p-1)-x^(p-2)y+…+y^(p-1)} の場合に解がないことを、
(z^p/1)=(x+y), 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} の場合の結果を使うことなく（★コレ重要！）
日高が示せばそれでいいのよ
(z^p/1)=(x+y), 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} の場合の結果を使はないと、示せません。
31:日高
20/02/10 12:13:20 fchV64dp.net
>23
>>21 >>22 本気で言ってるのならただの馬鹿だし、それとも愉快犯なのかな
どうしてでしょうか？
32:日高
20/02/10 12:17:03 fchV64dp.net
>27
>>25
それ>>16-18でやったじゃん。
まだ完全に理解してないんだね。
どういう意味でしょうか？
33:日高
20/02/10 12:21:23 fchV64dp.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
34:１３２人目の素数さん
20/02/10 12:26:23 ZntoHZo+.net
>>30
誰が見てもおかしなことや無意味なことを言ってるから。
35:１３２人目の素数さん
20/02/10 12:43:52 fU9V5JDD.net
>>24 日高
> 例
> 15=(2x+1)(y+3)の整数解は、(x,y)=(1,2)、(x,y)=(2,0)、(x,y)=(7,-2)、(x,y)=(0,12)
> 15=(2x+1)(y+3)から、導かれる式は、
> 3=(2x+1),5=(y+3)、(x,y)=(1,2)
> 5=(2x+1),3=(y+3)、(x,y)=(2,0)
> 15=(2x+1),1=(y+3)、(x,y)=(7,-2)
> 1=(2x+1),15=(y+3)、(x,y)=(0,12)
要するに、ab=15から(a,b)=(1,15)や(a,b)=(3,5)が導けると言っているのね。
こういうのを「導ける」というでしょうか。皆様。
36:１３２人目の素数さん
20/02/10 12:52:42.33 CBetNw8/.net
>>31
貴方の主張は、
>>16-18で否定されたということ。
37:日高
20/02/10 13:02:27.12 fchV64dp.net
>33
>>>30
誰が見てもおかしなことや無意味なことを言ってるから。
どの部分がおかしいのでしょうか？
38:日高
20/02/10 13:05:53.29 fchV64dp.net
>34
>要するに、ab=15から(a,b)=(1,15)や(a,b)=(3,5)が導けると言っているのね。
こういうのを「導ける」というでしょうか。皆様。
こういう場合は、「導ける」と言わないのでしょうか？
39:日高
20/02/10 13:11:25.93 fchV64dp.net
>35
>>>31
貴方の主張は、
>>16-18で否定されたということ。
そうでしょうか？
詳しく説明していただけないでしょうか。
40:１３２人目の素数さん
20/02/10 13:29:47.55 ZntoHZo+.net
>>36
自分で考えてください。
説明するつもりはありません。
41:１３２人目の素数さん
20/02/10 15:10:25.77 fU9V5JDD.net
>>38
否定されていないというなら、ご自分で証明を書いてください。
42:１３２人目の素数さん
20/02/10 15:13:43.63 fU9V5JDD.net
>>29 日高
「使はないと」と書かれていますが、戦前に教育を受けた世代ですか？
43:日高
20/02/10 16:24:10 fchV64dp.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
44:日高
20/02/10 16:29:46 fchV64dp.net
>40
>>>38
否定されていないというなら、ご自分で証明を書いてください。
否定の内容を、もう一度示してください。
45:日高
20/02/10 16:39:39 fchV64dp.net
>41
>「使はないと」と書かれていますが、戦前に教育を受けた世代ですか？
違います。好みです。
46:１３２人目の素数さん
20/02/10 18:35:20.59 HPBafvkQ.net
>>38
>>43
お断りします。
一度終わった議論を再び行うつもりはありません。
>>10-18をじっくり読み返すと良いかもしれません。
47:日高
20/02/10 20:03:15 fchV64dp.net
>45
>>10-18をじっくり読み返すと良いかもしれません。
違います。
48:１３２人目の素数さん
20/02/10 20:06:20 UQE2T1M7.net
>>1 日高
> 等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
> (3)が成り立たないならば、(1),(2)も成り立たない。
に異議が出ています。主張するなら証明して。
49:日高
20/02/10 20:18:01.15 fchV64dp.net
>47
>> 等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
> (3)が成り立たないならば、(1),(2)も成り立たない。
に異議が出ています。主張するなら証明して。
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
両辺に、aをかけると、
(z^p/1)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}a
両辺に、1/aをかけると、
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
となります。
50:１３２人目の素数さん
20/02/10 20:46:23.90 UQE2T1M7.net
>>48 日高
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> 両辺に、aをかけると、
> (z^p/1)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}a
> 両辺に、1/aをかけると、
> (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
> となります。
そいつぁ通常のnotationでの話だろ。
お前のnotationでは
(3)は
{z^p/1=x+y
{1=x^(p-1)-x^(p-2)y+…+y^(p-1)
のこと。
(2)は
{z^p/a=x+y
{a=x^(p-1)-x^(p-2)y+…+y^(p-1)
のこと。
そうやって二つのnotationの間でごまかしをするペテン野郎なんだな，日高は。
51:１３２人目の素数さん
20/02/10 21:12:19.40 UmF8R3Ow.net
>>46
> >45
> >>10-18をじっくり読み返すと良いかもしれません。
>
> 違います。
阿呆が。
根拠無く断言するな。
数学勉強してから出直せ。
52:１３２人目の素数さん
20/02/10 21:32:23.17 UQE2T1M7.net
>>50
> 阿呆が。
ただの阿呆じゃないよ。日高は悪意に満ちたペテン師だ。
53:１３２人目の素数さん
20/02/10 21:40:53.06 UmF8R3Ow.net
>>51
確かに。
54:１３２人目の素数さん
20/02/10 23:58:12.66 6pU3ntiA.net
>>22
> (3)を満たすが(3)から導いた式を満たさない答えは、
> (3)から導いた式を満たす答えと、同じ性質となります。
同じ性質とはなんですか？
同じ性質であるという証明が>>42のどこにもないので
証明は間違っていますが、それはそれとして、
例えば
{ 3=(2x+1)
{ 5=(y+3)
を満たす(x,y)=(1,2)と満たさない(x,y)=(2,0)はどこがどう同じなのですか？
(x,y)=(1,2)と(x,y)=(7,-2)はどこがどう同じなのですか？
(x,y)=(1,2)と(x,y)=(0,12)はどこがどう同じなのですか？
{ 3=(2x+1)
{ 5=(y+3)
この式から、(x,y)=(2,0)が元の式を満たすことをどうやって調べるのですか？
(x,y)=(7,-2)が元の式を満たすことをどうやって調べるのですか？
(x,y)=(0,12)が元の式を満たすことをどうやって調べるのですか？
55:１３２人目の素数さん
20/02/11 01:00:11.59 EBlkdDIc.net
>>53
{ 3=(2x+1)
{ 5=(y+3)
としてしまうと、元の式とは同値でない、というご指摘ですね。
56:日高
20/02/11 06:57:05.40 yJXdNSyh.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
57:日高
20/02/11 07:32:46.42 yJXdNSyh.net
>49
>そうやって二つのnotationの間でごまかしをするペテン野郎なんだな，日高は。
意味が、わかりません。
58:日高
20/02/11 07:34:31.49 yJXdNSyh.net
>50
>阿呆が。
根拠無く断言するな。
数学勉強してから出直せ。
理由を教えていただけないでしょうか。
59:日高
20/02/11 07:35:54.23 yJXdNSyh.net
>51
>> 阿呆が。
ただの阿呆じゃないよ。日高は悪意に満ちたペテン師だ。
理由を教えていただけないでしょうか。
60:日高
20/02/11 07:37:08.87 yJXdNSyh.net
>52
>確かに。
理由を教えていただけないでしょうか。
61:日高
20/02/11 07:43:21.16 yJXdNSyh.net
>53
>{ 3=(2x+1)
{ 5=(y+3)
この式から、(x,y)=(2,0)が元の式を満たすことをどうやって調べるのですか？
(x,y)=(7,-2)が元の式を満たすことをどうやって調べるのですか？
(x,y)=(0,12)が元の式を満たすことをどうやって調べるのですか？
{ 3=(2x+1)
{ 5=(y+3)
の解は、元の式を満たします。（すべての解では、ありませんが、）
62:日高
20/02/11 07:47:40.79 yJXdNSyh.net
>54
>>>53
{ 3=(2x+1)
{ 5=(y+3)
としてしまうと、元の式とは同値でない、というご指摘ですね。
「元の式と同値」の言葉の意味はどういう意味でしょうか？
63:１３２人目の素数さん
20/02/11 09:31:58 1GUbsYQQ.net
>>55
数学ではありませんね。数学をネタにした漫才の台本ですねw
64:日高
20/02/11 10:19:26.72 yJXdNSyh.net
>62
>>>55
数学ではありませんね。数学をネタにした漫才の台本ですねw
理由を教えていただけないでしょうか。
65:１３２人目の素数さん
20/02/11 10:42:09.56 6oc61rEx.net
>>60
つまり
{ 3=(2x+1)
{ 5=(y+3)
をしらべても、元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からないし
｛ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
をしらべても、(3)に他の答えがあるかもしれないのに、他の答えのことは分からない
なので、>>1の証明は間違っています。
66:日高
20/02/11 11:08:44.77 yJXdNSyh.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
67:日高
20/02/11 11:22:35.69 yJXdNSyh.net
>64
>{ 3=(2x+1)
{ 5=(y+3)
をしらべても、元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からないし
15=(2x+1)(y+3)の答えは、(x,y)=(1,2)と(x,y)=(2,0)と(x,y)=(7,-2)と(x,y)=(0,12)です。
3=(2x+1)、5=(y+3)の答えは、整数です。このことから、15=(2x+1)(y+3)の答えが、整数になることがわかります。
68:１３２人目の素数さん
20/02/11 11:43:20.40 6oc61rEx.net
>>66
15=(2x+1)(y+3)の答えはx=√2、y=15*(2√2-1)/7-3かもしれないので、
> 整数になることがわかります。
は間違っています。
そして、他の答えのことは全くわからない
なので同様に、>>1の証明は間違っています。
69:日高
20/02/11 12:23:33.59 yJXdNSyh.net
>67
>15=(2x+1)(y+3)の答えはx=√2、y=15*(2√2-1)/7-3かもしれないので、
x
70:,yを無理数とすると、解は、無数にあります。
71:１３２人目の素数さん
20/02/11 12:31:27.26 6oc61rEx.net
>>68
あなたは
{ 3=(2x+1)
{ 5=(y+3)
を調べれば
> 15=(2x+1)(y+3)の答えが、整数になることがわかります。
と書きました。
しかし
> x,yを無理数とすると、解は、無数にあります。
と自分で間違いを認識しました。
同様に、>>1の証明も間違っています。
72:日高
20/02/11 14:25:06 yJXdNSyh.net
>69
>> x,yを無理数とすると、解は、無数にあります。
と自分で間違いを認識しました。
この場合は、左辺の15を自然数に分解します。
73:１３２人目の素数さん
20/02/11 14:52:19 6oc61rEx.net
>>70
つまり
{ 3=(2x+1)
{ 5=(y+3)
をしらべても、元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からないし
元の式の他の答えが整数になるかどうかも、結局元の式を調べないと分からない
同様に
｛ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
をしらべても、(3)に他の答えがあるかもしれないのに、他の答えのことは分からない
結局元の式を調べないと分からない
なので、>>1の証明は間違っています。
74:日高
20/02/11 15:52:16.98 yJXdNSyh.net
>71
>{ 3=(2x+1)
{ 5=(y+3)
をしらべても、元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からないし
元の式の他の答えが整数になるかどうかも、結局元の式を調べないと分からない
{ 3=(2x+1)
{ 5=(y+3)
をしらべれば、整数解以外の解が、ないので、元の式に、整数解以外の解が、ないことが、わかります。
｛ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
をしらべても、(3)に他の答えがあるかもしれないのに、他の答えのことは分からない
結局元の式を調べないと分からない
｛ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
をしらべれば、この式に自然数解がないので、元の式に、自然数解が、ないことが、
わかります。
75:１３２人目の素数さん
20/02/11 15:54:47.08 6oc61rEx.net
>>72
> 元の式に、整数解以外の解が、ないことが、わかります。
> x,yを無理数とすると、解は、無数にあります。
矛盾しています。
同様に、>>1の証明も間違っています。
76:日高
20/02/11 16:06:06.00 yJXdNSyh.net
>73
>> x,yを無理数とすると、解は、無数にあります。
矛盾しています。
x,yは、整数とします。
77:日高
20/02/11 16:09:51.82 yJXdNSyh.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
78:１３２人目の素数さん
20/02/11 16:14:50.97 6oc61rEx.net
>>74
元の条件として
x,yは、整数とします。
があるなら、
{ 3=(2x+1)
{ 5=(y+3)
を調べたから整数解以外の解がないことがわかったのではありません。
結局元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からない。
同様に
元の条件として
x,yは、整数とします。
があるなら、
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
を調べたから整数解以外の解がないことがわかったのではありません。
結局元の(3)に他の答えがあるかもしれないのに、他の答えのことは分からない。
なので、>>1の証明は間違っています。
79:１３２人目の素数さん
20/02/11 16:51:24.54 +tEwoo0w.net
うむ。分かりやすい。
80:日高
20/02/11 18:06:29.15 yJXdNSyh.net
>76
>元の条件として
x,yは、整数とします。
があるなら、
{ 3=(2x+1)
{ 5=(y+3)
を調べたから整数解以外の解がないことがわかったのではありません。
結局元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からない。
元の条件として
「x,yは、整数」なので、整数以外の解は、関係ありません。
(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)は、15を自然数に分解すれば、求められます。
同様に
元の条件として
x,yは、整数とします。
があるなら、
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
を調べたから整数解以外の解がないことがわかったのではありません。
結局元の(3)に他の答えがあるかもしれないのに、他の答えのことは分からない。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}、(z^p/1)=(x+y)を、共に満たす自然数は、ないので、
(3)にx,y,zが、自然数となる他の答えは、ありません。
81:日高
20/02/11 18:10:21.05 yJXdNSyh.net
>77
>うむ。分かりやすい。
どのようなことが、わかりやすいのでしょうか？
82:１３２人目の素数さん
20/02/11 18:24:06.57 +tEwoo0w.net
>>79
ケース
{ 3=(2x+1)
{ 5=(y+3)
で、ばしっと結論を言う。
本題
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
でも、「ケース」と同じ様な考え方で、結論が言える。
ということかな。
83:１３２人目の素数さん
20/02/11 19:23:32 i6vsYbjQ.net
>>78
> >76
> >元の条件として
> x,yは、整数とします。
> があるなら、
> { 3=(2x+1)
> { 5=(y+3)
> を調べたから整数解以外の解がないことがわかったのではありません。
> 結局元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からない。
>
> 元の条件として
> 「x,yは、整数」なので、整数以外の解は、関係ありません。
> (x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)は、15を自然数に分解すれば、求められます。
>
> 同様に
> 元の条件として
> x,yは、整数とします。
> があるなら、
> { 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> { (z^p/1)=(x+y)
> を調べたから整数解以外の解がないことがわかったのではありません。
> 結局元の(3)に他の答えがあるかもしれないのに、他の答えのことは分からない。
>
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}、(z^p/1)=(x+y)を、共に満たす自然数は、ないので、
> (3)にx,y,zが、自然数となる他の答えは、ありません。
嘘。根拠も不明。
今までの説明は全てでたらめのペテン。
数学的な説明は一つもなかった。
84:１３２人目の素数さん
20/02/11 19:59:15.65 6oc61rEx.net
>>78
条件 x,yは、整数
元の式
15=(2x+1)(y+3)
ここまでは問題が出された時点でわかっています。
{ 3=(2x+1)
{ 5=(y+3)
を調べても、他の答えのがあるかどうかはまったくわかりません。
ただ
{ 3=(2x+1)
{ 5=(y+3)
の場合に答えが1つ見つかった、ということしかわかりません。
他の答えがあるかどうか調べるには別の証明が必要です。
同じように
条件 x,y,zは、自然数
元の式
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
=(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…自明
=(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…自明
ここまでは問題が出された時点でわかっています。
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
を調べても、他の答えのがあるかどうかはまったくわかりません。
ただ
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
の場合に答えが見つからなかった、ということしかわかりません。
他の答えがあるかどうか調べるには別の証明が必要です。
しかしその証明はないので、>>1は間違っています。
ところで、同じ証明を何度も書き込んでいて、おそらくURLﾘﾝｸ(rio2016.5ch.net)を直接見ているのだと
推測しますが、他の人は「全部読む」をクリックしたりして、最初から最後まで一度に読んでいるので、
書き直してあるのかどうか非常にわかりにくい。
まったく同じ内容を書き込むときは、1行目位に「再掲」、書き直したときは、「〇行目書き直しました」等
書いてもらえません
85:か。
86:日高
20/02/12 06:23:04.58 hnY+VTX2.net
>80
>元の条件として
x,yは、整数とします。
があるなら、
{ 3=(2x+1)
{ 5=(y+3)
を調べたから整数解以外の解がないことがわかったのではありません。
結局元の式の他の答えである(x,y)=(2,0)や(x,y)=(7,-2)や(x,y)=(0,12)のことは分からない。
分かります。
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
を調べたから整数解以外の解がないことがわかったのではありません。
結局元の(3)に他の答えがあるかもしれないのに、他の答えのことは分からない。
なので、>>1の証明は間違っています。
整数解以外の解は、必要ありません。
(3)に他の答えが、ある場合は、(2)の場合です。
(3)が、成り立たないので、(2)も成り立ちません。
87:日高
20/02/12 06:26:15.61 hnY+VTX2.net
>81
>嘘。根拠も不明。
今までの説明は全てでたらめのペテン。
数学的な説明は一つもなかった。
どの部分が、嘘なのでしょうか？
88:日高
20/02/12 06:27:21.79 hnY+VTX2.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
89:日高
20/02/12 06:38:25.22 hnY+VTX2.net
>82
>{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
の場合に答えが見つからなかった、ということしかわかりません。
他の答えがあるかどうか調べるには別の証明が必要です。
しかしその証明はないので、>>1は間違っています。
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
の場合に答えが見つからなかった、ので、(3)に答えは、ありません。
(3)に他の答えが、ある場合は、(2)の場合です。
(3)が、成り立たないので、(2)も成り立ちません。
90:日高
20/02/12 08:52:13.95 hnY+VTX2.net
(別解)【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x,y,z,rは自然数とする。
x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)はr^(p-1)のとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
91:日高
20/02/12 08:56:30.92 hnY+VTX2.net
訂正
(別解)【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x,y,z,rは自然数とする。
x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
92:１３２人目の素数さん
20/02/12 09:43:09 85rZxW25.net
>>84
> >81
> >嘘。根拠も不明。
> 今までの説明は全てでたらめのペテン。
> 数学的な説明は一つもなかった。
>
> どの部分が、嘘なのでしょうか？
お前の78で書いた部分が嘘だという指摘に決まっているだろうが 。
なお、数学的に正当でない返信、または、過去のでたらめの繰り返し、または、質問、を禁止。意味ないので。
93:日高
20/02/12 09:56:56 hnY+VTX2.net
>89
>お前の78で書いた部分が嘘だという指摘に決まっているだろうが 。
78のどの部分が、嘘なのでしょうか？
94:１３２人目の素数さん
20/02/12 10:48:05 Or2hLxn/.net
>>90
> >89
> >お前の78で書いた部分が嘘だという指摘に決まっているだろうが 。
>
> 78のどの部分が、嘘なのでしょうか？
質問は禁止と書いてあるだろうが 。
95:１３２人目の素数さん
20/02/12 10:51:17 Or2hLxn/.net
日高は人のコメント読まずに自分の都合の良いことばかり。
さすが詐欺師。嘘つき。
のべ数千通だか数万通だかのメールを数学関係者に送りつける迷惑老人。
96:日高
20/02/12 11:07:21.57 hnY+VTX2.net
>92
>日高は人のコメント読まずに自分の都合の良いことばかり。
さすが詐欺師。嘘つき。
どの部分が、嘘なのでしょうか？
97:１３２人目の素数さん
20/02/12 19:54:59.16 67Z7Cvnp.net
【定理】日高は永遠に自分の間違いを認めない。
【証明】数学的帰納法による。
第一段：日高にはきょう自分の間違いを認めるだけの数学力がない。
第二段：ある日、日高には自分の間違いを認めるだけの数学力がないと仮定する。
日高はその日も何も学ぼうとしないから、その翌日にも日高には自分の間違いを認めるだけの数学力がない。
以上から，数学的帰納法により，日高は永遠に自分の間違いを認めない。
98:日高
20/02/12 20:36:43.96 hnY+VTX2.net
>94
>【定理】日高は永遠に自分の間違いを認めない。
【証明】数学的帰納法による。
第一段：日高にはきょう自分の間違いを認めるだけの数学力がない。
第二段：ある日、日高には自分の間違いを認めるだけの数学力がないと仮定する。
日高はその日も何も学ぼうとしないから、その翌日にも日高には自分の間違いを認めるだけの数学力がない。
以上から，数学的帰納法により，日高は永遠に自分の間違いを認めない。
どの部分が、間違いかを、指摘していただけないでしょうか。
99:日高
20/02/12 20:41:06.86 hnY+VTX2.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
100:１３２人目の素数さん
20/02/12 21:02:48.81 67Z7Cvnp.net
>>96 日高
>>1の間違いをもう一度だけ指摘してあげよう。
> (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> 等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
> (3)が成り立たないならば、(1),(2)も成り立たない。
この部分だね。
101:１３２人目の素数さん
20/02/13 00:06:12 E6KrNF41.net
>>93
> >92
> >日高は人のコメント読まずに自分の都合の良いことばかり。
> さすが詐欺師。嘘つき。
>
> どの部分が、嘘なのでしょうか？
死ぬほど指摘されているのに、全てごまかして無視。ごみ老人。迷惑。
102:１３２人目の素数さん
20/02/13 00:07:58 E6KrNF41.net
のべ数千通だか数万通だかのメールを数学関係者に送りつける迷惑老人。
この部分は無視かよ。
103:１３２人目の素数さん
20/02/13 00:40:07.15 TSf9zeUU.net
>>86
> { 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> { (z^p/1)=(x+y)
> の場合に答えが見つからなかった、ので、(3)に答えは、ありません。
>>5には
> (3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
つまり上の連立式に答えが見つからなくても(3)を満たす答えがある、と書いてある
これは矛盾です。
なので、>>1の証明は間違っています。
そして>>88も全く同じ間違いをしています。
{ r^(p-1)=p
{ x^p+y^p=(x+p^{1/(p-1)})^p
の場合に答えが見つからなかっただけで、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}を満たす数がほかにある、と5に書いてあります
なので88の証明は間違っています。
104:１３２人目の素数さん
20/02/13 00:42:12.37 8/XCAsNi.net
>>1
いや、
> (3)が成り立たないので、(1),(2)も成り立たない。
の「(3)が成り立たない」が誤りと言うほうが適切か。
105:日高
20/02/13 06:09:15.90 o1Jehs92.net
>97
>> (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> 等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
> (3)が成り立たないならば、(1),(2)も成り立たない。
この部分だね。
どの部分が、間違いでしょうか？
106:日高
20/02/13 06:11:48.20 o1Jehs92.net
>98
>> どの部分が、嘘なのでしょうか？
死ぬほど指摘されているのに、全てごまかして無視。ごみ老人。迷惑。
どの部分が、嘘なのでしょうか？
107:日高
20/02/13 06:13:18.69 o1Jehs92.net
>99
>のべ数千通だか数万通だかのメールを数学関係者に送りつける迷惑老人。
この部分は無視かよ。
どういう意味でしょうか？
108:日高
20/02/13 06:26:57.09 o1Jehs92.net
>100
>> { 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> { (z^p/1)=(x+y)
> の場合に答えが見つからなかった、ので、(3)に答えは、ありません。
>>5には
> (3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
つまり上の連立式に答えが見つからなくても(3)を満たす答えがある、と書いてある
これは矛盾です。
なので、>>1の証明は間違っています。
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> { (z^p/1)=(x+y)を共に満たす自然数は、ないので、(3)を満たす自然数は、ありません。
>(3)から正しく導いた式は、(3)を満たす数を入れても、満たされるとは、限りません。
これは、例に、ついての、話です。
そして>>88も全く同じ間違いをしています。
{ r^(p-1)=p
{ x^p+y^p=(x+p^{1/(p-1)})^p
の場合に答えが見つからなかっただけで、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}を満たす数がほかにある、と5に書いてあります
なので88の証明は間違っています。
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}を満たす数がほかにある、と5に書いて
あります
よく理解できません。教えていただけないでしょうか。
109:日高
20/02/13 06:30:48.54 o1Jehs92.net
>101
>>>1
いや、
> (3)が成り立たないので、(1),(2)も成り立たない。
の「(3)が成り立たない」が誤りと言うほうが適切か。
どうしてでしょうか？
110:日高
20/02/13 06:32:41.46 o1Jehs92.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
111:日高
20/02/13 06:35:15.04 o1Jehs92.net
(再掲)
(別解)【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x,y,z,rは自然数とする。
x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
112:１３２人目の素数さん
20/02/13 07:28:15.64 TSf9zeUU.net
>>105
見つけられない答えが1つでもあるなら、1つも答えがないとは言い切れません。
なので>>1は間違っています。
例えば>>107も
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
こうすれば逆の結論になります。>>1はこれと同じ間違いをしています。
113:日高
20/02/13 07:35:18.90 o1Jehs92.net
>109
>1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
こうすれば逆の結論になります。>>1はこれと同じ間違いをしています。
1=(z-y)は、z=5、y=3のとき、成り立ちませんが、
z=5、y=4のとき、成り立ちます。
114:１３２人目の素数さん
20/02/13 07:52:48.56 E6KrNF41.net
ごまかしばかり。反省なし。迷惑行為を永遠に続けるのみ。
本当に害悪だね。
意味ないので返信禁止。
115:１３２人目の素数さん
20/02/13 08:09:10 TSf9zeUU.net
>>110
>>1ではほかの答えなんか探していません
「1=(z-y)は、z=5、y=3のとき、成り立ちません」という文は間違っていないのだから
> { 1=(z-y)
> { (x^p/1)=(z+y)
> が成り立たないので、(3)が成り立たない。
というあなたの理屈が成立するはずですが。
116:日高
20/02/13 09:07:10 o1Jehs92.net
>112
>「1=(z-y)は、z=5、y=3のとき、成り立ちません」という文は間違っていないのだから
> { 1=(z-y)
> { (x^p/1)=(z+y)
> が成り立たないので、(3)が成り立たない。
というあなたの理屈が成立するはずですが。
107は、p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
ことの、証明なので、z=5、y=4のとき、を考えます。
117:１３２人目の素数さん
20/02/13 21:11:28.89 Xm6QgGAr.net
>>106 日高
> >101
> >>>1
> いや、
> > (3)が成り立たないので、(1),(2)も成り立たない。
> の「(3)が成り立たない」が誤りと言うほうが適切か。
>
> どうしてでしょうか？
そこまでの議論では(3)が成り立たないことが証明されていないから。
118:１３２人目の素数さん
20/02/13 21:40:54 Xm6QgGAr.net
URLﾘﾝｸ(kokaji222.blog.fc2.com)が更新されました
119:日高
20/02/13 22:09:49.76 o1Jehs92.net
>114
>>>106 日高
> >101
> >>>1
> いや、
> > (3)が成り立たないので、(1),(2)も成り立たない。
> の「(3)が成り立たない」が誤りと言うほうが適切か。
>
> どうしてでしょうか？
そこまでの議論では(3)が成り立たないことが証明されていないから。
意味が理解できません。
なぜ、(3)が成り立たないことが証明されていないことが、言えるのでしょうか？
理由を教えていただけないでしょうか。
120:１３２人目の素数さん
20/02/13 22:27:11.96 Xm6QgGAr.net
>>116 日高
> 意味が理解できません。
> なぜ、(3)が成り立たないことが証明されていないことが、言えるのでしょうか？
> 理由を教えていただけないでしょうか。
じゃあ、どこに証明があるの？
121:１３２人目の素数さん
20/02/14 00:21:41 dowamLmo.net
>>113
答えになっていません
>>1が正しいならば、同じ理屈で
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
は正しい。
これの証明に間違いがあるというなら、
同じ理屈で>>1の証明は間違っています。
122:１３２人目の素数さん
20/02/14 00:27:38 dowamLmo.net
>>118ちょっと修正
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、z=5、y=3のとき自然数解を持たない。
最後の1行を修正します。
これならz=5、y=4のときの話にはならないので。
123:１３２人目の素数さん
20/02/14 01:41:17.15 F0X8T+S4.net
>>108 日高
> (2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
それ以外のときは？
124:日高
20/02/14 09:21:19 JLZ9DXur.net
>117
>> 意味が理解できません。
> なぜ、(3)が成り立たないことが証明されていないことが、言えるのでしょうか？
> 理由を教えていただけないでしょうか。
じゃあ、どこに証明があるの？
1にあります。
125:日高
20/02/14 09:26:41.43 JLZ9DXur.net
>118
>1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
は正しい。
これの証明に間違いがあるというなら、
同じ理屈で>>1の証明は間違っています。
この証明の命題は、何でしょうか？
126:日高
20/02/14 09:31:44.98 JLZ9DXur.net
>119
>∴pが2のとき、x^p+y^p=z^pは、z=5、y=3のとき自然数解を持たない。
最後の1行を修正します。
これならz=5、y=4のときの話にはならないので。
x=4、z=5、y=3のとき自然数解を持ちます。
127:日高
20/02/14 09:35:15.40 JLZ9DXur.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
128:日高
20/02/14 09:39:13.78 JLZ9DXur.net
(別解)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、x,yが自然数のとき、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
129:日高
20/02/14 09:55:27.64 JLZ9DXur.net
>120
>>>108 日高
> (2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
それ以外のときは？
r^(p-1)={x^(p-1)+…+r^(p-2)x}
ということでしょうか？
130:１３２人目の素数さん
20/02/14 12:35:50.50 F0X8T+S4.net
日高の新公理
AB=CDかつA≠CならばA=D
131:１３２人目の素数さん
20/02/14 12:43:50.79 F0X8T+S4.net
>>121
>>1のどこ？
132:日高
20/02/14 12:54:56.17 JLZ9DXur.net
>127
>日高の新公理
AB=CDかつA≠CならばA=D
違います。
AB=CDならば、A=Cのとき、B=Dとなる。
です。
133:１３２人目の素数さん
20/02/14 12:57:23.77 F0X8T+S4.net
>>129
AB=CDかつA≠Cのときは何が言えますか？
134:日高
20/02/14 12:58:01.30 JLZ9DXur.net
>128
>>>121
>>1のどこ？
1全体です。
135:日高
20/02/14 14:00:33 JLZ9DXur.net
>130
>AB=CDかつA≠Cのときは何が言えますか？
よく意味が理解できません。
具体例を、あげていただけないでしょうか。
136:１３２人目の素数さん
20/02/14 14:36:34.16 F0X8T+S4.net
>>132
一般に何が言えるかをお尋ねしています。
よって具体例をあげることは無意味です。
137:日高
20/02/14 15:01:18.73 JLZ9DXur.net
>132
>>130
>AB=CDかつA≠Cのときは何が言えますか？
A≠Cのときとは、どのようなときでしょうか？
138:日高
20/02/14 15:55:24.56 JLZ9DXur.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
139:１３２人目の素数さん
20/02/14 16:23:02.20 F0X8T+S4.net
>>134
> A≠Cのときとは、どのようなときでしょうか？
えっ、本当にわからないのですか？
140:日高
20/02/14 16:29:39.49 JLZ9DXur.net
>136
>> A≠Cのときとは、どのようなときでしょうか？
えっ、本当にわからないのですか？
はい。
141:日高
20/02/14 16:31:53.43 JLZ9DXur.net
(別解)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、x,yが自然数のとき、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
142:１３２人目の素数さん
20/02/14 17:21:42.44 SiXVoijq.net
ゴミ
143:日高
20/02/14 17:24:53.66 JLZ9DXur.net
>139
>ゴミ
理由を教えていただけないでしょうか。
144:１３２人目の素数さん
20/02/14 19:01:48 F0X8T+S4.net
>>137 日高
A≠Cの意味がわからなくて、A=Cの意味はわかるの？
145:日高いみ
20/02/14 19:45:43 JLZ9DXur.net
>141
>>>137 日高
A≠Cの意味がわからなくて、A=Cの意味はわかるの？
A≠Cの意味は、状況によって、いろいろの意味があります。
146:１３２人目の素数さん
20/02/14 19:59:53.58 dowamLmo.net
>>123
> x=4、z=5、y=3のとき自然数解を持ちます。
>>119の証明が間違っているというのなら
同じ理屈で
>>1の証明も間違っています。
>>119の証明のどこが間違っていますか？
147:日高いみ
20/02/14 20:04:48.65 JLZ9DXur.net
>143
>>>119の証明のどこが間違っていますか？
119の命題は、何でしょうか？
148:１３２人目の素数さん
20/02/14 20:07:37.19 dowamLmo.net
>>144
pが2のとき、x^p+y^p=z^pは、z=5、y=3となるような自然数解を持たない。
149:１３２人目の素数さん
20/02/14 20:15:24.16 F0X8T+S4.net
>>142
> A≠Cの意味は、状況によって、いろいろの意味があります。
じゃあいろいろ書いてみて。
150:日高
20/02/14 20:24:24.53 JLZ9DXur.net
>145
>pが2のとき、x^p+y^p=z^pは、z=5、y=3となるような自然数解を持たない。
命題が、pが2のとき、x^p+y^p=z^pは、z=5、y=3となるような自然数解を持たない。
ならば、119は、正しいです。
151:１３２人目の素数さん
20/02/14 20:28:42.09 gSaUri9B.net
>>147
正しいんだwww
152:日高
20/02/14 20:30:50.41 JLZ9DXur.net
>146
>> A≠Cの意味は、状況によって、いろいろの意味があります。
A=3,B=4,C=6,D=2の場合、
A≠Cとなります。
153:１３２人目の素数さん
20/02/14 20:35:19.10 5EEJqyv0.net
>>147
wwwwww
154:１３２人目の素数さん
20/02/14 20:36:33.85 dowamLmo.net
>>147
>>123
> x=4、z=5、y=3のとき自然数解を持ちます。
矛盾しています。
よって>>1の証明は間違っています。
155:日高
20/02/14 20:45:58.93 JLZ9DXur.net
>148
>>>147
正しいんだwww
>pが2のとき、x^p+y^p=z^pは、z=5、y=3となるような自然数解を持たない。
の場合は、正しいです。が、
p=2のとき、x^p+y^p=z^pは、自然数解を持たない。
の場合は、正しくないです。
156:日高
20/02/14 20:48:38.13 JLZ9DXur.net
>150
>>>147
wwwwww
どういう意味でしょうか？
157:日高
20/02/14 20:50:42 JLZ9DXur.net
>151
>
>>123
> x=4、z=5、y=3のとき自然数解を持ちます。
矛盾しています。
よって>>1の証明は間違っています。
>pが2のとき、x^p+y^p=z^pは、z=5、y=3となるような自然数解を持たない。
の場合は、正しいです。が、
p=2のとき、x^p+y^p=z^pは、自然数解を持たない。
の場合は、正しくないです。
158:１３２人目の素数さん
20/02/14 20:51:30 5EEJqyv0.net
>>153
> wwwwww
こういう独り言のようなレスには
いちいち反応しなくて良いと思うよ
159:日高
20/02/14 20:52:23 JLZ9DXur.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
160:日高
20/02/14 20:55:16 JLZ9DXur.net
(別解)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は�
161:Ar^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。 r=p^{1/(p-1)}となるので、x,yが自然数のとき、zは自然数とならない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
162:１３２人目の素数さん
20/02/14 20:57:42 dowamLmo.net
>>154
「x=4、z=5、y=3のとき自然数解を持ちます。」
この文はあなたが書いたんですよね？
「z=5、y=3となるような自然数解を持たない。」
が正しいという結論とどう考えても矛盾していますが。
163:日高
20/02/14 20:58:02 JLZ9DXur.net
>155
>> wwwwww
こういう独り言のようなレスには
いちいち反応しなくて良いと思うよ
ひと、それぞれだと思います。
164:１３２人目の素数さん
20/02/14 20:59:21 F0X8T+S4.net
>>149
> もっといろいろ書いて。
165:１３２人目の素数さん
20/02/14 21:02:28 5EEJqyv0.net
>>159
> >155
> >> wwwwww
> こういう独り言のようなレスには
> いちいち反応しなくて良いと思うよ
>
> ひと、それぞれだと思います。
それは確かにその通りだね。
166:日高
20/02/14 21:02:59 JLZ9DXur.net
>158
>「x=4、z=5、y=3のとき自然数解を持ちます。」
この文はあなたが書いたんですよね？
そうです。
「z=5、y=3となるような自然数解を持たない。」
が正しいという結論とどう考えても矛盾していますが。
z=5、y=3は、1=(z-y)とならないという意味にとりました。
167:日高
20/02/14 21:06:12 JLZ9DXur.net
>160
>>>149
> もっといろいろ書いて。
無数にあります。
168:１３２人目の素数さん
20/02/14 21:07:34 dowamLmo.net
>>162
> z=5、y=3は、1=(z-y)とならないという意味にとりました。
もちろんその通りです。
しかし
x=4、z=5、y=3はp=2のとき、x^p+y^p=z^pを満たし、もちろんz=5、y=3も満たします。
なので>>119の証明は間違っています。
同じ理屈で>>1の証明は間違っています。
169:１３２人目の素数さん
20/02/14 21:12:34 F0X8T+S4.net
>>163 日高
> >160
> >>>149
> > もっといろいろ書いて。
>
> 無数にあります。
そんなことは聞いていない。もっと例を挙げろと言っているんだ。
170:日高
20/02/14 21:21:39 JLZ9DXur.net
>165
>> > もっといろいろ書いて。
>
> 無数にあります。
そんなことは聞いていない。もっと例を挙げろと言っているんだ。
どうしてでしょうか？何の為でしょうか？
171:日高
20/02/14 21:23:28 JLZ9DXur.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
172:１３２人目の素数さん
20/02/14 21:24:28 F0X8T+S4.net
>>166
君がどこで間違えているかがわかるかもしれないからさ。
173:１３２人目の素数さん
20/02/14 21:42:58.06 dowamLmo.net
改変
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
174:１３２人目の素数さん
20/02/14 21:49:00.10 5EEJqyv0.net
なんかむちゃくちゃだぞ
175:１３２人目の素数さん
20/02/14 21:51:18.50 5EEJqyv0.net
ああそうか>>1じゃないのか
176:１３２人目の素数さん
20/02/14 21:56:27.15 ZDh7ALL5.net
>>168
>>166
A=x^2,C=2x-1の場合A=Cですか？ A≠Cですか？
177:日高
20/02/15 06:08:09 tsltRc/l.net
>164
>x=4、z=5、y=3はp=2のとき、x^p+y^p=z^pを満たし、もちろんz=5、y=3も満たします。
なので>>119の証明は間違っています。
同じ理屈で>>1の証明は間違っています。
z=5、y=3は、1=(z-y)を満たしません。
178:日高
20/02/15 06:10:49 tsltRc/l.net
>168
>>>166
君がどこで間違えているかがわかるかもしれないからさ。
分かりません。
179:日高
20/02/15 06:14:37 tsltRc/l.net
>169
>1=(z-y)は、z=5、y=3のとき、成り立たない。
180: どのような、意味があるのでしょうか？
181:日高
20/02/15 06:20:04 tsltRc/l.net
>172
>A=x^2,C=2x-1の場合A=Cですか？ A≠Cですか？
A≠Cと、A=Cの場合があります。
182:日高
20/02/15 06:21:05 tsltRc/l.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
183:日高
20/02/15 06:23:48.98 tsltRc/l.net
(別解)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、x,yが自然数のとき、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
184:１３２人目の素数さん
20/02/15 06:49:50.13 o+27aUUM.net
>>175
5-3は1ではないという意味です。
正しいですよね？
証明は、○○であるとき△△である、という1つ1つが正しい文を
最初の仮定からつなげていくものなので
「5-3は1ではない」が正しければ
結論が正しいか
他のところが間違えているか
どちらかです。
185:日高
20/02/15 07:44:57.58 tsltRc/l.net
>169
>改変
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
これは、a=2の場合となります。
186:日高
20/02/15 07:48:54.53 tsltRc/l.net
>179
>5-3は1ではないという意味です。
正しいですよね？
5-3は2なので、
(x^2/2)=(z+y)(z-y)の場合となります。
187:日高
20/02/15 08:03:39.29 tsltRc/l.net
>181
訂正
5-3は2なので、
(x^2/2)2=(z+y)(z-y)の場合となります。
188:１３２人目の素数さん
20/02/15 11:00:27.19 Foky8PwC.net
>>176 日高
> >172
> >A=x^2,C=2x-1の場合A=Cですか？ A≠Cですか？
>
> A≠Cと、A=Cの場合があります。
どういう場合にA≠Cでどういう場合にA=Cですか？
189:日高
20/02/15 11:07:48.73 tsltRc/l.net
>183
>>A=x^2,C=2x-1の場合A=Cですか？ A≠Cですか？
>
> A≠Cと、A=Cの場合があります。
どういう場合にA≠Cでどういう場合にA=Cですか？
x=1のとき、A=Cとなります。
それ以外は、A≠Cとなります。
190:１３２人目の素数さん
20/02/15 11:13:59.23 Foky8PwC.net
>>184
多項式と見た場合、等しいですか？
191:１３２人目の素数さん
20/02/15 12:02:23 5MUtodlF.net
汲むべき点が一つもないゴミ
192:日高
20/02/15 12:25:16.37 tsltRc/l.net
>185
>>>184
多項式と見た場合、等しいですか？
どういう意味でしょうか？
193:日高
20/02/15 12:28:22.48 tsltRc/l.net
>186
>汲むべき点が一つもないゴミ
何なのか、分かりません。
194:日高
20/02/15 12:30:54.44 tsltRc/l.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
195:日高
20/02/15 12:32:04.95 tsltRc/l.net
(別解)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、x,yが自然数のとき、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
196:１３２人目の素数さん
20/02/15 12:39:33 o+27aUUM.net
>>182
証明に
> (3)が成り立たない。
> (3)が成り立たないので、(1),(2)も成り立たない。
とあります。
>>1の証明も、(3)以外を調べていません。
よって>>169が間違っているなら、同様に>>1の証明も間違っています。
197:１３２人目の素数さん
20/02/15 13:31:26.22 Foky8PwC.net
>>187 日高
> >185
> >>>184
> 多項式と見た場合、等しいですか？
>
> どういう意味でしょうか？
君、証明の中でA=Cとかって書いてるよね。
多項式として等しいって意味じゃないの？
198:日高
20/02/15 14:00:01.58 tsltRc/l.net
>192
>君、証明の中でA=Cとかって書いてるよね。
多項式として等しいって意味じゃないの？
そういう意味です。
199:１３２人目の素数さん
20/02/15 14:03:53.89 Foky8PwC.net
>>190 日高
> (別解)
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
> (1)を(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}…(2)とする。
> (2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
ここの、(1)から(2)への式の展開は何の意味もないよ。
200:１３２人目の素数さん
20/02/15 14:05:39.15 Foky8PwC.net
>>193 日高
> >192
> >君、証明の中でA=Cとかって書いてるよね。
> 多項式として等しいって意味じゃないの？
>
> そういう意味です。
じゃあその定義は？ 言えるよね。
201:日高
20/02/15 14:07:01.70 tsltRc/l.net
>194
>> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
> (1)を(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}…(2)とする。
> (2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
ここの、(1)から(2)への式の展開は何の意味もないよ。
どうしてでしょうか？理由を教えていただけないでしょうか。
202:日高
20/02/15 14:11:34.51 tsltRc/l.net
>195
>> >君、証明の中でA=Cとかって書いてるよね。
> 多項式として等しいって意味じゃないの？
>
> そういう意味です。
じゃあその定義は？ 言えるよね。
A=Cとなるものは、OKです。
203:１３２人目の素数さん
20/02/15 14:15:25 Foky8PwC.net
>>196 日高
> どうしてでしょうか？理由を教えていただけないでしょうか。
じゃあなんの意味があるの？
204:１３２人目の素数さん
20/02/15 14:16:59 Foky8PwC.net
>>197 日高
> > じゃあその定義は？ 言えるよね。
>
> A=Cとなるものは、OKです。
だから、その定義を言ってごらん、と言っているんだ。
205:１３２人目の素数さん
20/02/15 14:20:39 o+27aUUM.net
>>182
証明に
> (3)が成り立たないので、(1),(2)も成り立たない。
と書いてあります。
> (x^2/2)2=(z+y)(z-y)の場合となります。
これは(2)ですよね？
(3)が成り立たないなら、(2)も成り立たない。自明のことです。
よって>>169の結論が正しいか
他のところが間違えているか
どちらかです。
206:日高
20/02/15 14:24:05 tsltRc/l.net
>198
>> どうしてでしょうか？理由を教えていただけないでしょうか。
じゃあなんの意味があるの？
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなるので、
r=p^{1/(p-1)}となります。
207:日高
20/02/15 14:26:22 tsltRc/l.net
>199
>> A=Cとなるものは、OKです。
だから、その定義を言ってごらん、と言っているんだ。
特別な、定義はありません。
208:１３２人目の素数さん
20/02/15 14:29:20 Eu/mUOm+.net
>>201 日高
> >198
> >> どうしてでしょうか？理由を教えていただけないでしょうか。
>
> じゃあなんの意味があるの？
>
> (2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなるので、
r=p^{1/(p-1)}となります。
(1)に代入したってそうなるじゃん。
209:１３２人目の素数さん
20/02/15 14:31:17 Eu/mUOm+.net
>>202 日高
> >199
> >> A=Cとなるものは、OKです。
>
> だから、その定義を言ってごらん、と言っているんだ。
>
> 特別な、定義はありません。
定義なしじゃあ議論できないだろう？
210:日高
20/02/15 14:33:53 tsltRc/l.net
>200
>よって>>169の結論が正しいか
他のところが間違えているか
どちらかです。
結論「pが2のとき、x^p+y^p=z^pは自然数解を持たない。」
は、間違いです。
211:日高
20/02/15 14:39:44 tsltRc/l.net
>203
>> (2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなるので、
r=p^{1/(p-1)}となります。
(1)に代入したってそうなるじゃん。
(1)にr=p^{1/(p-1)}を代入しても、そうなります。
212:日高
20/02/15 14:42:19 tsltRc/l.net
>204
>> 特別な、定義はありません。
定義なしじゃあ議論できないだろう？
強いて、言えば「A=Cとなるものは、OKです。」が定義となります。
213:日高
20/02/15 14:44:25 tsltRc/l.net
（再掲）
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
これを、(x^p/1)=(z+y)に代入すると、x=3のとき、成り立つ。
(3)が成り立つので、(1),(2)も成り立つ。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
214:１３２人目の素数さん
20/02/15 14:45:14 o+27aUUM.net
>>205
証明というのは
(仮定)ならば△△である、は正しい
△△ならば◇◇である、は正しい
△△ならば〇〇である、は正しい
○○ならば(結論)である、は正しい
のように、正しい分をつなげていくものなので
結論だけ間違っている、ということはありません。
>>169の結論は正しいか、
別のところが間違っ
215:ているか どちらかです。
216:日高
20/02/15 14:45:46 tsltRc/l.net
(別解)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)を(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}…(2)とする。
(2)は、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^pとなる。
r=p^{1/(p-1)}となるので、x,yが自然数のとき、zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
217:１３２人目の素数さん
20/02/15 14:48:29 Eu/mUOm+.net
>>206 日高
じゃあそうすりゃいいじゃん。
218:日高
20/02/15 14:49:44 tsltRc/l.net
>209
>証明というのは
(仮定)ならば△△である、は正しい
△△ならば◇◇である、は正しい
△△ならば〇〇である、は正しい
○○ならば(結論)である、は正しい
のように、正しい分をつなげていくものなので
結論だけ間違っている、ということはありません。
>>169の結論は正しいか、
別のところが間違っているか
どちらかです。
169の結論は間違いです。
219:１３２人目の素数さん
20/02/15 14:51:37 Eu/mUOm+.net
>>207 日高
> 強いて、言えば「A=Cとなるものは、OKです。」が定義となります。
それじゃ定義にならないよ。そんな態度で議論してたのか、いままで。
教科書読め。
220:日高
20/02/15 14:52:38 tsltRc/l.net
>211
>>>206 日高
じゃあそうすりゃいいじゃん。
根拠が、必要です。
221:１３２人目の素数さん
20/02/15 14:53:52 o+27aUUM.net
>>212
>>208と同じ理屈しか使っていないので
>>169の結論が間違いならば、>>208は間違いです。
222:１３２人目の素数さん
20/02/15 14:54:57 Eu/mUOm+.net
>>212
日高はまともに勉強してきてないから、
間違った証明なるものを見たことがない。
よって日高にとってはすべての証明は正しい！
223:日高
20/02/15 14:55:23 tsltRc/l.net
>213
>> 強いて、言えば「A=Cとなるものは、OKです。」が定義となります。
それじゃ定義にならないよ。そんな態度で議論してたのか、いままで。
教科書読め。
どうして、定義にならないのでしょうか？
224:１３２人目の素数さん
20/02/15 14:57:38 Eu/mUOm+.net
>>214 日高
> >211
> >>206 日高
> じゃあそうすりゃいいじゃん。
>
> 根拠が、必要です。
これこれとおく、のに根拠なんかいらないよ。