∴CE=DE，

According to the inference of intersecting chord theorem, it is concluded that CE2=AE? BE, then CE=xy,

∴CD=2CE=2xy.

And ∵AB=x+y, and AB≥CD,

∴x+y≥2xy.