Cercle d'Adams
Author: Yvan Monka - m@ths et tiques 2010

Cercle inscrit

Point de Gergonne

Cercle d'Adams

A = (-3.231199292274762, -3.0134614721780664)
B = (13.119361425784087, -2.721487173641301)
C = (0.8206394631531192, 6.2922342140569585)
poly1, c, a, b = Polygon(A, B, C)
d, e = AngularBisector(b, c)
f, g = AngularBisector(c, a)
D_1 = Intersect(e, g)
h = OrthogonalLine(D_1, c)
E = Intersect(h, c)
k = Circle(D_1, E)
i = OrthogonalLine(D_1, b)
j = OrthogonalLine(D_1, a)
F = Intersect(i, b)
D = Intersect(j, a)
poly2, e_1, f_1, g_1 = Polygon(F, D, E)
l = Segment(A, D)
m = Segment(F, B)
n = Segment(E, C)
G = Intersect(l, m)
p = Line(G, e_1)
q = Line(G, f_1)
r = Line(G, g_1)
I = Intersect(r, b)
J = Intersect(p, b)
K = Intersect(q, c)
L = Intersect(r, c)
M = Intersect(p, a)
N = Intersect(q, a)
s = Circle(N, M, L)
t = Segment(J, M)
a_1 = Segment(I, L)
b_1 = Segment(K, N)