latex写推导过程