21/11/04 19:55:32.18 8sPxGLVD.net
√2=m/n(m,nは互いに素な整数)とおく。
2n^2=m^2でmは偶数だから整数kを用いてm=2kとおける
↑これがわからん
2n^2=m^2→mは偶数 は自明じゃなくない？もっと言うと√2が有理数と仮定してるからm=√2kではだめなのか？
2:１３２人目の素数さん
21/11/04 20:07:57.53 CSv3OMVY.net
> 2n^2=m^2→mは偶数 は自明じゃなくない？
そうだね
だったら証明すればいいじゃん
3:１３２人目の素数さん
21/11/04 20:08:28.94 SpL0wNa+.net
>>1
mは偶数か奇数
mを奇数とするとm^2も奇数
2n^2は偶数なので矛盾
したがってmは偶数
4:１３２人目の素数さん
21/11/04 20:09:16.93 aEvD2wWJ.net
おまいら優しいな。ひまなんか
5:１３２人目の素数さん
21/11/04 20:09:45.15 /jbmBqxn.net
そんなことより行方不明になった靴下の片方のことの方が大事
6:１３２人目の素数さん
21/11/04 20:10:37.74 aEvD2wWJ.net
俺が履いてる。ごめん。いつか返すわ
7:１３２人目の素数さん
21/11/04 20:34:56.40 8sPxGLVD.net
>>3
納得した
8:１３２人目の素数さん
21/11/04 21:37:35.63 4xhE1ONN.net
>>1
単発質問禁止
9:１３２人目の素数さん
21/11/04 22:47:04.17 FdE/2LJI.net
大学でちゃんと数学勉強した高校の先生なら
>√2=m/n(m,nは互いに素な整数)とおく。
というところで，なんかコメントがあるはずなんだが
10:１３２人目の素数さん
21/11/05 12:06:02.02 g7vILv+u.net
n≠0
11:１３２人目の素数さん
21/11/05 13:15:01.13 mxsulB4b.net
それは平凡な高校生でも分かることだから、何か凄いコメントがあるんじゃない
12:１３２人目の素数さん
21/11/05 14:08:34.90 g7vILv+u.net
凄いコメントに期待
13:１３２人目の素数さん
21/11/06 21:10:39.93 urj0H0
14:GL.net
15:１３２人目の素数さん
21/11/07 01:44:38.54 H6MTOwMn.net
>>13
x－1＝x
-1＝1/ x²
x=0で割るな
16:１３２人目の素数さん
21/11/07 15:10:57.99 klWJg4Ch.net
>>12
ローカルルールワロタ
17:１３２人目の素数さん
21/11/09 02:04:28.53 w8WlgVT8.net
>>3
> mは偶数か奇数
は成り立つのかな。
mが素因数2を含むか含まぬか、確定するのだろう。
類数(イデアル類群の位数)が1のときは UFD だから成り立つだろう。
たとえば 虚二次体Z[√(-5)] なんかを考えると 2･3 = 6 = (1+√(-5))(1-√(-5)) となる。
右側のように因数分解すれば2を含まないから、奇数かな。
mは偶数か奇数、となるのはUFDの場合？
18:１３２人目の素数さん
21/11/09 02:25:36.52 w8WlgVT8.net
・先行スレ
無理数が存在しないことを証明した (2018/11/24～)
ｽﾚﾘﾝｸ(math板)
19:１３２人目の素数さん
21/11/09 12:46:45.84 XkFKy5Rn.net
>>16
> 虚二次体Z[√(-5)]
体じゃねーし
>mは偶数か奇数、となるのはUFDの場合？
それを論ずるにはまず整数以外における偶数、奇数を定義しないと
20:１３２人目の素数さん
21/11/11 22:18:07.76 8XjtTgeP.net
まあ>>1の気持ちはわかる
それってつまり√2が無理数だから√2が無理数と言ってるようなもんだからね
21:１３２人目の素数さん
21/11/11 23:11:32.61 dEATU11y.net
バカ登場
22:１３２人目の素数さん
21/11/12 03:19:33.36 U5UI+1BJ.net
互いに素に矛盾するなら互いに素じゃないだけだよな
23:１３２人目の素数さん
21/11/12 13:44:08.53 vvEKFiZa.net
んだんだ
だから√2は互いに素な分数にはならないのであーる
24:１３２人目の素数さん
21/11/14 19:25:11.18 jzMQoxeJ.net
バカ登場
25:１３２人目の素数さん
21/11/16 23:18:35.74 X/1LbSMH.net
「m^2が偶数ならばmは偶数である」の対偶は「mが奇数ならばm^2は奇数である」だから、
「mが奇数ならばm^2は奇数である」が証明されれば「m^2が偶数ならばmは偶数である」も証明されたことになる
mが奇数の時、整数kを用いてm=2k+1と表すことができる
m^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1
kが整数の時2k^2+2kも整数だから、2(2k^2+2k)+1は奇数である
よって、m^2は奇数である
「mが奇数ならばm^2は奇数である」が証明されたから、「m^2が偶数ならばmは偶数である」も証明された
26:１３２人目の素数さん
21/11/17 20:35:13.94 JMKU+O7f.net
>>22
どんな表し方でも互いに素にならないってのが重要で、
本来なら互いに素な表し方が存在するはずなのに存在しない、だから矛盾。
27:１３２人目の素数さん
21/11/21 13:01:32.75 ZtueUz+V.net
分数の分母と分子は互いに素かそうでないかのどちらか。
後者は通分すれば互いに素となるから、前者だけ考えれば十分。
一般の環の局所化でも考え方は同じで、同値関係を定義して商集合を構成する。
28:１３２人目の素数さん
22/04/20 09:34:56 O2JXA07V.net
もうやばたん話要らん、家庭の話は真弓かどっちかにしてくれ
29:１３２人目の素数さん
22/09/13 23:02:41.58 C+pPFqyr.net
まず、二乗して2になる数aが（実数として）存在することを証明してからじゃないと、
その後の
aが有理数であると仮定してa=m/n (m,nは整数でｎは正)とおいてみる
という論理が使えないはずである。
30:１３２人目の素数さん
22/09/18 13:03:54.88 516cp20A.net
なんで？
31:１３２人目の素数さん
22/09/18 20:10:52.72 qaXT0TwD.net
整数同士の比として表せるものだけが有理数であり、
そのようにはあらわせないものがすべて無理数
であるという定義ならば、虚数単位も無理数になるんだな。
32:１３２人目の素数さん
22/09/19 15:46:25.93 JvpcAP+k.net
整数と自然数の比で表せる実数が有理数で、有理数ではない実数が無理数
33:１３２人目の素数さん
22/09/23 16:25:45.53 Fm65WMwd.net
31の定義ならば、虚数は無理数ではありえない、
もちろん有理数でもない。そういう解釈でいいんだな？
34:１３２人目の素数さん
22/09/23 19:19:16.29 nxjVSsFU.net
>>32
内容をしっかりと確認してみて
『実数』なので虚数は対象外
35:１３２人目の素数さん
22/09/23 20:48:29.89 Fm65WMwd.net
だとすれば本スレのナンバー28の疑問は当然ではないのか。
まず√2が実数であるということを確かめた上で、
有理数とすれば矛盾するから（実数の）無理数である、としないと。
たとえば√（－2）が有理数であると仮定してm/nと置いて矛盾を
導いて、その結果√（－2）は無理数でした、という証明になって
しまうから。
36:１３２人目の素数さん
[ここ壊れてます] .net
x^2 = 2
が実数解を持つことの証明なんて簡単じゃん
37:１３２人目の素数さん
[ここ壊れてます] .net
とりあえず、>>1の内容がおかしい
√2=m/n (m,nは互いに素な整数、n≠0)
m/n=√2
m=(√2)*n
m^2=2*(n^2)
n^2して2をかけた数は偶数になるので、m^2は偶数
2乗して偶数になる整数もまた偶数なので、
m=2k (kは整数)とおける
38:１３２人目の素数さん
22/09/24 08:50:43.72 +ziugCBq.net
プラトンの本では図形的な証明が示唆されている
39:１３２人目の素数さん
[ここ壊れてます] .net
図形的に無理数であることを示すのにはどうするのかな？
40:１３２人目の素数さん
22/09/24 19:15:24.25 uNESY60U.net
「テアイテトス」には
テオドロスが17までで証明をやめたと記されているので
直角三角形を利用したのではないかと推測されているが
具体的な方法はわからない。
41:sage
22/09/24 21:45:07.53 PvmTRZO+.net
もし、ある数 x が有理数なら、長さの比が 1:x の長方形をたくさん用意し
上手く敷き詰めると、正方形にできる。
例えば、xが自然数a,bを使って、x=b/a と表せるのなら、
長さ 1の方向にb段、長さxの方向にa列敷き詰めると、b×bの正方形ができる。
しかし、1:√2の長方形では、何段、何列敷き詰めようとも、そのようなことはできない。
何故なら、長さ1の方向に一つ積むと、2:√2 の長方形ができるが、なんとこれは、
元の長方形 1:√2と相似になっている。
これは、このような操作をいくら行っても無駄であることを示唆している。
42:１３２人目の素数さん
22/09/26 06:46:06.39 g22OIxU3.net
【ルート 2 が無理数であることの 4 通りの証明 参照】
URLﾘﾝｸ(manabitimes.jp)
・背理法による証明
証明開始
√2 が有理数であると仮定する
このとき、互いに素な正の整数 m , n を用いて √2=m/n とおける
m/n=√2 の分母を払うと、
m=(√2)*n
両辺を 2 乗して、
m^2=((√2)*n)^2
m^2=((√2)^2)*(n^2)
m^2=2*(n^2)…[1]
上記[1]より、右辺は 2 の倍数なので、 m^2 は 2 の倍数
よって、 m は 2 の倍数
すると、m^2 は 4 の倍数になるので、n^2 が 2 の倍数
よって、 n も 2 の倍数
{※補足説明
m が 2 の倍数なので、 k を正の整数とするなら、m=2k とおける
両辺を 2 乗する
m^2=4*(k^2)
m^2 は 4 の倍数となる
m^2=4*(k^2)
m^2 に 2*(n^2)を代入
2*(n^2)=4*(k^2)
両辺を 2 で割る
n^2=2*(k^2)
つまり、n^2 は 2 の倍数
2 乗して 2 の倍数になる数 n^2 が 2 の倍数なら、n もまた 2 の倍数である}
これは、m と n が互いに素であることに矛盾する
したがって、√2 は無理数である
証明終了
43:１３２人目の素数さん
22/09/26 06:50:46.93 QLQDcNqF.net
長すぎる
44:１３２人目の素数さん
22/09/26 07:26:52.94 g22OIxU3.net
>>42↓こちらは短いです↓
【ルート 2 が無理数であることの 4 通りの証明 参照】
URLﾘﾝｸ(manabitimes.jp)
45:１３２人目の素数さん
22/09/26 11:38:19.16 lNUIZipV.net
４通りに水増ししてるけど２通りじゃないの
46:１３２人目の素数さん
22/09/27 13:10:16.62 HLgl1QBU.net
定理：
整数ｎが平方数（整数の2乗）でなければ、√ｎは無理数である。
47:１３２人目の素数さん
[ここ壊れてます] .net
テアイテトスの定理
48:１３２人目の素数さん
[ここ壊れてます] .net
√2が有理数と仮定する
M={n∈N|n√2は整数}とおくとMは空でない
そこでMの最小元mをとり、m'=m√2-mを考える
・m'√2=2m-m√2は整数である
・m'=m(√2-1)<mである
よってm'∈Mである
これはmの最小性に矛盾する
49:１３２人目の素数さん
22/09/27 17:01:32.33 HLgl1QBU.net
いま整数係数の二次多項式 P(ｘ)=ｘ＾2－2 を考える。
もしもこれが既約な有理数を係数とする1次因子の積に分解するとすれば、
ｍ、ｎを互いに素な整数として (x-m/n)(x+m/n)であるが，
m^2/n^2=2である．すると｜ｎ｜＝1でなければならない。
するとｍ＾2＝2であるが、2は平方数ではない。
よって、P(x)は有理数を零点としない。
ところがP(x)の零点の1つが√2である。これは√2が有理数では無い
ことを意味する。
注：一般にモニックな整数係数多項式が因数分解されるときは、
その各々の因子はモニックな整数係数多項式に限られることが示せる。
その零点は代数的整数であり、代数的整数が有理整数でなければ、
それは代数的無理数である。
50:１３２人目の素数さん
22/10/02 10:54:52.35 j08AIe9v.net
>>47
この証明って正しいの？
51:１３２人目の素数さん
22/10/02 20:32:25.84 8lkJmRv0.net
造反有理
52:１３２人目の素数さん
22/10/06 22:37:32.69 8/KEyeis.net
>>49
a/bとおくのと基本同じ
Mは分母の集合
既約<==>最小
53:１３２人目の素数さん
22/11/29 14:26:53.65 1C4Iz0uw.net
√2が無理数であることを背理法により証明する。
√2の定義 : x²=2を満たす実数xは正負2個あるが、そのうちの正のものが√2。x²=2 ⇔ x=√2、-√2
実数は有理数と無理数から成る。有理数でない実数は全て無理数である。
無理数の定義 : 有理数でない実数。
実数の定義 : 実数の公理を全て満たす集合をR(実数体)と名付けて、その集合の元を実数と定義する。
ここでは√2が実数であることを仮定する。
有理数の定義 : mは整数、nは正整数とする。また、mとnは互いに素であるとしてよい。この時、m/nを有理数という。
√2が有理数であると仮定する。
√2=m/nとおく。m、nはどちらも正整数、mとnは互いに素とする。
分母を払ってm=√2n
両辺を二乗してm²=2n²
右辺は2の倍数なので左辺は2の倍数。また、2は素数である。
mが2を素因数として持つ→
m²は2の倍数
mが2を素因数として持たない→
m²は2の杯数ではない
よって転換法によりm²が2の倍数ならばmは2の倍数である。
集合と写像で書くと
f : m→m² (mは正整数)で、
f : 偶数→偶数²=偶数、
f : 奇数→奇数²=奇数で、一対一に対応する。
よってf⁻¹も一対一写像で、m²が偶数ならばmは偶数となる。
m=2a (aは正整数)とおける。
4a²=2n²⇔n²=2a²
よってnも2の倍数となる。
するとmもnも2の倍数である正整数であり、公約数として2を持つので、互いに素であるという仮定に矛盾する。従って背理法により仮定すなわち「√2は有理数である」が偽であり、√2が無理数であることが証明された。
54:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています