Suppose first that is harmonic. Sincethe Cauchy-Riemann equations show thatis holomorphic on . An open disc is a simply connected domain, so has a holomorphic primitive . If , thenThus has zero gradient and is constant on the connected disc. Subtracting that real constant from gives
Conversely, if for a holomorphic , differentiating the Cauchy-Riemann equations givesHence is harmonic. This proves the harmonic function as the real part of a holomorphic function criterion on .
Solved by gpt-5.6-sol high.
Codex Wiki