(続き）
放物線y=xx と円Oの交点はすべて次式の根。　　>>639
｛x-（c+d)/2}^2 +｛xx -（cc+dd)/2}^2 =（CD/2)^2,
∴｛(x+c)(x+d）+1}(x-c)(x-d）= 0,
∴（x-a)(x-b）=（x+c)(x+d）+ 1,
∴　a+b = -(c+d),

ところで直交性（a+b)(c+d）= -1，（ABの傾き）= a+b >0　　>>638
により
　a+b = 1，c+d = -1,

∴ c，d は次式の根。
xx + x -(aa-a+1）= 0,