Axe orthique et  tangentes
Author: Patrice Debart

V = (7.153037444513565, 0.6964113264513075)
O = (3.205022300829743, -1.0244374653939678)
c = Circle(O, V)
A = Point(c)
C = Point(c)
B = Point(c)
ABC, AB, BC, AC = Polygon(A, B, C)
h_3 = OrthogonalLine(C, AB)
h_2 = OrthogonalLine(B, AC)
j_1 = Line(C, B)
B_1 = Intersect(h_2, Line[A, C])
C_1 = Intersect(h_3, Line[A, B])
h = Line(B_1, C_1)
h_1 = OrthogonalLine(A, BC)
A_2 = Intersect(c, h_1, 2.0)
B_2 = Intersect(c, h_2, 2.0)
C_2 = Intersect(c, h_3, 2.0)
H = Intersect(h_1, h_2)
A' = Midpoint(B, C)
B' = Midpoint(A, C)
C' = Midpoint(A, B)
Ω = Midpoint(O, H)
c' = Circle(Ω, B')
s = Line(B, C_2)
A_1 = Intersect(h_1, Line[C, B])
d_1 = Line(A_1, C_1)
e_1 = Line(A_1, B_1)
i_1 = Line(C, A)
i = Line(B, A)
P = Intersect(j_1, h)
Q = Intersect(d_1, i_1)
R = Intersect(e_1, i)
Δ = Line(P, Q)
Δ' = Line(O, H)
A'' = Midpoint(H, A)
B'' = Midpoint(H, B)
C'' = Midpoint(H, C)
m_2 = OrthogonalLine(B'', Segment[B'', Ω])
m_1 = OrthogonalLine(B_2, Segment[B_2, O])
E = Intersect(m_1, m_2)
l_1 = OrthogonalLine(A'', Segment[A'', Ω])
n_1 = OrthogonalLine(C'', Segment[C'', Ω])
n_2 = OrthogonalLine(C_2, Segment[C_2, O])
l_2 = OrthogonalLine(A_2, Segment[A_2, O])
D = Intersect(l_2, l_1)
F = Intersect(n_2, n_1)