若在边界 S 上无旋运动和有旋运动具有相同的边界条件,则单连通区域内无旋运动的动能小于有旋运动的动能。设 v 是无旋运动的速度,v' 是有旋运动的速度,则动能差 T'-T=(ρ/2)τ(v'²-v²) dτ>0 。