Prove that the angle between the tangents from `(alpha,beta)` to the circle `x^2+y^2=a^2` is `2tan^(-1)(a/(sqrt(S_1)))` , where `S_1=alpha^2+beta^2-a^2`