在重力场作用下的理想不可压缩流体，考察均匀来流定常绕流的涡旋性问题：理想、正压、质量力有势三个条件都满足。在不分离绕流情况下，流场中任一点的流体质点都来自无穷远处，因无穷远处运动无旋，所以根据涡旋不生不灭定理，整个流场都是无旋的。
