已知函數(shù)y=f（x）的定義域?yàn)镽⁺，對(duì)任意x，y∈R⁺，有恒等式f（xy）=f（x）+f（y）；且當(dāng)x＞1時(shí)，f（x）＜0．
（1）求f（1）的值；
（2）求證：當(dāng)x∈R⁺時(shí)，恒有；
（3）求證：f（x）在（0，+∞）上為減函數(shù)；
（4）由上一小題知：f（x）是（0，+∞）上的減函數(shù)，因而f（x）的反函數(shù)f^-1（x）存在，試根據(jù)已知恒等式猜想f^-1（x）具有的性質(zhì)，并給出證明．

已知中，，.設(shè)，記.

（1）   求的解析式及定義域；

（2）設(shè)，是否存在實(shí)數(shù)，使函數(shù)的值域?yàn)?img src="http://thumb.zyjl.cn/pic6/res/gzsx/web/STSource/2012070912360984321474/SYS201207091236439995110628_ST.files/image010.png">？若存在，求出的值；若不存在，請(qǐng)說(shuō)明理由.

【解析】第一問(wèn)利用（1）如圖，在中，由，，

可得，

又AC=2，故由正弦定理得

（2）中

由可得.顯然，，則

1當(dāng)m>0的值域?yàn)?img src="http://thumb.zyjl.cn/pic6/res/gzsx/web/STSource/2012070912360984321474/SYS201207091236439995110628_ST.files/image021.png">m+1=3/2,n=1/2

2當(dāng)m<0，不滿足的值域?yàn)?img src="http://thumb.zyjl.cn/pic6/res/gzsx/web/STSource/2012070912360984321474/SYS201207091236439995110628_ST.files/image021.png">；

因而存在實(shí)數(shù)m=1/2的值域?yàn)?img src="http://thumb.zyjl.cn/pic6/res/gzsx/web/STSource/2012070912360984321474/SYS201207091236439995110628_ST.files/image021.png">.