合计加法公式推导