推导过程