哦，原始推导居然用了曲面积分。