如图,在梯形ABCD中,AD∥BC,AB=DC.AE=GF=GC

在△CFG中,∠FGC+2∠GFC=180
如题有∠FGC=2∠EFB
故,2∠EFB+2∠GFC=180,即,∠EFB+∠GFC=90
∠EFG=180-（∠EFB+∠GFC）=180-90=90
由第1）问可知斯庇阿西AEFG是平行四边形
所以四边形AEFG是矩形