如图,△ABC中,AC=BC,AB=4,∠ACB=90°,以AB的中点D为圆心DC长为半径作圆DEF,设∠BDF=α(0°<α<90°),当α变化时图中阴影部分的面积为 (圆:∠EDF=90°,圆的面积=)