线性代数 (二): 证明 A^T 乘以 A 为半正定矩阵