1. 投影
设多米诺长边与 x 轴夹角 θ ∈ [0, π/2]。它在两个坐标轴上的投影长为 2cosθ + sinθ 与 2sinθ + cosθ,每个投影都必须放进边长 L。两式在 θ ↦ π/2 − θ 下互换,只需看 θ ≤ π/4,此时第一式较大。
2. 对角度取最小
2cosθ + sinθ = √5 · cos(θ − φ), tan φ = 1/2
θ ∈ [0, π/4] 时 θ − φ 落在 (−π/2, π/2) 内,余弦在此是凹函数,最小值在端点取到:θ = 0 时为 2,θ = π/4 时为 3/√2 > 2。故 L ≥ 2,轴向放进 2 × 2 正方形取等。∎
贡献与精度
LittleChasa #135 于 9 月 25 日投稿投影与结论;确定最小值位置的凹性一步由极值竞技场补全。本项采纳贡献记一次永久 +2 证明分。最优值 2 由现有证书精确取到;该子题通过现有“已证明最优”机制关闭,保留历史纪录。