在直角三角形ABC中，角ABC=90度，O是AB上一点，以O为圆心，以OB为半径作圆，交AC于E、F，交AB于D，若E是弧DF的中点，且AE:EF=3:1，求BC的长度。
你先要给个其它两点的长度，别人才好下手啊！
