求线性代数大神解释一下，圈里的那个式子是怎么来的。