在RT三角形ABC中,∠c=90°,AC=4,BC=3,如图,四边形DEFC为△ABC的内接正方形,求正方形边长