Codeforces 7D Palindrome Degree(求两圆交点)

题面
题意:
有两个人$A,B$有三个地点$a,b,c$,$A$要从$a走到b再走到c$,$B要从a走到c$,两个人分别可以走比各自的最短路长$t1,t2$距离的路程,求两个人从$a$出发最长可以连续共同走多长的路程.
题解:
$首先可以二分答案ans,在a画一个r1=ans为的圆.在b画一个r2=dis(a,b)+t1-ans的圆,在c画一个r3=dis(a,c)+t2-ans的圆,问题就转化为了求三个圆是否有交集$
首先判断三个圆是否两两有交点
再求出其中两圆的交点
将第一个圆表示为

$$\left \{ \begin{array}{c} x_1+r_1cos\theta=x\\ y_1+r_1sin\theta=y \end{array} \right.$$
将第二个圆表示为 $$(x-x_2)^2+(y-y_2)^2=r_2 b ^2$$
把第一个圆的表达式带入第二个圆的表达式得到
$$(x_1+r_1cos\theta-x_2)^2+(y_1+r_1sin\theta-y_2)^2=r^2_2$$
化简得
$$2(x_1-x_2)r_1cos\theta+2(y_1-y_2)r_1sin\theta=r_2^2-r_1^2-(x_1-x_2)^2-(y_1-y_2)^2$$
把
$$\left \{ \begin{array}{l} a=2(x_1-x_2)r_1\\ b=2(y_1-y_2)r_1\\ c=r_2^2-r_1^2-(x_1-x_2)^2-(y_1-y_2)^2 \end{array} \right.$$
代入得
$$acos\theta+bsin\theta=c$$
使
$$\left \{ \begin{array}{c} cos\theta=x\\ sin\theta=\sqrt{1-x^2} \end{array} \right.$$
得
$$ax+b\sqrt{1-x^2}=c$$
移项 平方 化简得
$$(a^2+b^2)x^2-2acx+c^2-b^2=0$$
解该一元二次方程即可得出 $cos\theta$与 $sin\theta$的绝对值,还需判断 $sin\theta$的正负(算出的点是否在另一个圆上)
求出两圆交点之后再判断是否有交点在第三个圆内,是则可行,反之则不行.
Code