如图，梯形ABCD中，AD//BC，AB=CD，对角线AC、BD交于点O，ACBD，E、F、G、H分别为AB、BC、CD、DA的中点
（1）求证：四边形EFGH为正方形；
（2）若AD=2，BC=4，求四边形EFGH的面积。