证明: 由三元雅可比恒等式: 将用替换得: 对于式第二项中的,考虑对应的三元恒等式: 移项得: 上式代回得: 上式代回式得: 将代入式得: 将代入式得: 将代入式得: 将到四个式子等号左右相加,得: 其中: 对于,分别考虑一三项和二四项: 因此,得: 综上: