在四边形ABCD中,AB//DC,角B=90度,E是BC上一点,连接AE,DE，且三角形ABE全等于三角形ECD，直角三角形ABE全等于直角三角形DEC，三角形ADE是等腰直角三角形。若三角形AED面积为a，四边形ABCD的面积为b，是判断b与2a的大小，并证明。