分成5个单位正方形，若任意距离大于sqrt2，每个小长方形至多放一个，则放不了6个点，故sqrt2即为最优
P21 · Spreading points in a plus sign · Discussion
本题n=6已达最优的证明（再发一遍，上次审核似乎没看见）
https://minmaxarena.com/proofs/spread-points-in-a-cross-n6
分成5个单位正方形，若任意距离大于sqrt2，每个小长方形至多放一个，则放不了6个点，故sqrt2即为最优
https://minmaxarena.com/proofs/spread-points-in-a-cross-n6