1) Cut Elimination Theorem
切割消去定理
2) elimination theorem
消去定理
3) theorem of tangent and secant
切割线定理
1.
The inverse theorem of tangent and secant and its applications are discussed in this paper.
切割线定理是初等几何的重要原理之一，本文证明了切割线定理的逆命题也成立，并举例说明它的应
4) Eliminated cutwidth
消去割宽
5) excision theorem
分割[切除]定理
6) cutting of fixed quantity
定量切割
补充资料：切割线定理
Image:1179021677260055.jpg
切割线定理
切割线定理 从圆外一点引圆的切线和割线，切线长是这点到割线与圆焦点的两条线段长的比例中项
几何语言：∵pt切⊙o于点t，pba是⊙o的割线
∴pt2=pa·pb（切割线定理）
推论 从圆外一点因圆的两条割线，这一点到每条割线与圆的焦点的两条线段长的积相等
几何语言：∵pba、pdc是⊙o的割线
∴pd·pc=pa·pb（切割线定理推论）
说明：补充资料仅用于学习参考，请勿用于其它任何用途。