已知函数的图象是自原点出发的一条折线．当时，该图象是斜率为的线段（其中正常数），设数列由定义． 求：
求和的表达式；
求的表达式，并写出其定义域；
证明：的图像与的图象没有横坐标大于1的交点．