二次型的性质及应用