已知菱形ABCD,E,F,G,H是各边中点,求证EFGH是矩形