什么样的四边形才有外接圆,如何证明?