正方形半角模型 · 45° 的和差与勾股

正方形 ABCD，∠EAF=45°——EF = BE + DF，A 到 EF 的距离 AH = AB；
进阶版接对角线截半角：BD 交 AE/AF 于 M/N ⇒ MN² = BM² + DN²。