曲面上静水总压力的铅直分力的大小等于压力体的体积。