研题·进阶 27 化繁为简思维秒杀“覆盖”最值题.docxVIP

研题进阶27化繁为简思维秒杀“覆盖”最值题

很多竞赛或强基模拟题喜欢给初等问题穿上高等数学的外衣，让考生望而生畏.今天这道题，虽然背景极深，但其实完全可以抛开那些花哨的概念，用每一个高中生都能接受的、纯粹的区间覆盖思想来处理.

【原题呈现】

正实数满足：对于任意，均存在，，使得，则的最小值为__________.

【核心换元】符号决定了一个离散的点集.设因为自变量取遍全体实数时，的值域能丝滑地连续取遍闭区间内的每一个实数点，所以我们完全可以进行整体换元，令.

题目实际上是在问一个数轴上的几何问题：

对于区间内任意实数，总能找到一个分母不超过255的允许分数，使得它们在数轴上的距离恒成立.求正实数的最小值.

这个问题的本质，是寻找以集合为中心撑开的覆盖条，如何刚好能够无缝吞并整个.其临界值，由集合中最大的相邻元间距决定.

【竞赛/高考风格通用解法】网格最大空隙分析与补集法证明

第一步：寻找最大的“空档”（求上界）

显然，在分母时，集合中包含如下这些分布均匀的点：

即使不考虑其他分母较小的分数，单是这些分母为255的点，就已经把区间均匀划分成255个长度为的小区间.

于是，任意的，总会落在这个“最疏网格”的某个区间（其中）内.在数轴上，该点到这两个端点中较近者的距离，绝对不超过半个区间的长度，即：

这说明，如果我们让覆盖半径大到，就已经足够覆盖由于分母为255