已知点P₁（a₁，b₁），P₂（a₂，b₂），…，P_n（a_n，b_n）（n为正整数）都在函数y=(

1

2

)x的图象上，且数列{a_n} 是a₁=1，公差为d的等差数列．
（1）证明：数列{b_n} 是公比为(

1

2

)d的等比数列；
（2）若公差d=1，以点P_n的横、纵坐标为边长的矩形面积为c_n，求最小的实数t，若使c_n≤t（t∈R，t≠0）对一切正整数n恒成立；
（3）对（2）中的数列{a_n}，对每个正整数k，在a_k与a_k+1之间插入2^k-1个3（如在a₁与a₂之间插入2⁰个3，a₂与a₃之间插入2¹个3，a₃与a₄之间插入2²个3，…，依此类推），得到一个新的数列{d_n}，设S_n是数列{d_n}的前n项和，试求S₁₀₀₀．

已知f（x）=a²x-x³，x∈（-2，2）为正常数．
（1）可以证明：定理“若a、b∈R^*，则（当且仅当a=b时取等号）”推广到三个正数时结论是正确的，试写出推广后的结论（无需证明）；
（2）若f（x）＞0在（0，2）上恒成立，且函数f（x）的最大值大于1，求实数a的取值范围，并由此猜测y=f（x）的单调性（无需证明）；
（3）对满足（2）的条件的一个常数a，设x=x₁时，f（x）取得最大值．试构造一个定义在D={x|x＞-2，且x≠4k-2，k∈N}上的函数g（x），使当x∈（-2，2）时，g（x）=f（x），当x∈D时，g（x）取得最大值的自变量的值构成以x₁为首项的等差数列．