AB两点在平面a同侧,AC垂直面a于C,BC垂直a于D,且AD交BC等E,EF垂直a于F,AC等b,BD等c,求EF长