已知在正整数 的各位数字中,共含有 个 , 个 ,, 个 ;证明:
并请确定使等号成立的条件。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
按十进制末位作归纳,数码加一的乘积随截去末位自然分解;两层不等式的等号条件可逐位追踪。
令 为 的每位数码加一后的乘积,零数码贡献一,正与题目左侧相同;设 。对 ,,有 。由归纳假设,
其中后一不等式因差为 。一位数情形直接成立,归纳完成。 当 时,要取等必须且只需 且 ; 时任意一位正数都取等。所以等号恰在首位任取一至九、其余各位全为九时成立,即
时乘积为 ; 时为二,严格小于11。末位为零仍有因子一,归纳不丢该类。等号需要逐层两次比较均取等,已覆盖全部位数。
数码乘积与原数大小比较可沿截尾递推,等号从每一位的局部损失反向恢复。
需要按数码截尾设计归纳,并逐层追踪等号而非只给一个全九的例子。
已记下,谢谢!