Take to be continuously differentiable everywhere on , as in the question. Its zero curl says . Construct a potential of a conservative vector field explicitly by
All segments lie in . Differentiating under the integral and using the symmetry of the derivatives,
Hence . This radial integral potential for a curl-free field also works on a star-shaped domain after translating its centre. On an arbitrary domain, zero curl only guarantees local potentials; the everywhere-on- interpretation is important for this global assertion.
For the given field, put . The three pairs of derivatives entering its curl are
Thus the field is irrotational. To find its potential using , integrate to get . Comparison with gives , and comparison with gives . Therefore
Differentiating this expression reproduces all three components with the required minus sign; the only freedom on the connected domain is the additive constant.