如图所示,在三角形ABC中,AC垂直BC,D为AB上一点,AF垂直CD交CD的延长线于F,BE垂直CD于E,求证:EF=