Discrete Inflection Circle
Author: Hans-Peter Schröcker
Date: July 21, 2010

A = (8.036716417910448, 2.1143283582089554)
B = (4.672157394843963, -2.251587516960652)
C = (10.9, -3.2)
Vieleck1, c, a, b = Polygon(A, B, C)
d = Line(A, B)
e = Line(B, C)
f = Line(C, A)
A'_1 = Mirror(A, d)
B'_1 = Mirror(B, d)
C'_1 = Mirror(C, d)
Vieleck1'_1, c', a', b' = Polygon(A'_1, B'_1, C'_1)
A'_2 = Mirror(A, e)
B'_2 = Mirror(B, e)
C'_2 = Mirror(C, e)
Vieleck1'_2, c'_1, a'_1, b'_1 = Polygon(A'_2, B'_2, C'_2)
A' = Mirror(A, f)
B' = Mirror(B, f)
C' = Mirror(C, f)
Vieleck1', c'_2, a'_2, b'_2 = Polygon(A', B', C')
g = Circle(A, B, C)
D = Point(g)
D'_1 = Mirror(D, e)
D'_2 = Mirror(D, f)
D' = Mirror(D, d)
h = Line(D', D'_2)
E = Dilate(D'_2, 0.5, D)
F = Dilate(D'_1, 0.5, D)
D'' = Dilate(D', 0.5, D)
i = Line(D'', E)
j = Segment(D, D'')
k = Segment(D, F)
l = Segment(D, E)
α = Angle(j, d)
γ = Angle(l, f)
β = Angle(e, k)
m = Segment(D'', D')
n = Segment(F, D'_1)
p = Segment(E, D'_2)