一道看似无比简单的线性代数证明题