在数列 中,如果对任意的 ,都有
( 为常数),则称 为比等差数列, 称为比公差。以下命题:
① 等比数列一定是比等差数列,等差数列可能是比等差数列;
② 若 是等差数列, 是等比数列,则 是比等差数列;
③ 若数列 满足
则该数列不是比等差数列。
其中真命题的序号有 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
逐条写出新定义真正要求恒定的判定量,而不只比较相邻项本身。
证明“可能”可构造一例,否定“必然”只需一个所有比值合法的反例;最后对递推数列先算足够多的前项,比较相邻比的两次差。
① 对各项非零的等比数列,相邻两项之比恒等于公比,故
它一定是比等差数列。另一方面,非零常数列 同时是等差数列和比等差数列。因此①正确。
② 取
前者是等差数列,后者是等比数列,但 满足
它随 改变,故 不是比等差数列。因此②错误。
③ Fibonacci 数列前三个相邻比为
所以前两次比之差分别为
不相等,故该数列不是比等差数列。因此③正确。
综上,真命题的序号为
第二条也可取非恒定等比数列作反例:令 ,乘积前四项为3、10、28、72,相邻比为 ,相邻差分别为 ,并不恒定。所有项为正,因此反例不是借分母为零制造的。
新定义判断题要区分全称、存在和否定全称所需的证据强度。把定义中的判定量直接算出来,才能发现“等差乘等比”这类熟悉形式未必满足新的性质;每个用到的比值都先核分母。
须按新定义分别处理全称、可能性与否定命题,并构造一个常规反例,判断链清楚。
核心工具:命题否定与充要条件
已记下,谢谢!