切割线定理及推论