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

Let P = p : q : r be a fixed point and M a variable point. Denote by AmBmCm the pedal triangle of M and by MaMbMc the triangle formed by the orthogonal projections of M on the cevian lines of P. If P = H, these two triangles are always perspective and the perspector is f(P), equivalently the midpoint of the points M, H/M (HCeva conjugate of M) or the barycentric product of M and its orthocorrespondent. If P is distinct of H, the triangles are perspective if and only if M lies on a circular pK with pivot P whose pole is g(P). The first barycentric coordinate of g(P) is : a^2[2 SA p^2 + a^2(qr+rp+pq)  p(b^2q+c^2r)]. g(P) is the pole of the isoconjugation which swaps P and the inverse (in the circumcircle) of the isogonal conjugate of P. 



Circular isogonal pKs g maps any real point at infinity to the Lemoine point K hence there are infinitely many isogonal circular pKs. The most famous is the Neuberg cubic K001 with P = X(30) = infinite point of the Euler line. See examples in the table below and also Special Isocubics §4.1.1. 





Circular pKs with pivot H The reciprocal image of H under g is the orthic axis. Hence, any circular pK with pole on the orthic axis must have its pivot at H and then, the singular focus is the antipode of the red point on the ninepoint circle. The following table gives examples of such cubics. See also CL019. 





Circular pKs with pole W ≠ K and pivot P ≠ H For any pole W = p : q : r different of K, there is one and only one circular pK with pole W. Its pivot is P = h(W) where h is the reciprocal transformation of g. The first barycentric coordinate of P is : b^2c^2p(q+rp)  (b^4pr+c^4rpa^4qr). See Special Isocubics §4.2.1. Recall that, for any pivot P = u : v : w different of H, there is one and only one circular pK with pivot P. See Table 12 for a selection of such cubics with given pivot P. Any cubic of this type is actually an isogonal pK with respect to a triangle A2B2C2 where A2 is the intersection of the lines A, gcP and Pa, P/inf where gcP is the isogonal conjugate of the complement of P (a point on the circumconic with perspector W and on the cubic), PaPbPc is the cevian triangle of P, P/inf is the PCeva conjugate of the real infinite point of the cubic. Obviously, inf is the pivot of the cubic when the reference triangle is A2B2C2. See the Droussent cubic K008 for an example of such triangle A2B2C2. 



Circular pKs passing through a given point A circular pK with pivot P contains • the incenter X1 if and only if P lies on the line at infinity (isogonal pKs, see above) or on the Feuerbach hyperbola. In this latter case, the pole lies on K1050 = nK(X32, X513, X6) = cK(#X6, X513). • the centroid X2 if and only if P lies on the Droussent cubic K008. The pole lies on K043. • the circumcenter X3 if and only if P lies on the circumcircle (see inversible pKs) or on the Euler line. In this latter case, the pole W must lie on the Brocard axis OK and the isoconjugate P* of the pivot is the inverse of the isogonal conjugate of P, a point on the Jerabek strophoid K039. The construction is easy since we know P and P* (see Special Isocubics §1.4.3 and §4.2.1). The inversive image of this cubic in the circumcircle is another cubic of the same type with pivot the inverse of P in the circumcircle and pole the conjugate (on the line OK) of W in the circumconic with perspector X(184). For example, with P = X(30) we obtain K001 and K073, with P = X(2) we find K043 and K108. • the orthocenter X4 if and only if P lies on the Ehrmann strophoid K025. More precisely, if P is H, the pole lies on the line at infinity (see CL019). If P is not H, the pole lies on the circumconic passing through G and K. For example, with P = G, we obtain the Droussent cubic K008. • the Lemoine point X6 if and only if P lies on K273 = pK(X111, X671). The isopivot lies on K108 and the pole lies on K1048 = pK(X32 x X111, X111), the barycentric product X(111) x K043. • the Fermat points X13, X14 if and only if P lies on Kn = K060. The pole lies on K095. • the isodynamic points X15, X16 if and only if P lies on the Neuberg cubic K001. The isopivot lies on K073 and the pole lies on K1049 = pK(X6 x X50, X6), the barycentric product X(6) x K856. *** More generally, a circular pK with pivot P passes through a given point Q if and only if P lies on a circular circumcubic K_Q with equation ∑ a^2 v w (w y  v z) [a^2 (x+y) (x+z) + b^2 x (x+y) + c^2 x (x+z)] = 0 which contains H, Q, agQ, giQ, the infinite point ∞Q of QgQ, the Ceva point CQ of Q and iQ (on the circumcircle) and also the points S, T, X, Y such that:
The pole also lies on a circumcubic Ω_Q passing through K, Q x igQ and more generally the poles of all the pKs with pivots given above. Furthermore,
*** When Q lies on the circumcircle, K_Q is psK(Q, tgQ, H) therefore it is tangent at A, B, C to the symmedians. Hence, all these cubics form a pencil and the singular focus lies on the circle C(O, 2R). K_Q meets the sidelines of ABC at the vertices of the cevian triangle of tgQ, the isotomic conjugate of the isogonal conjugate of Q, a point on the Steiner ellipse. The tangent at Q passes through O. The infinite real point of K_Q is the isogonal conjugate of Q and the real asymptote envelopes a deltoid, the homothetic of the Steiner deltoid under h(G,4). See the figure and the table below. 



*** When Q lies on the line at infinity, K_Q contains the vertices Ga, Gb, Gc of the antimedial triangle. Hence, all these cubics form a pencil and the singular focus lies on the circle C(H, R). 



*** K_Q and K_gQ generate a pencil of circular cubics passing through H and meeting the line at infinity at the same real point S, namely that of the line QgQ. This pencil contains : • pK(H x S, H) where H x S is a point on the orthic axis, see above, • the decomposed cubic which is the union of the line at infinity and the rectangular circumhyperbola H_Q passing through the isogonal conjugate of the NKTransform of Q. Recall that the NKTransform of Q is the pole of the line QgQ in the circumconic passing through Q and gQ. It follows that all these cubics must have two other common points. These points are the intersections of the polar of S in H_Q with H_Q. 
