下一章 上一章 目录 设置
80、解题 ...
-
第三十章解题
李牧那道题，像一块棱角分明的、泛着金属寒光的石块，沉在水光意识的底部。无论她在做其他事情——听课、做作业、吃饭、甚至偶尔走神——那块“石头”的存在感都顽强地穿透上来，带着它冰冷、坚硬、充满挑衅意味的形状。
题目本身很简洁，但要求却苛刻：对于任意给定的正整数 n，需要找到 n 个不同的正整数，使得其中任意两个数的和都能整除它们的积。
水光尝试了最直接的方法：从小的情况开始枚举。n=2 很简单，但 n=3 就让她屡屡碰壁。她意识到这不能靠枚举，必须找到一种普遍的构造方法或存在性证明。
她尝试了多个方向。从数论角度分析最大公约数与最小公倍数的关系，得到一些必要条件，但离构造还很远。考虑代数结构或组合模型，也缺乏突破口。几天过去，草稿纸用了不少，那道题依然像一只冰冷的眼睛，嘲笑着她的徒劳。
她甚至怀疑这是李牧的故意刁难，但直觉又告诉她，题目如此简洁，背后应该藏着精巧的结构和数学美感。
在图书馆，她翻阅旧书寻找灵感，注意到关于“两两互质集合”的讨论，重新燃起希望，但深入思考后，思路又卡住了。
夜晚，在台灯下，她不再强行推导，而是闭上眼睛“看”问题。突然，一个关键的变形闪过脑海：将整除条件转化为方程 (a_i - t)(a_j - t) = t²。这让她兴奋不已，似乎找到了新的抓手。
她沿着这个方向思考：如果能找到一个公共的 t，让所有数都写成 t 加上 t²的某个因子，并且任意两个这样的因子相乘都等于 t²，问题就解决了。但这要求太强，对于超过两个数的情况几乎不可能。看来，必须允许不同的数对对应不同的 t，这又让问题复杂化。
周末，她继续挣扎。尝试从“倒数”角度考虑，将条件转化为调和平均数问题，依然没有找到易于构造的形式。她也想过用归纳法或贪心策略，从一个小的满足条件的集合开始，逐步添加新数，但如何确保新数与原有所有数都满足条件，成了一个难以协调的方程组。
挫败感如潮水般涌来。她觉得自己像困在玻璃瓶里的飞虫，四处碰壁。就在她几乎要放弃时，想起沈教授的话：陷入细节时，不妨退一步，看看整体结构。
她不再纠结于复杂的变形和局部构造，而是退回到问题最原始的形式。一个近乎“粗暴”却直接的想法，像闪电般劈开了混沌：如果让所有数都有一个巨大的公共因子 M 呢？
设 a_i = i * M。那么条件 (a_i + a_j) 整除 (a_i * a_j) 就转化为 M(i+j) 整除 M² i j，即 (i+j) 整除 M i j。如果能找到一个 M，使得对于所有 1 ≤ i < j ≤ n， (i+j) 都能整除 M，那么条件自然满足！
而 i 和 j 是 1 到 n 中不同的数，i+j 的取值范围恰好是从 3 到 2n-1 的所有整数。那么，只需要取 M 为 3, 4, 5, ..., 2n-1 这些数的最小公倍数即可！
构造瞬间清晰：令 M = lcm(3, 4, ..., 2n-1)，取 a_i = i * M (i=1,2,...,n)。这些数显然不同，并且对于任意 i
困扰她许久的难题，答案竟如此简洁、直接，甚至有些“暴力”。但它优美而无可辩驳地解决了问题。水光验证了 n=3 和 n=4 的例子，完美符合。
狂喜、释然与自嘲的情绪交织。原来她一度被自己引入的复杂思路蒙蔽，忽略了最本质的路径：将条件转化为一个易于实现的充分条件，然后构造。
她工整地写下证明，内心感到前所未有的平静与满足。无论李牧将如何评价，她已完成了这场与自己的较量。
