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

K656

(x + y + z)^3 = 27 x y z

X(2), X(3081)

points at infinity of ABC sidelines (inflexion points)

barycentric cube of any point on the line at infinity (X3081 is that of X30)

K656 is an acnodal cubic with singular point the centroid G of ABC. It has three real inflexional asymptotes which are the sidelines of ABC. It is related to K015 in several ways.

It is mentioned in a paper by Michel Bataille : On the Foci of Circumparabolas, Forum Geometricorum Volume 11 (2011) 57–63.

Locus properties :

  1. K656 is the envelope of the trilinear polars of points on the inscribed Steiner ellipse. See the related cubic K244 and also Generalization 1 below.
  2. K656 is the barycentric cube of the line at infinity. Recall that the Steiner inellipse is the barycentric square. See Generalization 2 below.
  3. Two parabolas, one inscribed Pi and one circumscribed Pc, with the same infinite point meet at two other isotomic conjugate points M1, M2 lying on K015. These parabolas are homothetic and the center of homothety P lies on K656 (Michel Bataille). Recall that h(P, 4) maps Pc onto Pi.
  4. The centroid of the tangential triangle of a circumscribed parabola lies on K656 since it is the center of homothety above (Michel Bataille).
  5. The arithmetic and geometric means of the barycentric coordinates of a point are equal if and only if this point lies on K656. When "geometric" is replaced by "harmonic" we find the cubic K015.

Other properties :

K656 is the homothetic of K015 under h(G, 3/2) and also the anticomplement of K700.

The Hessian of K656 is K219, the complement of K015.

More generally, the nth Hessian of K656 is the homothetic of K015 under the homothety with center G, ratio 3/2 (-1/3)n.

 

Generalization 1 and construction :

Let C(P) be the inscribed conic with perspector P = p:q:r and L(P) the trilinear polar of P. The envelope of the trilinear polar L(M) of point M on C(P) is the unicursal cubic K(P) with node P and equation : (qrx+rpy+pqz)^3 - 27 p^2q^2r^2 xyz = 0.

If N is the trilinear pole of the tangent at M to C(P), the point X = PN /\ L(M) lies on K(P) and it is the point of tangency of L(M) with K(P). Note that N lies on L(P).

K(P) meets the sidelines of ABC at three points U, V, W which also lie on L(P). These points are three real inflexion points on the cubic and the inflexional tangents are the sidelines of ABC.

K(P) is acnodal for any finite point P. In particular, K(X2) = K656, K(X76) = K244.

k656a

The Hessian H(P) of K(P) is also an acnodal cubic with node P obviously passing through the points U, V, W.

H(P) is the image of K(P) under the homology with pole P, axis L(P) which transforms the line at infinity into the line D(P), the image of L(P) under the homothety h(P, 1/4). This homology becomes the homothety h(G, -1/3) when P = G.

This homology is given by the matrix :

K656mat

With I = 1+t : t : -1-2t on the line at infinity, the points mentioned above are :

N = P x I (barycentric product) on L(P),

M = P x I^2 on C(P),

X = P x I^3 on K(P),

S = (1+3t)^2 : (2+3t)^2 :1, antipode of I^2 on the Steiner inellipse,

T = S x N on H(P)

J = 1+3t : -2-3t : 1, infinite point of the polar line of I in the Steiner inellipse,

T' = M x J on H(P), center of the polar conic of T in K(P). T and T' are corresponding points on H(P).

The envelope of TT' is the Cayleyian which splits into C(P) and the polar conic of P in K(P).

 

Generalization 2 (Angel Montesdeoca) :

Let U = u :v : w be a point with isotomic conjugate tU = 1/u : 1/v : 1/w.

Consider the mapping F which transforms U and tU into the barycentric product of their respective complements cU and ctU. Hence F is given by

V = F(U) = F(tU) = u (v + w)^2 : v (w + u)^2 : w (u + v)^2.

Now, let C(P) be the circum-conic with perspector P = p : q : r and equation p y z + q z x + r x y = 0 whose isotomic transform is the line L(P) with equation p x + q y + r z = 0, clearly the trilinear polar of tP.

F transforms C(P) and L(P) into a nodal cubic K(P) with node N which is the crossconjugate of P^2 and P.

N = p / (- p + q + r) : q / (p - q + r) : r / (p + q - r) = P x taP, where aP is the anticomplement of P.

K(P) meets the sidelines of ABC at the traces of the trilinear polars of P and (taP)^2, the tangents at these latter points being the sidelines of ABC. Note that these trilinear polars are parallel.

K(P) has only three inflexion points and one is always real. These points lie on the line ∆(L) with equation :

∑ (- p + q + r) [ p (- p + q + r) + 2 q r ] x = 0.

When P = X(2), the cubic K(P) is K656 and L(P), C(P) are the line at infinity, the Steiner ellipse respectively. ∆(L) is also the line at infinity.