在四边形ABCD中,已知∠BAD=90°,∠CBD=90°,AD=4,AB=3,BC=12,求以DC为边的正方形DCEF