验证的是an = 3^n这个式子，看 n=1时，a1是不是等于3，如果符合，统一an = 3^n，如果带进去an不等于3，就n=1和n≥2分开写
确实，你的想法是对的，要验证n=1时是否符合通项公式，如果符合就统一一个式子，否则写成分段函数。答案不够严谨，能注意到这方面的细节，挺好的。
不用的,当n=2时,第二项和第一项就自动得到了证明.
