Spherical Trigonometry: Spherical triangle ABC is an equilateral spherical triangle in which small displacements are made, in the sides and angles, of such a nature that the triangle remains equilateral. Prove that
$$
\frac{da}{dA} = \cos\left({\frac{A}{2}}\right) \cot\left({\frac{a}{2}}\right)
$$
I would have mentioned my progress. But all I have been able to done is differentiate different trigonomeric formulae to get an expression which is of no use to simplify, since it never matches with answer on a numerical verification.
Please help. A hint on how to start might be enough.
NOTE: This question is Q9 of Execrcise 1 from W.M. Smart's Spherical Astronomy.
 A: I don’t believe the formula is correct as quoted.
We’re dealing with an equilateral (and equiangular!) spherical triangle, and to avoid (my own) confusion, I’ll call the side-length $s$ and the angle $\theta$. Both are angles, of course. The most obvious thing is to bisect the triangle into two right triangles, each with hypotenuse $s$ and one side $s/2$, this latter side being opposite the angle $\theta/2$, while the other angle of the triangle is still $\theta$.
Now, one of the standard formulas for right spherical triangles is
$$
\cos c=\cot A\cot B\,,
$$
and for us, $c=s$, $A=\theta$, $B=\theta/2$. So we differentiate our relation
$\cos s=\cot\theta\cot(\theta/2)$, and get
\begin{align}
-\sin s\frac{ds}{d\theta}&=-\cot\theta\csc^2(\theta/2)\cdot\frac12
-\csc^2\theta\cot(\theta/2)\\
\frac{ds}{d\theta}&=\frac{\frac12\cot\theta\csc^2(\theta/2)+\csc^2\theta\cot(\theta/2)}{\sin s}\,.
\end{align}
Now let’s test this out on the nicest possible equilateral triangle, the one whose sides and angles are both $90^\circ$. Here, the first term in the numerator drops out, ’cause $\cot90^\circ=0$, but everything else evaluates to $1$, and so even $ds/d\theta=1$ at this test-point. Yet, the formula evaluates to $\sqrt2/2$, unequal to $1$.
A: On page 7 there is a "fundamental formula" that for an equilateral triangle is
$$ \cos a = \cos^2 a + (\sin^2 a) \cos A$$
The rest is a differential calculus problem of implicit differentiation on the equation to write a relation between $da$ and $dA$ and thence to calculate $\frac{da}{dA}$; followed by a (plane) trigonometry problem of using half- or double-angle formulas to compare the formula for $\frac{da}{dA}$ from differentiation to the formula given in the question.
One reason to use the half-angle expressions is that if the $a$ and $A$ terms are moved to opposite sides of the equation, the $A$ side is well behaved, just a cosine, but on the $a$ side there is a removable singularity at $\sin a = 0$, that can be thought of as coming from factors of $\sin^2 (a/2)$ in the numerator and denominator.  It could be easier or more illuminating to first remove those factors and then do the implicit differentiation.
