数学とか √2の無理性の証明
無理性の証明 有理数はℤ/ℕで表される数。 偶数は約分できるので、有理数は分母か分子のいずれかが奇数になります※1。 例)2/4=1/2,3/6=1/2 分母分子は互いに素 x²=2となるようなxを求めます。そのような有理数があると仮定する...
数学とか 数学とか 有理数の大小関係
加法の大小関係 デデキント切断の準備をします。 感覚的には「任意の正数xに任意の正数y足した値はxより大きくなる」は自加法律を見れば自明です。ただ、年の為に確認します。 0<1,x(仮定) 0+x<1+x(加法律) x<1+x(単位元) 0...
数学とか 乗法と乗法逆元の性質
積の大小関係 乗法の大小関係の性質。 既に導いたx<y⇒0<y-x=y+(-x)①の加法の性質を用います。 0<x≤y≤z(仮定) 0≤x(z-y)(乗法律と①) 0≤xz-xy(分配法則) xy≤xz-xy+xy(加法律) xy≤xz(単...
数学とか マイナス×プラス=マイナス
マイナス×プラス=マイナス 0≤x,y⇒-x,-y≤0①と0x=0②との定理を用います。 -1･-1=1の証明。 -1+1=0(加法逆元) -1+-(-1)=0(加法逆元) -(-1)=1(加法一意性)① -1･a=-a(仮定) -a･-b...
数学とか 加法律から導かれる性質
実数の加法律からどんな性質が導けるのかを考えます。 加法律は演算の後で順序の性質が保たれることの要請。 0≤x⇒-x≤0 0≤x(仮定) (-x)+0≤(-x)+x(加法律) -x≤0(単位元と逆元) 0≤x⇒-x≤0(含意) xが0以上な...
数学とか 任意の数の平方は0以上
x≠0⇒0<x² プラス×プラス=プラスは乗法律はにより定義済み。 マイナス×マイナス=プラスの証明の続き。0以外の平方は0より大きくなる証明。 0より大きいか0の場合は定義されています(乗法律)。 従って0より小さい平方の証明だけをやりま...
数学とか マイナス×マイナス=プラス
定義から証明 1+-1=0(加法逆元) -1+-(-1)=0(加法逆元) -(-1)=1(加法一意性) 加法逆元の逆元は元の元,-1･-1=-(-1)=1① 次は任意の実数におけるマイナス×マイナス。 ∀a,b∈ℝ(-a･-b)(仮定) -...
技術 チェックフックの手順
チェックフックの手順 あえて"手順"としましたが、股関節ロックと胸椎側屈ができるなら咄嗟に起こるとは思います。 あくまでもイメージを掴む為に視覚化しました。 1.パンチを避ける(胸椎側屈) 2.奥の足に荷重 3.フック 4.後ろへ前の足を送...
技術 大腰筋パンチによるガードの無力化
大腰筋パンチと股関節ロック 上の記事の続き。 股関節ロックと大腰筋パンチの関係について考えていきます。 大腰筋右ストレート 下の動画は右ストレートがガードを無力化しています。 パンチで大腰筋の収縮が起こらない場合は、井上尚弥やワイルダー、ク...
技術 股関節ロックとコンビネーション
井上尚弥のコンビネーションを考えます。 コンビネーション 上の記事で股関節ロックと大腰筋パンチによるエネルギー交換の話はしています。 マイク・タイソンのパンチも同様に解釈できます。 大腰筋パンチの体重移動 パラエストラ天満のショート動画で説...
技術 踏み込みやサークリングにおける股関節の動き
パラエストラ天満での練習をカネロやアリのフットワークは補足してくれます。 このフットワークが絶対ではありません。あくまでもこれを規定している実体を知り、身につけることが大切です。 すなわち、彼らがそうなってしまう理由をなんとなく感じられるよ...
技術 コークスクリューパンチ
コークスクリューパンチ 肩甲骨外転前傾と上腕内旋と大胸筋 肩甲骨の外転と上腕の内旋が構造的に連動していること、また、それが大胸筋の構造を最適化していることについては下の動画を見てください。 胸椎側屈回旋 大腰筋による胸椎の側屈を強調するとそ...