十字架模型 · 垂直即相等

正方形 ABCD，E∈BC，过 B 作 AE 的垂线交 CD 于 F——AE = BF；
经典版看垂直与相等联动，进阶版拆解全等 + 勾股双对账。