I can figure out the point where AC intersects FE if they were extended. In trigonometry terms, that would mean I have the values a, b and angle A for a triangle with a = r and angle A = 45. If I can use those to get c I would be golden.
I was on the right track with this. Since I now have two sides and an angle, I can use the law of sines to get the other angles:
a = radius of circle
angle A = 45 degrees
law of sines:
sin(A)/a = sin(B)/b
angle B = arcsin(b(sin(45)/radius))
However, angle B will always be obtuse if the line intersects the circle, so angle B will actually be:
angle B = 180 - arcsin(b(sin(45)/radius))
angle C = 180 - B - A
angle C = 135 - B
angle C = 135 - (180 - arcsin(b(sin(45)/radius)))
With angle C I can now calculate the chord CD :
CD = 2radius(sin(C))
CD = 2radius(sin(135 - (180 - arcsin(b(sin(45)/radius)))))
And the versin EF:
EF = radius - cos(C)(radius)
EF = radius - cos(135 - (180 - arcsin(b(sin(45)/radius))))(radius)
Of course, b is its own formula:
b = radius + x + y
y = distance from point A to the perpendicular intersection with line EF which is half the length of line AB. Let's call that distance z:
y = z/2
Let's call the length of the line connecting points G and H length w.
x = 3.1 + tan(20)((z - w)/2 - 4.83) + 4.83 / cos(20)
Plug those formulas in the formula for b:
b = radius + 3.1 + tan(20)((z - w)/2 - 4.83) + 4.83 / cos(20) + z/2
Plug formula for b into formulas for CD and EF:
CD = 2radius(sin(135 - (180 - arcsin((radius + 3.1 + tan(20)((z - w)/2 - 4.83) + 4.83 / cos(20) + z/2)(sin(45)/radius)))))
EF = radius - cos(135 - (180 - arcsin((radius + 3.1 + tan(20)((z - w)/2 - 4.83) + 4.83 / cos(20) + z/2)(sin(45)/radius))))(radius)