背理法は不要なのか2

>>126
素因数分解可能性一意性を使うらしい
2n^2を素因数分解すると2が奇数個
m^2を素因数分解すると2は偶数個
だから
2n^2≠m^2
よって
√2n≠m
で
√2≠m/n

でも
そもそも素因数分解可能性や一意性は
背理法をたんまり使ってるけどね

それにそもそも
無理数は有理数でない実数というのが定義なのだから
有理数でない＝有理数と仮定すると矛盾
は定義そのものなんだけどね
「〜ではない」の定義が「〜と仮定すると矛盾」なのだから

それにそもそも
整数が（自然数が）
偶数と奇数の直和になるというのは
背理法で示すんじゃないかな
とか思い出すと何でも背理法使ってるような気になってくるけどね

なげーよ
語尾と修飾語と接続詞減らせ

なげーよ
語尾と修飾語と接続詞減らせ

でないとダラダラして見える

>>135
無駄むだムダ無だ

実数の公理を設けなければ、有理数体の世界にはルート2は存在しないので、
2の平方根という数は存在しない数になるだろう。でもルート2があると考えて
形式的に式√2で表すと便利につかえるだろう。それはまるで実数の世界には
−1の平方根が無いから虚数は存在しない数なのだが、存在するかのように
思って使うと便利だったりするように。元の世界を広げて存在しないはずの
ものを付け加えて、元の世界は拡張された世界の一部だったことにしている
わけだ。それで矛盾が起きなければ良い。モデルとして実数が数直線なら
虚数を含めた複素数のモデルは平面で、それは実数の対によって表現できる
とし、矛盾が起こらないことを実数の言葉で説明・証明したので、複素数は
使っても良いものになった。

>2の平方根という数は存在しない数になるだろう。
存在しないのは存在反証される数であって存在証明されない数ではない

>>138
ですね