Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2025/paper-1/7/a/solution

For a holomorphic function, the derivative supplied by complex differentiability must have the same value along real and imaginary increments. Those two computations give
Equating real and imaginary parts proves the Cauchy-Riemann equations:
Conversely, if the first partial derivatives are continuous near a point and obey these equations there, real differentiability gives
which proves complex differentiability under this regularity assumption.
The gradients of the real and imaginary parts have dot product
and . At every point with , the two level sets are regular curves, their gradients are nonzero normal vectors, and their tangent directions are therefore perpendicular.
The printed phrase "at every point" needs this regular-point qualification. At a critical point with , the level sets may cross or fail to have a unique tangent. For example, gives and : at the origin the zero level sets are respectively the diagonals and the coordinate axes. Thus the valid conclusion is .

New to topics? Read the docs here!