(本题满分 分)给定整数 。求最小的正整数 (用 表示),使得存在满足下述条件 (i) 和 (ii) 的实数列 :
(i) 对任意 ,都有 ;
(ii) 存在正整数 ,使得 成公比为 的等比数列。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
一段单位步路线的步数至少等于两端距离,这是三角不等式;等号要求该段不绕路。等比数列的所选项按非零项处理,所以 ;整数公比使后续各段距离仍为整数。
想法从哪来:先画成一条每步只走一个单位的数轴路线。十个选中项之间的距离,是任何路线都躲不开的路程;逐段相加,比只看首尾距离更有力,特别是公比为负时,首尾差会掩盖大量往返。 首项虽可为实数,但第一段的有向差必须是非零整数。把它记作 ,以后九段的差便依次为 ,于是最小的共同尺度由 确定。要达到下界,就反过来取 ,再解出所选等比数列的首项。每一段都沿一个方向走完规定的整数距离,负公比只会使各段方向交替,并不会妨碍构造。最后把步数加一才是项数。
固定整数公比后,九段间距的共同最小单位已确定;距离下界可逐段用单位步实现。
设十个所选等比项为 ,。它们非零,且 是非零整数。单位步长给出 。反过来,取 ,各段的有向距离恰为整数 。从 出发,在第 段依其符号走 个单位步,便依次到达十个要求的等比项。因此 。
实数列首项允许为分数;例如负公比时分段往返也符合每步绝对差一。没有要求全部项递增。
先以所选子序列的总变差给必要界,再把每段整数距离细分,证明下界可达。
须连接非零整数首段差、逐段长度下界和正负公比统一的达到构造,完成必要性与充分性。
已记下,谢谢!