照明 (7)

前回の記事(https://pzdc.hatenablog.com/entry/2022/09/11/164915)で、美術館の照明数に関する話題はひと段落、と書いていた。

しかし、やはり「予想」の部分について、気になっていたので、プログラムを書いて調べた(下図)。

二重線よりも上側は私が手計算で検証済みの値である。w=3からw=11まで調べた(小さいhについて、手計算の結果と一致していることを確認済みである)。

結局、計算した全ての結果が、予想を支持している。予想は、ほぼ確実に「正しい」と言えそうだ。誰か証明してほしい。