作用 证明两条直线垂直 2.性质定理推论1

文字语言 经过圆心且垂直于切线的直线必经过切点 符号语言 直线l与圆O相切于点A，过点O作直线m⊥l，则A∈m 图形语言 作用 证明点在直线上 3.性质定理推论2

文字语言 经过切点且垂直于切线的直线必经过圆心 符号语言 直线l与圆O相切于点A，过点A作直线m⊥l，则O∈m 图形语言 作用 证明点在直线上 4.切线的判定定理

文字语言 经过半径的外端并且垂直于这条半径的直线是圆的切线 符号语言 OA是圆O的半径，直线l⊥OA，且A∈l，则l是圆O的切线