四点共圆的四边形对角互补