势函数构造器

把二维向量场写成 \(F=\langle P,Q\rangle\)，沿着“先积分、再比较、再补项”的路线寻找 \(f\)，使 \(\nabla f=F\)。