q111r1dS11r11r1dS11r1Gr1r22r2dS2dS1
Gr1r21r12r2dS1dS2







2q222r2dS22r22r2dS22r2Gr2r11r1dS1dS2
Gr2r11r12r2dS1dS2

显然上两式相等的充要条件是：Gr1r2Gr2r1而这个条件又是可以一开始从格林函数的定义式（8）得到的，故互易定理得证。本质就可以从中得到，即为场点（势点）和源点的互易性（交叉互换前后状态不变）势点和源点特征量的前后乘积是常数（前后交叉互换不变）。
fr