C_x=A_x+\sqrt{b^2-(C_y-A_y)^2}