若ef垂直ab