综合除法的推导过程