有个公式能将x^n -1分解成积的形式,那个公式叫什么?有没有相关说明