First a basic result which is useful.
Theorem 1
Suppose that p = p:q:r, Q = u:v:w. Then C(P,Q) is degenerate
if and only if pqruvw(pv+qu)(pw+ru)(rv+qw) = 0.
This is equivalent to P or Q on a sideline of ΔABC, or
Q on the anticevian triangle of P (or vice versa).
Proof
A conic degenerates if and only if its matrix is singular.
The result is now a simple Maple computation.
Notes on the Lucas Cubic : K007 = pK(X2,X69).
We know that, if P has a cevian triangle with a non-degenerate circumcircle C having
centre X, then PX contains the cyclocevian conjugate of P when P is on the Lucas Cubic.
Further, we have
Theorem
Suppose that P is on K007.
(1) Q, the cyclocevian conjugate of P is on K007.
(2) C(P,Q) is a circle, with centre X on PQ.
(3) PQ meets the cubic again in L = X20.
These can be rephrased in a variety of ways, for example
(4) ct(P),ct(Q) are isogonal conjugates (on K002) - this is (1).
(5) P,Q,X,L are collinear,
(6) PL meets the cubic again in Q.
(7) X1032, the cyclocevian conjugate of L is the tangential of L (see (3)).
The real foci F1, F2 of the Steiner Ellipse are on K007. Their isotomic conjugates t(F1), t(F2)
are related to f1, f2, the real foci of the Steiner Inellipse, as ct(t(Fi)) = c(Fi) = fi.
Facts
t(F1), t(F2) are cyclocevian conjugates,
L is on t(F1)-t(F2),
the centre of C(t(F1),t(F2)) is on this line.
the cyclocevian conjugate of Fi is the third meet of the cubic with LFi.
The circumcircle of the cevian triangle of Fi is on LFi.
Now K007 has three conjugations :
(a) isoconjugation - in this case isotomic conjugation
the X2-isoconjugate of P is the third meet with PX69 (X69 the pivot).
It follows that the tangential of X69 is its isotomic conjugate H = X4.
(b) ceva conjugation - here X69-Ceva conjugation
the X69-Ceva conjugate of P is the third meet with PH (H the secondary pivot).
It follows that the tangential of H is its X69-Ceva conjugate (= tX1032).
(c) cyclocevian conjugation
the cyclocevian conjugate of P is the third meet with PL (see above).
It follows that the tangential of L is its cyclocevian conjugate X1032.
Note that the locus { P : P, tagct(P) passes through X20 } consists of :
the sidelines of ΔABC,
the sidelines of the antimedial triangle,
pK(X2,X69) = K007,
the isotomic conjugate of the anticomplement of an nK with pole K = X6, root H = X4.
The third conjugation comes from isogonal conjugation on the complement K002.
It maps P to tagct(P), where g(X) denotes the isogonal conjugate of X.
A simpler conjugation maps P to agc(P) - the anticomplementary conjugate of ETC.
Now the conjugate of P is the third meet with PG.
The tangential of G is therefore its image under this map X69.
Theorem
The cubic K007 is the locus { P : P-agc(P) passes through X2 }.
Notes on CTC-K007
(1) tF1, tF2 are cyclocevian conjugates,
(2) the points tY1 and tY2 are the wrong way round. In other words, tY2 is on L-F1,
and tY1 on L-F2. Indeed {F1,tY2} and {F2,tY2} are cyclocevian conjugate pairs.
(3) Y1 = X69-Ceva conjugate of F1 is also agctF2, Y2 = X69-Ceva conjugate of F2
is also agctF1 (from the collinearities with G,H and tF2, tF1).
Generalization
Above, we looked at the circumconics of a cevian triangle homothetic with the Circumcircle.
We can replace the Circumcircle by the circumconic with perspector S. Then the cyclocevian
conjugate is replaced by the map taking M to tasct(M), where s denotes S-isoconjugation.
Note. When a(S) is on the Steiner Ellipse, S is on the Steiner Inellipse. Then a calculation
shows that the maps in (b) and (c) have the same effect on the cubic pK(G,a(S)). This is
reflected in the table below since we then have ta(S) = ata(S) (K242).
The Lucas Cubic is replaced by pK(G,a(S)), with complement pK(S,G).
Again we have four conjugations on pK(G,a(S)).
(a) isotomic conjugation.
This takes M to the third meet of the cubic with M-a(S).
Then the tangential of a(S) is its isotomic conjugate ta(S).
(b) a(S)-Ceva conjugation.
This takes M to the third meet of the cubic with M-ta(S).
Then the tangential of ta(S) is its a(S)-Ceva conjugate asctata(S).
(c) the analogue of cyclocevian conjugation, mapping M to tasct(M).
This takes M to the third meet of the cubic with M-ata(S).
Then the tangential of ata(S) is its image tasctata(S).
(d) the map taking M to asc(M).
This takes M to the third meet of the cubic with M-G.
Then the tangential of G is its image a(S).
(a), (b) and (d) can be used to define the cubic pK(G,a(S)) as a locus.
The map in (d) is a version of X-anticomplementary conjugation in ETC.
Here is a table showing the various points associated with cubics pK(X2,a(S))
listed in CTC. The final column shows the related pK(S,X2). An asterisk shows
that CTC does not state that the cubics are related by complementation. If an
isotomic cubic in CTC does not appear, it means that S is not listed in ETC.
CTC | S | a(S) | ta(S) | ata(S) | complement |
K007 | X6 | X69 | X4 | X20 | K002 |
K008 | X187 | X316 | X67 | aX67 | K043 |
K034 | X37 | X75 | X1 | X8 | K345* |
K045 | X216 | X264 | X3 | X4 | pK(X216,X2) |
K141 | X39 | X76 | X6 | X69 | pK(X39,X2) |
K146 | X5 | X3 | X264 | aX264 | pK(X5,X2) |
K154 | X1108 | X322 | X84 | aX84 | pK(X1108,X2) |
K170 | X3 | X4 | X69 | X193 | K168* |
K200 | X1 | X8 | X7 | X144 | pK(X1,X2) |
K242 | X115 | X99 | X523 | X523 | K237* |
K264a | X396 | X298 | X13 | X616 | pK(X396,X2) |
K264b | X395 | X299 | X14 | X617 | pK(X395,X2) |
K355 | X511 | X511 | X290 | aX290 | K357 |