AB是半圆O的直径,弦CD垂直于AB,E为CD延长线上一点,连结BE交圆于F,求证:CF乘DE=BC乘EF