https://erich-friedman.github.io/packing/squintri/ Erich Friedman的页面上n=2,3,4,5,6,7,11,16,22,29,37,46均被Hiroaki Hosono证明最优。 其中，n=37的10.15299是唯一一个被推翻的外部记录（Hosono证出的是10.15470，所以10.15299实际是不可达的）。其他记录都被证明为最优。 Hiroaki Hosono把证明发在了他的Github仓库中：https://github.com/wand125/square-packing
P85 · Squares in an equilateral triangle · Discussion