Giả thiết:     Tam giác ABC, AC > AB
Kết luận:      Góc B > góc C

A = (0.5436363636363633, 2.3636363636363633)
B = (-0.8563636363636347, -0.6181818181818182)
C = (5.216363636363636, -0.4727272727272727)
đa giác1, c, a, b = Polygon(A, B, C)
d = Circle(A, B)
B' = Intersect(d, b)
e = AngularBisector(B, A, B')
M = Intersect(e, a)
f = Segment(A, M)
g = Segment(M, B')
h = Segment(A, B')
A_1 = Angle(B, A, M)
A_2 = Angle(M, A, B')
khoangcachAB = Distance(A, B)
Văn bảnAB: "\overline{" + (Name[A]) + (Name[B]) + "} \, = \, " + khoangcachAB
khoangcachAC = Distance(A, C)
Văn bảnAC: "\overline{" + (Name[A]) + (Name[C]) + "} \, = \, " + khoangcachAC
γ = Angle(C, B, A)
δ = Angle(A, C, B)