折叠模型 · 轴对称与勾股方程

矩形 ABCD 沿 EF 折叠，A 落到 CD 边上的 A′——折痕垂直平分 AA′；
经典版验证折叠三性质，进阶版演示勾股列方程的原理（ED² + DA′² = EA′²）。