菱形ABCD的两条对角线AC,BD交于点O,从点O向AB,BC,CD,DA四边引垂线,垂足分别是EFGH,求证四边形EF