有一个项数为10的实数等比数列{a_n}，S_n（n≤10）表示该数列的前n项和．当2≤n≤10时，若S_k，S₁₀，S₇成等差数列，求证a_k-1，a₉，a₆也成等差数列．

PowerDesigner中ProcessAnalyst模块的主要功能是

A．提供了对PowerDesigner所有模型信息的只读访问

B．用于数据分析和数据发现，可描述复杂的处理模型

C．用于数据仓库和数据集市的建模和实现

D．用于物理数据库的设计和应用对象及数据组件的生成