Given a convex quadrilateral ABCD, side AB is not parallel to side CD. The circle O1 passing through A and B is tangent to side CD at P. The circle O2 passing through C and D is tangent to side AB at Q. Circle O1 and circle O2 meet at E and F. Prove that EF bisects segment PQ if and only if BC∥AD. geometry unsolvedgeometry