这是垂径定理的一个推论,当然可以用垂径定理来证明

可过圆心O作AB的垂线,由垂径定理可知,该垂线垂直平分AB,即与CD重合
由此知CD是⊙O的直径