Let $u:U\to \mathbb{C}$ be harmonic and $\overline{D}(P,r)\subset U$. Verify the following variant of the mean value property of harmonic functions:
$$u(P)=\frac{1}{2\pi r}\int_{\partial D(P,r)}u(t)ds(t)$$ where $ds$ is arc length measure on $\partial D(P,r) \tag{$1$}$
I am not sure how to replace the $ds$ in $(1)$.
The mean value property states $$u(P)=\frac{1}{2\pi}\int_0 ^{2\pi}u(P+re^{i\theta})d\theta \tag{$2$}$$ so my idea is to start with the RHS of $(1)$ and to obtain the RHS of $(2)$. Using the substitution $t=P+re^{i\theta}$, the RHS of $(1)$ is $$\frac{1}{2\pi r}\int_{D(P,r)}u(t)ds(t)=\frac{1}{2\pi r}\int _0 ^{2\pi }u(P+re^{i\theta})ire^{i\theta}ds(\theta)\\=\frac{i}{2\pi}\int_0 ^{2\pi}u(P+re^{i\theta})e^{i\theta}ds(\theta) $$
How can I rewrite the $ds$ and how can I obtain the RHS of $(2)$?