A = (-1, 1)
B = (5, 3)
b = Segment(B, A)
mediatriz = LineBisector(b)
C = Point(mediatriz)
P, c, a, b_1 = Polygon(A, B, C)