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