已知：在矩形ABCD中，E，F分别是边AB，AD上的点，过点F作EF的垂线交DC于点H，以EF为直径作半圆O.