MathLabs

第4题

设 ABCD 是凸四边形,CD 与直径为 AB 的圆相切。证明 AB 与直径为 CD 的圆相切,当且仅当 BC∥ADBC\parallel AD。
第 5/5 步:第5步
AB tangent⟺BC∥ADAB\text{ tangent}\Longleftrightarrow BC\parallel AD
详细分析

把相交情形与平行情形合并,即得所需的等价关系。