若 ABABAB 与 CDCDCD 平行,则 ABABAB 与直径为 CDCDCD 的圆相切当且仅当 AB=CDAB=CDAB=CD。对凸四边形,这等价于 ABCDABCDABCD 是平行四边形,因而等价于 BC∥ADBC\parallel ADBC∥AD。