§4 二次型的有定性