两个相交圆的公共弦与这两个圆的一条公切线的交点是两公切点所形成的线段的中点,是如何证明的?