大一线性代数中 像这样的基础公式还有什么?