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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています