易知f′_n（x）=x²-（3a_n+n²）x+3n²a_n=（x-3a_n）（x-n²）．令f′_n（x）=0，得x₁=3a_n，x₂=n²．

①若3a_n＜n²，则当x＜3a_n时，f′_n（x）＞0，f_n（x）单调递增；当3a_n＜x＜n²时，f′_n（x）＜0，f_n（x）单调递减；当x＞n²时，f′_n（x）＞0，f_n（x）单调递增．故f_n（x）在x=n²取得极小值．

②若3a_n＞n²，仿①可得，f_n（x）在x=3a_n取得极小值．

③若3a_n=n²，则f′_n（x）≥0，f_n（x）无极值．

若对任意的n，都有3a_n＞n²，则a_n+1=3a_n．即数列{a_n}是首项为a，公比为3的等比数列，且a_n=a•3^n-3．

而要使3a_n＞n²，即a•3ⁿ＞n²对一切n∈N^*都成立，只需a＞

n2

3n

对一切n∈N^*都成立．

记bn=

n2

3n

，则b1=

1

3

，b2=

4

9

，b3=

1

3

，.

令y=

x2

3x

，则y′=

1

3x

(2x-x2ln3)＜

1

3x

(2x-x2)．

因此，当x≥2时，y'＜0，从而函数y=

x2

3x

在[2，+∝）上单调递减，

故当n≥2，数列{b_n}单调递减，即数列{b_n}中最大项为b₂=

4

9

，于是当a＞

4

9

是，必有a＞

n2

3n

，

这说明当a∈（

4

9

，+∞）时，数列{a_n}是等比数列．

当a=

4

9

，可得a₁=

4

9

，a₂=

4

3

，而3a₂=4=2²，又③知，f₂（x）无极值，不合题意．

当

1

3

＜a＜

4

9

时，可得a₁=a，a₂=3a，a₃=4，a₄=12…，数列{a_n}不是等比数列．

当a=

1

3

时，3a=1=1²，由（3）知，f₁（x）无极值，不合题意．

当a＜

1

3

时，可得a₁=a，a₂=1，a₃=4，a₄=12，，数列{a_n}不是等比数列．

综上所述，存在a，使数列{a_n}是等比数列，且a的取值范围为(

4

9

，+∞)．