T536

eq1: x^(2) - (3 * y^(2)) - (4 * y) + 4 = 0
A = Point(yAxis)
B = Point(eq1)
C = Point(eq1)
f = Segment(A, B)
g = Segment(C, A)
h = OrthogonalLine(B, xAxis)
i = OrthogonalLine(C, xAxis)
D = Intersect(h, xAxis)
E = Intersect(i, xAxis)
j = Segment(D, B)
k = Segment(E, C)