考虑复变积分 其中,CR为上半平面的半圆弧:z=Reiθ, 0≦θ≦π。假设下列条件成立: 则 若a<0,则取CR为下半平面的半圆弧;则在类似于(2)式的条件下,亦得(3)式同样的结果。Jordan引理常用在复变积分中估算远域积分。