圆,割线~过圆内一点任意引圆的一条割线,这点到割线与圆的两个交点间的两条线段长的乘积等于定值”是真命题吗?