证明:

由三元雅可比恒等式:

替换得:

对于式第二项中的,考虑对应的三元恒等式:

移项得:

上式代回得:

上式代回式得:

代入式得:

代入式得:

代入式得:

四个式子等号左右相加,得:

其中:

对于,分别考虑一三项和二四项:

因此,得:

综上: