四点共圆对角互补证明方法