Ha 2017

t = 0.7
a: 2
b = CurveCartesian((a / 2 * ((3 * cos(t)) + cos((3 * t)))), (a / 2 * ((3 * sin(t)) + sin((3 * t)))), t, 0, (2 * π))
c = CurveCartesian((a / 4 * ((3 * cos(t)) - cos((3 * t)))), (a / 4 * ((3 * sin(t)) - sin((3 * t)))), t, 0, (2 * π))
d: x^(2) + y^(2) = a^(2)
Q: ((a / 2 * ((3 * cos(t)) + cos((3 * t)))), (a / 2 * ((3 * sin(t)) + sin((3 * t)))))
f = Tangent(Q, b)
g = OrthogonalLine(Q, f)
A, B = Intersect(d, g)
P = Midpoint(Q, B)
M_2 = Midpoint(Q, A)
h: (9 * a^(6)) + (a^(4) * ((68 * x^(2)) - (57 * y^(2)))) + ((112 * a^(2)) * (x^(2) + y^(2))^(2)) = (64 * (x^(2) + y^(2))^(3))
E: (5, 0)
O: (0, 0)
m2q = Segment(Q, M_2)
m2p = Segment(M_2, P)
qp = Segment(Q, P)
p(x) = ((3 / 2 * a) * cos(x))
T: (t, 0)
M_2P: (t, m2p)
M_2Q: (t, m2q)
QP: (t, qp)