x
for
F
x
and F
xy
for
2
F
xy
when no confusion
is possible.
Any cubic with three real distinct asymptotes making 60
angles with
one another will be called a K
60
. If, moreover, the three asymptotes
are concurrent, it will be called a K
+
60
. At last, a K
+
60
with asymptotes
concurring on the curve is denoted by K
++
60
.
The line at innity is denoted by L
with equation x +y +z = 0. It
is the trilinear polar of the centroid G. More generally, the trilinear
polar of point P is denoted by IP(P).
Several usual transformations are very frequent in this paper. We will
use the following notations :
gP = isogonal conjugate of P.
tP = isotomic conjugate of P.
cP = complement of P.
aP = anticomplement of P.
iP = inverse of P in the circumcircle.
1
Special Isocubics 2
They easily combine between themselves and/or with other notations
as in :
tgP = isotomic conjugate of isogonal conjugate of P.
gigP = isogonal conjugate of inverse (in the circumcircle) of isog
onal conjugate of P.
aX
13
, IP(tP), etc.
The homothety with center P and ratio k is denoted by h
P,k
.
We will use J.H.Conways notations :
S
A
=
1
2
(b
2
+c
2
a
2
), S
B
=
1
2
(c
2
+a
2
b
2
), S
C
=
1
2
(a
2
+b
2
c
2
).
The barycentric oordinates (f(a, b, c) : f(b, c, a) : f(c, a, b)) of a trian
gle center are shortened under the form [f(a, b, c)].
Usual triangle centers in triangle ABC
1
:
I = incenter = X
1
= [a] .
G = centroid = X
2
= [1].
O = circumcenter = X
3
= [a
2
S
A
].
H = orthocenter = X
4
= [1/S
A
].
K = Lemoine point = X
6
= [a
2
].
L = de Longchamps point = X
20
= [(b
2
c
2
)
2
+2a
2
(b
2
+c
2
)3a
4
].
X
30
= [(b
2
c
2
)
2
+ a
2
(b
2
+ c
2
) 2a
4
] = point at innity of the
Euler line.
tK = third Brocard point = X
76
= [1/a
2
].
P/Q : cevian quotient or Cevaconjugate Let P and Q be two
points not lying on a sideline of triangle ABC. The cevian triangle of
P and the anticevian triangle of Q are perspective at the point denoted
by P/Q called cevian quotient of P and Q or PCevaconjugate of Q
in [11], p.57. Clearly, P/(P/Q) = Q.
P Q : cevian product or Cevapoint The cevian product (or
Cevapoint in [12]) of P and Q is the point X such that P = X/Q
or Q = X/P. It is denoted by P Q. It is equivalently the trilinear
1
We make use of Clark Kimberlings notations. See [11, 12].
Special Isocubics 3
pole of the polar of P (resp. Q) in the circumconic with perspector
Q (resp. P).
If P = (u
1
: v
1
: w
1
) and Q = (u
2
: v
2
: w
2
), then P Q = (1/(v
1
w
2
+
v
2
w
1
) ::).
1.2 Isoconjugation
1.2.1 Denitions
Isoconjugation is a purely projective notion entirely dened with the
knowledge of a pencil of conics such that triangle ABC is selfpolar
with respect to any conic of the pencil.
For any point M distinct from A, B, C the polar lines of M with
respect to all the conics of the pencil are concurrent at M
(which is
the pole of M in the pencil of conics).
We call isoconjugation the mapping : M M
is the isoconjugate of M.
is an involutive quadratic mapping with singular points A, B, C and
xed points the common points real or not of the members of the
pencil. Since all the conics of this pencil have an equation of the form
x
2
+y
2
+z
2
= 0, they are said to be diagonal conics.
If we know two distinct isoconjugate points P and P
= (P) pro
vided that they do not lie on ABC sidelines we are able to construct
the isoconjugate M
of any point M.
The (ruler alone) method is the following :
2
let T be any point on the line PP
) and
A
T
B
T
C
T
the cevian triangle of T.
A
1
= PA P
A
T
, B
1
= PB P
B
T
, C
1
= PC P
C
T
.
A
= MA
1
BC, B
= MB
1
CA, C
= MC
1
AB.
A
= B
1
C
C
1
B
, B
= C
1
A
A
1
C
, C
= A
1
B
B
1
A
.
M
.
The knowledge of those two distinct isoconjugate points P and P
is
sucient to obtain two members of the pencil of diagonal conics as
dened in paragraph above :
2
See [6] for details.
Special Isocubics 4
one is the conic through P and the vertices of the anticevian triangle
of P which is tangent at P to the line PP
.
the other is the conic through P
which is tangent at P
to the line PP
. It also passes
through Q = P/P
of the centroid G.
Hence, if = (p : q : r), the isoconjugation with pole is the map
ping :
: M(x : y : z) M
(
p
x
:
q
y
:
r
z
) (pyz : qzx : rxy)
Remark :
is the perspector of the conic isoconjugate of L
. (See below)
When = K , we have the usual isogonal conjugation and when
= G , we have the isotomic conjugation.
When is inside the triangle ABC i.e. p, q, r are all positive, the
isoconjugation has four real xed points : one inside ABC and
the three others its harmonic associates,
3
but when is outside the
triangle ABC, the four xed points are imaginary. The four xed
points are the square roots of denoted R
o
, R
a
, R
b
, R
c
where R
o
is
the one which is inside ABC when is itself inside the triangle.
1.2.2 Useful constructions
More information and other constructions can be found in [20] and [6].
Barycentric product of two points
4
3
The three harmonic associates of the point M( : : ) are ( : : ), ( : : ),
( : : ). They are the vertices of the anticevian triangle of M.
4
See [21] for details and proofs.
Special Isocubics 5
The barycentric product X Y of two distinct points X and Y is the
pole of the isoconjugation which swaps them and therefore the line
XY and the circumconic through X and Y .
5
With X = (u
1
: v
1
: w
1
) and Y = (u
2
: v
2
: w
2
), we have X Y =
(u
1
u
2
: v
1
v
2
: w
1
w
2
) hence its name.
A construction of X Y (for distinct points) is the following :
Let X and Y be two points. X
a
, X
b
, X
c
and Y
a
, Y
b
, Y
c
are the vertices
of the cevian triangles of X and Y resp. X
c
a
on AB and X
b
a
on AC are
two points such that AX
c
a
X
a
X
b
a
is a parallelogram. Dene Y
c
a
on AB
and Y
b
a
on AC then intersect the lines X
b
a
Y
c
a
and X
c
a
Y
b
a
at Z
a
. Dene
Z
b
and Z
c
similarly. The lines AZ
a
, BZ
b
, CZ
c
concur at the requested
point.
If U denotes the foot (on BC) of the radical axis of circles with di
ameters BC and X
a
Y
a
, and if V , W are dened likewise on CA, AB
respectively then U, V, W are collinear on a line whose trilinear pole is
X Y . Practically, the circumcircle and the circle AX
a
Y
a
meet again
at A
. This construction
is also valid when X = Y since the circle AX
a
Y
a
is now tangent at
X
a
= Y
a
to BC. This gives the barycentric square of point X denoted
by X
2
.
5
The pole of the line XY in this conic is called crosspoint of X and Y in [12].
If X = (u1 : v1 : w1) and Y = (u2 : v2 : w2), then this point has coordinates :
_
1
v1w2
+
1
v2w1
: :
_
.
This has to be compared with the intersection of the trilinear polars of P and Q which is :
_
1
v1w2
1
v2w1
: :
_
,
with the cevian product :
X Y =
_
1
v1w2 +v2w1
: :
_
.
and with the trilinear pole of the line XY which is :
_
1
v1w2 v2w1
: :
_
,
this latter point being the fourth intersection of the circumconics with perspectors X
and Y .
Special Isocubics 6
Remark :
This construction can be used to construct the pole of an isoconju
gation since it is the barycentric product of two isoconjugate points P
and P
.
isoconjugate of a point X
The construction seen in 1.2.1 can be used but we can also dene it
as the barycentric product of the two points and tX.
Figure 1.1: isoconjugate of a point X
isoconjugate of a line
Let X be the tripole of , X
its isoconjugate, E
X
= G/X
.
The isoconjugate of the line is the circumconic centered at E
X
.
This conic is inscribed in the anticevian triangle of X
, the contacts
being A, B, C.
Remark :
The construction of the isoconjugate of L
Square roots of
We take inside ABC to get real points.
Let
a
,
b
,
c
and M
a
, M
b
, M
c
be the vertices of the cevian triangles
of and G resp.
The inversion swapping B and C,
a
and M
a
has two xed points on
BC called F
a
and F
a
7
. Dene F
b
and F
b
, F
c
and F
c
similarly. Those
six points are three by three collinear on four lines whose tripoles are
the four roots R
o
, R
a
, R
b
, R
c
we were looking for.
6
The coordinates of E are [p(q +r p)].
7
F
a
and F
a
are the Poncelet points of the pencil of circles generated by the two circles
Special Isocubics 7
Figure 1.3: Square roots of
Remarks :
1. The six lines passing through one vertex of ABC and the two
xed points on the opposite side intersect three by three at the
same points R
o
, R
a
, R
b
, R
c
.
The union of two lines through a vertex of ABC is in fact one of
the degenerate conic of the pencil of conics seen in 1.2.1.
2. F
a
and F
a
can easily be obtained in the following manner : draw
the perpendicular at
a
to BC intersecting the circle with di
ameter BC at two points, one denoted by
a
. The bisectors of
a
C intersect BC at F
a
and F
a
.
1.3 Isocubics
By an isocubic we mean a circumcubic which is invariant under an iso
conjugation. It is a known fact (see [1] for instance) that an isocubic K
is invariant under an (p : q : r)isoconjugation if and only if it has a
barycentric equation of one of the two types :
(pK) : ux(ry
2
qz
2
) +vy (pz
2
rx
2
) +wz (qx
2
py
2
) = 0 (1.1)
(nK) : ux(ry
2
+qz
2
) +vy (pz
2
+rx
2
) +wz (qx
2
+py
2
) +k xyz = 0 (1.2)
where u, v, w, k are real numbers whose signication is detailed in the fol
lowing paragraphs.
1.4 Pivotal isocubics or pK
1.4.1 Denitions
A pivotal isocubic of the form (pK) is the locus of M for which M, M
and
P = (u : v : w) are collinear. For this reason, P is called the pivot of the
isocubic. We shall simply refer to a pivotal isocubic as a pK.
with diameters BC and aMa : each circle of the pencil is orthogonal to the circle with
diameter F
a
F
a
.
Special Isocubics 8
Remarks :
1. pK passes through A, B, C, P, P
, the traces A
P
, B
P
, C
P
of P, the
square roots R
o
, R
a
, R
b
, R
c
of .
2. This pK is equivalently the locus of point M such that :
the polar lines of M and M
is sometimes
called secondary pivot of the cubic.
P/P
, M
, (P/M)
are collinear.
1.4.2 pK and trilinear polars
The locus of point M such that the trilinear polars of M and its 
isoconjugate M
cyclic
px(ry
2
qz
2
) = 0.
A pK with pivot = pole always contains the centroid (which is the
isoconjugate of the pivot) and is always tangent at A, B, C to the
medians. When = G, the cubic degenerates into the union of the
three medians.
More generally, given a line L, the locus of point M such that the
trilinear polars of M and its isoconjugate M
concur on L is the pK
with pole and pivot the isoconjugate of the trilinear pole of the line
L.
Conversely, any pK with pivot P can be seen as the locus of point M
such that the trilinear polars of M, M
and P
.
For example, the trilinear polars of any two isogonal conjugates on the
Thomson and McCay cubics concur on the Lemoine and orthic axis
respectively.
Special Isocubics 9
1.4.3 Construction of a pK
Let P be the pivot and P
its isoconjugate.
8
Let M be a variable point on
the line PP
. This is the
polar conic of P , see 2 below.
2. The isoconjugate M
.
3. The tangential of P is the point P
. Denote by
U and
U
the tangen
tials of U and U
. Since U, U
and P
U = P
R V U and
U
= P
R V U
since
U and
U
at M
and R.
4. The points P/U and P/U
p
u
2
+
q
v
2
+
r
w
2
:
v
p
u
2
q
v
2
+
r
w
2
:
w
p
u
2
+
q
v
2
r
w
2
_
.
Q is the isoconjugate of P/P
.
8
Those two points dene the isoconjugation.
Special Isocubics 10
1.4.4 Construction of the asymptotes of a pK
This construction is generally not possible with ruler and compass only : it
needs to intersect conics and we must use Cabrigeom`etre or equivalent.
First draw the polar conic of the pivot P (see remark 1 above) whose center
is and the homothetic of this conic through h
P,1/2
intersecting the 
isoconjugate of L
i
.
The asymptotes are the parallels at F
i
to the lines PE
i
.
1.5 Nonpivotal isocubics or nK
1.5.1 Denitions and known properties
An isocubic of the form (nK)
ux(ry
2
+qz
2
) +vy (pz
2
+rx
2
) +wz (qx
2
+py
2
) +k xyz = 0
is said to be nonpivotal. We shall call P(u : v : w) the root and the
real number k the parameter of the isocubic nK. If the parameter is
zero, we shall write nK
0
. Note that the root P is not necessarily on
the cubic.
When the root P(u : v : w) is given, equation (nK) above denes a
pencil of isocubics with pole (p : q : r), all passing through A, B, C,
the feet U, V , W of IP(P), and all having tangents at A, B, C passing
through the feet U
, V
, W
of IP(P
) where P
= isoconjugate of
P.
9
From this we see that the root of a nK is in fact the trilinear pole of
the line through the third intersections of the curve with sidelines
of ABC.
Finally, note that the points U, V , W, U
, V
, W
.
Special Isocubics 11
two isoconjugate points Q(x
0
: y
0
: z
0
) and Q
(x
1
: y
1
: z
1
)
10
on the
curve. In this case, the equation rewrites under the more symmetrical
form :
cyclic
u x (y
0
z z
0
y)(y
1
z z
1
y) = 0
Two isoconjugate points M and M
).
1.5.2 Characterization of nK
0
isocubics
We have the following propositions :
An nK with root P is an nK
0
if and only if the tangents at the in
tercepts U, V , W of IP(P) concur. If this is the case, the point of
concurrence is P
on the cubic.
Any nK
0
can be considered as the locus of point M such that the pole
of the line MM
, the circle is centered at the radical center of the circles with diameters
AU, BV , CW, QQ
, V
, W
respectively.
We need an extra point Q on the cubic i.e. distinct from A, B, C, U, V, W.
When the cubic is a nK
0
, it is sucient to take AU
U (or equivalently
BV
V or CW
W).
The cevians of Q meet the line UV W at Q
a
, Q
b
, Q
c
. For any point m on
UV W, let us denote by m
, the midpoint of
A
g
A
and whose
asymptotes are parallel to the lines AU and AU
meets
A
again at
the midpoint q of QgQ. Now the circle centered at q orthogonal to
is the pedal circle of Q and gQ. In order to get gQ, reect the line
AU about q intersecting AU
x
(P) +yF
y
(P) +zF
z
(P) = 0 (2.3)
2.1.2 Essential properties
See [17] p.142 & sq. for details.
1
This theorem was rst given by Cotes in Harmonia Mensurarum. See [17] 132.
14
Special Isocubics 15
2.1.3 Diameter in a cubic
When P is the point at innity of a given line D, equality (2.2) becomes
QM
1
+QM
2
+QM
3
= 0 (2.4)
and Q is the isobarycentre of the points M
1
, M
2
, M
3
.
In this case, the polar line of P is called the associated diameter of D in
K.
2.2 Polar conic of a point in a cubic
2.2.1 Denition
Let P be a point. A variable line through P meets K in three points
M
1
, M
2
, M
3
.
The point Q on this line is dened by
QM
1
.QM
2
PM
1
.PM
2
+
QM
2
.QM
3
PM
2
.PM
3
+
QM
3
.QM
1
PM
3
.PM
1
= 0 (2.5)
which is equivalent to
PM
1
.QM
2
.QM
3
+PM
2
.QM
3
.QM
1
+PM
3
.QM
1
.QM
2
= 0 (2.6)
The locus of Q is a conic called the polar conic of the point P(u : v : w)
in the cubic.
Its barycentric equation is
uF
x
(M) +vF
y
(M) +wF
z
(M) = 0 (2.7)
where M(x : y : z). It will be denoted by C
P
.
2.2.2 Essential properties
The polar line of P in C
P
is
P
.
When P is on the cubic, for instance P = M
3
, equality (2.6) becomes :
PM
1
. QM
2
+PM
2
. QM
1
= 0 (2.8)
which is equivalent to (P, Q, M
1
, M
2
) = 1. Hence, C
P
is the locus of
Q, harmonic conjugate of P with respect to M
1
and M
2
.
See [17] p. 142 & sq. for more informations.
Special Isocubics 16
2.2.3 Diametral conic of a line in a cubic
When P is the point at innity of a given line D, equality (2.6) becomes
QM
2
.QM
3
+QM
3
.QM
1
+QM
1
.QM
2
= 0 (2.9)
or
1
QM
1
+
1
QM
2
+
1
QM
3
= 0 (2.10)
The locus of Q is a conic called diametral conic of D in K.
2.2.4 Polar conics in pK isocubics
Let us consider the pK isocubic with pole = (p : q : r) and pivot P = (u :
v : w) as seen in 1.4.2.
If P is not one of the xed points of the isoconjugation
2
that is P
2
=
, then :
there is one and only one diagonal polar conic and it is that of
the pivot P.
Its equation is :
cyclic
(rv
2
qw
2
) x
2
= 0
It passes through P and the four xed points of the isoconjuga
tion.
there is one and only one circumscribed polar conic and it is that
of the isoconjugate P
of the pivot.
Its equation is :
cyclic
p u(rv
2
qw
2
) y z = 0
It passes through A, B, C, P and P
.
In general, the locus of point M whose polar conic is a rectangular
hyperbola is the line with equation :
cyclic
_
2S
C
rv 2S
B
qv +b
2
ru c
2
qu
_
x = 0
2
when = P
2
the cubic degenerates into the three cevians of P.
Special Isocubics 17
Consequently, there are exactly three points (at least one is real) on
the curve whose polar conic is a rectangular hyperbola.
But when the pivot P lies on the Neuberg cubic and the pole lies on a
cubic we will call C
o
, every point in the plane has a polar conic which
is a rectangular hyperbola.
This will lead us to pK
60
isocubics and will be detailed in Chapter 6.
2.3 Poles of a line in a cubic
2.3.1 Denition
Let be a line. Any point M on has a polar conic C
M
in K. The conics
C
M
form a pencil and therefore have four points in common (not necessarily
real) which are called the poles of the line in K.
2.3.2 Essential properties
See [17] p.51 61 and p.142 165 for more informations.
2.4 Poloconic of a line in a cubic
See [17] p. 184 & sq. for details and proofs.
2.4.1 Equivalent denitions
Let be a line. Any point M on has a polar line
M
in K. The
poloconic
3
of in K is the envelope of
M
when M traverses . It
will be denoted
.
If has barycentric equation ux +vy +wz = 0 then an equation of
is :
cyclic
u
2
[(F
yz
)
2
F
y
2F
z
2] + 2vw[F
yz
F
x
2 F
yx
F
zx
] = 0. (2.11)
The poloconic of is also :
the locus of the poles of with respect to the polar conics of the
points of .
the locus of the points whose polar conic is tangent to .
3
This is called polar conic of a line in [17] and poloconique in [1]
Special Isocubics 18
2.4.2 Some propositions
Proposition 1
If P, Q, R, S are the poles of the line in a cubic K, the poloconic
passes
through :
the 3 vertices of the diagonal triangle of the complete quadrilateral
PQRS.
the 6 harmonic conjugates of the intersections of with a sideline of
PQRS with respect to the two vertices of PQRS on the sideline.
the two xed points of the involution on generated by the pencil F of
conics through P, Q, R, S. (those two points can be real or imaginary)
This is the 11point conic of F.
Proposition 2
If intersects K in three points X, Y, Z, the tangents t
X
, t
Y
, t
Z
to K at
X, Y, Z are the tangents to the polar conics C
X
, C
Y
, C
Z
at X, Y, Z. They
form a triangle noted X
is inscribed in X
.
Proposition 3
When the tangents t
X
, t
Y
, t
Z
concur at a point W, the poloconic
is de
generate into two straight lines through W. Those lines are imaginary when
X, Y, Z are real.
Proposition 4
When is tangent at X to K and meets K again at
X (which is called
the tangential of X), the poloconic of is tangent to at X and moreover
tangent to the tangent to K at
X.
2.4.3 Poloconic of L
is :
the envelope of the diameters of the cubic.
the locus of the centers of the diametral conics of the cubic.
the locus of the points whose polar conic is a parabola.
Special Isocubics 19
2.4.4 An important consequence
When the cubic has three real asymptotes, the poloconic of L
is the in
scribed Steiner ellipse of the triangle formed with the three asymptotes.
(Take = L
in proposition 2 above)
In this case, there is one and only one point whose polar conic is a circle
and this point is the Lemoine point of the triangle formed with the three
asymptotes.
4
4
See [1] tome I p.334 10
Chapter 3
Central isocubics
An isocubic K is said to be central if it is invariant under symmetry with
respect to a point N called its center. Such a center is necessarily an
inexion point on K.
1
3.1 Central pK isocubics
3.1.1 An involutive transformation
Let : M(p : q : r) N(p(q + r p) : q(r + p q) : r(p + q r)) be the
mapping which associates to each point M the center N of the circumconic
with perspector M.
We have N = G/M and we see that is involutive.
3.1.2 Theorem
There is a unique nondegenerate central pK invariant under a
given isoconjugation which is not isotomic conjugation.
Moreover :
1. Its center is N = () and its pivot is P = h
G,4
(N).
2. The three asymptotes are the lines through N and the midpoints of
the sides of ABC.
3. The inexional tangent at N is the line N.
1
Central cubics are called cubiques de Chasles by F. Gomes Teixeira.
20
Special Isocubics 21
Remarks :
1. h
G,4
(N) is the reection of N
in N. Equivalently, it is aN
.
2. being involutive, there exists one and only one nondegenerate cen
tral pK with given center N = G and not at innity.
3. N lies on L
cyclic
(v +w u) x
_
w(u +v)y
2
v(w +u)z
2
_
= 0.
This denes a central pK denoted by pK
c
(Q) with :
pole (u(v +w) : v(w +u) : w(u +v)) = ctQ,
pivot P(v +w u : w +u v : u +v w) = aQ,
center N(v +w : w +u : u +v) = cQ.
Its asymptotes are the parallels to the cevian lines of Q through N and they
pass through the midpoints of the sides of ABC.
Proposition
Every nondegenerate central pK is a pK
c
(Q) for some Q.
Proof : Q = ta.
Special Isocubics 22
Remark :
The locus of the perspector of Qtrace and reference triangles is the isotomic
pK with pivot tQ.
Its equation is :
cyclic
vwx(y
2
z
2
) = 0
For example, when Q = H, the central pK is the Darboux cubic and the
isotomic pK above is the Lucas cubic.
Proposition
Conversely, it is easy to obtain a central pK from an isotomic pK.
Let M be a point on the isotomic pK with pivot tQ, with traces A
M
, B
M
and
C
M
. The lines through A
M
, B
M
, C
M
parallel to AQ, BQ, CQ respectively
concur at a point Z. As M traverses the isotomic pK, Z traverses a central
pK.
The inexional tangent at its center is parallel to QtQ. We can observe that
two isotomic conjugates M and tM on the isotomic pK lead to two points
Z and Z
other centers
H K L O X
64
X
1,40,84
Ge I X
144
Mi X
a
X
366
Na Mi X
145
I X
e
X
188
tH O X
193
K X
g
I X
37
Na Sp X
65
X
4,40,72
, see note 2
O X
216
H N = X
5
X
d
X
52,68,155
, see note 1
K X
39
tH X
141
Xb X
66,159
, X
c
X
66
X
32
aX
66
X
206
X
f
K, X
159
X
67
X
187
aX
67
X
h
see note 3
Unknown centers in [11, 12] :
X
a
=
_
a/[(b c)
2
+a(2b + 2c 3a)]
= E
2326
X
b
=
_
a
2
(b
2
+c
2
)/S
A
= E
2334
X
c
=
_
a
2
(b
2
+c
2
)(b
4
+c
4
a
4
)
on the line OK
X
d
=
_
a
2
S
2
A
[(b
2
c
2
)
2
a
2
(b
2
+c
2
)]
= E
593
X
e
= [a(b +c a)/(b +c 3a)] = E
2327
X
f
=
_
a
4
/[(b
4
c
4
)
2
+a
4
(2b
4
+ 2c
4
3a
4
)]
X
g
=
_
a
2
S
A
/(b
2
+c
2
3a
2
)
= E
2329
X
h
=
_
a
2
(b
2
+c
2
2a
2
)(b
4
+c
4
a
4
b
2
c
2
)
= E
406
is the midpoint
of X
6
, X
110
on the Jerabek hyperbola.
Special Isocubics 24
Notes :
1. There are 9 familiar points on this cubic :
the feet of the altitudes since its pivot is H.
the centers of circles HBC, HCA, HAB which are the reections
about X
5
of the feet of the altitudes.
the reections about X
5
of A, B, C, those points on the perpen
dicular bisectors.
Figure 3.1: Central pK with pole X
216
and pivot H
2. This cubic is obtained with Q = I in 3.1.3 : for any point M on the
curve, the parallels through M to AI, BI, CI meet ABC sidelines at
three points forming a triangle perspective with ABC. Furthermore,
the perspector lies on the isotomic pK with pivot X
75
= tI passing
through X
1,2,7,8,63,75,92,280,347
, . . .
3. This cubic is obtained with Q = X
67
in 3.1.3. This case is particularly
interesting since the perspector as seen above lies on the Droussent
cubic.
Figure 3.2: Central pK with pole X
187
and pivot aX
67
3.3 Central nK isocubics
We seek central nK isocubics knowing either the pole of the isoconjugation,
the center N or the root P of the cubic.
We denote by C
. Remember that C
.
one asymptote (always real) of the cubic is the line NN
(N
= 
isoconjugate of N) whose trilinear pole is denoted by Z
.
Special Isocubics 25
the remaining two asymptotic directions are those of C
.
the root P is ctZ
.
Remarks :
1. The two other asymptotes of the cubic can be real or imaginary, dis
tinct or not, according to the position of with respect to the Steiner
inscribed ellipse.
More precisely, nK has :
one real asymptote if and only if is inside the Steiner inscribed
ellipse i.e. if and only if C
is a hyperbola. See
examples 1 and 2 in 3.4.1.
three asymptotes, two of them being parallel, if and only if lies
on the Steiner inscribed ellipse i.e. if and only if C
is a parabola.
In this case, the two parallel asymptotes are not always real and,
therefore, we can nd two dierent types of nondegenerate cubics
with :
three real asymptotes, two of them being parallel, one real
and two imaginary inexion points, one node at innity.
one real and two imaginary asymptotes, three real inexion
points, one node at innity. See example 3 in 3.4.1.
2. nK can degenerate in several dierent ways : for instance the union
of a hyperbola and one of its asymptotes, or the union of a parabola
and the line which is its isoconjugate, or the union of three lines, two
of them being parallel, etc.
3.3.2 Theorem 2 : the center N is given
For a given center N,
the locus of is IP(N).
the locus of the root P is IP(taN).
IP(P) intersects ABC sidelines at U, V, W (which are on the cubic)
such that the line UV W envelopes the inscribed conic centered at
N. Moreover U, V, W are the symmetrics (with respect to N) of the
isoconjugates A
, B
, C
of the symmetrics A
, B
, C
of A, B, C.
Special Isocubics 26
3.3.3 Theorem 3 : the root P is given
For a given root P = (u : v : w), IP(P) intersects the sidelines of
triangle ABC at U, V, W.
the locus of the center N is
P
= IP(taP).
the center N being chosen on
P
, let A
, B
, C
, U
, V
, W
be the
reections of A ,B, C, U, V , W about N. The pole is the
barycentric product of A
and U
, B
and V
, C
and W
. It lies
on the trilinear polar of the point [(v w)/(v +wu)] (isotomic
conjugate of the point where IP(cP) and IP(aP) meet).
It can be seen that all central nK with a given root P = (u : v : w)
form a pencil of cubics passing through A, B, C, U, V , W, the point
at innity of
P
, having a common real asymptote.
This pencil contains several particular cubics (any two of them gener
ating the pencil) :
if the center is N = [u(v w)(v + w u)]
2
(intersection of
P
and IP(tP)), the cubic is the union of
P
itself and the circum
conic which is its isoconjugate, this conic being centered at N and
passing through A
,B
, C
cyclic
x
2
o
(y
o
+z
o
x
o
)qr
_
_
which leads to examine three cases :
(1) : x
o
+y
o
+z
o
= 0 which gives nK = d
.
(2) : x
2
o
(y
o
+ z
o
x
o
)qr + . . . = 0 which is the condition for which the
line isoconjugate of the circumconic centered at N passes through N.
In this situation, we get degenerate cubics into a line through N and its
isoconjugate conic which is centered at N. See 3.3.3.
(3) : the nondegenerate cubics are therefore obtained when N C
.
Now, let us parametrize C
by :
x
o
=
p
; y
o
=
q
; z
o
=
r
where ( : : ) is the point at innity N
is
an asymptote of nK.
From this, we get :
u = ( ))( )( + 2)p ( )
2
[( )q ( )r],
v and w similarly, and :
k = 2
cyclic
( )
2
( + ) qr
This shows that the two remaining asymptotic directions are those of C
.
Special Isocubics 28
3.3.5 Construction of a central nK
First, choose and N according to one of the three theorems above, then
1. draw the symmetrics A
, B
, C
of A, B, C with respect to N.
2. draw the isoconjugates A
, B
, C
of A
, B
, C
.
3. draw the symmetrics U, V, W of A
, B
, C
, BB
, CC
, UA
, V B
, CW
, NN
, BB
, CC
, UA
, V B
, CW
.
4. draw the trilinear pole P of UV W (it is the root of the cubic).
5. intersect the lines NA and UV W at N
a
then dene N
b
, N
c
similarly.
6. Now, let J be the involution on UV W which swaps U and N
a
, V and
N
b
, W and N
c
.
for any point m on UV W, construct its image m
= Nm
resp.
intersect and
at X and Y ,
and at X
and Y
. Those four
points are on the cubic, two by two symmetric about N, two by two
isoconjugates.
7. At last, draw the line NN
when it is a hyperbola
(this cannot be done when C
, B
, C
.
When the cubic is isogonal (see below), those four points are the cen
ters of inversion of the cubic and the two lines through N are per
pendicular. The inversive images of the inexional tangent are the
oscultator circles at the four points.
Figure 3.4: Construction of a central nK
3.4 Some examples of central nK isocubics
3.4.1 Selected examples
Example 1 :
When N = G and = X
523
(point at innity of orthic axis), we nd a nK
0
with equation :
cyclic
(b
2
+c
2
2a
2
) x[(a
2
b
2
)y
2
+ (c
2
a
2
)z
2
] = 0
Its root is P = X
524
and C
with equation :
cyclic
(b
2
c
2
)
2
y z = 0
i.e. two asymptotes (not necessarily real) perpendicular to the Euler line.
Figure 3.7: Central nK with center X
476
and pole X
115
3.4.2 Isogonal central nK
Theorem 1 above with = K shows that all isogonal central nK are cir
cular
3
with a center N on the circumcircle
4
, with a real asymptote per
pendicular at N to the Simson line of N. In this case, the singular focus is
obviously the center.
Remark :
The cubic can degenerate into a circle and a line through the center of the
circle. This happens when the center of the cubic is the second intersection
of a bisector of ABC with the circumcircle.
3
The asymptotes of the circumcircle are the isotrope lines of O which shows that the
cubic must pass through the circular points at innity.
4
The circumconic with perspector K is the circumcircle.
Special Isocubics 31
Figure 3.8: An isogonal central nK with center X
74
3.4.3 Isotomic central nK
Now with = G, we nd that all isotomic central nK are centered on the
Steiner circumellipse and they always have only one real asymptote.
The most remarkable is obtained with a center N = X
99
(Steiner point),
the real asymptote being the perpendicular at this point to the Euler line.
Its root is :
R = (R
a
: R
b
: R
c
) =
_
(b
2
+c
2
2a
2
)[(b
2
c
2
)
2
b
2
c
2
+ 2a
2
S
A
] : . . . : . . .
_
and its equation :
cyclic
R
a
x(y
2
+z
2
) 2
cyclic
(b
2
+c
2
2a
2
) x = 0
Figure 3.9: An isotomic central nK with center X
99
Chapter 4
Circular isocubics
This chapter is a generalization of [8]. See also [3, 4]. A sequel of this
chapter is found in 8.5.
Some unusual examples of such cubics are shown.
Since the two circular points at innity are isogonal conjugates, we have two
dierent situations examined in the two following paragraphs.
4.1 Main theorems for isogonal cubics
See [7] for details.
4.1.1 Pivotal isogonal circular cubics
Theorem : all pivotal isogonal circular cubics are in the same
pencil of cubics.
An isogonal pK is circular if and only if its pivot P is on L
. All
the cubics pass through A, B, C, the four in/excenters and the two
circular points at innity.
gP is a point on the circumcircle : it is the intersection of the curve
with its real asymptote. The singular focus F is the antipode of this
point.
The most famous is the Neuberg cubic with pivot X
30
and singular
focus X
110
.
Another worth noticing is the one with pivot X
515
(point at innity of
IH). Its singular focus is X
109
and it passes through X
36,40,80,84,102
.
32
Special Isocubics 33
See [2] for other examples.
Remarks :
1. It is easy to show that there are only three pivotal isogonal focal
circular cubics (i.e. Van Rees focals) : they are obtained when
the pivot is the point at innity of one of the altitudes of ABC.
2. The cubic degenerates into a line and a circle if and only if P is
the point at innity of one of the six bisectors. In this case, the
line is the bisector and the circle passes through the remaining
in/excenters and vertices of ABC.
Construction of a pivotal isogonal circular cubic knowing its
pivot
Let be the line through I (incenter) and P (at innity) and let (c) be
a variable circle tangent at I to , centered at on the perpendicular
at I to .
The perpendicular at gP to the line F meets (c) at M and N on the
cubic.
Figure 4.1: Construction of a pivotal isogonal circular pK
Other remarks :
1. The real asymptote is parallel at gP to and meets the circum
circle again at E.
2. The polar conic of P is the rectangular hyperbola centered at E
passing through the four in/excenters. ABC is autopolar in this
hyperbola. There are two other points P
1
and P
2
(not always
real) whose polar conics are rectangular hyperbolas : they lie
on the line OP and, since they are isogonal conjugate, on the
rectangular hyperbola ABCHgP as well. From this it is obvious
they are two points on the McCay cubic and their midpoint is on
the polar conic of P.
3. The line gMgN passes through a xed point Q of the cubic which
is the tangential of gP.
Special Isocubics 34
4. The tangents at M and gM to the cubic pass through the isogonal
conjugate of the midpoint of MgM.
5. When P traverses L
cyclic
ux(c
2
y
2
+b
2
z
2
) = 0
The third (real) point on L
is Z = (v w : w u : u v) which is
the point at innity of IP(tP) with equation ux +vy +wz = 0.
The real asymptote is obviously parallel to this line.
The singular focus is gZ = [a
2
/(vw) : b
2
/(wu) : c
2
/(uv)] clearly
on the circumcircle and on the cubic.
This cubic is the locus of foci of inscribed conics in the quadrilateral
formed by the four lines AB, BC, CA and UV W = IP(P). The singular
focus F of the cubic is the Miquel point of the quadrilateral.
Two points R and S that are not isogonal conjugates dene one and
only one cubic nK of the mesh denoted by nK
RS
. Then nK
RS
passes
through gR, gS and through R
1
= RS gRgS, R
2
= RgS SgR,
R
3
orthogonal projection on R
1
R
2
of RgRSgS. The singular focus
F (on the circumcircle) is the second intersection of the circles R
2
RS
and R
2
gRgS.
If is the line through the midpoints of RgR and SgS
1
, nK
RS
is
the locus of foci of inscribed conics whose center is on and the real
asymptote of nK
RS
is h
F,2
()
2
.
1
Those midpoints are distinct since R and S are not isogonal conjugates.
2
This asymptote is perpendicular to the Simson line of F.
Special Isocubics 35
Let us call now , , the points where meet the sidelines of the
medial triangle of ABC and U, V, W the symmetrics of A, B, C about
, , respectively. U, V, W are collinear and the trilinear pole of this
line is the root P of the cubic.
Now let R
, SgS, gSS
. The parallel at F
to the asymptote intersects
) centered at
on
cyclic
ux(c
2
y
2
+b
2
z
2
) = 0 with S
A
u +S
B
v +S
C
w = 0
See several examples in 4.3.3 and 4.3.4 below.
4.1.3 Construction of a nonpivotal isogonal circular cubic
We provide a detailed construction of such cubic assuming we know its root
P.
1. Draw
P
= IP(P) intersecting ABC sidelines at U, V, W and the New
ton line of the complete quadrilateral (passing through the mid
points of AU, BV, CW).
2. The isogonal conjugate of the point at innity of is F (singular focus)
and the homothetic of (center F, ratio 2) is the real asymptote.
3. Let A
, C
likewise) and A
, C
, BB
, CC
, UA
, V B
, WC
. Its axis is
and its radical axis is
and that
MgN and gMN are parallel to the asymptote. The basepoints (real
or not) of F are on the cubic.
5. The conic through the midpoints of AA
, BB
, CC
, UA
, V B
, WC
,
FgX is the polar conic of the point at innity of the asymptote. This
is a rectangular hyperbola centered at on the asymptote and on the
circle with diameter FX belonging to F. The intersection of and
lies on it.
6. the polar conic of F is the circle through F centered at the intersection
of
and whose
equation is :
p
x
+
q
y
+
r
z
= 0 pyz +qzx +rxy = 0.
Remember that the center of C
is c
which is the
trilinear pole of the line K. S
is clearly IP(tg).
=
_
b
2
c
2
p(q +r p) (b
4
rp +c
4
pq a
4
qr)
_
which is the reection of S
in
.
The two circular points at innity being J
1
, J
2
and their isoconju
gates being J
1
, J
2
, it is interesting to notice that the pivot P
is the
intersection of the imaginary lines J
1
J
1
and J
2
J
2
.
The Droussent cubic is a good example when we consider the isotomic
conjugation. See [8]. See also 4.3.5 below.
Special Isocubics 38
Remarks :
1. remember that P
about c
and N
the isoconjugate of N
(reection of P
about T
), then the
real asymptote is the parallel at N
to the line P
. T
is the (real)
point at innity on the cubic and T
, P
and P
meets the
cubic at two other points collinear with T
.
In particular, the circles AP
, BP
, CP
, BT
, CT
at A
2
, B
2
, C
2
respectively, those points lying on
the cubic. Hence the parallels to the asymptote at A, B, C meet the
lines P
A
2
, P
B
2
, P
C
2
at , , respectively, those points lying on
the cubic too. A
2
can also be seen as the second intersection of circles
P
BC and P
A, B
2
and C
2
likewise.
It is now possible to construct the point X where the cubic intersects
its asymptote. The circles P
A, P
B, P
C meet at X
. X is the
isoconjugate of X
such that P
, X, X
.
Let us denote by P
a
P
b
P
c
the cevian triangle of P
. The lines P
a
A
2
,
P
b
B
2
, P
c
C
2
concur on the cubic at Q whose isoconjugate Q
is the
sixth intersection of the cubic with the circumcircle. Q is the real
intersection of the cubic with
.
Special Isocubics 39
Theorem : a pivotal nonisogonal circular cubic is a focal if
and only if its pole lies on one symmedian of triangle ABC.
We already know that the singular focus F of such a cubic lies on a
circle having six common points with the curve : A
2
, B
2
, C
2
, X and
the circular points at innity. Hence, F must be one of the points
A
2
, B
2
, C
2
in order to have a focal cubic. Taking for example F = A
2
,
a straightforward but tedious computation shows that the pole must
lie on the symmedian AK ( distinct of A and K).
In this case, P
= A and
is parallel to BC.
4.2.2 Nonpivotal nonisogonal circular cubics
Theorem : for any point = K, all nonpivotal (nonisogonal)
circular cubics with pole form a pencil of cubics.
The pencil is generated by the two following degenerate cubics :
one into L
.
the other into the circumcircle and the line
.
The nine basepoints dening the pencil are : the three vertices of
ABC, the two circular points at innity J
1
, J
2
, their isoconjugates
J
1
, J
2
, the point S
= [p(b
2
r c
2
q)].
The root of each cubic of the pencil lies on the line through G and
tg.
The singular focus of each cubic of the pencil lies on the line through
O = X
3
and P
we met in
4.2.1.
Theorem : for any point = K, there is one and only one
nonpivotal (nonisogonal) circular focal cubic with pole .
Its singular focus is P
. The
point X
= S
, S
and S
, center P
, ratio 2.
The polar conic of X passes through S
, S
, P
, P
and X : the
tangents to the cubic at S
, S
, P
, P
and S
1
, J
2
on
. If M
and N
, N
, M
, N X
, M, N
.
The polar conic of P
.
An example of such cubic is given in 4.3.6 with isotomic conjugation.
4.3 Some examples
4.3.1 The K
n
and K
i
cubics
It is known that the Neuberg cubic is the locus of point M such that the
triangles ABC and M
a
M
b
M
c
are in perspective, where M
a
, M
b
, M
c
are the
reections of M about the sidelines of ABC
4
. This means that the lines
AM
a
, BM
b
, CM
c
are concurrent at N and then the locus of N is the cubic
K
n
.
Its equation is :
cyclic
S
A
x
_
(4S
2
C
a
2
b
2
)y
2
(4S
2
B
c
2
a
2
)z
2
_
= 0
K
n
is the circular pK with pivot X
265
= giH and pole a point named P
o
=
gX
323
5
. This point will have a great importance in the following chapters.
Figure 4.2: The K
n
cubic
K
n
passes through many centers such that H (the isoconjugate of the pivot),
X
5
, X
13
, X
14
, X
30
, X
79
, X
80
, X
265
, X
621
, X
622
6
and is tangent at A, B, C
to the altitudes of triangle ABC.
Its singular focus (not on the curve) is the reection of X
110
about X
125
or
4
MaM
b
Mc is called 2pedal triangle in [16] and Kn is the 2cevian cubic associated to
the 2pedal cubic (Neuberg) and the 2pedal cubic (Napoleon).
5
X323 is the reection of X23 about X110, where X23 = iG and X110 is the focus of
the Kiepert parabola.
6
X621, X622 are the anticomplements of the isodynamic points X15, X16 resp.
Special Isocubics 41
the reection of X
399
about X
5
.
7
The fourth real intersection E with the circumcircle is the second intersection
of the line X
5
X
110
with the circumcircle and also the sixth intersection with
the rectangular hyperbola through A, B, C, H, X
5
.
8
Its real asymptote is parallel to the Euler line at X
399
or X
323
. K
n
intersects
its asymptote on the line through X
265
and gigX
399
, this point lying on the
Lester circle and on K
n
.
K
n
is also the isogonal image of the inversive image of the Neuberg cubic in
the circumcircle. Hence any point on the Neuberg cubic gives another point
on K
n
.
K
n
can also be obtained as the locus of point Q center of perspective of
ABC and A
M
B
M
C
M
where M is on the Neuberg cubic and A
M
is the
isogonal conjugate of A with respect to triangle MBC (B
M
and C
M
dened
similarly)
Remark :
The inversive image of the Neuberg cubic in the circumcircle is another
circular pK we shall denote by K
i
.
Its equation is :
cyclic
a
2
S
A
x
_
c
4
(4S
2
C
a
2
b
2
)y
2
b
4
(4S
2
B
c
2
a
2
)z
2
_
= 0
Its pivot is O and its pole is X
50
.
It passes through O, X
15
, X
16
, X
35
, X
36
, X
54
, X
186
, the midpoint of OX
110
(which is iX
399
), the point at innity of the Euler line of the orthic triangle
(isoconjugate of X
54
) and obviously the inverses of all the points lying on
the Neuberg cubic.
4.3.2 Isogonal circumstrophoids. The Pelletier cubic
Following 4.1.2, we nd a pencil of isogonal strophoids with double
point at I (incenter) if and only if the root P is on the trilinear polar
of the Gergonne point (X
7
in [11, 12]) with equation :
(b +c a)x + (c +a b)y + (a +b c)z = 0
7
This point is E2027 = [2(SB b
4
+SC c
4
SA a
4
) a
2
b
2
c
2
].
8
This point is X1141 = 1/
_
(4S
2
A
b
2
c
2
)[a
2
(b
2
+c
2
) (b
2
c
2
)
2
]
Special Isocubics 42
One case is particularly interesting : when P is X
514
(point at innity
of the trilinear polar above), we obtain the isogonal strophoid with
equation :
cyclic
(b c)x(c
2
y
2
+b
2
z
2
) + 2(b c)(c a)(a b)xyz = 0
It is the locus of foci of inscribed conics whose center is on the line
IG.
It passes through X
1
, X
36
, X
80
, X
106
(singular focus), X
519
and the foci
of the Steiner inscribed ellipse. The nodal tangents are parallel to the
asymptotes of the Feuerbach rectangular hyperbola.
Another case is worth noticing : when P is the perspector of the
Feuerbach hyperbola i.e. the intersection of all the trilinear polars
of the points of the Feuerbach hyperbola. This point is X
650
and is
sometimes called Pelletier point with coordinates : [a(bc)(b+ca)].
The trilinear polars of I, H, the Gergonne and the Nagel points and
many more all pass through it.
We shall call Pelletier cubic the circumstrophoid with root at this
point.
Its equation is :
cyclic
a(b c)(b +c a) x (c
2
y
2
+b
2
z
2
) = 0
Its singular focus is X
105
= gX
518
(X
518
is the point at innity of the
line IK).
This cubic is the locus of foci of inscribed conics whose center is on
the line IK.
X
243
and X
296
are two isogonal conjugates lying on it.
Another point on the cubic is the intersection E of OI with the anti
orthic axis.
It is X
1155
in [12] with coordinates :
_
a (b
2
+c
2
2a
2
+ab +ac 2bc)
_
=
_
a
_
(b c)
2
+a (b +c 2a)
__
gE also lies on the cubic and is a point on the Feuerbach hyperbola.
Special Isocubics 43
Figure 4.3: The Pelletier cubic
The construction of the isogonal circumstrophoid S
9
(F is the singular focus) and the circle () centered at I passing
through F. Then, draw the rectangular hyperbola H
through I, F
and the three inversive images of A, B, C with respect to (). If M is
on H
m. The
locus of M is S
.
From this it is clear that S
intersects at two
points which are on the two tangents at I. The perpendicular at F to
IF intersects the bisectors of the tangents at I at two points where
the tangents are parallel to the asymptote. They are the two centers
of anallagmacy of S
.
Finally, the circle centered at I through F intersects S
at F and three
other points which are the vertices of an equilateral triangle.
Remark :
If is parallel to a bisector of ABC, say AI, S
cyclic
(b
2
c
2
) x (c
2
y
2
+b
2
z
2
) = 0
B
2
is the locus of :
1. contacts of tangents drawn fromX
111
to the circles passing through
G and K.
2. foci of inscribed conics whose center is on the line GK. From
this, it is obvious that B
2
passes through the foci of the inscribed
Steiner ellipse.
3. point M such that the pole of the line MgM in the circum
conic through M and gM lies on the Brocard axis OK. (See
proposition 2 in 1.5.2)
4. point M such that K, M and the orthocorrespondent of M are
collinear. (See footnote in 7.2.2)
5. point M such that the three circles MBC, MCA, MAB meet
the sidelines of triangle ABC again at six points lying on a same
conic.
Figure 4.4: The second Brocard cubic B
2
If P is the point [a
2
(b
2
c
2
)S
A
]
12
, we get another Van Rees focal
denoted by B
3
with focus at the Tarry point (X
98
in [11, 12]) with its
10
This point is the perspector of the Kiepert hyperbola.
11
See [11], p.267
12
This point is X647 in [11, 12]. It lies on the orthic axis. It is the perspector of the
Jerabek hyperbola. It is also the isogonal conjugate of the trilinear pole of the Euler line
Special Isocubics 45
asymptote parallel to the line OK. B
3
passes through the two Brocard
points
1
,
2
. Its equation is :
cyclic
a
2
(b
2
c
2
)S
A
x (c
2
y
2
+b
2
z
2
) = 0
B
3
is the locus of :
1. intersections of a circle through
1
2
, whose center is , with
the line X
98
.
2. contacts of the tangents drawn from X
98
to the circles centered
on
1
2
and orthogonal to the circle with diameter
1
2
.
3. foci of inscribed conics whose center is on the line OK.
4. point M such that the pole of the line MgM in the circumconic
through M and gM lies on the Euler line.
Equalarea cevian triangles
In a posting to the Math Forum dated Nov. 2,1999 (see also [13]),
Clark Kimberling raised and solved the following problem : the locus
of point M such that the cevian triangles of M and gM have the same
area is the cubic denoted by B
5
with equation :
cyclic
a
2
(b
2
c
2
)x(c
2
y
2
b
2
z
2
) = 0
This is clearly an isogonal circular pK with pivot X
512
(point at innity
of the Lemoine axis), with singular focus X
98
(Tarry point) not on the
curve. The cubic passes through X
99
(Steiner point = gX
512
) and the
two Brocard points.
Remark :
There are two other Brocard isogonal (non circular) cubics :
B
1
is a nK through G, K, X
99
= Steiner point, X
512
= gX
99
, the
vertices of the rst Brocard triangle and their isogonal conjugates.
Its equation is :
cyclic
(a
4
b
2
c
2
) x (c
2
y
2
+b
2
z
2
) = 0
Special Isocubics 46
B
4
is a pK with pivot X
384
13
through many centers such that
I,O,H,X
32
, X
39
,X
76
,X
83
, X
194
, the vertices of the rst Brocard
triangle and their isogonal conjugates.
Its equation is :
cyclic
(a
4
+b
2
c
2
) x (c
2
y
2
b
2
z
2
) = 0
4.3.4 Another notable Van Rees focal
We know that there is a unique isogonal pK through the points G, O, H, K
and it is the Thomson cubic with pivot G.
There is also a unique isogonal nK through the same points and it is a
Van Rees focal with singular focus F = X
842
14
This cubic is the locus
Figure 4.5: Another notable Van Rees focal through G, O, H, K
of point M such that the segments GO and KH are seen under equal or
supplementary angles. It is also the locus of point P whose pedal circle is
centered on the parallel at X
5
to the line GX
98
.
Its equation is :
cyclic
(b
2
c
2
)(b
4
+c
4
a
4
b
2
c
2
) x(c
2
y
2
+b
2
z
2
)
(b
2
c
2
)(c
2
a
2
)(a
2
b
2
)(a
2
+b
2
+c
2
) xyz = 0
4.3.5 Circular pK and parallel trilinear polars
Following the remark in 1.4.2, it is easy to see that there exists only one
circular pK locus of point M such that the trilinear polars of M and its
isoconjugate M
cyclic
(b
4
+c
4
a
4
b
2
c
2
) x
2
(y z) = 0
This cubic passes through G, X
67
, X
141
, X
524
and is tangent at A, B, C to
the medians.
Its real asymptote is parallel to GK.
The last intersection with the circumcircle is the point :
_
1
(b
2
+c
2
)(b
4
+c
4
a
4
b
2
c
2
)
_
The X
67
isoconjugate X
524
of X
524
and the tangential
G of G are other
simple points on the curve. Their coordinates are :
X
524
=
_
1
(b
2
+c
2
2a
2
)(b
4
+c
4
a
4
b
2
c
2
)
_
and
G =
_
b
4
+c
4
3a
4
+a
2
b
2
+a
2
c
2
b
2
c
2
_
4.3.6 The isotomic focal nK
We apply the results found in 4.2.2 when = G.
We nd that all isotomic circular nK form a pencil and pass through X
99
(Steiner point) and X
523
: the real asymptote is perpendicular to the Euler
line. The root lies on the line GtK and the singular focus on the line OX
67
.
The most remarkable is the one with focus X
67
since it is the only focal
of the pencil and is closely related to the Droussent cubic, X
67
being the
isotomic conjugate of the Droussent pivot X
316
, those two points lying on
the curve. The perpendicular at X
99
to the Euler line intersects the line
X
67
X
316
at the isotomic conjugate of the point where the cubic meets its
asymptote. Those two points are unknown in [11, 12].
Its root is :
(a
2
+b
2
+c
2
)X
76
+ 2(4 S
A
S
B
S
C
+a
2
b
2
c
2
)X
2
= [p
a
: p
b
: p
c
]
where X
76
= tK = [b
2
c
2
] and X
2
= [1]. This cubic has equation :
cyclic
p
a
x(y
2
+z
2
) 2
_
_
cyclic
a
4
(2b
2
+ 2c
2
a
2
)
_
_
xyz = 0
Special Isocubics 48
Figure 4.6: The isotomic focal nK and the Droussent cubic
4.4 Selfinverse circular isocubics in the circum
circle or pK
(P)
4.4.1 Generalities
We know (see [1], tome 3, p.88 for example) that an inversion transforms a
circular cubic into a bicircular quartic when the pole of the inversion is
not on the curve and into another circular cubic passing through when
the pole is on the curve.
In this paragraph, we seek isocubics (denoted by K
(P).
With P = (p : q : r) on the circumcircle, this cubic has equation :
cyclic
qr x
2
(c
2
S
C
y b
2
S
B
z) = 0
This cubic is invariant under the isoconjugation which swaps P and O, whose
pole is on the circumconic with perspector X
184
.
15
This circumconic
intersects the circumcircle at A, B, C and X
112
. For any point P, the line
P passes through X
112
.
Let us now denote by P
a
, P
b
, P
c
the vertices of the cevian triangle of P. Those
three points are obviously on the cubic which is now entirely determined with
at least ten of its points : A, B, C, O, P, P
a
, P
b
, P
c
and the two circular points
at innity.
Moreover, the curve is invariant under three other inversions with poles
P
a
, P
b
, P
c
swapping A and P, B and P, C and P respectively.
Taking two isoconjugates M and M
on pK
lie
on pK
(P).
This point E is :
15
X184 = gtO.
Special Isocubics 49
gcP,
the point where the parallel at P to the real asymptote A intersects
pK
(P),
the point at which the lines AiP
a
, BiP
b
, C iP
c
concur on pK
(P).
From this, we see that the tangents at O, P
a
, P
b
, P
c
are parallel to A
(and to PE) and that the tangents at iP
a
, iP
b
, iP
c
concur at X which is the
point where pK
(P)
at iP
a
, iP
b
, iP
c
concur. When P sweeps the circumcircle out, the locus of
F is the circumcircle of the tangential triangle centered at X
26
on the Euler
line. The circle with diameter XF passes through iP
a
, iP
b
, iP
c
: it is the
9point circle of triangle P
a
P
b
P
c
.
According to known properties of circular cubics, the envelope of the per
pendicular bisector of MiM is a parabola with focus at F and directrix
the parallel to A which is the image of A under the
OFtranslation. Thus,
the cubic is the envelope of bitangent circles centered on the parabola and
orthogonal to the circumcircle, the contacts of the circle being two inverse
points M and iM.
At last, let us remark that pK
(P)
Let us rst summarize the study above : for any point P on the circumcircle,
the triangle P
a
P
b
P
c
formed by its traces has orthocenter O and the feet of
the altitudes are their inverses iP
a
, iP
b
, iP
c
.
E = gcP is the point on the curve such that its isoconjugate E
lies on
L
(P)
4.4.3 Several examples of pK
(P)
pK
(X
74
) is particularly interesting since it belongs to the pencil of
circular cubics generated by the Neuberg cubic and the cubic K
i
we
met in 4.3.1.
Their nine common points are A, B, C, O, X
15
, X
16
, X
74
and the circu
lar points at innity. The point E is here gX
113
.
Figure 4.8: pK
(X
74
), K
i
and the Neuberg cubic
pK
(X
1141
) where X
1141
= E
368
denotes the second intersection of
the line through X
5
and X
110
and the circumcircle is probably the
most remarkable cubic of this type : its nine common points with the
Neuberg cubic are A, B, C, O, X
13
, X
14
, E
389
17
and the circular points
at innity. It passes also through X
54
, X
96
, X
265
, X
539
(at innity), g
X
128
and the inverses of X
13
, X
14
, X
96
, X
265
not mentioned in [11, 12].
Figure 4.9: pK
(E
368
) and the Neuberg cubic
pK
(E
591
) where E
591
= tX
858
18
has nine points in common with
the Droussent cubic : A, B, C, O, G, X
69
, X
524
, E
591
and the circular
points at innity. gX
858
(on the Jerabek hyperbola) and iX
69
lie on
the cubic as well.
17
E389 =igX5.
18
X858 is the intersection of the Euler and de Longchamps lines
Special Isocubics 51
Figure 4.10: pK
(E
591
) and the Droussent cubic
Chapter 5
K
60
isocubics : general
theorems
5.1 Theorem 1 for K
60
cubics
A circumcubic K is a K
60
if and only if the polar conic of each
point on L
is a rectangular hyperbola.
Denote that this result is true whatever the cubic is circumscribed or not.
An immediate consequence :
Since all polar conics of the points on L
x
= F
y
, F
y
= F
z
, F
z
= F
x
which shows their great simplicity for a practical usage.
Proof of Theorem 1 :
Taking an orthonormal cartesian coordinates system, the axis of y
being directed by one of the asymptotic directions of the cubic, let us
denote by u = , v, w the slopes (v, w not necessarily real) of those
asymptotic directions. Since all polar conics of the points of L
are in
a pencil, those conics are rectangular hyperbolas if and only if the polar
conics of the points at innity of the cubic are themselves rectangular
hyperbolas.
Let us consider now two complex numbers v, w and let U =
1
2
(v +
52
Special Isocubics 53
w), V = 2w v, W = 2v w. If u = , we have :
(v, w, u, U) = (w, u, v, V ) = (u, v, w, W) = 1
which means that (u, U), (v, V ), (w, W) are the slopes of the asymp
totic directions of the polar conics of the points at innity of the cubic.
Those three conics are rectangular hyperbolas if and only if :
(i, i, u, U) = (i, i, v, V ) = (i, i, w, W) = 1
v +w = 2vwv
2
+1 = 2vww
2
+1 = 0 v = w =
1
3
which is equivalent to the fact that the cubic is K
60
.
If three distinct points of a line have their polar lines concurring at a
point M
o
, the polar conic of M
o
must pass through those three points
and therefore is degenerate into two lines, one of them being . Hence,
the polar line of any point of passes through M
o
.
Now, let K be a circumcubic having three distinct real asymptotes.
Taking = L
x
= 0, F
y
= 0, F
z
= 0.
Special Isocubics 54
Hence a K
60
is a K
+
60
if and only if there exists one point not on L
angle, C
Mo
cannot be a
proper rectangular hyperbola : it degenerates and contains L
, thus
the third asymptote must pass through M
o
.
5.3 A consequence
We have seen that a K
60
is K
+
60
if and only if the polar lines of the points at
innity of AB, BC, CA concur and is K
++
60
if and only if they concur on the
cubic.
The common point of the three asymptotes of a K
+
60
is the intersection of
the diameters of the cubic (see 2.1.3) i.e. the intersection of the polar lines
of two points on L
_
xF
x
(P
c
) +yF
y
(P
c
) +zF
z
(P
c
) = 0
xF
x
(P
b
) +yF
y
(P
b
) +zF
z
(P
b
) = 0
Remark :
Another technique would be to nd the center of the poloconic of L
which
is a circle inscribed in the equilateral triangle formed by the asymptotes (see
2.4.3, 2.4.4 and 5.1). Although the computation is often very tedious, this
Special Isocubics 55
method gives the center of this triangle for any K
60
and an equation of the
circle.
Chapter 6
pK
60
isocubics
6.1 A crucial point and a crucial cubic
Let us denote by P
o
the point with barycentric coordinates
(p
o
: q
o
: r
o
) =
_
1
4S
2
A
b
2
c
2
:
1
4S
2
B
c
2
a
2
:
1
4S
2
C
a
2
b
2
_
P
o
is the barycentric product of the Fermat points i.e. the pole of the
isoconjugation which swaps them. Also we have P
o
= gX
323
. It is the
intersection of the line through the Fermat points X
13
and X
14
and
the parallel to the Euler line at X
50
= gtX
323
. It lies on the circum
hyperbola through G and K and on the rectangular circumhyperbola
through the midpoint of GH
1
.
Let C
o
be the pivotal circumcubic with pivot P
o
which is invariant
under the conjugation
o
: M(x : y : z) M
(
a
2
p
o
x
:
b
2
q
o
y
:
c
2
r
o
z
) (a
2
p
o
yz : b
2
q
o
zx : c
2
r
o
xy)
Its equation is
cyclic
(4S
2
A
b
2
c
2
)x
2
(b
2
z c
2
y) = 0
It passes through P
o
and its isoconjugate which is K, X
53
(symmedian
point of the orthic triangle), X
396
and X
395
, the common point M
o
of
1
This is X381 in [11, 12].
56
Special Isocubics 57
the orthic axis and the line HK
2
, P
o
/K (a point on OK which is the
tangential of K in C
o
)
The polar conic of K passes through A, B, C, G, K, P
o
which shows C
o
is tangent to the symmedians at the vertices of ABC.
Figure 6.1: The cubic C
o
6.2 Main theorem for pK
60
For a given (p : q : r)isoconjugation, there is one and only one
pK
60
.
Moreover, this pK
60
is a pK
+
60
if and only if lies on C
o
.
The pivot is P(u : v : w) where
u = (4S
2
A
b
2
c
2
)p(q +r p) 3(b
4
rp +c
4
pq a
4
qr),
the other coordinates v, w similarly.
Proof :
Starting from equation (1) in 1.3, theorem 1 in 5.1 used with two points on
L
such that P
c
(1 : 1 : 0) and P
b
(1 : 0 : 1) gives two linear equations in
u, v, w. The resolution of this system gives the pivot P(u : v : w) as above.
u, v, w being replaced in (1), theorem 2 in 5.2 shows that the cubic is a
pK
+
60
if and only if lies on C
o
.
6.3 Corollaries
6.3.1 Corollary 1
Let us denote by the mapping (p : q : r) P(u : v : w) and by the
mapping P .
We have :
p =
_
a
2
(a
2
+b
2
+c
2
) 2(b
2
c
2
)
2
_
u
2
+ 3a
4
vw
+
_
a
2
(2a
2
+ 2c
2
b
2
) (b
2
c
2
)
2
_
uv
+
_
a
2
(2a
2
+ 2b
2
c
2
) (b
2
c
2
)
2
_
uw,
2
This point is
__
a
2
(b
2
+c
2
2a
2
) + (b
2
c
2
)
2
_
/SA
.
Special Isocubics 58
the other two q, r similarly.
In this case, the following statements are equivalent :
pK is a pK
60
with pole and pivot P.
P = ().
= (P).
6.3.2 Corollary 2
maps the Neuberg cubic to the cubic C
o
i.e. any point P on the Neuberg
cubic is the pivot of a unique pK
+
60
with the pole choosen according to
Corollary 1.
In other words, the following statements are equivalent :
pK is a pK
+
60
with pole and pivot P.
C
o
.
P is on the Neuberg cubic.
For example, the choice of O for P leads to = K and we nd the famous
McCay cubic. See [2] for details.
6.4 Constructions
6.4.1 Construction of P for a given = K
We have seen in 4.2.1 that the pivot of a nonisogonal circular isocubic is
P
=
_
b
2
c
2
p(q +r p) (b
4
rp +c
4
pq a
4
qr)
_
,
this point not dened if and only if = K.
Remember that P
is the reection of S
is c
= [p(q +r p)].
Lemma 1 :
P, P
, c
and
let
2
= agtg. Their coordinates are :
1
=
_
(4S
2
A
b
2
c
2
)p(q +r p)
_
and
2
=
_
b
4
rp +c
4
pq a
4
qr
_
P,
1
,
2
are collinear. (this is obvious too)
Since we know two lines containing P, the construction is possible although
a bit complicated.
6.4.2 Construction of when P is on the Neuberg cubic
Let us recall that M
o
is the intersection of the orthic axis and the line HK.
The rectangular circumhyperbola through M
o
and the midpoint X
381
of
GH intersects the parallel at P to the Euler line at H and U
1
.
3
The line HP intersects again the rectangular circumhyperbola through P
o
at U
2
.
4
Then = M
o
U
1
P
o
U
2
.
Figure 6.2: Construction of when P is on the Neuberg cubic
6.4.3 Construction of when P is not on the Neuberg cubic
We are still unable to execute this construction and we leave this problem
open.
6.5 A very special pencil of cubics
6.5.1 The points U
a
, U
b
, U
c
Let us call G
a
, G
b
, G
c
the vertices of the anticomplementary (or anti
medial) triangle.
3
The asymptotes of this rectangular circumhyperbola are perpendicular and parallel
to the Euler line. It is the isogonal conjugate of the line through O, X74, X110.
4
This rectangular circumhyperbola is the isogonal conjugate of the line through
O, X323.
Special Isocubics 60
H
a
is the hyperbola through B, C, G
a
, the reection A
of A about
the sideline BC, the reection A
h
of H about the second intersection
of the altitude AH with the circumcircle. The angle of each of its
asymptotes with BC is 60
. H
b
and H
c
are dened similarly.
We can notice that H
a
, H
b
and H
c
are the images through of the
sidelines of triangle ABC.
H
a
, H
b
and H
c
have three points in common U
a
, U
b
, U
c
lying on the
circle centered at L with radius 2R, passing through A
h
, B
h
, C
h
. The
orthocenter of triangle U
a
U
b
U
c
is O and its centroid is a point on the
Euler line of triangle ABC.
We remark that the points U
a
, U
b
, U
c
also lie on :
the Neuberg cubic.
Their isogonal conjugates gU
a
, gU
b
, gU
c
, the midpoints V
a
, V
b
, V
c
of triangle gU
a
gU
b
gU
c
which are the complements of gU
a
, gU
b
,
gU
c
and their isogonal conjugates gV
a
, gV
b
, gV
c
also lie on the
Neuberg cubic. This means that we know the 9 points of the
Neuberg cubic having their anticomplement on the Neuberg cu
bic : O, X
13
, X
14
, X
30
, V
a
, V
b
, V
c
and the circular points at inn
ity. The points gU
a
, gU
b
, gU
c
lie on the circle (O, 2R) passing
through X
399
and the triangles ABC and gU
a
gU
b
gU
c
share the
same orthocenter, circumcenter and centroid.)
the only isotomic pK
60
(see 6.6.2).
the rectangular hyperbola H
L
through O, L = X
20
, X
399
, the
reection of H about X
110
, having its asymptotes parallel to those
of the Jerabek hyperbola.
the rectangular hyperbola H
H
through O, H, the reection of H
about X
107
(a point on the Neuberg cubic), having its asymptotes
parallel to those of the rectangular circumhyperbola with center
X
122
.
6.5.2 A theorem
Now we consider the pencil F of cubics through the points A, B, C, G
a
, G
b
,
G
c
, U
a
, U
b
, U
c
.
For instance, the union of H
a
and the line G
b
G
c
is a degenerate cubic of F.
We have the following theorem :
1. Each cubic of F is a K
60
.
Special Isocubics 61
2. The locus of the pivots of all pK
60
with given asymptotic directions is
the member of F which has the same asymptotic directions.
3. There is only one K
+
60
in F and, in fact, it is a K
++
60
denoted by K
++
O
.
Its center is O and the asymptotes are perpendicular to the sides of
the (rst) Morley triangle.
Its equation is :
cyclic
c
2
xy
__
a
2
S
C
+b
2
(c
2
b
2
)
_
x
_
b
2
S
C
+a
2
(c
2
a
2
)
_
y
_
+(a
2
b
2
)(b
2
c
2
)(c
2
a
2
) xyz = 0
K
++
O
passes through O, H, L, the symmetrics H
A
, H
B
, H
C
of H about
Figure 6.3: K
++
O
and the Neuberg cubic
A, B, C, the symmetrics A
O
, B
O
, C
O
of A, B, C about O. The nine
common points of K
++
O
and the Neuberg cubic are A, B, C, H, U
a
, U
b
, U
c
and O which is double.
6.5.3 A Musselman cubic
The homothety h
H,1/2
transforms K
++
O
into another K
++
60
denoted by K
++
N
:
its center and inexion point is N = X
5
with an inexional tangent passing
through X
51
(centroid of the orthic triangle). Its equation is :
2(a
2
b
2
)(b
2
c
2
)(c
2
a
2
) xyz +
cyclic
a
2
_
(b
2
c
2
)
2
a
2
(b
2
+c
2
)
_
yz(yz) = 0
in which we recognize the coordinates
_
a
2
[(b
2
c
2
)
2
a
2
(b
2
+c
2
)]
of X
51
.
The following points lie on it : O, H, the midpoints of ABC, of AH, BH, CH,
of HG
a
, HG
b
, HG
c
, of HU
a
, HU
b
, HU
c
(those three on the Napoleon cubic).
The tangents at A, B, C pass through X
51
too.
We know its six common points with the circumcircle, its six common points
with the ninepoint circle, its nine common points with the Napoleon cubic.
This cubic is mentionned in [15] p.357 : if we denote by B
1
, B
2
, B
3
the
reections of A, B, C about a point P, by C
1
, C
2
, C
3
the reections of P
about the sidelines of triangle ABC, by D the common point of circles
Special Isocubics 62
AB
2
B
3
, BB
3
B
1
, CB
1
B
2
and by E the common point of circles AC
2
C
3
, BC
3
C
1
, CC
1
C
2
then D and E (points on the circumcircle) will coincide if and only if P lies
on K
++
N
.
K
++
N
can also be seen as the locus of centers of central isocubics whose
asymptotes are perpendicular to the sidelines of the rst Morley triangle.
6.6 Some unusual pivotal cubics
6.6.1 The McCay family
The theorem seen above in 6.5 shows that each point on K
++
O
is the pivot of
a pK
60
having the same asymptotic directions than the McCay cubic which
is obtained for the points O as pivot and K as pole.
Since H is on K
++
O
and on the Neuberg cubic too, there is another remarkable
pK
+
60
: its pivot is H, its pole is X
53
(Lemoine point of the orthic triangle)
and the asymptotes concur at X
51
(centroid of the orthic triangle). This
cubic is the McCay cubic for the orthic triangle. Its equation is :
cyclic
_
(b
2
c
2
)
2
a
2
(b
2
+c
2
)
_
yz (S
B
y S
C
z) = 0
It is clear that the three points U
a
, U
b
, U
c
are the pivots of three more pK
+
60
denoted by pK
+
a
, pK
+
b
and pK
+
c
.
Figure 6.4: The McCay family
Another notable pK
60
is obtained when the pivot is L and the pole X
216
.
This cubic passes through O and X
5
(ninepoint center)
6.6.2 The isotomic pK
60
There is one and only one isotomic pK
60
: it is denoted by pK
t
.
Its pivot is P
t
= [2(b
4
+c
4
2a
4
) + 2a
2
(b
2
+c
2
) b
2
c
2
]
5
The isotomic conjugate of P
t
is one of the xed points of the quadratic
transformations and seen above.
Let us notice that the equilateral triangle formed with the three asymptotes
5
[Paul Yiu] There are two lines that contain this point :
(1) The line through tK, parallel to the Euler line.
(2) The line joining the centroid to the inversive image of the symmedian point in the
circumcircle, point called X187 in [11, 12]
Special Isocubics 63
Figure 6.5: The cubic pK
t
is centered at O.
If we call U
t
, V
t
, W
t
the isotomic conjugates of the points at innity of the
three asymptotes (they are obviously on the Steiner circumellipse and on
the cubic), the lines through the Steiner point and U
t
, V
t
, W
t
meet the cir
cumcircle again at three points U
t
, V
t
, W
t
which are on the asymptotes and
are the vertices of an equilateral triangle. We can remark that the second
intersections (other than U
t
, V
t
, W
t
) of the asymptotes with the circumcircle
are the vertices of another equilateral triangle.
The points U
a
, U
b
, U
c
we met above are on pK
t
. This means that pK
t
is the
member of F passing through G. According to theorem seen in 6.5, pK
t
is
the locus of pivots of all pK
60
having the same asymptotic directions than
pK
t
itself. It can be seen that pK
t
is the only pK
60
having this particularity.
6.6.3 The Tixier cubic
When we take P
o
as pole of the isoconjugation, we nd a very nice pK
+
60
we shall call the Tixier cubic. Its pivot is X
30
and the three asymptotes
concur at X
476
which is a point on the circumcircle called Tixier point. (See
[12] for details)
One of the asymptotes is the parallel at X
476
to the Euler line and passes
through X
74
, the remaining two are easily obtained with 60
rotations about
X
476
. Its equation is :
Figure 6.6: The Tixier and the Neuberg cubics
cyclic
_
(b
2
c
2
)
2
+a
2
(b
2
+c
2
2a
2
)
_
x(r
o
y
2
q
o
z
2
) = 0
The intersection with the asymptote parallel to the Euler line is the P
o

isoconjugate of X
30
which is the isogonal of the midpoint of OX
110
.
The nine common points with the Neuberg cubic are A, B, C, the feet of the
parallels to the Euler line at those vertices and nally X
30
which is triple
and we can remark the two cubics share a common asymptote.
The common polar conic of X
30
in those two cubics
6
is the rectangular
6
Its equation is :
cyclic
(b
2
c
2
)(4S
2
A
b
2
c
2
)x
2
= 0
Special Isocubics 64
hyperbola through the in/excenters and through X
5
with center X
476
. This
means that any parallel to the Euler line meets the Neuberg cubic at M
1
, M
2
and the Tixier cubic at N
1
, N
2
such that the segments M
1
M
2
and N
1
N
2
have
the same midpoint.
6.6.4 The two Fermat cubics
Since there are only two points not on ABC sidelines the Fermat points
X
13
, X
14
whose cevian lines make 60
are parallel. The pivot and the pole are the isotomic of the
point P
t
we met in 6.6.2. An equation of the cubic is :
cyclic
(4a
4
2a
2
b
2
2b
4
2a
2
c
2
+b
2
c
2
2c
4
)x
2
(y z) = 0
The triangle formed with the asymptotes is equilateral and centered at H.
7
Those anticomplements are unusual points on the Neuberg cubic.
8
X396 is the midpoint of X13, X15 and X395 is the midpoint of X14, X16. Those two
points are on the line GK.
Special Isocubics 65
6.7 A bicircular quartic
The locus of the intersection of the three asymptotes of all pK
+
60
is a bicircular
quartic Q
o
.
Its equation is too complicated to be given here.
Q
o
passes through :
the feet U, V, W of IP(P
o
).
G, X
51
(centroid of the orthic triangle) with an inexional tangent at
G which is the line GX
51
.
the Fermat points and their complements.
the Tixier point and its complement.
Figure 6.8: The quartic Q
o
This quartic can be obtained by inverting a circular cubic in the following
manner :
() is the circle centered at G through X
51
. This circle is tangent at X
51
to
IP(P
o
). Let us call (k) the pivotal cubic with pivot the point at innity of the
parallel lines OK and GX
51
which is isogonal with respect to the triangle
formed by the inversive images U
, V
, W
9
with respect to () of the points
U, V, W. Q
o
is the inversive image of (k) with respect to () which allows
the construction.
Consequently, Q
o
passes through the inversive images of the in/excenters of
triangle U
.
This circular cubic (k) is very special in the sense that its singular focus lies
on its asymptote. Hence, the line OK is perpendicular to one of the sides
of the Morley triangle of U
.
9
U
, V
, W
= G = P
o
then there is a pencil of nK
60
all having the
same asymptotic directions and their root on the line GR
. Among
them, there is one and only one nK
+
60
.
1
if R
= G = P
o
then any point P of the plane is the root of
a nK
60
.
This nK
60
is a nK
+
60
if and only if P is on the line
a
2
(4S
2
A
b
2
c
2
)x +b
2
(4S
2
B
c
2
a
2
)y +c
2
(4S
2
C
a
2
b
2
)z = 0
which is the image of the circumcircle under the P
o
isoconjugation
and, in fact, the perpendicular bisector of OH.
In this case, the common point of the three asymptotes is on the circle
o
with radius R/3 (R circumcircle radius) which is homothetic to the
circumcircle of ABC under h(X
125
, 1/3) or h(H
, 1/3) where X
125
is
the center of the Jerabek hyperbola and H
the P
o
isoconjugate of H.
1
The pencil is generated by the two following cubics :
(1). one is degenerate into L
=
_
a
2
(4S
2
A
b
2
c
2
)
which is X
323
in [11, 12]. The common asymptotic directions of all cubics are the sidelines
of the (rst) Morley triangle. The root P is on the line GK.
When P = G the cubic is decomposed into the union of the circumcircle
and L
.
All those cubics meet the circumcircle at A, B, C and three other points
which are the isogonal conjugates of the points at innity of the Morley
sidelines : those points are the vertices of an equilateral triangle called
circumtangential triangle in [11]. See also [9].
For all those cubics, the triangle formed with the asymptotes is centered at
G. If t is the real number such that
GP = t
GK, then the radius of the
circumcircle of this triangle is :
a
2
+b
2
+c
2
9R
1
1
t
7.2.1 The K
jp
cubic
When P = K, we obtain the only nK
+
60
of the pencil denoted by K
jp
.
This is a nK
0
with equation :
cyclic
a
2
x(c
2
y
2
+b
2
z
2
) = 0 or
cyclic
(y +z)x
2
/a
2
= 0
The asymptotes concur at G.
Figure 7.1: The K
jp
cubic
Among other things, this cubic is the locus of point M such that :
1. the circle with diameter MgM is orthogonal to the circumcircle.
2. the pedal circle of M is orthogonal to the ninepoint circle.
3. the center of the conic ABCMgM is collinear with M and gM (to
gether with the union of the six bisectors).
Special Isocubics 68
4. the pole of the line MgM in the conic ABCMgM lies on L
(See
1.5.2) i.e. the tangents at M and gM to the conic ABCMgM are
parallel.
2
5. the sum of line angles (BC, AM)+(CA, BM)+(AB, CM) = 0 (mod.).
6. the Simson lines of M
a
, M
b
, M
c
are concurrent, where M
a
, M
b
, M
c
are
the second intersections of the cevian lines of M with the circumcircle
i.e. the vertices of the circumcevian triangle of M.
7. the lines AgM and M
b
M
c
(or equivalently BgM and M
c
M
a
, CgM
and M
a
M
b
) are parallel.
8. the parallels at M
a
, M
b
, M
c
to the sidelines BC, CA, AB respectively
are concurrent.
9. the circumcevian triangles of M and gM are perspective (together
with the union of the six bisectors, the circumcircle and L
).
This cubic passes through the centers of the three Apollonius circles, the
tangents at those points being concurrent at G. The tangents at A, B, C
are parallel to the sidelines of ABC.
7.2.2 nK
60
and perpendicular polar lines in the circumcircle
The locus of point M such that the polar lines (in the circumcircle) of M
and gM are perpendicular is an isogonal nK
60
with root the point O
=
(cos 2A; cos 2B; cos 2C)
3
.
Its equation is :
(a
2
+b
2
+c
2
)xyz +
cyclic
cos 2A x(c
2
y
2
+b
2
z
2
) = 0
One of the simplest geometric description of this cubic is the locus of point
M such that the circle with diameter MgM passes through O.
It is also the locus of the intersections of a line through O with the rect
angular hyperbola which is the isogonal image of the perpendicular at O to
.
2
This is true for every nK0 with pole = root.
3
We call the point O
a
, O
b
, O
c
called the orthotraces of O and then O
a
, O
b
, O
c
. The third point on OH is
on the tangent at X
110
to the circumcircle.
The third point on AH is AHOO
a
and the third point on AO is AOHO
a
.
Its asymptotes form an equilateral triangle centered at G whose circumcir
cle has radius 2R/3. This triangle is homothetic to the circumtangential
triangle under h
H,2/3
and both triangles are homothetic to Morley triangle.
7.2.3 An isogonal conicopivotal nK
60
In [10], we have met an isotomic nonpivotal cubic called the Simson cubic
for which the line through a point M on the curve and tM envelopes an
ellipse inscribed in the antimedial triangle G
a
G
b
G
c
. We call this conic the
pivotal conic of the cubic and say the cubic is a conicopivotal cubic.
Similarly, we nd an isogonal conicopivotal nK
60
with root at [a(a
2
+ab +
ac 2bc)] (on the line GK) with equation :
2abc(a
2
+b
2
+c
2
)xyz +
cyclic
a(a
2
+ab +ac 2bc) x(c
2
y
2
+b
2
z
2
) = 0
It has a singularity at I (incenter) and any line through a point M on the
curve and gM enveloppes a conic inscribed in the triangle I
a
I
b
I
c
(excenters).
This cubic is the locus of point M such that the circle with diameter MgM
is orthogonal to the circle centered at O passing through I.
7.2.4 nK
60
and circles
The locus of point M such that the pedal circle of M passes through a xed
point Q is an isogonal nK which is a nK
60
if and only if Q = X
5
. Its root
is, as usual, a point on the line GK with coordinates :
_
a
2
(a
4
+b
4
+c
4
2a
2
b
2
2a
2
c
2
b
2
c
2
)
_
Its equation is :
cyclic
a
2
(a
4
+b
4
+c
4
2a
2
b
2
2a
2
c
2
b
2
c
2
) x(c
2
y
2
+b
2
z
2
)+a
2
b
2
c
2
(a
2
+b
2
+c
2
) xyz = 0
The triangle formed with the asymptotes has circumradius R/3.
Special Isocubics 70
7.3 Isotomic nK
60
cubics
In this paragraph, we take = G and R
=
_
4S
2
A
b
2
c
2
which is tP
o
.
The common asymptotic directions of all cubics are again the sidelines of
the (rst) Morley triangle. The root P is on the line GtK.
All those cubics meet the Steiner circumellipse at A, B, C and three other
points T
a
, T
b
, T
c
which are the isotomic conjugates of the points at innity
of the Morley sidelines : those points are the vertices of another equilateral
triangle and are the intersections  other than the Steiner point X
99
 of the
Steiner circumellipse with the circle centered at tK through X
99
. See [9]
for details.
The center of the triangle formed with the asymptotes (center of the circle
which is the poloconic of L
cyclic
b
2
c
2
(b
2
+c
2
5a
2
)x(y
2
+z
2
) = 0
Figure 7.3: The isotomic nK
+
60
4
An equation of this line is :
cyclic
(b
2
c
2
)(4a
2
SA +b
2
c
2
) x = 0
5
This point is the isotomic of the isogonal of the symmetric of G about K which is
[b
2
+c
2
5a
2
]
Special Isocubics 71
The three asymptotes are concurring at K
symmetric of K about G
6
.
The cubic intersects the sidelines of ABC at U, V, W which are on
P
=
IP(P). This line is perpendicular to GK.
The tangents at A, B, C intersect the sidelines of ABC at A
1
, B
1
, C
1
which
lie on
tP
= IP(tP). This line is perpendicular to OK.
7.3.2 Other examples of isotomic nK
60
We nd a very simple isotomic nK
60
when the root is
[2a
2
(b
2
+c
2
) b
2
c
2
]
which is the symmetric of tK about G.
This is a nK
0
whose equation is :
cyclic
_
2a
2
(b
2
+c
2
) b
2
c
2
_
x (y
2
+z
2
) = 0
Figure 7.4: Isotomic nK
60
(example 1)
When the root is tK, we nd a remarkable isotomic nK
60
with equa
tion :
cyclic
b
2
c
2
x (y
2
+z
2
) + 2(b
2
c
2
+c
2
a
2
+a
2
b
2
)xyz = 0
In this case, the circumcircle of the triangle formed with the asymp
totes is centered at X
381
(midpoint of GH) and has radius R (circum
circle radius).
Figure 7.5: Isotomic nK
60
(example 2)
6
K
cyclic
_
4a
2
(b
2
+c
2
) 5b
2
c
2
_
x(y
2
+z
2
) 6 (b
2
c
2
+c
2
a
2
+a
2
b
2
) xyz = 0
This cubic has a singularity at G.
The line through M and tM envelopes the ellipse E inscribed in G
a
G
b
G
c
and also in the triangle whose sidelines join a vertex of ABC to the foot of
the tripolar of P on the opposite side. Knowing six tangents, it is easy to
draw E. Its center is [a
2
(b
2
+c
2
) 8b
2
c
2
] on GtK
8
.
The tangents at G are the tangents drawn through G to E (they can be real
or imaginary).
It is fairly easy to draw the asymptotes : the tangent at T
a
to the circle
centered at tK is also tangent to E at t
a
. The symmetric (which is on the
cubic) of t
a
about T
a
has its isotomic conjugate on the tangent at T
a
and
on the asymptote parallel to T
b
T
c
.
Figure 7.6: An isotomic conicopivotal nK
60
7.4 nK
++
60
isocubics
We have seen that neither isogonal nor isotomic conjugation give a nK
++
60
.
It seems natural to seek such cubics for another isoconjugation. We have
the following theorem :
7.4.1 Main theorem for nK
++
60
isocubics
Each nK
++
60
isocubic is obtained in the following manner :
Let M be a point on the circumcircle, M
as asymptote.
The root can be obtained according to 3.3.2.
7
This point is the homothetic of tK under h(G, 3).
8
This point is the homothetic of tK under h(G, 3/2).
Special Isocubics 73
Remarks :
1. The locus of is a conic C
1
through P
o
whose equation is :
cyclic
(4S
2
A
b
2
c
2
)x
2
+
_
a
2
(a
2
+b
2
+c
2
) 2(b
2
c
2
)
2
_
yz = 0
Its center is the point
_
a
2
(5b
2
+ 5c
2
7a
2
) 4(b
2
c
2
)
2
on the line
GK.
2. The locus of N is a bicircular circumquartic Q
1
easy to draw.
Figure 7.7: The conic C
1
and the quartic Q
1
3. The asymptote MM
cyclic
(b
2
c
2
)E
a
x (r
o
y
2
+q
o
z
2
) 6(a
2
b
2
)(b
2
c
2
)(c
2
a
2
)xyz = 0
with
E
a
= 8S
4
A
4b
2
c
2
S
2
A
+ 9a
2
b
2
c
2
S
A
4b
4
c
4
and where E
b
and E
c
are found similarly. See 6.1 for p
o
, q
o
, r
o
.
Special Isocubics 74
Figure 7.9: A P
o
isoconjugate nK
++
60
7.4.3 Other notable isoconjugate nK
++
60
isocubics
We have been unable to nd a reasonnably simple cubic with the most
commonly used points on the circumcircle. One of the less complicated has
center :
[(a +b 2c)(a 2b +c)
(a
5
2a
4
b + 7a
3
b
2
+ 4a
2
b
3
5ab
4
+b
5
2a
4
c 9a
3
bc 5a
2
b
2
c +b
4
c + 7a
3
c
2
5a
2
bc
2
+ 10ab
2
c
2
2b
3
c
2
+ 4a
2
c
3
2b
2
c
3
5ac
4
+bc
4
+c
5
)]
and pole :
_
(b c)(3a
3
2a
2
b 4ab
2
+b
3
2a
2
c + 7abc 4ac
2
+c
3
)
_
One of its asymptote is parallel to the line IG.
7.5 A K
+
60
summary
being a point not on the sidelines of ABC, we can sum up the study in
the following manner :
if / C
o
, there is only one K
+
60
with pole and this cubic is non
pivotal.
(this is the case of the isotomic conjugation)
if C
o
and = P
o
, there are exactly two K
+
60
with pole :
one is pivotal with pivot on the Neuberg cubic and its asymptotes
concurring on the quartic Q
o
. (This K
+
60
is K
++
60
if and only if the
pivot is the anticomplement of one of the Fermat points)
the other is nonpivotal. (this is the case of the isogonal conju
gation, the cubics being the McCay cubic and K
jp
)
if = P
o
, there are innitely many K
+
60
with pole :
one only is pivotal (the Tixier cubic with pivot X
30
).
the others are nonpivotal with their root on the perpendicular
bisector of OH and their asymptotes concurring on the circle
o
.
Chapter 8
Conicopivotal (unicursal)
isocubics or cK
8.1 Theorems and denitions
(See also [10])
A nK with root P = (u : v : w) is a conicopivotal isocubic invariant
under an isoconjugation if and only if it passes through one and only
one of the xed points F = (f : g : h) of the isoconjugation : for any
point M on the curve, the line through M and its isoconjugate M
cyclic
ux(h
2
y
2
+g
2
z
2
) = 0
which rewrites as :
ux(hy gz)
2
+vy(fz hx)
2
+wz(gx fy)
2
= 0
showing that, for a given F, those cubics are in a mesh generated by the
three degenerated cubics into a sideline of ABC and the corresponding
cevian of F counted twice.
75
Special Isocubics 76
The pivotalconic C is inscribed in the precevian triangle of F (formed
with the three other xed points of the isoconjugation) and has equa
tion :
cyclic
_
(gw hv)
2
x
2
2
_
ghu
2
+ 3fu(hv +gw) +f
2
vw
_
yz
_
= 0
and center : [u(g +h 2f) +f(v +w)].
The three contacts of cK and C lie on a circumconic called contact
conic with equation :
cyclic
_
2
f
u
+
g
v
+
h
w
_
f
x
= 0
its fourth common point (assuming that the conics are distinct, see
8.3 below) with C being :
__
2
f
u
+
g
v
+
h
w
_
/(gw hv)
_
The isoconjugate of this circumconic is the polar line of F in the
pivotalconic C. An equation of this line is :
cyclic
_
2
f
u
+
g
v
+
h
w
_
x
f
= 0
This line passes through the real inexion point(s) which is (are) iso
conjugate(s) of the real contact(s).
The two tangents at F to the cubic are the tangents (real or imaginary)
drawn from F to C.
When the pivotalconic is a circle, cK is called a cyclopivotal isocu
bic.
We have already met examples of conicopivotal isocubics in 7.2.3 and
7.3.3.
The goal of this paragraph is to systematize the research of such cubics
and realize their construction.
Special Isocubics 77
8.2 Construction of a conicopivotal isocubic and
its pivotal conic
Given F and P as above, we denote by F
a
F
b
F
c
the precevian triangle of F
and by U, V, W the feet of IP(P).
Remark : The following constructions can be realized with a ruler only.
8.2.1 Starting from the pivotal conic
First construct the pivotalconic C entirely determined by six tangents :
F
a
F
b
F
c
sidelines and the lines AU, BV, CW. Let Q be its contact with
CW (or AU, or BV ) and Q
be the
harmonic conjugate of t with respect to C and W. The tangent (T)
and Ft
) to C. The lines MT
and
FT meet at N on the cubic and the harmonic conjugate of M with
respect to N and T
is M
, isoconjugate of M.
8.2.2 Starting from an inscribed conic
Let be the inscribed conic with perspector the cevian product Q of F
and P.
1
Q is the perspector of triangles ABC and A
where A
=
PF
a
BC, B
and C
= FA
F
b
F
c
and
B
, C
and F
a
F
b
F
c
is the
perspector (with respect to F
a
F
b
F
c
) of the pivotalconic.
8.2.3 With trilinear polars
Let S
a
be the trilinear pole of the line through the points AB FV and
AC FW. The points S
b
and S
c
being dened likewise, S
a
, S
b
and S
c
are
1
Q is called Ceva point in [12].
Special Isocubics 78
collinear on the line s whose trilinear pole S is the perspector of the inscribed
conic seen in paragraph above. For any point Q on s, the line q = IP(Q)
intersects FU, FV, FW at Q
a
, Q
b
, Q
c
respectively. The lines AQ
a
, BQ
b
, CQ
c
concur on the cubic at M and the line q envelopes C.
8.3 Circumconicopivotal isocubics
When C is a circumconic, cK is called circumconicopivotal isocubic.
A quick computation shows that the root must be F therefore, for a
given isoconjugation, there are four circumconicopivotal isocubics.
The equation of the cubic rewrites as :
6 fgh xyz +
cyclic
fx(h
2
y
2
+g
2
z
2
) = 0
and the pivotalconic is the circumconic with perspector F (its equa
tion is : fyz +gzx +hxy = 0) and center G/F = [f(g +h f)].
Hence, it is tritangent to the cubic at A, B, C and the cubic meets the
sidelines of ABC at three points lying on IP(F) which are inexion
points.
Let us remark that, in this case, the pivotalconic and the contact
conic are identical.
Examples
when F = I, we obtain an isogonal cK with equation :
6 abc xyz +
cyclic
ax(c
2
y
2
+b
2
z
2
) = 0
when F = G, we obtain an isotomic cK with equation :
6 xyz +
cyclic
x(y
2
+z
2
) = 0
and C is the Steiner circumellipse.
when F = K, we obtain a cK such that C is the circumcircle.
when F = X
523
, we obtain a cK such that C is the Kiepert hy
perbola.
Special Isocubics 79
More generally, the pivotalconic is a circumrectangular hyper
bola if and only if F lies on the orthic axis. The pole of the
isoconjugation lies on the inscribed ellipse with perspector X
393
and center [a
4
+(b
2
c
2
)
2
] intersection of the lines X
2
X
39
and
X
4
X
32
. This ellipse passes through X
115
and has equation :
cyclic
S
4
A
x
2
2 S
2
B
S
2
C
y z = 0
when F = X
115
, we obtain a cK such that C is the parabola with
equation :
cyclic
(b
2
c
2
)
2
yz = 0
i.e. the isogonal conjugate of the tangent at X
110
to the circum
circle
2
.
More generally, it is easy to see that the pivotalconic is a circum
parabola if and only if F lies on the inscribed Steiner ellipse.
8.4 Cyclopivotal isocubics
It is clear that there are four inscribed circles in the precevian triangle
of F (in/excircles) therefore, for a given isoconjugation with four real
xed points, there are 16 cyclopivotal isocubics, sharing four by four
the same pivotalcircle.
We have already met such a cubic in 8.3 with F = K where C is the
circumcircle.
8.4.1 Isogonal cyclopivotal isocubics
When F = I (incenter), the precevian triangle of I is I
a
I
b
I
c
(excen
ters) and we can nd four isogonal cyclopivotal isocubics with circles
centered at X
164
and harmonic associates.
8.4.2 Isotomic cyclopivotal isocubics
Taking G as xed point of isotomic conjugation, we nd four cyclo
pivotal isocubics with circles centered at the Nagel points passing
2
This parabola passes through X476, X523, X685, X850, X892.
Special Isocubics 80
through the Feuerbach points of the antimedial triangle. One of them
is :
cyclic
(b +c 3a)x(y
2
+z
2
) + 2(a +b +c)xyz = 0
with root X
145
= aX
8
(X
8
= Nagel point), C being the circle centered
at X
8
passing through X
100
= aX
11
(X
11
= Feuerbach point) i.e. the
incircle of the antimedial triangle.
Figure 8.1: An example of isotomic cyclopivotal isocubic
8.5 Circular conicopivotal isocubics
We nd two very dierent situations according to the fact that the isocon
jugation is or is not isogonal conjugation.
8.5.1 Circular isogonal conicopivotal isocubics
A computation shows that, when we take F = I (or one of the excenters),
there is a pencil of circular isogonal conicopivotal isocubics which are all
strophoids as seen in 4.3.2.
The pivotal conic is a parabola.
8.5.2 Circular nonisogonal conicopivotal isocubics
We now suppose that the conjugation is not isogonal conjugation.
Theorem :
For any point F(f, g, h) not on ABC sidelines, there is one and only one
circular nonisogonal conicopivotal isocubic with singularity at F invariant
under the isoconjugation having F as xed point. Its root is :
R =
_
(a
2
gh +b
2
hf +c
2
fg)
2
b
2
c
2
f
2
(f +g +h)
2
_
clearly on the line through G and the isoconjugate of K.
Special Isocubics 81
Example :
Let us take F = G. There is one and only one circular isotomic conico
pivotal isocubic with node at G. Its root is :
_
(a
2
+b
2
+c
2
)
2
9 b
2
c
2
_
and its equation :
cyclic
_
(a
2
+b
2
+c
2
)
2
9b
2
c
2
_
x(y
2
+z
2
)6(a
4
+b
4
+c
4
b
2
c
2
c
2
a
2
a
2
b
2
)xyz = 0
The pivotal conic is inscribed in the antimedial triangle and is centered at :
_
(b
2
+c
2
2a
2
)(2b
2
+ 2c
2
a
2
)
_
Figure 8.2: An example of circular isotomic conicopivotal isocubic
8.6 K
60
conicopivotal isocubics or cK
60
In paragraphs 7.2.3 and 7.3.3 we have met two cK
60
, one is isogonal and
the other isotomic.
More generally, for any isoconjugation with one xed point F = (f : g : h),
there is one and only one cK
60
with singularity at F. Its root is too compli
cated to be given here.
This cK
60
becomes a cK
+
60
when F lies on a tricircular sextic with singular
ities at A, B, C passing through only one known center, namely X
80
= giI.
The root of the corresponding cK
+
60
is :
_
b +c 2a
a(b +c a)(b
2
+c
2
a
2
bc)
_
The asymptotes concur at a point lying on the parallel at X
80
to the line
IH.
The tangents at X
80
are perpendicular.
Figure 8.3: An example of cK
+
60
Bibliography
[1] Brocard H. and Lemoyne T. Courbes Geometriques Remarquables. Li
brairie Albert Blanchard, Paris, third edition, 1967. in French.
[2] Cundy H.M. and Parry C.F. Some cubic curves associated with a trian
gle. Journal of Geometry 53, p.4166, 1995.
[3] Cundy H.M. and Parry C.F. Geometrical properties of some Euler and
circular cubics (part 1). Journal of Geometry 66, p.72103, 1999.
[4] Cundy H.M. and Parry C.F. Geometrical properties of some Euler and
circular cubics (part 2). Journal of Geometry 68, p.5875, 2000.
[5] Cuppens R. Faire de la Geometrie Superieure en jouant avec Cabri
Geom`etre II. APMEP, Paris, 1999. in French.
[6] Dean K. and van Lamoen F. Construction of reciprocal conjugations.
Forum Geometricorum, vol.1, 2001.
[7] Deaux R. Cubiques anallagmatiques. Mathesis 62, 1953. in French.
[8] Droussent L. Cubiques circulaires anallagmatiques par points reciproques
ou isogonaux. Mathesis 62, 1953. in French.
[9] Ehrmann J.P. and Gibert B. A Morley conguration. Forum Geometri
corum, vol.1, 2001.
[10] Ehrmann J.P. and Gibert B. The Simson cubic. Forum Geometrico
rum, vol. 1, 2001.
[11] Kimberling C. Triangle Centers and Central Triangles. Congressus Nu
merantium 129, Winnipeg, Canada, 1998.
[12] Kimberling C. ETC. http://www2.evansville.edu/ck6/encyclopedia
82
Special Isocubics 83
[13] Kimberling C. Cubics associated with triangles of equal area. Forum
Geometricorum, 1, 2001.
[14] Lemaire J. Lhyperbole equilat`ere et courbes derivees. Vuibert, Paris,
1927. in French.
[15] Musselman J.R. Some loci connected with a triangle. Monthly, p.354
361, JuneJuly 1940.
[16] Pinkernell G.M. Cubic curves in the triangle plane. Journal of Geometry
55, p.142161, 1996.
[17] Salmon George. Higher Plane Curves. Chelsea Publishing Company,
New York, third edition, 1879.
[18] Salmon George. Traite de Geometrie Analytique. GauthierVillars et
Fils, Paris, third edition, 1897. in French.
[19] Sidler J.C. Geometrie Projective. Dunod, Paris, 2000. in French.
[20] van Lamoen F. pperpendicularity. Forum Geometricorum, vol.1, 2001.
[21] Yiu P. The uses of homogeneous barycentric coordinates in euclidean
plane geometry. Int. J. Math. Educ. Sci. Technol. 31, pp.569578, 2000.
List of Figures
1.1 isoconjugate of a point X . . . . . . . . . . . . . . . . . . . 6
1.2 isoconjugate of L
. . . . . . . . . . . . . . . . . . . . . . 6
1.3 Square roots of . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Construction of a pK . . . . . . . . . . . . . . . . . . . . . . . 9
3.1 Central pK with pole X
216
and pivot H . . . . . . . . . . . . 24
3.2 Central pK with pole X
187
and pivot aX
67
. . . . . . . . . . . 24
3.3 The Euler pencil of central nK . . . . . . . . . . . . . . . . . 26
3.4 Construction of a central nK . . . . . . . . . . . . . . . . . . 29
3.5 Central nK with center G and pole X
523
. . . . . . . . . . . . 29
3.6 Central nK with center O and pole X
647
. . . . . . . . . . . . 30
3.7 Central nK with center X
476
and pole X
115
. . . . . . . . . . 30
3.8 An isogonal central nK with center X
74
. . . . . . . . . . . . 31
3.9 An isotomic central nK with center X
99
. . . . . . . . . . . . 31
4.1 Construction of a pivotal isogonal circular pK . . . . . . . . . 33
4.2 The K
n
cubic . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3 The Pelletier cubic . . . . . . . . . . . . . . . . . . . . . . . 43
4.4 The second Brocard cubic B
2
. . . . . . . . . . . . . . . . . . 44
4.5 Another notable Van Rees focal through G, O, H, K . . . . . 46
4.6 The isotomic focal nK and the Droussent cubic . . . . . . . . 48
4.7 Construction of a pK
(P) . . . . . . . . . . . . . . . . . . . . 50
4.8 pK
(X
74
), K
i
and the Neuberg cubic . . . . . . . . . . . . . . 50
4.9 pK
(E
368
) and the Neuberg cubic . . . . . . . . . . . . . . . . 50
4.10 pK
(E
591
) and the Droussent cubic . . . . . . . . . . . . . . . 51
6.1 The cubic C
o
. . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.2 Construction of when P is on the Neuberg cubic . . . . . . 59
6.3 K
++
O
and the Neuberg cubic . . . . . . . . . . . . . . . . . . . 61
6.4 The McCay family . . . . . . . . . . . . . . . . . . . . . . . . 62
84
Special Isocubics 85
6.5 The cubic pK
t
. . . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.6 The Tixier and the Neuberg cubics . . . . . . . . . . . . . . 63
6.7 The two Fermat cubics . . . . . . . . . . . . . . . . . . . . 64
6.8 The quartic Q
o
. . . . . . . . . . . . . . . . . . . . . . . . . . 65
7.1 The K
jp
cubic . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
7.2 A nK
60
related to perpendicular polar lines . . . . . . . . . . 69
7.3 The isotomic nK
+
60
. . . . . . . . . . . . . . . . . . . . . . . . 70
7.4 Isotomic nK
60
(example 1) . . . . . . . . . . . . . . . . . . . . 71
7.5 Isotomic nK
60
(example 2) . . . . . . . . . . . . . . . . . . . . 71
7.6 An isotomic conicopivotal nK
60
. . . . . . . . . . . . . . . . 72
7.7 The conic C
1
and the quartic Q
1
. . . . . . . . . . . . . . . . 73
7.8 An example of nK
++
60
. . . . . . . . . . . . . . . . . . . . . . . 73
7.9 A P
o
isoconjugate nK
++
60
. . . . . . . . . . . . . . . . . . . . . 74
8.1 An example of isotomic cyclopivotal isocubic . . . . . . . . . 80
8.2 An example of circular isotomic conicopivotal isocubic . . . . 81
8.3 An example of cK
+
60
. . . . . . . . . . . . . . . . . . . . . . . 81
Contents
1 Preliminaries 1
1.1 Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Isoconjugation . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.2 Useful constructions . . . . . . . . . . . . . . . . . . . 4
1.3 Isocubics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Pivotal isocubics or pK . . . . . . . . . . . . . . . . . . . . . . 7
1.4.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.2 pK and trilinear polars . . . . . . . . . . . . . . . . . . 8
1.4.3 Construction of a pK . . . . . . . . . . . . . . . . . . . 9
1.4.4 Construction of the asymptotes of a pK . . . . . . . . 10
1.5 Nonpivotal isocubics or nK . . . . . . . . . . . . . . . . . . . 10
1.5.1 Denitions and known properties . . . . . . . . . . . . 10
1.5.2 Characterization of nK
0
isocubics . . . . . . . . . . . . 11
1.5.3 Characterization of nK isocubics . . . . . . . . . . . . 11
1.5.4 Construction of a nK . . . . . . . . . . . . . . . . . . 11
1.5.5 Isogonal nK . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5.6 Construction of an isogonal nK knowing the circle . 13
1.6 Other notations . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Poles and polars in a cubic 14
2.1 Polar line of a point in a cubic . . . . . . . . . . . . . . . . . 14
2.1.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.2 Essential properties . . . . . . . . . . . . . . . . . . . 14
2.1.3 Diameter in a cubic . . . . . . . . . . . . . . . . . . . 15
2.2 Polar conic of a point in a cubic . . . . . . . . . . . . . . . . . 15
2.2.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2.2 Essential properties . . . . . . . . . . . . . . . . . . . 15
2.2.3 Diametral conic of a line in a cubic . . . . . . . . . . . 16
86
Special Isocubics 87
2.2.4 Polar conics in pK isocubics . . . . . . . . . . . . . . . 16
2.3 Poles of a line in a cubic . . . . . . . . . . . . . . . . . . . . . 17
2.3.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3.2 Essential properties . . . . . . . . . . . . . . . . . . . 17
2.4 Poloconic of a line in a cubic . . . . . . . . . . . . . . . . . . 17
2.4.1 Equivalent denitions . . . . . . . . . . . . . . . . . . 17
2.4.2 Some propositions . . . . . . . . . . . . . . . . . . . . 18
2.4.3 Poloconic of L
. . . . . . . . . . . . . . . . . . . . . 18
2.4.4 An important consequence . . . . . . . . . . . . . . . 19
3 Central isocubics 20
3.1 Central pK isocubics . . . . . . . . . . . . . . . . . . . . . . . 20
3.1.1 An involutive transformation . . . . . . . . . . . . . . 20
3.1.2 Theorem . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.1.3 Cubic curves from Pperspectivity . . . . . . . . . . . 21
3.2 Some examples of central pK isocubics . . . . . . . . . . . . . 22
3.2.1 The isogonal central pK . . . . . . . . . . . . . . . . . 22
3.2.2 The isotomic central pK . . . . . . . . . . . . . . . . 22
3.2.3 The two central pK
++
60
. . . . . . . . . . . . . . . . . . 22
3.2.4 Other notable central pK . . . . . . . . . . . . . . . . 23
3.3 Central nK isocubics . . . . . . . . . . . . . . . . . . . . . . . 24
3.3.1 Theorem 1 : the pole is given . . . . . . . . . . . . . 24
3.3.2 Theorem 2 : the center N is given . . . . . . . . . . . 25
3.3.3 Theorem 3 : the root P is given . . . . . . . . . . . . 26
3.3.4 Proof of theorems 1 and 2 : . . . . . . . . . . . . . . . 27
3.3.5 Construction of a central nK . . . . . . . . . . . . . . 28
3.4 Some examples of central nK isocubics . . . . . . . . . . . . . 29
3.4.1 Selected examples . . . . . . . . . . . . . . . . . . . . 29
3.4.2 Isogonal central nK . . . . . . . . . . . . . . . . . . . 30
3.4.3 Isotomic central nK . . . . . . . . . . . . . . . . . . . 31
4 Circular isocubics 32
4.1 Main theorems for isogonal cubics . . . . . . . . . . . . . . . 32
4.1.1 Pivotal isogonal circular cubics . . . . . . . . . . . . . 32
4.1.2 Nonpivotal isogonal circular cubics . . . . . . . . . . 34
4.1.3 Construction of a nonpivotal isogonal circular cubic . 36
4.2 Main theorems for nonisogonal cubics . . . . . . . . . . . . . 37
4.2.1 Pivotal nonisogonal circular cubics . . . . . . . . . . . 37
4.2.2 Nonpivotal nonisogonal circular cubics . . . . . . . . 39
4.3 Some examples . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Special Isocubics 88
4.3.1 The K
n
and K
i
cubics . . . . . . . . . . . . . . . . . . 40
4.3.2 Isogonal circumstrophoids. The Pelletier cubic . . . 41
4.3.3 Three circular isogonal Brocard cubics . . . . . . . . 44
4.3.4 Another notable Van Rees focal . . . . . . . . . . . . . 46
4.3.5 Circular pK and parallel trilinear polars . . . . . . . . 46
4.3.6 The isotomic focal nK . . . . . . . . . . . . . . . . . . 47
4.4 Selfinverse circular isocubics in the circumcircle or pK
(P) . 48
4.4.1 Generalities . . . . . . . . . . . . . . . . . . . . . . . . 48
4.4.2 Construction of a pK
(P) . . . . . . . . . . . . . . . . 49
4.4.3 Several examples of pK
(P) . . . . . . . . . . . . . . . 50
5 K
60
isocubics : general theorems 52
5.1 Theorem 1 for K
60
cubics . . . . . . . . . . . . . . . . . . . . 52
5.2 Theorem 2 for K
+
60
cubics . . . . . . . . . . . . . . . . . . . . 53
5.3 A consequence . . . . . . . . . . . . . . . . . . . . . . . . . . 54
6 pK
60
isocubics 56
6.1 A crucial point and a crucial cubic . . . . . . . . . . . . . . . 56
6.2 Main theorem for pK
60
. . . . . . . . . . . . . . . . . . . . . . 57
6.3 Corollaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.3.1 Corollary 1 . . . . . . . . . . . . . . . . . . . . . . . . 57
6.3.2 Corollary 2 . . . . . . . . . . . . . . . . . . . . . . . . 58
6.4 Constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6.4.1 Construction of P for a given = K . . . . . . . . . . 58
6.4.2 Construction of when P is on the Neuberg cubic . . 59
6.4.3 Construction of when P is not on the Neuberg cubic 59
6.5 A very special pencil of cubics . . . . . . . . . . . . . . . . . . 59
6.5.1 The points U
a
, U
b
, U
c
. . . . . . . . . . . . . . . . . . 59
6.5.2 A theorem . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.5.3 A Musselman cubic . . . . . . . . . . . . . . . . . . 61
6.6 Some unusual pivotal cubics . . . . . . . . . . . . . . . . . . . 62
6.6.1 The McCay family . . . . . . . . . . . . . . . . . . . . 62
6.6.2 The isotomic pK
60
. . . . . . . . . . . . . . . . . . . . 62
6.6.3 The Tixier cubic . . . . . . . . . . . . . . . . . . . . 63
6.6.4 The two Fermat cubics . . . . . . . . . . . . . . . . 64
6.6.5 pK
60
and parallel trilinear polars . . . . . . . . . . . . 64
6.7 A bicircular quartic . . . . . . . . . . . . . . . . . . . . . . . . 65
Special Isocubics 89
7 nK
60
isocubics 66
7.1 Main theorem for nK
60
. . . . . . . . . . . . . . . . . . . . . . 66
7.2 Isogonal nK
60
cubics . . . . . . . . . . . . . . . . . . . . . . . 67
7.2.1 The K
jp
cubic . . . . . . . . . . . . . . . . . . . . . . . 67
7.2.2 nK
60
and perpendicular polar lines in the circumcircle 68
7.2.3 An isogonal conicopivotal nK
60
. . . . . . . . . . . . 69
7.2.4 nK
60
and circles . . . . . . . . . . . . . . . . . . . . . 69
7.3 Isotomic nK
60
cubics . . . . . . . . . . . . . . . . . . . . . . . 70
7.3.1 The isotomic nK
+
60
. . . . . . . . . . . . . . . . . . . . 70
7.3.2 Other examples of isotomic nK
60
. . . . . . . . . . . . 71
7.3.3 An isotomic conicopivotal nK
60
. . . . . . . . . . . . 72
7.4 nK
++
60
isocubics . . . . . . . . . . . . . . . . . . . . . . . . . . 72
7.4.1 Main theorem for nK
++
60
isocubics . . . . . . . . . . . 72
7.4.2 The P
o
isoconjugate nK
++
60
cubic . . . . . . . . . . . . 73
7.4.3 Other notable isoconjugate nK
++
60
isocubics . . . . . 74
7.5 A K
+
60
summary . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8 Conicopivotal (unicursal) isocubics or cK 75
8.1 Theorems and denitions . . . . . . . . . . . . . . . . . . . . 75
8.2 Construction of a conicopivotal isocubic and its pivotal conic 77
8.2.1 Starting from the pivotal conic . . . . . . . . . . . . . 77
8.2.2 Starting from an inscribed conic . . . . . . . . . . . . 77
8.2.3 With trilinear polars . . . . . . . . . . . . . . . . . . . 77
8.3 Circumconicopivotal isocubics . . . . . . . . . . . . . . . . . 78
8.4 Cyclopivotal isocubics . . . . . . . . . . . . . . . . . . . . . . 79
8.4.1 Isogonal cyclopivotal isocubics . . . . . . . . . . . . . 79
8.4.2 Isotomic cyclopivotal isocubics . . . . . . . . . . . . . 79
8.5 Circular conicopivotal isocubics . . . . . . . . . . . . . . . . 80
8.5.1 Circular isogonal conicopivotal isocubics . . . . . . . 80
8.5.2 Circular nonisogonal conicopivotal isocubics . . . . . 80
8.6 K
60
conicopivotal isocubics or cK
60
. . . . . . . . . . . . . . 81