“垂直与经过切点的半径的直线是圆的切线”是真命题吗?