不正确。过O作OM⊥CD,垂足为M,则有OM∥AE∥BF,且OM是梯形ABFE的中位线,OM=(AE+BF)/2。记⊙O的半径为R,连接OC,显然OM<OC,即OM<R,那么(AE+BF)/2<R,得AE+BF<2R,就是AE+BF<AB。由此可以知道,当EF与⊙O相切时,才有AE+BF=AB。
这个结论不正确。若将“CD是弦”改为“CD是切线”,这个结论就正确了。