続いて微分公式。コンパクトにはなるものの，慣れないとなかなか気持ちよくいかないかもしれない（＾＾；）。

基本公式の確認とベクトル演算公式の証明。

ベクトルの内積は，行ベクトルと列ベクトルの行列積に他ならない。ベクトル積や微分演算子を含めて，ベクトル演算をすべて行列化してビジュアルにこなしたいというワガママ。拙著「特殊相対性理論compact」 https://1drv.ms/b/s!AmvGIcmpu2Gwlk5Flzy4PsSPOOd2…