1. (2016高一上·揭阳期中) 问题“求方程5^x+12^x=13^x的解”有如下的思路：方程5^x+12^x=13^x可变为（ ）^x+（ ）^x=1，考察函数f（x）=（ ）^x+（ ）^x可知f（2）=1，且函数f（x）在R上单调递减，所以原方程有唯一解x=2．仿照此解法可得到不等式：lgx﹣4＞2lg2﹣x的解集为．