axe

d_∞

x

y

y'

homologie

images

sommets

P_1 = (0.4452157719263525, 3.819888357353833)
P_2 = (3.46, 0.28)
P_3 = (1.6829033080635505, -1.435211181327052)
O = (0.30318605466470677, -0.7250625950188244)
P_5 = (-1.1982709563869762, 2.460461063563797)
c_1 = Conic(P_1, P_2, P_3, O, P_5)
tt = Tangent(O, c_1)
nn = OrthogonalLine(O, tt)
o = Point(nn)
c_o = Circle(o, O)
op2 = Line(O, P_2)
op3 = Line(O, P_3)
op1 = Line(O, P_1)
op5 = Line(O, P_5)
pp1 = OrthogonalLine(o, op1)
pp2 = OrthogonalLine(o, op2)
pp3 = OrthogonalLine(o, op3)
pp5 = OrthogonalLine(o, op5)
p_1 = Mirror(O, pp1)
p_2 = Mirror(O, pp2)
p_3 = Mirror(O, pp3)
p_5 = Mirror(O, pp5)
p1p5 = Line(p_5, p_1)
P1P5 = Line(P_5, P_1)
V = Intersect(p1p5, P1P5)
P2P3 = Line(P_3, P_2)
p2p3 = Line(p_3, p_2)
U = Intersect(P2P3, p2p3)
uv = Line(V, U)
OS = Line(O, P2P3)
s = Intersect(p2p3, OS)
doo = Line(s, uv)
pols = Polar(s, c_o)
ow = OrthogonalLine(o, doo)
ω = Intersect(pols, ow)
pointx = Intersect(tt, doo)
c_x = Circle(pointx, O)
pointy, pointy' = Intersect(c_x, doo)
wy = Line(ω, pointy)
wy' = Line(ω, pointy')
a, b = Intersect(c_o, wy)
c, d = Intersect(c_o, wy')
ap2 = Line(a, p_2)
I_a = Intersect(ap2, uv)
iap2 = Line(I_a, P_2)
Oa = Line(O, a)
A = Intersect(iap2, Oa)
bp1 = Line(b, p_1)
I_b = Intersect(uv, bp1)
ibp1 = Line(I_b, P_1)
Ob = Line(O, b)
B = Intersect(ibp1, Ob)
cp5 = Line(p_5, c)
I_c = Intersect(uv, cp5)
icp5 = Line(I_c, P_5)
oc = Line(O, c)
C = Intersect(icp5, oc)
dp2 = Line(d, p_2)
I_d = Intersect(uv, dp2)
idp2 = Line(I_d, P_2)
od = Line(O, d)
D = Intersect(od, idp2)
e, f = Axes(c_1)
Ω = Center(c_1)
f1 = true
f2 = false
f3 = false