在Rt△ABC中,由勾股定理求得AB=10,由旋转的性质可知AD=A′D,设AD=AD′=BE=x,则DE=10-2x,根据旋转90°可证△A′DE∽△ACB,利用相似比求x,再求△A′DE的面积.
【解析】
Rt△ABC中,由勾股定理求AB==10,
由旋转的性质,设AD=A′D=BE=x,则DE=10-2x,
∵△ABC绕AB边上的点D顺时针旋转90°得到△A′B′C′,
∴∠A′=∠A,∠A′DE=∠C=90°,
∴△A′DE∽△ACB,
∴=,即=,解得x=3,
∴S△A′DE=DE×A′D=×(10-2×3)×3=6,
故答案为:6.