[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
354: 2019/12/25(水)12:50 ID:eHLbauhI(2/4) AAS
日高ｶﾞﾝｶﾞﾚ〰！
355: 2019/12/25(水)12:50 ID:eHLbauhI(3/4) AAS
日高ｶﾞﾝｶﾞﾚ〰!
356: 2019/12/25(水)12:51 ID:eHLbauhI(4/4) AAS
あ、２投...５めんなψ...
357: 2019/12/25(水)12:55 ID:SGQTkl/E(2/2) AAS
>>334
それからどうなります？
まだ証明されていません。
358(1): 2019/12/25(水)13:51 ID:Vvgqq9qg(5/5) AAS
>>345
> >335
> >じゃあ、話が戻って、
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
> オマエは、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1しかありえないと主張したんだから、それを証明しろ。
>
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
> > (1)1=(2x+5y)、8=(x+3y)、x=-37、y=15(連立方程式の解)
> > (2)2=(2x+5y)、4=(x+3y)、x=-14、y=6(連立方程式の解)
> > (3)4=(2x+5y)2=(x+3y)、x=2、y=0(連立方程式の解)
省4
359(1): 2019/12/25(水)14:16 ID:PhlXHftl(3/4) AAS
>>349
>2×4、4×2、8×1の解は、8を分解して、連立方程式の形を作れば他の解を導けます。
>{2=2x,3=3y}から、6=(2x)(3y)が作れるので、分解して、{6=2x,1=3y}をつくります。
貴方は自分が何を申しているのか、理解しているのか？
『分解し直す』という事は『1×8以外のパターンが必要』という事であろうが。
貴方の主張では、他のパターンは『意味が無い』のだから不要であろう？
なら、『分解し直す』は禁じ手である。
省3
360(1): 2019/12/25(水)16:00 ID:AQXcu0xg(1) AAS
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は人類をはるか超越するレベルです。
｜の｜
｜本｜ p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のとき p = 1 であることを証明
｜は｜
｜読｜ (100^(1/7))^7 + (200^(1/7))^7 = 300^(1/7) ⇔ 100 + 200 = 300
｜ん｜
｜で｜ 100 + 200 = 300 ⇔ 100^1 + 200^1 = 300^1 ∴1 = 7
省5
361: 2019/12/25(水)16:11 ID:FTCilfk1(1/2) AAS
>>360
またこのコピペか
362: めだか 2019/12/25(水)16:12 ID:FTCilfk1(2/2) AAS
女子っぽいな
363(1): 2019/12/25(水)19:45 ID:AGL/SK0w(1) AAS
2x+5yは>>218で初めて現れた一種の例であってフェルマーの最終定理の簡単な証明とは無関係？
364: 2019/12/25(水)21:58 ID:PhlXHftl(4/4) AAS
>>363
その通りだ。
フェルマーの最終定理とは何ら関係無い。
故に無視してもらって構わない。
記法が出鱈目で申し訳無いが、下記の実例を挙げたまでだ。
>詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
>貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
（正直、この例で一目瞭然と見込んでいたのだが、中々手強いな。）
365(1): 2019/12/26(木)01:18 ID:ZF0qc8os(1) AAS
zが素数でない場合もありますよね。
366: 2019/12/26(木)08:39 ID:YOrB1HpQ(1/2) AAS
日高センセーと
外部ﾘﾝｸ[html]:oshiete.goo.ne.jp
は、どっちがすごいのだろうか？
367: 2019/12/26(木)09:56 ID:AicH2D8x(1/3) AAS
ゐぢわるぢぢゐ〜！
368: 2019/12/26(木)10:00 ID:AicH2D8x(2/3) AAS
助けてーっ！いぢわるぢぢぃがーっ！
しつこくスレを襲撃してくるーっ！！
369: 2019/12/26(木)10:02 ID:AicH2D8x(3/3) AAS
嫌みなのーっ！嫌みでしつこいの〜！
ゐぢわるぢぢゐが数学を拗らせて
しつこく弄くり倒してくるの〜っ！
370(1): 2019/12/26(木)10:51 ID:JxRz1hAx(1) AAS
いい年したおっさんがこれを書いてると思うと泣けてくる
371(2): 2019/12/26(木)11:04 ID:xP5G3+jE(1) AAS
皆さんここは無法地帯なので逃げてください
また変な日高を応援するやつは無視してください
372: 2019/12/26(木)11:20 ID:PvMFGgT4(1/3) AAS
>>371
＞変な日高を応援するやつ×
日高を応援する変なやつ○
↑の間違いでは？
373: 2019/12/26(木)11:22 ID:PvMFGgT4(2/3) AAS
２択の確率も外してるのに。。。
数学って・・・😏💨ﾌﾟｯ!
374: 2019/12/26(木)11:24 ID:PvMFGgT4(3/3) AAS
>>370
２択程度の確率も外すミス力
>>371
日本語文おかしい。
泣けてくる( つД｀)
375(1): 日高 2019/12/26(木)17:37 ID:ZucFvsRL(1/6) AAS
>359
>1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
a=(2x+5y)、b=(x+3y) のとき、
a*b=8ならば、8=(2x+5y)(x+3y)となります。
解x,yの組み合わせは、無数にあります。
376(1): 2019/12/26(木)18:11 ID:HAc9OTqc(1) AAS
それって、x,yは自然数？ 有理数？ それとも実数？
377(1): 2019/12/26(木)18:17 ID:ByNxs/CF(1/2) AAS
>>375
質問に対する回答になっていないと、何度指摘すれば理解出来るのだ？
>1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
出来たのか否か、申せ。
否なら、出来ない理由を考えよ。
可なら、此処に示せ。
378(1): 日高 2019/12/26(木)19:33 ID:ZucFvsRL(2/6) AAS
>377
>>1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
否なら、出来ない理由を考えよ。
>可なら、此処に示せ。
否です。
379: 日高 2019/12/26(木)19:36 ID:ZucFvsRL(3/6) AAS
>376
>それって、x,yは自然数？ 有理数？ それとも実数？
実数です。
380: 日高 2019/12/26(木)19:44 ID:ZucFvsRL(4/6) AAS
>365
>zが素数でない場合もありますよね。
はい。
381(1): 2019/12/26(木)20:00 ID:ByNxs/CF(2/2) AAS
>>378
>否です。
理由を考えよ。
逆に、何が在れば導ける？
382: 日高 2019/12/26(木)20:04 ID:ZucFvsRL(5/6) AAS
>381
>理由を考えよ。
>逆に、何が在れば導ける？
わかりません。
383(2): 2019/12/26(木)20:14 ID:IhRm0mKZ(1) AAS
わからないのに正しいと言い張る理屈がわからない
384(1): 日高 2019/12/26(木)20:18 ID:ZucFvsRL(6/6) AAS
>383
>わからないのに正しいと言い張る理屈がわからない
a=(2x+5y)、b=(x+3y) のとき、
a*b=8ならば、8=(2x+5y)(x+3y)となります。
解x,yの組み合わせは、無数にあります。
このことが理由です。
385(1): 2019/12/26(木)21:07 ID:gB9lN63o(1/2) AAS
それで、フェルマーの最終定理の簡単な証明はどうなった？
386(2): 2019/12/26(木)21:09 ID:w1J3ReH4(1) AAS
>>384
> >383
> >わからないのに正しいと言い張る理屈がわからない
>
> a=(2x+5y)、b=(x+3y) のとき、
> a*b=8ならば、8=(2x+5y)(x+3y)となります。
> 解x,yの組み合わせは、無数にあります。
>
> このことが理由です。
理由になっていないからだめだといわれているのだろうが。
省2
387: 2019/12/26(木)22:44 ID:YOrB1HpQ(2/2) AAS
日高センセーは数学より漫才のほうがいいと思う
388(1): 2019/12/26(木)23:05 ID:FNVa88Jd(1) AAS
文A:A=BC ならば、C=1としたとき、B=A となる。
考察A
1つでもB=Aとならない例があれば、文Aは間違いである。
例として15=(x+1)(x-1)という等式をxが満たすときを考える。
このときA=15、B=(x+1)、C=(x-1)
15×1=(x+1)(x-1)
x-1=1としたとき、x=2
左辺の左側は15、右辺の左側は3
よってB=Aとならない
B=Aとならない例があったので、文Aは間違いである。…結果A
389(1): 2019/12/26(木)23:07 ID:gB9lN63o(2/2) AAS
a=2x+5y,b=x+3yならばx=3a-5b,y=-a+2b。
390: 日高 2019/12/27(金)06:08 ID:40kRiIy3(1/19) AAS
>385
>それで、フェルマーの最終定理の簡単な証明はどうなった？
１を読んで下さい。
今の議論は、例です。
391(1): 日高 2019/12/27(金)06:14 ID:40kRiIy3(2/19) AAS
>386
>理由になっていないからだめだといわれているのだろうが。
本人の思い込みは根拠にならない。
理由になるというなら、その裏付けを示せ。
a=(2x+5y)、b=(x+3y) のとき、
> a*b=8ならば、8=(2x+5y)(x+3y)となります。
> 解x,yの組み合わせは、無数にあります。
上記の事を簡単に言うと、
A=B、C=Dならば、AC=BDとなる。です。
392(1): 日高 2019/12/27(金)06:46 ID:40kRiIy3(3/19) AAS
>388
>文A:A=BC ならば、C=1としたとき、B=A となる。
考察A
1つでもB=Aとならない例があれば、文Aは間違いである。
例として15=(x+1)(x-1)という等式をxが満たすときを考える。
このときA=15、B=(x+1)、C=(x-1)
15×1=(x+1)(x-1)
x-1=1としたとき、x=2
左辺の左側は15、右辺の左側は3
よってB=Aとならない
省3
393: 日高 2019/12/27(金)07:08 ID:40kRiIy3(4/19) AAS
>389
>a=2x+5y,b=x+3yならばx=3a-5b,y=-a+2b。
その通りですね。
x,yは、a,bの組み合わせによって決まりますね。
394: 日高 2019/12/27(金)07:16 ID:40kRiIy3(5/19) AAS
>392
A=BC ならば、C=1としたとき、B=A となる。ので、
15=(x+1)(x-1)を満たすのは、x=4、x=-4のときのみです。
「A=BC ならば、」の意味は、
A=BCとなるとき、
A=BCをみたすとき、
の意味です。
395: 日高 2019/12/27(金)09:04 ID:40kRiIy3(6/19) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2=(z+y)(z-y)…(1)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の自然数を代入すると、yは、自然数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
396(2): 2019/12/27(金)09:33 ID:RI/CI7cJ(1/4) AAS
>>391
> >386
> >理由になっていないからだめだといわれているのだろうが。
> 本人の思い込みは根拠にならない。
> 理由になるというなら、その裏付けを示せ。
>
> a=(2x+5y)、b=(x+3y) のとき、
> > a*b=8ならば、8=(2x+5y)(x+3y)となります。
> > 解x,yの組み合わせは、無数にあります。
>
省5
397(1): 日高 2019/12/27(金)09:39 ID:40kRiIy3(7/19) AAS
>396
>> A=B、C=Dならば、AC=BDとなる。です。
本人の思い込みは聞いてない。
A=B、C=Dならば、AC=BD
は、思い込みでしょうか？
398: 2019/12/27(金)09:44 ID:RI/CI7cJ(2/4) AAS
>>397
> >396
> >> A=B、C=Dならば、AC=BDとなる。です。
> 本人の思い込みは聞いてない。
>
> A=B、C=Dならば、AC=BD
> は、思い込みでしょうか？
それが理由に成るというのが思い込み。
それを使っても何にも説明になってない。
399(1): 2019/12/27(金)10:56 ID:oOklA3h9(1/4) AAS
>>1なら
> (1)の左辺の右側と右辺の右側は等しいので
が誤り。
400: 2019/12/27(金)11:09 ID:RI/CI7cJ(3/4) AAS
結局のところ、日高は本人論理が破綻しているから思い込みと証明の区別が出来ないわけで、
必死になって小学生〜中学生あたりの算数・数学・国語を勉強する以外に解決策は無い。
勉強するのを必死に避けているのだから、「証明」などといった嘘を主張するのはやめるべき。
401: 2019/12/27(金)11:10 ID:RI/CI7cJ(4/4) AAS
ちょっとミスった。
結局のところ、日高は本人の論理が破綻しているから、思い込みと証明の区別が出来ないわけで、
必死になって小学生〜中学生あたりの算数・数学・国語を勉強する以外に解決策は無い。
勉強するのを必死に避けているのだから、「証明」などといった嘘を主張するのはやめるべき。
402: 日高 2019/12/27(金)11:11 ID:40kRiIy3(8/19) AAS
>399
> (1)の左辺の右側と右辺の右側は等しいので
が誤り。
よろしければ、誤りの理由を教えていただけないでしょうか。
403(1): 2019/12/27(金)11:14 ID:oOklA3h9(2/4) AAS
>>16を読み直してください。
404(1): 日高 2019/12/27(金)11:55 ID:40kRiIy3(9/19) AAS
>403
>>>16を読み直してください
訂正します。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たすx,yを求めます。
405(3): 2019/12/27(金)11:58 ID:agCU/ANF(1/3) AAS
>>358
> >>345
>
> > >335
> > >じゃあ、話が戻って、
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
> > オマエは、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1しかありえないと主張したんだから、それを証明しろ。
> >
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
これが証明出来てない。
省1
406(4): 日高 2019/12/27(金)12:43 ID:40kRiIy3(10/19) AAS
>405
>> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1を満たすx,yを求めます。
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
これが証明出来てない。
z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}なので、
連立方程式
1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z^p=(x+y)
の解x,yを求めます。
省3
407: 2019/12/27(金)13:01 ID:OYQpEK26(1/2) AAS
>>406
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
408: 日高 2019/12/27(金)13:06 ID:40kRiIy3(11/19) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2=(z+y)(z-y)…(1)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の自然数を代入すると、yは、自然数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
409(2): 2019/12/27(金)13:16 ID:oOklA3h9(3/4) AAS
>>404
>>16は恒等式の話をしているんだよ。方程式との違いはわかってるよね？
410(2): 2019/12/27(金)13:37 ID:agCU/ANF(2/3) AAS
>>406
> >405
> >> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
>
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1を満たすx,yを求めます。
>
> > > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
> これが証明出来てない。
>
> z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}なので、
省9
411(2): 2019/12/27(金)13:42 ID:agCU/ANF(3/3) AAS
>>410
> >>406
>
> > >405
> > >> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
> >
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1を満たすx,yを求めます。
> >
> > > > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
> > これが証明出来てない。
省12
412(1): 日高 2019/12/27(金)13:43 ID:40kRiIy3(12/19) AAS
>409
>>>16は恒等式の話をしているんだよ。方程式との違いはわかってるよね？
よく意味がわかりません。
413: 日高 2019/12/27(金)13:45 ID:40kRiIy3(13/19) AAS
>410
>全く証明になってない。意味なし。
理由を教えていただけないでしょうか。
414(1): 日高 2019/12/27(金)13:46 ID:40kRiIy3(14/19) AAS
>411
>どの教科書のどんな論理や定理を使ったのか、すべての行について説明できなければ、証明ではない。
なぜでしょうか？
415(1): 2019/12/27(金)13:50 ID:OYQpEK26(2/2) AAS
爺さんは方程式と恒等式の違いもわからんのかwwwwwwww
416: 2019/12/27(金)14:06 ID:OcEQUIYZ(1/4) AAS
>>415
お爺さんじゃないよ
417: 2019/12/27(金)14:09 ID:OcEQUIYZ(2/4) AAS
意地悪爺が仲間を増やそうとして
日高っちを高齢化させようとしてる...
助けて〜！意地悪爺が〜！！
粘着嫌がらせがしつっこいの〜！！！
418: 2019/12/27(金)14:10 ID:OcEQUIYZ(3/4) AAS
日高っちをおんなじデイに連れてこうとして。。。？？？
スレストーカー爺の勧誘が〜！？？
419: 2019/12/27(金)14:11 ID:OcEQUIYZ(4/4) AAS
意地悪爺はデッカイ箱でも選んで
オバケに噛まれてて下さい♪
420(1): 日高 2019/12/27(金)14:23 ID:40kRiIy3(15/19) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2=(z+y)(z-y)…(1)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の自然数を代入すると、yは、自然数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
421(1): 2019/12/27(金)15:23 ID:oOklA3h9(4/4) AAS
>>420
> x^2=2y+1…(3)となる。
> (3)のxに任意の自然数を代入すると、yは、自然数となる。
xが偶数のときはなりませんけど。
422(1): 日高 2019/12/27(金)15:27 ID:40kRiIy3(16/19) AAS
>421
>x^2=2y+1…(3)となる。
> (3)のxに任意の自然数を代入すると、yは、自然数となる。
xが偶数のときはなりませんけど。
xが偶数のときは,ｙは有理数となります。
423: 日高 2019/12/27(金)15:29 ID:40kRiIy3(17/19) AAS
>422
自然数を有理数に訂正します。
424(3): 日高 2019/12/27(金)15:32 ID:40kRiIy3(18/19) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2=(z+y)(z-y)…(1)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
425(1): 2019/12/27(金)16:46 ID:pwwq6VLo(1) AAS
>>424
>x^2=2y+1…(3)となる。
> (3)のxに任意の有理数を代入すると、yは、有理数となる。
> ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
x が偶数なら駄目って指摘なんだから、
3 以上の任意の奇数ってすればいいのに
どうして変な方に行っちゃうかなあ。
x=±1 や負の有理数の時に自然数解に持ってけませんがな。
426(1): 日高 2019/12/27(金)17:24 ID:40kRiIy3(19/19) AAS
>425
>x が偶数なら駄目って指摘なんだから、
3 以上の任意の奇数ってすればいいのに
どうして変な方に行っちゃうかなあ。
x=±1 や負の有理数の時に自然数解に持ってけませんがな。
xを奇数とすると、z-y=1の組み合わせしかできません。
xに任意の有理数を代入して、x,y,zを整数比に直します。
427(1): 2019/12/27(金)17:48 ID:sHp2sMzH(1/2) AAS
>>426
> x=±1 や負の有理数の時に自然数解に持ってけませんがな。
>
> xを奇数とすると、z-y=1の組み合わせしかできません。
> xに任意の有理数を代入して、x,y,zを整数比に直します。
どうして駄目な場合の実例挙げてるのに試さないかなあ。
x=±1 の時にどうやって自然数解に持ってくのさ？
428(1): 2019/12/27(金)19:59 ID:3f/laHHg(1/7) AAS
>>412 日高
> >409
> >>>16は恒等式の話をしているんだよ。方程式との違いはわかってるよね？
>
> よく意味がわかりません。
xやyにどんな数を入れても成り立つのが恒等式、
特定の値でのみ成り立つのが方程式だ。
x^3+y^3=(x+y)(x^2-xy+y^2)は恒等式。
恒等式から正しい推論で得られた式はまた恒等式となる。
日高氏は(x^3+y^3)×1=(x+y)(x^2-xy+y^2)と変形し
省3
429: 2019/12/27(金)20:13 ID:Fs2FsdzP(1) AAS
>>414
> >411
> >どの教科書のどんな論理や定理を使ったのか、すべての行について説明できなければ、証明ではない。
>
> なぜでしょうか？
説明出来無いということは本人の思い込みだから。
おまけに、勉強してないから信用無いから。
430(1): 2019/12/27(金)20:20 ID:3f/laHHg(2/7) AAS
>>406 日高
> z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}なので、
> 連立方程式
> 1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
> z^p=(x+y)
> の解x,yを求めます。
が間違い。
431(3): 2019/12/27(金)20:20 ID:MpFmAnls(1/5) AAS
全称量化子
すべての元
任意の元
各元
存在量化子
ある元
適当な元
たとえば
二次関数 y：=ax^2+bx+c (a≠0)
∀x：独立変数
省23
432: 2019/12/27(金)20:23 ID:MpFmAnls(2/5) AAS
>>431
∃1y：従属変数
433(1): 2019/12/27(金)20:34 ID:MpFmAnls(3/5) AAS
変数は全称量化子だということはわかるのだが
定数をどうするのかで迷い難しい
定数といえば通常固定されたものであるが
任意定数というものがあるし
任意のものは固定されて選ばれる
つまり任意の定数と固定された定数の違いがよくわからないのだ
そこで全称量化子の「任意の」を「すべての」に読みかえて
定数の成立範囲を考えることが妥当なように思われる
このように定数の扱いは文脈に依存するので
定数は真理値を持たず量化できないと考える方がよいかも知れない
省1
434: 2019/12/27(金)20:35 ID:lU/pIHWl(1/4) AAS
>>424
何故(z-1)を1と出来るのか意味わからん
435(2): 2019/12/27(金)20:38 ID:lU/pIHWl(2/4) AAS
すまん誤記
(z-1)を1とおく×
(z-y)=1とするってとこ意味がわかりません
436: 2019/12/27(金)20:41 ID:3f/laHHg(3/7) AAS
AB=CDならばA=C,B=Dと思い込んでいるから。
437: 2019/12/27(金)20:43 ID:MpFmAnls(4/5) AAS
北海道大学大学院理学院の朝倉先生は僕に
すべての記号に全称か特称の記号を付けろ
という無理難題をふっかけてきたのだが
開論理式と閉論理式があるということを伝えればよかった
当時は意味不明でそれだけで混乱し
意味不明だったから
438(2): 2019/12/27(金)20:49 ID:lU/pIHWl(3/4) AAS
そういうことかw
その理屈でいくなら
(z+y)(z-y)を入れ換えても同じだから
(z+y)=1=(z-y)とかどう考えてもおかしなことが起きるねw
謎理論すぎるw
439(1): 2019/12/27(金)20:51 ID:3f/laHHg(4/7) AAS
それに「A=C,B=D」を「A=CならばB=D」の意味で使うこともあるので要注意。
440(4): 2019/12/27(金)20:53 ID:sHp2sMzH(2/2) AAS
>>435
p=2 の場合、そこは問題ないんだ。
自然数解の存在証明なので、一例でもあげられれば勝ちだから、
無根拠に z-y=1 として、それで自然数解を見つける方法を示せれば証明完了で、
全ての組み合わせを見つけなくてもいい。
でも、p が奇素数の場合は非存在証明なので
全ての場合を網羅しなきゃいけないから、
この手法では足りなくて、そこを突かれてるけど
いつも通りのらりくらり。
441: 2019/12/27(金)20:58 ID:3f/laHHg(5/7) AAS
>>439
もう少し詳しく書くと「A=C,B=D」は
上から読んでくるときは「A=CならばB=D」の意味
下へ続くときは「A=CかつB=D」の意味
「ならば」と「かつ」の区別がついていない
442: 2019/12/27(金)20:59 ID:MpFmAnls(5/5) AAS
つまりリーマン予想が解決してから
この問題を考えた方がよいってことかｗ
いやここからリーマン予想が解決できるのかも知れないｗ
443: 2019/12/27(金)21:03 ID:lU/pIHWl(4/4) AAS
なるほど
pが奇素数の時に穴があるのね。
せんきぅ！
444(2): 2019/12/27(金)21:46 ID:DQ+Mstvl(1) AAS
>>438
日高はxを素数だと思い込んでいる。
したがって、(z+y)(z-y)の約数はx^2,x,1である。
z+y>z-yだからz-y=1だというとんでも論理を主張している。
445(2): 2019/12/27(金)21:52 ID:3f/laHHg(6/7) AAS
>>444
> z+y>z-yだからz-y=1だというとんでも論理を主張している。
いや，それは違うと思う。自分がx^2×1=(z+y)(z-y)と書いたら
x^2=z+y,1=z-yとなると思い込んでいるんだ。
446(2): 2019/12/27(金)22:44 ID:3f/laHHg(7/7) AAS
しかし，意気揚々と「X:Y:Z=x:y:zとなる」と主張していた日高氏はどこへ行ってしまったのか。
447: 2019/12/27(金)23:06 ID:t0lcl5AJ(1) AAS
>>446
ハワイ🌴🏄
448(1): 2019/12/27(金)23:48 ID:/CiTG9Cr(1) AAS
>>433
それは数理論理学ですか？
449(1): 2019/12/28(土)00:32 ID:fyAf2PLp(1/2) AAS
>>448
いや数学の前提で学ぶ集合と位相に在る論理程度のもの
450: 2019/12/28(土)00:41 ID:fyAf2PLp(2/2) AAS
>>431
二次関数について
y：=ax^2+bx+c (a≠0)
∀x：独立変数
∃1y：従属変数
∃a,b,c：定数
定数は固定した方がよいと考え直した
等式は量化子がいらないと考えた
等式 y=ax^2+bx+c (a,b,c,x,y：文字)
省8
451: 2019/12/28(土)00:55 ID:HdgiNuEU(1) AAS
>>449
ありがとう
452(1): 日高 2019/12/28(土)09:38 ID:bWyUqG08(1/15) AAS
>427
>どうして駄目な場合の実例挙げてるのに試さないかなあ。
x=±1 の時にどうやって自然数解に持ってくのさ？
x=1のとき、
1^2=2y+1、y=0
x=-1のとき、
(-1)^2=2y+1、y=0
1^2+0^2=1^2となります。整数解となります。
453(1): 日高 2019/12/28(土)09:49 ID:bWyUqG08(2/15) AAS
>428
>日高氏は(x^3+y^3)×1=(x+y)(x^2-xy+y^2)と変形し
1=x^2-xy+y^2を導いたつもりだろうが、
x=2,y=3を代入すれば1=7という誤った式が得られるので
日高氏の推論は誤りであると結論される。
(x^3+y^3)×1=(x+y)(x^2-xy+y^2)と変形してはいません。
(z^3)×1=(x+y)(x^2-xy+y^2)と変形しました。
上下前次1-新書関写板覧索設栞歴
あと 549 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s