n=4,8,16,18时的最优解证明

注意到：若n=4,8,16,18个等腰直角三角形可以放进边长是d的正方形中，则比较面积得n/2 \le d^2, 故d \ge \sqrt{n/2}. 在n=4,8,16,18时下界取到，故最优。