Question

對n∈N^*，定義函數f_n（x）=-（x-n）²+n，n-1≤x≤n．
（1）求證：y=f_n（x）圖象的右端點與y=f_n+1（x）圖象的左端點重合；并回答這些端點在哪條直線上．
（2）若直線y=k_nx與函數f_n（x）=-（x-n）²+n，n-1≤x≤n（n≥2，n∈N^*）的圖象有且僅有一個公共點，試將k_n表示成n的函數．
（3）對n∈N^*，n≥2，在區間[0，n]上定義函數y=f（x），使得當m-1≤x≤m（n∈N^*，且m=1，2，…，n）時，f（x）=f_m（x）．試研究關于x的方程f（x）=f_n（x）（0≤x≤n，n∈N^*）的實數解的個數（這里的k_n是（2）中的k_n），并證明你的結論．

Answer 1

【答案】分析：（1）由f_n（n）=n 得 y=f_n（x）圖象右端點的坐標為（n，n），由f_n+1（n）=n得 y=f_n+1（x）圖象左端點的坐標為（n，n），故兩端點重合，且這些點在直線y=x上．
（2）由題設及（1）的結論方程-（x-n）²+n=k_n•x可得 1＜k_n＜2，且k_n單調遞減．在n-1≤x≤n上有兩個相等的實數根．求出方程的兩個根，求得 k_n=2n-2，
（n≥2，n∈N^*）．
（3）當n≥2時，求得 k_n=，可得 1＜k_n＜2，且k_n單調遞減．分①當n≥3時，和②當n=2時兩種情況，分別求得方程 f（x）=k_n•x（ 0≤x≤n，n∈N^*）的實數解的
個數為2n-1，從而證得結論．
解答：（1）證明：由f_n（n）=n 得 y=f_n（x）圖象右端點的坐標為（n，n），
由f_n+1（n）=n得 y=f_n+1（x）圖象左端點的坐標為（n，n），故兩端點重合．  （2分）
并且對 n∈N^*，這些點在直線y=x上．（4分）
（2）由題設及（1）的結論，兩個函數圖象有且僅有一個公共點，即方程-（x-n）²+n=k_n•x在 滿足n-1≤x≤n的區間上有兩個相等的實數根．
整理方程得 x²+（k_n-2n）x+n²-n=0，
由△=-4（n²-n）=0，解得 k_n=2n±2，（8分）
此時方程的兩個實數根x₁，x₂相等，由 x₁+x₂=2n-k_n，
得 x₁=x₂==[2n±2]=m，
因為 n-1≤x₁=x₂≤n，所以只能 k_n=2n-2，（n≥2，n∈N^*）．（10分）
（3）當n≥2時，求得 k_n=2n-2==，
可得 1＜k_n＜2，且k_n單調遞減．                                                      （14分）
①當n≥3時，對于2≤i≤n-1，總有1＜k_n＜k_i，亦即直線y=k_nx與函數f_i（x）的圖象總有兩個不同的公共點（直線y=k_nx在直線y=x與直線y=k_i x之間）．
對于函數f_i（x）來說，因為 1＜k_n＜2，所以方程 k_n•x=f_i（x）有兩個解：x₁=0，x₂=2-k_n∈（0，1）．
此時方程f（x）=k_n•x（ 0≤x≤n，n∈N^*）的實數解的個數為2（n-1）+1=2n-1．（16分）
②當n=2時，因為1＜k₂＜2，所以方程 k₂x=f_i（x）有兩個解．此時方程f（x）=k₂x．
（0≤x≤2）的實數解的個數為3．    （17分）
綜上，當n≥2，n∈N^*時，方程 f（x）=k_n•x（ 0≤x≤n，n∈N^*）的實數解的個數為2n-1．  （18分）
點評：本題主要考查函數的零點與方程的根的關系，二次函數的性質，體現了化歸與轉化的數學思想，屬于中檔題．