西瓜书公式推导