>>72
演習書に載っている式だから名前はないですけど
(高校の因数分解の公式も名前ないですから、a^2-b^2=(a-b)(a+b)なんかも)

A,B,C:n次正方行列、O:n次ゼロ行列のとき、

|A C|
|O B|=|A||B|

|A B|
|B A|=|A+B||A-B|

|A -A|
|B B|=2^n*|A||B|

|A -B|
|B A|=|A+iB||A-iB|

大学のテストなんかだと導き方を覚えておけば、
公式として覚えておく必要はないでしょうが、
計算検定の場合は、一時的にでも記憶しておいた
ほうがよいのでは。