【数论/不等式】自编题1

已知数列 $b_n$ 的第 $n$ 项等于 $n$ 所有正整数因数的平方和，如 $b_2=1^2+2^2=5,b_4=1^2+2^2+4^2=21$；数列 $T_n$ 的第 $n$ 项等于 $n$ 因数个数，如 $T_4=3$。请回答以下小题（12分）

（1）$b_6=$___________,$T_{12}=$_____________（2分）
（2）证明： $b_n\ge n{T}_n$（4分）

（3）证明 $b_n<\frac{7}{4}{n}^2$（6分）

解答：
（1）$50,5$
（2）对于正整数 $n$，若 $a$ 为其因数，$\frac{n}{a}$ 也是其因数，下文称这两个因数为“一对因数”。
$$a^2+(\frac{n}{a}{)}^2\ge 2\times a\times \frac{n}{a}=2n$$

也就是说，一对因数的平方和必然不小于 $2n$
若 $n$ 不为完全平方数，则有 $\frac{T_n}{2}$ 对因数，$b_n\ge \frac{T_n}{2}\times 2n=T_n\times n$
若 $n$ 不为完全平方数，则有 $\frac{T_n-1}{2}$ 对因数，$b_n\ge \frac{T_n-1}{2}\times 2n+n=T_n\times n$

（3）不妨记正整数 $n$ 因数从小到大依次为 $c_1,c_2\dots c_{T_n}$，容易发现对于任意满足 $1\le x\le T_n$ 的正整数 $x$ 均有 $c_x{c}_{T_n-x}=n$（即 $c_x$ 和 $c_{T_n-x}$ 为一对因数）。

那么， $n$ 的因数从小到大可以重新表述成 $\frac{n}{c_{T_x}},\frac{n}{c_{T_n-1}}\dots \frac{n}{c_1}$

只要证明 $(\frac{n}{c_{T_x}}{)}^2+(\frac{n}{c_{T_n-1}}{)}^2\cdots +(\frac{n}{c_1}{)}^2<\frac{7}{4}{n}^2$

只要证明 $(\frac{1}{c_{T_x}}{)}^2+(\frac{1}{c_{T_n-1}}{)}^2\cdots +(\frac{1}{c_1}{)}^2<\frac{7}{4}$

考虑证明一个更强的结论 $\frac{1}{1^2}+\frac{1}{2^2}+\cdots +\frac{1}{n^2}<\frac{7}{4}$，若该命题成立，原命题自然成立。

由于
$$\frac{1}{1^2}+\frac{1}{2^2}+\cdots +\frac{1}{n^2}<\frac{1}{1^2}+\frac{1}{2^2-1}+\frac{1}{3^2-1}+\cdots +\frac{1}{n^2-1}$$

对不等号右边列项，得

$$\frac{1}{1^2}+\frac{1}{2^2}+\cdots +\frac{1}{n^2}<1+\frac{1}{2}(1+\frac{1}{2}-\frac{1}{n}-\frac{1}{n+1})<\frac{7}{4}$$

故新命题成立，则原命题成立。

感谢浏览。