数列｛a_n｝满足a_n>0,前n项和.

①求 ;

②猜想｛s_n｝的通项公式，并用数学归纳法证明.

在等比数列{an}中,an>0,且a1·a2…a7·a8=16,则a4+a5的最小值为　　　　. 

（本小题满分12分）等比数列{a_n}中，a_n > 0(n∈N^*)，公比q∈(0,1)，且a₁a₅＋2a₃a₅＋a₂a₈＝25， a₃与a₅的等比中项为2.

(1)求数列{a_n}的通项公式；

(2)设b_n＝log₂a_n，数列{b_n}的前n项和为S_n，求数列{S_n}的通项公式；

已知等比数列{a_n}中，a_n > 0，公比q∈(0,1)， 且a₁a₅＋2a₃a₅＋a₂a₈＝25， a₃与a₅的等比中项为2.

(1)求数列{a_n}的通项公式；

(2)设b_n＝log₂a_n，求数列{b_n}的前n项和S_n.

已知等比数列{a_n}中，a_n > 0，公比q∈(0,1)， 且a₁a₅＋2a₃a₅＋a₂a₈＝25， a₃与a₅的等比中项为2.
(1)求数列{a_n}的通项公式；
(2)设b_n＝log₂a_n，求数列{b_n}的前n项和S_n.