Home page  Catalogue  Classes  Tables  Glossary  Notations  Links  Bibliography  Thanks  Downloads  Related Curves 

Consider two perpendicular lines L and L' passing through H, intersecting the sidelines of ABC at U, V, W and U', V', W' respectively. The midpoints A', B', C' of UU', VV', WW' are always collinear on a line ∆. We say that L, L' always verify the DrozFarny property. When L and L' rotate about H the envelope of ∆ is the MacBeath conic i.e. the inconic with foci O, H and center X(5). ∆ meets L, L' at two points that lie on the homothetic of K406 under h(H, 1/2). Now, if L and L' are secant at P different of H, there is only one pair of such lines verifying the DFproperty which we call DFlines of P. These DFlines are actually the parallels at P to the asymptotes of the rectangular circumhyperbola that contains P. In this case, the line L_P through these midpoints is called the DFaxis of P and the trilinear pole P' of L_P is said to be the DFpole of P. More information about DFlines in the FG papers "A Synthetic Proof of the DrozFarny Line Theorem" by J.L. Ayme and "A Projective Generalization of the DrozFarny Line Theorem" by JeanPierre Erhmann and Floor van Lamoen. See also the related quintic Q044. With P = p : q : r, the DFpole is : P' = 2 SA p (p + q + r)  (a^2 q r + b^2 r p + c^2 p q) : : . This shows that the DFpole of any point at infinity is the centroid G and the DFpole of any point on the circumcircle lies on the circumconic with perspector O. P' lies on the line through G, the barycentric quotient P÷H and the orthocorrespondent P^{⊥ }of P which is the point with barycentric coordinates : P^{⊥ }= SA p (p + q + r)  (a^2 q r + b^2 r p + c^2 p q) : : . P' is in fact the harmonic conjugate of G with respect to P÷H and P^{⊥}. The mapping P –> P' is quadratic. It has three singular points (H and the circular points at infinity) and four fixed points (A, B, C and X(671), the antipode of X(99) on the Steiner ellipse). Let Q = u : v : w be a fixed point. The locus of P such that P, P', Q are collinear is a circular circumcubic passing through H and X(671). We say that this cubic is a DFcubic which we denote by DF(Q). All DFcubics form a net of circular cubics. *** Geometric properties DF(Q) contains Q and the infinite point P1 of the line GQ (when Q = G, the cubic decomposes into the line at infinity and the Kiepert hyperbola). DF(Q) meets the circumcircle again at P2 on the line through Q and X(110) (when Q = X(110), the cubic decomposes into the line HX(671) and the circumcircle). DF(Q) meets the Kiepert hyperbola (K) at A, B, C, H, X(671) and P3 on the line through Q and G. The third point P4 of DF(Q) on the line H, X(671) also lies on the line through Q and X(110). DF(Q) meets the Steiner ellipse at A, B, C, X(671) and two other points S1, S2 which lie on the trilinear polar of the isotomic conjugate of the complement of Q. These points are real if and only if Q lies outside the Steiner ellipse. They coincide if and only if Q lies on the Steiner ellipse. 

Let O(Q) be the orthopivotal cubic with orthopivot Q ≠ G, Q ≠ X(110). O(Q) passes through nine identified points of DF(Q) namely A, B, C, Q, P1, P2, P3 and the circular points at infinity. It follows that DF(Q) and O(Q) generate a pencil of cubics which contains two decomposed cubics : • the union of the circumcircle and the line GQ, • the union of the line at infinity and the circumconic (C) passing through Q, P2, P3. Let F, F' be the singular foci of DF(Q) and O(Q) respectively. The construction of F' is given in the page orthopivotal cubic and F is the reflection of O about F'. For instance, when Q = X3, the cubics are DF(X3) = K854, O(X3) = K001 with foci X(399), X(110) respectively. 

The following table shows a selection of pairs DF(Q), O(Q) with corresponding foci F, F'. 



Notes : Q300 = X(4)X(94) /\ X(6)X(23), SEARCH = 0.715622153886245, now X(11002) in ETC (20161122) Q302 = X(2)X(98) /\ X(6)X(23), SEARCH = 11.9769821093760, now X(11003) in ETC (20161122) Q304 = X(2)X(6) /\ X(4)X(195), SEARCH = 9.52782777900564, now X(11004) in ETC (20161122) 

*** Special DFcubics 1. DF(Q) is a K0 cubic (without term in xyz) if and only if Q lies on the line GK. In this case, the singular focus lies on the line X(114)X(381) and all the cubics form a pencil of cubics through A, B, C, G, H, X(524), X(671) and the circular points at infinity. See the orange cells in the table below. 2. DF(Q) is a focal if and only if Q lies on a cubic (F) passing through G, H, X(23), X(3448) and several other points described in the notes below the table. In this case, the singular focus lies on the cubic K300 which is also a DFcubic. 3. DF(Q) is a psK if and only if Q lies on a central cubic denoted (psK) with center X(6), passing through X(69), X(193). 4. DF(Q) is a nK if and only if Q lies on a cubic denoted (nK) passing through X(2), X(110) giving two decomposed cubics. The former is the union of the line at infinity and the Kiepert hyperbola, the latter is the union of the line X(4)X(671) and the circumcircle. 

In particular, DF(Q) is a pK if and only if either : • Q = K then DF(Q) = K273 = pK(X111, X671), • Q = X(69) then DF(Q) = K008 = pK(X2, X316), the Droussent cubic, • Q = X(193) then DF(Q) = K209 = pK(X468, X4), and a nK0 if and only if either : • Q = G, decomposed cubic, • Q is one of the points Q1, Q2 with very complicated coordinates.
5. DF(Q) meets the sidelines of ABC at the vertices of a pedal triangle if and only if Q lies on a nodal cubic (P) with node G, passing through X(193) corresponding to the cubic K209. 

6. When Q lies at infinity, DF(Q) has singular focus X(381), the midpoint of GH, and meets the Steiner ellipse again at S1, S2 which are now antipodes on the ellipse. These cubics form a pencil which contains only one focal cubic. See K305 = DF(X511) for example. 7. DF(Q) is a singular cubic if and only if Q lies on a 12th degree curve which contains G, H, X(110) and X(671). DF(H) = K025 is the Ehrmann strophoid and DF(X671) has node X(671). *** The following table presents a selection of DFcubics with generally at least six ETC centers on the curve. F is the singular focus. 




