A = (1.6400000000000001, 5)
B = Point(Circle[A, 4.2])
a = Segment(A, B)
B' = Rotate(B, 67.0*°, A)
α = Angle(B, A, B')
b = LineBisector(A, B)
c = Circle(A, 3.1)
C, D = Intersect(c, b)
d = Circle(D, A)
e = Ray(A, B')
E, F = Intersect(d, e)
Vieleck1, f, a_1, b_1 = Polygon(A, B, F)