∴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.