求证DG垂直EF