垂径定理练习已知AB,EF过圆O和圆O'的交点C,且AB‖OO'.求证:AB大于EF图