The mean value theorem says that if you take a sphere around some point, the average of on the surface of that sphere is the value of at the center of the sphere. That is true as long as satisfies the Laplace equation inside the sphere.
To prove the mean value theorem, take the origin of your coordinate
system at the center of the sphere. Then integrate the Laplace
equation over the volume of a sphere. Use the divergence theorem to
get
But the normal direction is the radial direction, so
The minimum and maximum properties follow immediately from the mean value theorem. Note that the minimum property implies the maximum property: the maximum of a harmonic function is the minimum of the harmonic function .
To show the minimum property, consider an arbitrary point in the interior of the domain. Put a sphere of a sufficiently small radius around the point; the sphere must stay in the domain. Now is at the considered point equals the average value of on the spherical surface. And an average is always in between the minimum and maximum values. So at the considered point cannot be less than the smallest value on the spherical surface. So at the considered point cannot be a unique minimum, lower than all other values.
You may wonder whether might be a minimum that is not unique. But for the average of on the spherical surface to equal the lowest value of requires that is everywhere the lowest value on the surface. If would be above the minimum anywhere, the average would be above the minimum. So any spherical surface around the considered point has the same value of as the considered point. At least as long as the sphere stays inside the domain. In other word, is constant within some sphere around the considered point that goes up to the boundary. And for every point inside that sphere there is again a surrounding sphere in which is constant. You can then readily see from a sketch that this means that will have to be the minimum everywhere. In other words, must be a constant for there to be a nonunique minimum in the interior of the region.