12题
延长AE交CD于点N∵∠ABE=∠EBC、AE⊥BE∴AB=NB、AE=EN∵AF=FC∴EF=NC/2∴EF=1/2(BC-BN)即EF=1/2(BC-AB)
延长ae交bc于f ,中线定理cf=1/2cf,另可证三角形aeb全等于bef,ab=bf。证毕