Question

在直角坐标系中，有一点列P₁（a₁，b₁），P₂（a₂，b₂），…，P_n（a_n，b_n），…对每一个正整数n，点P_n在给定的函数，y=log₃（2x）的图象上，点P_n和点（（n-1，0）与点（n，0）构成一个以P_n为顶点的等腰三角形．
（I） 求点P_n的纵坐标b_n的表达式；
（II） 记c_n=，n∈N₊．
①证明；
②是否存在实数k，使得对一切n∈N₊均成立，若存在，求出的最大值；若不存在，说明理由．

Answer

（Ⅰ）由题意可得，然后由点Pn在给定的函数，y=log3（2x）的图象可求bn
（Ⅱ）①由cn==2n-1，然后利用错位相减求和方法可求，然后进行证明
②由k恒成立，要求k的范围，利用函数的单调性求解g（n）的最小值，从而k≤g（n）的最小值，即可求解k的范围
【解析】
（Ⅰ）∵Pn（an，bn），（n-1，0）与点（n，0）构成一个以Pn为顶点的等腰三角形
∴       …（2分）
又因为点Pn在给定的函数，y=log3（2x）的图象
∴bn=log3（2n-1）…（4分）
（Ⅱ）①∵cn==2n-1------------------（5分）
设Dn=
则Dn=①
∴        ②…（6分）
由①-②得：
∴
=1+2-
=3-＜3--------（9分）
②由已知得k对一切n∈N+均成立．
∴=×
==＞1-------（12分）
∴g（n）单调递增．最小值为g（1）=--------（13分）
又∵k≤g（n）对一切n∈N+均成立．
∴k．
…（14分）