可以证明，对任意的n∈N^*，有（1+2+…+n）²=1³+2³+…+n³成立．下面尝试推广该命题：
（1）设由三项组成的数列a₁，a₂，a₃每项均非零，且对任意的n∈{1，2，3}有（a₁+a₂+…+a_n）²=a₁³+a₂³+…+a_n³成立，求所有满足条件的数列；
（2）设数列{a_n}每项均非零，且对任意的n∈N^*有（a₁+a₂+…+a_n）²=a₁³+a₂³+…+a_n³成立，数列{a_n}的前n项和为S_n．求证：a_n+1²-a_n+1=2S_n，n∈N^*；
（3）是否存在满足（2）中条件的无穷数列{a_n}，使得a₂₀₁₁=2009？若存在，写出一个这样的无穷数列（不需要证明它满足条件）； 若不存在，说明理由．

在解决问题：“证明数集没有最小数”时，可用反证法证明．

假设是中的最小数，则取，可得：，与假设中“是中的最小数”矛盾！ 那么对于问题：“证明数集没有最大数”，也可以用反证法证明．我们可以假设是中的最大数，则可以找到   ▲   （用，表示），由此可知，，这与假设矛盾！所以数集没有最大数．