Find the angle between two tangents from an external point $(x_1,y_1)$ to the circle $x^2+y^2=a^2$ .
Below is my attempt at the problem:
$x^2+y^2=a^2$,Differentiating we get $\dfrac{dy}{dx}=\dfrac{-x}{y}.$
Hence slope will be $\dfrac{-a_1}{b_1}$ at the point $(a_1,b_1)$ for the first tangent.
Similarly slope will be $\dfrac{-a_2}{b_2}$ at the point $(a_2,b_2)$ for the second tangent.
Now $a_1^2+b_1^2=a^2,a_2^2+b_2^2=a^2\implies (a_2-a_1)(a_2+a_1)+(b_2-b_1)(b_2+b_1)=0$
$\dfrac{-a_1}{b_1}=\dfrac{y_1-b_1}{x_1-a_1}\implies a_1x_1+y_1b_1=a_1^2+b_1^2$
Similarly $a_2x_2+y_2b_2=a_2^2+b_2^2$
Now to find the angle between them we have to evaluate $\tan\alpha=\dfrac{a_1b_2-a_2b_1}{b_1b_2+a_1a_2}$
How to eliminate $a_1,b_1,a_2,b_2$? from here? Please help.
For $a>0$ it's just $$2\arcsin\frac{a}{\sqrt{x_1^2+y_1^2}}.$$
Indeed, let $A(x_1,y_1)$, $O(0,0)$ and $B$ be one of touching points.
Thus, the needed angle it's $2\measuredangle OAB$, $OA=\sqrt{x_1^2+y_1^2}$, $OB=a$ and $\measuredangle ABO=90^{\circ}$.