设是各项均为非零实数的数列的前项和，给出如下两个命题上：
命题：是等差数列；命题：等式对任意（）恒成立，其中是常数。
⑴若是的充分条件，求的值；
⑵对于⑴中的与，问是否为的必要条件，请说明理由；
⑶若为真命题，对于给定的正整数（）和正数M，数列满足条件，试求的最大值。