利用几何画板怎样验证切割线定理