圆的定义及垂径定理