已知:BE平分角ABC,AD垂直BC,EF垂直BC,BA垂直AC,求证:四边形AGEF是菱形