arccosh(z)=log{z+(z^2-1)^1/2}
これの証明をどなたかお願いします。ｚは複素数です。