Seemingly unrelated is Gaussâ€™ Mean Value Theorem, which is significantly cooler (in my opinion) than the standard mean value theorem of the reals. We will define it formally below, but it says the follwing: if is analytic (equivalent to complex differentiable) on some disk and is the center point of this disk, then the average of the values about the boundary of is equal to . That is, to find the value of , it suffices to integrate around a circle centered at and divide by (the amount of radians we pass through while integrating). This is really neat to think about since this tells us not only that, given there *exists* some point whose value is equal to the average of the sum of the values of lying on a circle, but, moreover, that this point is actually *the center of the circle.* This is intense stuff.

**Theorem (Gauss’ Mean Value Theorem). **Let be analytic on some closed disk which has center and radius . Let denote the boundary of the disk (that is, is the circle bounding ). Then we have that .

The proof of this theorem is pretty straight forward and uses the Cauchy integral formula and some easy substitution.

*Proof. *Note that we have . The equation of a circle with radius and center is given by where runs from 0 to (if you don’t believe me, plot some points!). Substituting this value into the integral and noting that we have that

as required.

Why bring up this neat little theorem? Well, by itself it doesn’t seem to be all that useful — when would we be able to calculate and sum up a whole ton of values of an analytic function surrounding a point, but not be able to find the point itself? But this little theorem packs some punch as a way of bounding certain values. In particular, it gives a neat proof of the Maximum Modulus Theorem. You might have guessed this from the title of this post.

First, let’s note something quickly.

**Lemma. **Given the assumptions in Gauss’ MVT, we have .

Be careful here in thinking that this should be an *equality*; we are now looking at the *modulus *of our value, and the *modulus* of each point on the circle. But this lemma comes almost for free:

*Proof. *We have by using Gauss’ MVT and simply taking the norm of both sides. Note that

whence the inequality above.

This lemma tells us that the value of the center of any circle is bounded by the sum of the modulus of the values of the points of that circle. We’ll see why this is the crucial bound we’ll need in the MMT’s proof below.

**Theorem (Maximum Modulus Theorem). **Given analytic on some domain , if is non-constant on then the maximum value of for will occur on the boundary of . (Alternatively, if is maximized by some value not on the boundary of , then is constant on .)

*Proof. *We’ll split this into two steps. The first step is for the specific case that is a closed disk and our maximum modulus occurs at the center of this disk. The second step will be to get some arbitrary space and construct some closed disks in the interior of and "piece these together" to show that is constant on all of .

**Step 1:*** *Let’s suppose that our maximum modulus is at the center point of , which we will call ; that is, we are supposing that for every . Since is an interior point, we have that there is some -ball about (that is, a ball of radius ) which is completely contained in . Let the denote the circle of radius centered at the point . By our second lemma above we have that

.

BUT, using that for every we have that

.

Stringing these inequalities together and suggestively re-writing , we have that

and by subtracting,

but since the integrand is always positive or zero (why?) it must be the case that

or, in other words, . Since was arbitrary, we conclude that for every .

**Step 2: **Now suppose we have some arbitrary domain and is analytic on all of . I will hand-wave a bit here, but you can fill in the details. Note that a domain (in this context) necessarily means *open and* *path-connected* (and, in fact, it usually denotes a simply connected *open* subset of ). Suppose that our maximum modulus occurs at some point on the interior of which we will call . Now, given *any other point * we have some path from to which is completely contained in . In fact, we can make this path a finite *polygonal* path; that is, a path made out of a finite number of straight lines piecewise-connected together; we will denote this , where the is the line with endpoints and . I will let you work the details out here, but it can be done.

Now, the polygonal line might be right next to a boundary, and we don’t want to accidentally hit it when we start making balls around points, so let denote whichever is smaller: the distance from the polygonal line to the boundary, or 1. So, if your polygonal line is right next to the boundary, we might need to make pretty small; but if not, we can just let it be whatever we want, so we might as well make it 1. Note that since is open, no point on the polygonal path should be on the boundary. Now, let’s break up our polygonal path into another polygonal path where each has length less than . It is clear we can do this just by partitioning each straight line in our original path so that their lengths are appropriately small; note, we still only have a finite number of endpoints . That’s important.

(In the picture above, I’ve made the original endpoints blue and then partitioned our polygonal path with the new red endpoints to make each line segment less than .)

Now everything is going to fall pretty quickly, so keep on your toes. First, make a disk of radius (as defined above) around each and call it . Now note that, by our previous step, since our maximum modulus occurs at , we have for every point . But is in !

(This picture is not drawn to scale because I am not a good artist; this is illustrating being inside the circle .)

So now is also of maximum modulus (since was) and so for every point in . Continue this and we will obtain . Since was an arbitrary point, it follows that for *every* . Hence, if attains a maximum modulus on the interior of some set , then it is constant. This implies directly that any non-constant analytic function achieves its maximum modulus on the boundary.