已知:圆O与直线AB相切于点C.
求证:OC⊥AB.
证明(反证法):假设OC与AB不垂直,作OD垂直AB于D.
则:OD