A Singular Integral Identity for Surface Measure

We prove that the integral of a certain Riesz-type kernel over \$(n − 1)\$-rectifiable sets in \$\mathbb{R}^n\$ is constant, from which a formula for surface measure immediately follows. Geometric interpretations are given, and a recent inequality of Steinerberger characterizing convex domains follows as a corollary.