Tractrix exercise Exercise:
Let 
$$\begin{align*}\gamma:(0,\pi) &\to \mathbb R^2\\
t &\mapsto \gamma(t)=(\sin t,\ \cos t+\log \left(\tan(\frac{t}{2}) \right), \end{align*}$$
be the parametrized curve of the tractrix.
Let $P$ be a point on the tractrix, $L$ the tangent line that passes through $P$, and $Q$ the intersection of $L$ with the $y$ axis. Prove that the distance between $P$ and $Q$ is $1$.
My attempt and questions:
If $P=\gamma(t_0)$, with $t_0 \in (0,\pi)$, then the tangent line $L$ is
$$L: \gamma(t_0)+\lambda\gamma'(t_0).$$
The intersection of the line and the $y$ axists is the point $Q=(0,\gamma_2(t_0)-\dfrac{\gamma_2'(t_0)}{\gamma_1'(t_0)}\gamma_1(t_0)$.
I've tried to find the point of intersection between the tangent line and the $y$ axis and then calculate $\|P-Q \|^2$ but I got stuck.
$$\|P-Q\|^2=\|(\gamma_1(t_0),-\frac{\gamma_2'(t_0)}{\gamma_1'(t_0)}\gamma_1(t_0))\|^2$$
I've calculated 
$$\gamma'(t_0)=\left(\cos(t),-\sin(t)+\frac{\sec^2(\frac{t_0}{2})}{2\tan(\frac{t_0}{2})} \right),$$ 
to know $\gamma_1'(t_0),\gamma_2'(t_0)$ but I couldn't arrive to anything.
Also, what if $\gamma_1'(t_0)=0$?, This can perfectly be the case, for example take $t=\frac{\pi}{2}$. How can I analyze that case separately from the rest?
Any suggestions, ideas, answers would be appreciated.
 A: 
I'll outline a short proof using only your calculation of $\gamma'(t_0)$. As you will see, it may help to do things one at a time rather than trying to write one big equation and solve for every variable simultaneously. The algebraic details I will leave for you to work out.

Note that $$\frac{\sec^2 \left(\frac{t_0}{2}\right)}{2\tan\left(\frac{t_0}{2}\right)}=\frac{1}{2\sin\left(\frac{t_0}{2}\right)\cos\left(\frac{t_0}{2}\right)}=\csc(t_0)$$
Hence the tangent line (parameterised by $s$) at a point $P=\gamma(t_0)= (x_0,y_0)=\left(\sin(t_0),\cos(t_0)+\log\left(\tan\left(\frac{t_0}{2}\right)\right)\right)$ is given by
$$x=\sin(t_0)+ s\cos(t_0)$$
$$y=\cos(t_0)+\log\left(\tan\left(\frac{t_0}{2}\right)\right)+s\bigg(-\sin(t_0)+\csc(t_0)\bigg)$$
This line intersects the $y$ axis at $Q=L(s_0)$, where $x=0$. That is,
$$\bigg(\sin(t_0)+s_0(\cos(t_0))=0\bigg)\Longrightarrow s_0=\frac{-\sin(t_0)}{\cos(t_0)}=-\tan(t_0)$$
Substituting this to find $y_1$, the $y$ value of $Q=(0,y_1)$, we get
$$\begin{aligned}
y_1  =& \,\cos(t_0)+\log\left(\tan\left(\frac{t_0}{2}\right)\right)-\tan(t_0)\bigg(-\sin(t_0)+\csc(t_0)\bigg)\\
=& \,\log\left(\tan\left(\frac{t_0}{2}\right)\right)
\end{aligned}$$
Hence the distance between
$$P=\left(\sin(t_0),\cos(t_0)+\log\left(\tan\left(\frac{t_0}{2}\right)\right)\right)$$
and
$$Q=\left(0,\log\left(\tan\left(\frac{t_0}{2}\right)\right)\right)$$
is $\sqrt{\sin^2(t_0)+\cos^2(t_0)}=1$

Note that at $t=\frac{\pi}{2}$, a tangent line doesn't exist, so you can safely ignore that point for the purposes of this question.

