数列例讲A解答.docVIP

PAGE PAGE 17 【代数十讲】 数列例讲-A 答案与讲稿 陶平生 内容与方法：存在问题，结构问题，递推与归纳、调整与化归、分类与对应，极端原理、构造法、母函数法，辅助数列法、等等 、数列满足：，， 、求的通项公式； 、证明：对于每个正整数，． 解、变形条件为：，因此，为一个等比数列，其首项为，公比也是，从而，则，… ① 所以， … ② 为证，即要证， … ③ 加强命题，先证，对每个，都有 … ④ 对归纳，时，有；设时④式成立，即 ，则当时， 即时④式也成立，故④式对于每个正整数都成立．因此③式成立，结论得证． 、证明以下命题： 、对任一正整数，都存在正整数，使得成等差数列； 、存在无穷多个互不相似的三角形,其边长为正整数，且成等差数列． 证明：、易知成等差数列，故也成等差数列， 所以对任一正整数，都存在正整数，使得成等差数列． 、若成等差数列，则有， 即 …… ①，下面采用构造法， 选取关于的一个多项式，例如，使得它可按两种方式分解因式， 由于 因此令 ，可得 … ② 易验证满足①，因此成等差数列， 当时，有且，因此以为边可以构成三角形．其次，任取正整数，假若三角形与相似，则有： ，据比例性质有： 所以，由此可得，与假设矛盾． 即任两个三角形与互不相似，所以，存在无穷多个互不相似的三角形,其边长为正整数且成等差数列． 、试求最小的正整数，使得对于满足条件的任一具有项的正整数数列， 其中必有连续的若干项之和等于． 解：首先，我们可以构造一个具有项的整数数列，使其中不存在和为的连续项；为此，取 ，以及 ，即 为： （共有段，前段中每段各有个项，最后一段有个项，共计个项），其次，当项数少于时，只须将某些段中连续的若干个数合并成较大的数即可． 对于满足条件的任一个具有项的正整数数列，我们来证明，其中必有连续的若干项之和等于.为此，记，则 ．今考虑两组数： 组；； 组；． 两组共有个正整数，最大数，故其中必有两数相等，但组中的任两数不相等，组中的任两数也不相等，因此必定有组中的某数等于组中的某个数， 设，则， 即.因此的最小值为. 、数列的前五项为，从第六项起，每项的值等于它前面所有项的乘积减；证明：该数列前项的乘积等于这项的平方和． 证明：当时，，所以， ，即；于是 ；而 ，所以 ． 、将等差数列{}：中所有能被3或5整除的数删去后，剩下的数自小到大排成一个数列{}，求的值. 　　　解：由于，故若是或的倍数，当且仅当是或的倍数． 现将数轴正向分成一系列长为的区间段： ……，注意第一个区间段中含有{}的项个，即．其中属于{}的项个， 它们是：； 于是每个区间段中恰有个{}的项，个{}的项， 且有，　,，由于，而， 所以． 、设为下述自然数的个数：的各位数字之和为且每位数字只能取或，求证：是完全平方数，这里 ，…． 解：由于的首位数字只取或，若去掉其首位数字，则有递推关系： ，易知 ，数列的特征方程为： ，将其分解因式，即 …… eq \o\ac(○,1)． 我们注意到， eq \o\ac(○,1)的左端含有因式，而正是菲波那奇数列： 的特征方程，这使我们想到，数列是否含有菲波那奇数列的某种“基因”？今将两个数列加以比较： ，…， 由此猜想，一般应有， …… eq \o\ac(○,2) 对归纳，时皆已验证，设 eq \o\ac(○,2)式已对于成立，则在时， ； ． 故对所有正整数， eq \o\ac(○,2)式皆成立，因此结论得证． 、证明：对于任何正整数，在集合中，可以取出个数，其中任三数都不成等差数列． 证：对归纳，时，从中可以取出个数，其中任三数都不成等差数列． 设结论已对于成立，即在集合中，可以取出个数，其中任三数都不成等差数列； 当时，对于集合，将其等分为三段： ，其中， ； 据归纳假设以及等差数列的“平移性”（即等差数列的各项都加上同一个实数后仍是等差数列），可知，在中各可取到符合条件的个数； 由于在同一个集合或者中，任两数的差不大于，而中的任一数与中的任一数之差至少是，于是，若将这两个集合中所取得的个数合并到一起，它们中的任三数也不成等差，因此时结论也成立，故命题得证． 、给定数列，其中，数列满足： 数列满足：，． 证明：可表为两个正整数的平方和． 证：对于数列，有 先说明，常数． 事实上， ． 于是，． 所以，① 对于数列，由条件知，数列严格单增， 将 两边平方得②， 易为，又得，③ 由②③知，是关于的方程 的两个相异根，因此由根与系数关系得 　　　　　 即 　　……　④ 由 eq \o\ac(○,1) eq \o\ac(○,4)知，为同一个数列，因此， 又据 eq \o\ac(○,1)知，数列的各项为正整数， 易知， 今构作辅助数列，，其中 满足： 　……　⑤ 满足：