This question is not about the proof but about a reliable source where one can find the following formula for the normalised trace $\mbox{tr}$ of a complex $(n\times n)$-matrix:
$$\mbox{tr}(A) = \int\limits_{\|y\|=1} \langle Ax, x\rangle\, \mbox{d}m(x)$$
where $m$ is the Lebesgue (area) measure normalised to the Euclidean sphere in $\mathbb{C}^n$. Thank you.
Let me add some references then:
and a generalisation to certain other unit spheres: