https://erich-friedman.github.io/packing/taninsqu/ n=10：Joshua Wolk，2.393+→2.39057+ n=12：Joshua Wolk，2.61115+→2.61005+ n=14：Joshua Wolk，2.76345+→2.76246+ n=15：Joshua Wolk，2.82735+→2.82714+ n=19：Joshua Wolk，3.201+→3.19001+ n=20：Joshua Wolk，3.26857+→3.26733+ n=23：Joshua Wolk，3.464+→3.46363+ n=24：Joshua Wolk，3.517+→3.51127+
P89 · 等腰直角三角形装入正方形 · 讨论