证明：圆的切线一定垂直于过切点的半径用反证法.
设圆O的一条半径是OA,直线l与圆切于A.
假设直线l不垂直于OA,
过O作OM垂直l于M
因为直线l不垂直于OA,所以三角形OMA是直角三角形,
所以OAOM（直角三角形斜边大于直角边）