Prove that the portion of the tangent to the curve `(x+sqrt(a^2-y^2))/a=(log)_e(a+sqrt(a^2-y^2))/y` intercepted between the point of contact and the x-axis is constant.