已知：如图，在梯形ABCD中，AD∥BC，∠ABC=90°，BC=2AD，点E是BC的中点、F是CD上的点，联结AE、EF、AC．
（1）求证：AO•OF=OC•OE；
（2）若点F是DC的中点，联结BD交AE于点G，求证：四边形EFDG是菱形．