在梯形ABCD中 ∠A=∠B=90° ，以AB为直径的圆切CD于E，过E作EF//BC交AB于F，求证：AC平分EF。