y=chx,规定了x≥0后就有反函数
y=chx=[e^x+e^(-x)]/2 (x≥0),反函数：y=archx=ln[x+√(x^2-1)] (x≥1)