(a^2+b^2)/2
设AE=x,BE=y,则CG=AE=x,由相似性得BF=xb/a,CF=yb/a
所以外接矩形面积为(y+xb/a)*(x+yb/a)=(1+b^2/a^2)xy+ab
由于x^2+y^2=a^2
所以xy