已知函數y=f（x）在定義域R上為減函數，且對任意x，y∈R，都有f（x+y）=f（x）+f（y），且f（1）=1，
（1）證明：函數y=f（x）是奇函數．
（2）求不等式f（log₂（x+2））+f（log₂x）＞3的解集．

已知函數y=f（x）在定義域R上為減函數，且對任意x，y∈R，都有f（x+y）=f（x）+f（y），且f（1）=1，
（1）證明：函數y=f（x）是奇函數．
（2）求不等式f（log₂（x+2））+f（log₂x）＞3的解集．