\frac{a/2}{R} = sin(α)

\frac{a}{sin(α)} = 2 \cdot R

\frac{a}{sin(α)} = \frac{b}{sin(β)} = \frac{c}{sin(γ)} = 2 \cdot R

A = (8.135857799999991, -11.465016400000025)
B = (16.220617999999977, 1.9022165999999974)
c = Segment(A, B)
C = (22.11508459999997, -8.276206600000023)
b = Segment(A, C)
a = Segment(B, C)
α = Angle(C, A, B)
β = Angle(A, B, C)
γ = Angle(B, C, A)
f = LineBisector(A, B)
g = LineBisector(B, C)
O = Intersect(f, g)
d = Circle(O, A)
R_{  } = Segment(O, B)
R = Segment(O, C)
R_{ } = Segment(O, A)
perpendiculaire = OrthogonalLine(O, a)
intersection = Intersect(perpendiculaire, a)
h = Segment(O, intersection)
i = Segment(intersection, C)
δ = Angle(O, intersection, C)
α_{ } = Angle(C, O, intersection)