A = (0, 0)  
B = (4 * sqrt(2), 0)  
C = (2 * sqrt(2), 2 * sqrt(2))  
s_AB = Segment(A, B)  
s_AC = Segment(A, C)  
s_BC = Segment(B, C)  
poly_ABC = Polygon(A, B, C)  
D = Midpoint(A, C)  
t = Slider(0, 1)  
E = Point(s_AB, t)  
F = Rotate(D, -45°, E)  
s_DE = Segment(D, E)  
s_EF = Segment(E, F)  

**说明**：  
1. 根据文本条件（∠C=90°, AC=BC=4）精确计算坐标：  
   - AB = $4\sqrt{2}$ → B = $(4\sqrt{2}, 0)$  
   - C 满足等腰直角关系 → C = $(2\sqrt{2}, 2\sqrt{2})$  
2. 点 D 为 AC 中点 → `Midpoint(A, C)`  
3. 点 E 为 AB 上动点 → 用滑块 t 和 `Point(s_AB, t)` 定义  
4. 线段 DE 绕 E 顺时针旋转 45° 得 EF → `Rotate(D, -45°, E)` 生成 F  
5. 所有提及的边（AB, AC, BC, DE, EF）均用 `Segment` 连接  
6. 严格忽略验证、标注、样式命令，仅保留基本构造命令