令Z=F（x,Y）,则由
全微分 恒为零即
dZ=（偏F/偏x）dx +（偏F/偏y）dy≡0.
积分,得
∫dZ=∫（偏F/偏x）dx +∫（偏F/偏y）dy
=0+C,C为常数.
即F（x,Y）=Z=C.
∴F（x,Y） 在该矩形域D内应取常数值