四点共圆问题在几何解题中的应用