解2020JBMO第二题

巧用垂直证明四点共圆