x∧2-x+2 因式分解