Théorème Eyeball
Author: Yvan Monka - m@ths et tiques 2010

(C)

(C')

A = (-3.3000000000000003, 0.66)
B = (12.66, 0.7000000000000001)
a = Line(A, B)
O = Point(a)
D = Point(a)
c = Circle(O, D)
O' = Point(a)
F_1 = Point(a)
d = Circle(O', F_1)
b, e = Tangent(O, d)
f, g = Tangent(O', c)
E = Intersect(c, e, 2.0)
F = Intersect(c, b, 2.0)
H = Intersect(d, f, 2.0)
G = Intersect(d, g, 2.0)
poly1, g_1, i, j, h = Polygon(E, H, G, F)
K = Intersect(d, e, 1.0)
L = Intersect(d, b, 1.0)
M = Intersect(c, g, 1.0)
N = Intersect(c, f, 1.0)
k = Segment(O', N)
l = Segment(O', M)
m = Segment(L, O)
n = Segment(O, K)