Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Lev Borisov - I proved the underlying inequality of 3rd degree as a lemma for some result in joint paper. But the proof is not nice or short. So I am interesting to find another one using geometry and convexity.
We may take an integral using a technique based on Slater's Theorem (cf. O.I.Marichev's book). In fact it will use in an inderect way contour integrals and residues.
Is not the question we consider then equivalent that $grad g =O$? More: $rot(rot F)=O => rot F =grad g $ for some g. Question: when this $rot F=O$ ? Answer: only if g=const.
The main problem and the pity of this site is that many participants are too fast and not objective with their "ON HOLD" decision and demonstrating "WANT TO BE CLEVER THEN OTHERS" position. Say for not simply connected domains this is an interesting question, I do not know is it solved or not.