在四边形ABCD中,若 =a, =b,且|a+b|=|a- b|,则四边形ABCD的形状是( ).
A:平行四边形
B:矩形
C:菱形
D:正方形
如图,在菱形ABCD中,对角线AC、BD相交于点O,E为BC的中点,则下列式子中,一定成立的是( )