anchor.diff:  M=\left( \begin{matrix} A & B \\ C & D \\ \end{matrix} \right)=\left( \begin{matrix} A_0 & A_1 & B_0 & B_1 \\ A_2 & A_3 & B_2 & B_3 \\ C_0 & C_1 & D_0 & D_1 \\ C_2 & C_3 & D_2 & D_3 \\ \end{matrix} \right)
   ++++
   
  -小行列stem:[A]とstem:[D]が正則、stem:[C]とstem:[D]は可換であります（stem:[CD=DC]）を仮定します。
  +小行列stem:[A]とstem:[D]が正則、stem:[C]とstem:[D]は可換（stem:[CD=DC]）を仮定します。
   
   次の例を考えてください：
   
  
positive.code: 
  左上の小行列stem:[X=(\left|D\right|A-B(D^{\#}C))^{\#}]から始めましょう。
  
  stem:[M]の随伴行列は余因子行列stem:[C]の転置行列であり（tem:[M^{\#}=C^{T}]）、その余因子行列はstem:[C=((-1)^{i+j} M_{ij})]と定義されています。stem:[M_{ij}]はstem:[M]からi行j列を取り除いて得られる小行列（(i,j)-minor）の行列式。つまりstem:[M^{\#}= ((-1)^{j+i}M_{ji})]になります。「*転置*」のとこを覚えてください。 
  
  詳細は随伴行列（Adjugate Matrix）の英語版wikiページに参照してください。
  
  
negative.code: :figure-caption!:
  
  toc::[]
  
  https://lxjk.github.io/2017/09/03/Fast-4x4-Matrix-Inverse-with-SSE-SIMD-Explained.html[English Verison]
  
  始まる前に、逆行列を求められるのは「一般の行列」かどうかを考えてください。
  
  