Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-4/3e/solution

The local maximum modulus principle says that if has a local maximum at an interior point of a connected domain, then is constant. On a small circle about the maximum, the mean-value property and
force equality everywhere. Equality in the triangle inequality makes the boundary values identical; Cauchy's formula then makes constant locally, and the identity theorem makes it constant on the domain.
Write . The hypothesis gives . Therefore
with equality at zero. The local maximum modulus principle makes the exponential constant. Differentiation then gives , so is constant; since , it is identically zero.

New to topics? Read the docs here!