In Section 3.1.4, I proved that the electrostatic potential at any point P in a charge-free region is equal to its average value over any spherical surface (radius R) centered at P. Here's an alternative argument that does not rely on Coulomb's law, only on Laplace's equation. We might as well set the origin at P. Let Vave(R) be the average; first show that
dRdVave=4πR21∮∇V⋅da
(note that the R2 in da cancels the 1/R2 out front, so the only dependence on R is in V itself). Now use the divergence theorem, and conclude that if V satisfies Laplace's equation, then Vave(R)=Vave(0)=V(P), for all R.