归纳构造在数论和组合中的应用.pdf

6 中 等 数 学 归 纳 构 造 在 数 论 和 组 合 中 的 应 用 i 廷 (上海市上海中学，200231) 中图分类号 ：0156 文献标识码：A 文章编号：1005—6416(2016)08—0006—05 (本讲适合高中) (0—aj)laiaj． 构造性 问题是数论和组合中的常见 问 下面构造一个满足条件的集合．s 题，构造对象的不可预知性造成这类题 目具 注意到，集合 S 中的n个数满足要求． 有较大的难度． 因此，构造的集合 ．s+，须含有集合 ．s中的 归纳构造是数学竞赛中常见的一种构造 数，且理想情形是出现 a一o(1≤i≠ ≤ )． 方式，其对于证明存在无穷多个具有某种性 于是，集合 ．s+中有n项包含 a。，a：，…，a． 质的问题比较有效．归纳构造和数学归纳法 基于前面的分析，设A=a1a…a，令 在数学逻辑上是相同的，即从 n=n 开始，相 S+1={，A+口1，A+a2，…，A+a}． 应于每个正整数n的性质记为P(n)． 易验证，集合 s+中的n+1个数满足 归纳构造主要由两部分组成： 要求． (1)构造基础，寻找符合要求的P()； 归纳构造也可以给出一些不定方程的解． 例 2 证明：方程 一2y2=1有无穷多 (2)假设 n≥2／，符合要求的P()已经 构造出来，通过它来构造P(n+1)，并证明所 组正整数解(，Y)． 证明 采用归纳构造给出原方程的无穷 寻找的第n+1个对象也满足要求． 多组正整数解． 由上述两步可以递推地给出无穷多个满 第一组解取为 =3，Y=2． 足条件的对象． 假设对n≥l，已得到解( ，Y)，即 下面通过例题说明． 一 2y2= 1． 例1 证明：对任何 自然数n1，存在一 ,, 下面构造 +1、Y 个由n个整数构成的集合 s，使得对集合 s 注意到， 中任意两个不同的数 日、b，均有 (5+b)(0+6) (5一b)16． = (6,／102一blb2)+(52b1+5l,1b2)， ① (第 27届美国数学奥林匹克) 其中，5、n、b、b为任意数． 【分析】当n=2时，只要取S={1，2}， 在式①中取 即得到