四边形ABCD中,E,F分别为对角线AC,BD的中点,如果角ABC等于角ADC等于90°,求证:EF垂直BD