高等代数里关于半正定二次型等价命题的证明