调和方程（2）

接下来观察格林公式：

其中如果初值不为0，详细的做法也类似：

证明如下：

红笔部分用定理2.1。

其中如果圆与边界相切也是可以操作的：

证明如下：假设存在内点：

我们断言：

证明如下：

则有：

于是：

下界同理：

证明如下：

唯一性证明如下：