Question

已知各项为正数的等比数列{a_n}（n∈N^*）的公比为q（q≠1），有如下真命题：若

n1+n2

2

=p，则(an1•an2)

1

2

=ap（其中n₁、n₂、p为正整数）．
（1）若

n1+n2

2

=p+

1

2

，试探究(an1•an2)

1

2

与a_p、q之间有何等量关系，并给予证明；
（2）对（1）中探究得出的结论进行推广，写出一个真命题，并给予证明．

Answer 1

（1）因为

n1+n2

2

=p+

1

2

，所以n₁+n₂=2p+1，又a_n=a₁q^n-1(an1•an2)

1

2

=(

a

21

•qn1+n2-2)

1

2

=(

a

21

•q(2p-2)+1)

1

2

=(

a

1

•qp-1)q

1

2

=apq

1

2

即(an1•an2)

1

2

=apq

1

2

（2）若an1，an2，，anm是公比为q的等比数列{a_n}的任意m项，则存在以下真命题：
①若

n1+n2++nm

m

=p+

r

m

(m、p∈N*，r∈N，0≤r＜m)，则有(an1•an2••an3)

1

m

=apq

r

m

成立．
②若

n1+n2++nm

m

=p+

t

s

(m、p∈N*，s、t互素），则有(an1•an2••an3)

1

m

=apq

t

s

成立．