有关于圆内两条垂直弦乘积方面的定理吗?