四边形与圆相切、与圆相接的定理有哪些?