如图,已知△ABC是内接于圆O的直角三角形,D是弧AB的中点,过点D作BC的垂线,分别交CB、CA的延长线于点E、F求证