一个圆x^2+y^2=9,求点x=1的切线函数