ラプラス方程式
が必要となる。u は正則函数の実部であるので、u が必然的に調和函数となり、すなわち、ラプラス方程式を満たす。