如何证明流体运动时密度会缩小