【已知不等式a2x2−(26−1)x−6-lne≥0（0＜a＜1，e为自然对数的底数）的解集为D，函数f（x2-3）=lnx2+1x2+6，x∈D．（1）求出f（x）的解析式和定义域；（2）判断f（x）的单调性，并用定义证明你的】

　　已知不等式a2x2−(2

　　6−1)x−

　　6-lne≥0（0＜a＜1，e为自然对数的底数）的解集为D，函数f（x2-3）=lnx2+1x2+6，x∈D．

　　（1）求出f（x）的解析式和定义域；

　　（2）判断f（x）的单调性，并用定义证明你的结论．