已知ab是圆o的直径 点c d在圆o上,过点D作PF,求证AE*EB=DE*EF