Define new function h(z)Edit
h is continuous on the closure of DEdit
Since on , then by the Maximum Modulus Principle, is not zero in .
Hence, since and are analytic on and on , then is analytic on which implies is continuous on
h is analytic on DEdit
This follows from above
Case 1: h(z) non-constant on DEdit
If is not constant on , then by Maximum Modulus Principle, achieves its maximum value on the boundary of .
But since on (by the hypothesis), then
In particular , or equivalently
Case 2: h(z) constant on DEdit
Suppose that is constant. Then
Then from hypothesis we have for all ,
Hence, by maximum modulus principle, for all
Since , we also have