矩形ABCD中,角1=角2,角3=角4,角5=角6,角7=角8,若AB=a,BC=b,求四边形EFGH的周长