方格表中十层内含矩形的面积比
在一个 的方格表中,取出十个矩形 ,满足:每个矩形的四条边都重合于方格表的网格线或边界,且对每个 ,矩形 完全位于 的内部(不含边界)。设 的面积分别为 。
(1)证明:对每个 ,都有 ;
(2)将
中的最小数记为 ,求 的最大可能值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
这是整数几何的离散跳档与累乘估计,连续面积近似无法替代边长取整。候选瓶颈需由构造和反证共同确认。
想法从哪来:先把严格内含翻成边长约束:相邻两层在四周都至少留一格,所以两边各至少增加2。 第一问不用逐层列面积,只检查333的可行因数对:短边能留多少内层、长边还能套多少外层,两种要求会冲突。 第二问先试最小的前几层正方形,第四层面积至少49。若所有面积比都略大于候选值,第五层会跨过90;整数边长又使下一档面积直接跳到99。把这次离散跳跃沿后五层放大,就会超过最外层容量。构造随后逐层选边长,让每个面积比都不低于该瓶颈,同时检查两边而非仅面积递增。
严格内含使长、宽在每一层至少各增加 。第一问利用 的唯一可行边长分解;第二问用第四、第五层的最小边长锁定上界,再给出达到上界的十组整数边长。
若一个网格矩形的长、宽为正整数 ,它严格位于另一个网格矩形内部,则外矩形的长、宽分别至少为 。
(1)若某个 ,由于两条边均不超过 ,该矩形的边长只能是 与 。在它内部还要放置 层矩形,短边给出
所以 。在它外部还要放置 层矩形,长边给出
所以 。矛盾,故每个 都不等于 。
(2)先证上界。若 ,由于 的两条边都至少为 ,有 ,从而
的两条边都至少为 。两个不小于 的正整数之积若严格大于 ,最小只能是 ,故 。于是
这与 矛盾。因此
下面构造取到等号的情形。依次取十个矩形的边长为
相邻两组边长均分别至少增加 ,故可在 方格表中逐层严格内含地放置。相应面积为
九个相邻面积比依次为
其中最小值为 。结合(1),得到
第一问同时检查了短边容纳内层和长边容纳外层,两个指数条件互相冲突。构造中最外层 未越出方格表,且逐项比较可验证除 外的八个比值都更大。
网格上的严格内含把几何条件离散成“每层两边至少加 ”。上界证明应寻找某一中间层的强制最小面积,再用后续面积比累乘;下界则通过精心平衡相邻面积比的整数边长序列构造。
须从内外层约束选中第4至5层的离散面积跳跃来形成全局上界,并设计十层边长序列同时达到瓶颈比值。
核心工具:配成乘积,枚举因数对、最大最小问题中让几项取平衡
已记下,谢谢!