股関節おじさんの勉強部屋 我流負数の交換法則とか
いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。 -s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a 乗法で負数を...
自然数
股関節おじさんの勉強部屋 股関節おじさんの勉強部屋 負数と正数の加法
数と負数を加法でどう結びつけるのか、を試します。 負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a 正数（自然数）の場合の後者はs(a)=a+1 負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で...
股関節おじさんの勉強部屋 1+2+3…n=の自然数の法則
名前があるのかは不明な、ある自然数の法則を証明します。 あるnまでの自然数を足した値1+2+3+…n=？？？を導く法則。 まずは簡単な法則の仮説を立てます。0+1から 0+1=1n=1の場合は以下の式が仮説として立ちます。 n(n+1)/2...
股関節おじさんの勉強部屋 同値関係と代入法則
我流の同値関係を元に法則性を見つけます。人の認識として a=b⇒a*c=b*c "*"は広い意味での演算を表しています。 どう解決しようかと考えたら、やっぱり同値関係の法則として定義すべきなのかなと。 代入法則 加法 まずは加法の代入法則か...
股関節おじさんの勉強部屋 我流除法と分数の定義
我流除法の定義が人の認識通りに運用できるかテストします。 我流除法テスト 我流定義a/1=aa÷b=a/b(a×c)÷(b×c)=a/b 以下テスト。 10÷5(前提)((2×0)+2+2+2+2+2)÷((5×0)+5)(乗法定義)((2...
股関節おじさんの勉強部屋 乗法の交換法則 その3
ようやく乗法の交換法則です。 乗法の交換法則 数学的帰納法が成立することを証明します。 a×b=b×a⇔a×s(b)=s(b)×a a×s(b)(前提)a×b+a(乗法定義)a×b+(a×0)+a(乗法定義)a×b+(a×1)(乗法定義)...
股関節おじさんの勉強部屋 乗法の分配法則その2
下の記事の続き。 x(y+z)⇔xy+xyは証明できたので(y+z)x⇔yx+zxを証明します。 (x+y)×z=xz+yz 数学的帰納法の起点を作ります。 z=0の場合 (x+y)×0(前提)0(乗法定義) x×0+y×0(前提)0+0(...
股関節おじさんの勉強部屋 乗法の分配法則
乗法の交換法則を証明していたはずが気がつくと分配法則を証明していました。何を言っているのか自分も分かりませんが、気がついたら証明されていました。 分配法則は下の法則x(y+z)=xy+xz 分配法則の証明 数学的帰納法を用いますので、連鎖反...
未分類 1との乗法
昨日の交換法則には推論規則を満たさない欠点があったので、そこを修正するために試行錯誤していきます。 今回はそこを修正すべく別の手段を考えてみます。 1と任意の自然数の乗法についての定理を導きます。 a×1=1×a=a が定義から導けるのか、...
股関節おじさんの勉強部屋 乗法の交換法則その2
乗法の交換法則 すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + aWikipedia 0×a=a×0 任意のaに0をかけると、aの位置にかかわらず0となること...
股関節おじさんの勉強部屋 乗法の交換法則その1
乗法の交換法則を我流で証明します。その前段階としてa×0=0×aが真である証明。 乗法の交換法則の証明 すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + aWi...
股関節おじさんの勉強部屋 負数について考える
減法の我流定義を作っていると、どうしても負数って概念が必要になりました。 0-a をなんとかしないと気持ちが悪い。解消しようとすると負数を出現させないといけません。 当然ながら別に負数である必要はなく、それを禁止して別の僕だけの数学世界を作...