tan α = ½、tan β = ⅓ ⇒ α + β = 45°(恒等式 tanα·tanβ + tanα + tanβ = 1);进阶版见它在正方形 45° 半角模型里的落地:EF = BE + DF。