对勾函数的性质如何证明?尽量详尽 谢谢