A = (-5.4, -8.9)
B = (0.3333333333333333, -2.8)
C = (4.233333333333333, -6.233333333333333)
P, c, a, b = Polygon(A, B, C)
angleA = Angle(B, A, C)
angleB = Angle(A, B, C)
angleC = Angle(B, C, A)
T1: "\frac{a}{sin (\widehat{A})}=" + (a / sin(angleA)) + ""
T2: "\frac{b}{sin (\widehat{B})}=" + (b / sin(angleB)) + ""
T3: "\frac{c}{sin (\widehat{C})}=" + (c / sin(angleC)) + ""
d = Circle(A, B, C)
T4: "\widehat{A} =" + angleA + "^{o}"
T5: "\widehat{B} =" + angleB + "^{o}"
T6: "\widehat{C} =" + angleC + "^{o}"
e, f = AngularBisector(c, b)
g, h = AngularBisector(b, a)
i, j = AngularBisector(a, c)
k = 1
p = Circle(B, k)
l = 1
q = Circle(C, l)
m = 1
r = Circle(A, m)
D, E = Intersect(p, j)
F, G = Intersect(r, f)
H, I = Intersect(q, h)
J = Point(d)
K = Point(d)
L = Point(d)
M = Point(d)
n = Segment(K, J)
s = Segment(L, M)
t = LineBisector(s)
a_1 = LineBisector(n)
O = Intersect(t, a_1)
N = Point(d)
b_1 = Segment(O, N)
Q = Midpoint(O, N)
T7: "R = " + b_1