用“反证法”证明．分三步：
(1)假设切线AT不垂直于过切点的半径OA,
(2)同时作一条AT的垂线OM．通过证明得到矛盾,OM＜OA这条半径．则有直线和圆的位置关系中的数量关系,得AT和⊙O相交与题设相矛盾．
(3)承认所要的结论AT⊥AO．
切线的性质定理：圆的切线垂直于经过切点的半径．