这个好像是公理.
无需证明
首先看点到直线的距离定义, 过点到直线的垂线段的距离则为点到直线的距离.
看看圆的切线的定义吧.
圆切线的定义好像是是,仅仅与圆相交于一点的直线.
简单说说,加入直线与圆的直径小于半径,那么过半径与直线的交点,可以做一条弦,我们知道,弦与圆是交于两点的,那么证明该直线是圆的割线而不是切线.
如果直线与圆的距离大于半径,那么直线在圆外,绝对不可能与圆有交点,则不可能为切线.
半径垂直于直线? 你是说过切点的半径垂直于切线吧?
这个简单更简单.
你数学不是一般的差,坦白说.