P90 · 最优性证明

把多米诺转斜没有用

用两个坐标方向的投影解决一个多米诺的情形。

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 由现有证书精确取到;该子题通过现有“已证明最优”机制关闭,保留历史纪录。

动态