俺「4の倍数は全て2の倍数である」カス「2の倍数はすべて4の倍数ではない。はい論破」

1 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:50:29.746 ID:pPSaHTOJ0.net

アスペかな？

2 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:51:16.516 ID:4NnTMoDC0.net

スミペ

3 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:51:21.772 ID:J89ACq0+d.net

だな

4 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:51:21.894 ID:9ZCbtvbd0.net

架空のカスを登場させるな

5 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:51:27.139 ID:9nQL5GZgK.net

算数やりなおせ

6 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:52:20.117 ID:pPSaHTOJ0.net

間違えた
カス「4の倍数は2の倍数であるとは限らない」

7 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:53:14.917 ID:BtS94k37a.net

真偽裏逆

8 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 22:55:22.794 ID:cK+3aBHR0.net

僕「2^(1/3)は無理数である」

9 ：以下、＼(^o^)／でVIPがお送りします：2016/12/05(月) 23:03:20.314 ID:cK+3aBHR0.net

「2^(1/3)が有理数である」と仮定すると
2^(1/3)=q/p　(p,q∈Z;p,qは互いに素,p≠0)
とおける
両辺を３乗して整理すると
2p^3=q^3
ここで命題「q^3が2の倍数」⇒「qが2の倍数」が真だと証明したい
対偶「qが2の倍数でない」⇒「q^3が2の倍数でない」が真だと証明すればよい
このときq=2k-1 (k∈Z)とおける
q^3≡(2k-1)^3=1(mod2)
よって対偶が真なので元の命題も真
ゆえにq=2l (l∈Z)とおける
このとき2p^3=(2l)^3より
p^3=2(2l^3)
よってp=2j (j∈Z)とおける
このときp,qは2を公約数に持ち、仮定のp,qが互いに素であることに矛盾する
よって2^(1/3)は無理数である