https://erich-friedman.github.io/packing/tricovcir/ （倒数换算） n=9：Abdulfayyod Mukhamedov，1.01456+ n=12：Abdulfayyod Mukhamedov，1.18644+
P78 · 用 n 个正三角形覆盖圆盘 · 讨论
https://erich-friedman.github.io/packing/tricovcir/ （倒数换算） n=9：Abdulfayyod Mukhamedov，1.01456+ n=12：Abdulfayyod Mukhamedov，1.18644+