四点共圆对角线的性质