已知函数，且在处的切线方程为.
（1）求的解析式；
（2）证明：当时，恒有；
（3）证明：若，，且，则.