集合M_k（k≥0）是滿足下列條件的函數f（x）全體：如果對于任意的x₁，x₂∈（k，+∞），都有f（x₁）+f（x₂）＞f（x₁+x₂）．
（1）函數f（x）=x²是否為集合M₀的元素，說明理由；
（2）求證：當0＜a＜1時，函數f（x）=a^x是集合M₁的元素；
（3）對數函數f（x）=lgx∈M_k，求k的取值范圍．

如果對數函數y=log₂x的圖象經過點（a，-2），則a的值為（　　）

如果一個函數的定義域是值域的真子集，那么稱這個函數為“思法”函數．
（1）判斷指數函數、對數函數是否為思法函數，并簡述理由；
（2）判斷冪函數y=x^α（α∈Q）是否為思法函數，并證明你的結論；
（3）已知ft(x)=ln(x2+2x+t)是思法函數，且不等式2^t+1+3^t+1≤k（2^t+3^t）對所有的f_t（x）都成立，求實數k的取值范圍．

已知指數函數y=f（x）、對數函數y=g（x）和冪函數y=h（x）的圖象都經過點P（

1

2

，2），如果f（x₁）=g（x₂）=h（x₃）=4，那么x₁+x₂+x₃=（　�。�