陈盛高等代数在中学数学解题中的应用