ポスト
(6) a≠2ⁿ⇒a•b＞a (i) (2ⁿ-1)•b=2ⁿ＞2ⁿ-1 (ii)∀m≠2ⁿ; m＞a⇒m•b＞mを仮定する. (I) a•1=a+1＞a (II)a•(b+1)=(a•b)•(a•1)＞a•b＞a (I)(II)より(∀m≠2ⁿ; m＞a⇒m•b＞m)⇒a•b＞a (i)(ii)より従う.
メニューを開く(6) a≠2ⁿ⇒a•b＞a (i) (2ⁿ-1)•b=2ⁿ＞2ⁿ-1 (ii)∀m≠2ⁿ; m＞a⇒m•b＞mを仮定する. (I) a•1=a+1＞a (II)a•(b+1)=(a•b)•(a•1)＞a•b＞a (I)(II)より(∀m≠2ⁿ; m＞a⇒m•b＞m)⇒a•b＞a (i)(ii)より従う.
メニューを開く
