为什么是3，目前的下限是多少
【 在 liushuoshu 的大作中提到: 】
: rt，证明或否定，总面积大于3的有限个正方形一定能覆盖单位正方形  
: --  
:

发自「今日水木 on 电饭煲控制器」
--
FROM 101.224.148.*

应该是可以。总面积必须大于等于3.

试着证明一下

先假设所有的有限个正方形是相等的，大小一样。
最浪费的摆法，是切分成n^2-1个正方形。其中（n-1）^2用来摆一个正方形，且n-1<1,这样留下了一个无限小的L型白边，而剩余了2n个正方形，只能覆盖白边的两侧，最后剩一个小角无法覆盖。

这样，n<2, n^2-1<3.

如果有限个正方形不相等，那么只要先摆大的正方形，那么剩下的2n个正方形，比起等大的切法，剩余的2n个要大，所以可以覆盖掉上面剩余的那个小角。但是这个证明过程搞不定了。。。



【 在 liushuoshu 的大作中提到: 】
: rt，证明或否定，总面积大于3的有限个正方形一定能覆盖单位正方形
--
FROM 221.223.99.*

四个相同正方形不香吗？
【 在 liushuoshu 的大作中提到: 】
: rt，证明或否定，总面积大于3的有限个正方形一定能覆盖单位正方形
--
FROM 49.66.176.*

啥是单位正方形？ 面积为1？

【 在 liushuoshu 的大作中提到: 】
: rt，证明或否定，总面积大于3的有限个正方形一定能覆盖单位正方形

- 来自「最水木 for iPhone 11 Pro Max」
--
FROM 74.88.40.*

抛个砖
1.总面积3以下不能保证覆盖，弄3个面积相等的正方形就覆盖不了了

2.总面积大于等于4肯定可以覆盖
操作方法是把正方形按面积区间进行分类，面积区间是[1/4,1),[1/16,1/4),[1/64,1/16)...
每个面积区间如果正方形数量大于3个，则4个正方形可以合并成1个更大的正方形（多余的部分当浪费掉了），并放入上一级区间中，比如区间[1/16,1/4)的4个正方形可以合成一个[1/4,1)区间的正方形
按照这个规则进行操作，直到每个区间都不超过3个正方形为止，那么此时总面积的最大值是每个区间都有3个正方形，且每个正方形面积取区间上限，总面积是3*(1+1/4+1/16+...)，这个极限算出来是4
所以总面积大于等于4时，就装不下了，肯定会合出一个面积大于等于1的正方形

但是这个方法浪费挺多，4是个比较上限的值
【 在 liushuoshu 的大作中提到: 】
: rt，证明或否定，总面积大于3的有限个正方形一定能覆盖单位正方形
--
修改:littlestone9 FROM 117.107.131.*
FROM 117.107.131.*