数值验证 A - A^T 反对称。