**Notation**

We will work in barycentric coordinates throughout.

The triangle centre [f(a,b,c],f(b,c,a),f(c,a,b)] is abbreviated to <f(a,b,c)>.

We use the numbering of ETC, so X(2) = <a^{2}>.

**The Parry Circle**

The Parry Circle **P** passes through X(2),X(15),X(16),X(23),X(110),X(111),X(352),X(353).

The centre of the Parry Circle is X(351).

**P** is orthogonal to the CircumCircle **C** : a^{2}yz+b^{2}zx+c^{2}xy = 0,

and
also to the Brocard Circle **B** : b^{2}c^{2}x^{2}+c^{2}a^{2}y^{2}+a^{2}c^{2}z^{2} = a^{4}yz+b^{4}zx+c^{4}xy.

This has diameter X(3)X(6). The equation may be rewritten in the form

(x+y+z)(b^{2}c^{2}x+c^{2}a^{2}y+c^{2}z) = (a^{2}+b^{2}+c^{2}) (a^{2}yz+b^{2}zx+c^{2}xy).

**Central Circles**

In general, any circle other than **C** has an equation of the form

(*) (x+y+z)(x/f+y/g+z/h) = k(a^{2}yz+b^{2}zx+c^{2}xy).

If [f,g,h] is a triangle centre, and k symmetric in a,b,c, then we have a *central circle*.

Note that this differs from Kimberling's definition of centre function, not only because it

is in barycentrics, but we put f,g,h as denominators. Our [f,g,h] is the isogonal conjugate

of Kimberling's point. We believe that this is more meaningful, in our version, **B** has X(6)

as its centre function. This is the tripole of the second factor on the left of (*). This is

the Lemoine Axis.

For **P**, the centre function is <b^{2}c^{2}(b^{2}-c^{2})(b^{2}+c^{2}-2a^{2})> = X(691), which is on **C**.

Also k = (b^{2}-c^{2})(c^{2}-a^{2})(a^{2}-b^{2})/3.

Note that the centre X(351) = <a^{2}(b^{2}-c^{2})(b^{2}+c^{2}-2a^{2})> is on the Lemoine Axis.

**The Tripolar Centroid**

This notion is due to Darij Grinberg and defined in ETC (see X(1635)).

For U = <u>, TG(U) = <u(v-w)(v+w-2u)>.

For a discussion of this in relation to conics, see Hyacinthos 8007-11.

Here, we note that TG(X(6)) = X(351), the centre of **P**, and generalize this.

**The Parry Conic**

For the point U, we write

**UC** for the circumconic uyz+vzx+wxy = 0. This has perspector U.

**UB** for the conic, vwx^{2}+wuy^{2}+uvz^{2} = u^{2}yz+v^{2}zx+w^{2}xy. and

**UP** for the conic 3(x+y+z)(x/f+y/g+z/h)=(v-w)(w-u)(u-v)(uyz+vzx+wxy),

where [f,g,h] is the isotomic conjugate of <vw(v-w)(v+w-2u)>.

To avoid degeneracy of **UP**, we insist that U does not lie on a median.

Since we will work with the centre of **UC**, we insist that U is not on the Steiner Inellipse.

In any event, U on the Steiner Inellipse gives a degenerate **UP** as a parallel line pair.

Of course, these are obtained by replacing a^{2},b^{2},c^{2} by u,v,w in all the
definitions related

to the Parry Circle. Purely by algebra, since a,b,c satisfy no algebraic relation we have

the useful fact that, if a point X lies on a line or conic related to **P**, then this replacement

will give a point X' on the corresponding object for **UP**. Naturally, this extends to any

concept defined by incidence, such as intersection points and tangency. Rather less obvious

is the fact that ratios can also be translated. For example, the mid-point of <u> and <u'>

is the point <u(u'+v'+w')+u'(u+v+w)>, so can be successfully translated. In the general

case of ratio k, we must also translate the ratio. It follows that the centre of a conic and

homothety correspond. The former can also be seen from the fact that the centre of a

conic is the pole of the line at infinity, and can be obtained algebraically from the equation.

In the same way poles and polars, both trilinear and with respect to a conic, correspond.

We have many immediate consequences. Some of these can be seen easily from the

equations for **UC**,**UB** and **UP**. We write Un for the analogue of X(n).

**UC** has centre U3 = <u(v+w-u)>, the X(2)-Ceva conjugate of U.

**UC** passes through U110 = <u/(v-w)> and U111 = <u/(v+w-2u)> and also

U691 = <u/(v-w)(v+w-2u)>. U110 and U111 lie on the tripolar of U691, as does U.

**UB** has centre U182 = <u(u^{2}-uv-uw-2vw)>.

**UB** passes through U and U3. The line UU3 is a diameter, *i.e.* passes through U182.

**UP** has centre U351 = TG(U).

**UP** passes through X(2), U110, U111, and also the points

U23 = <u(v^{2}+w^{2}-u^{2} -vw)>.

U352 = <u(u^{2}+v^{2}+w^{2}+5vw-4uv-4uw)>.

U353 = <u(4u^{2}-2v^{2}-2w^{2}-vw-4uv-4uw)>.

The analogues of X(15) and X(16) are rather complicated, involving square roots.

U3,U352,U353 are collinear, as are X(2),U and U353.

As circles, **C**,**P** and **B** are pairwise homothetic. It follows that **UC**,**UP**
and **UB** are pairwise

homothetic.
They therefore have parallel axes, and equal aspect ratios. The conics are ellipses

if U is inside the steiner Inellipse, and hyperbolas if it is outside.

**Orthogonal Circles**

We wish to generalize the concept of orthogonal circles.

Suppose that C is the centre of the conic **C** and that X is any point. The **C**-*inverse*
is
the

intersection of CX with the polar of X with resepct to **C**. For a circle **C**,
this is the inverse

of X with respect to **C**. For a curve **K**, the **C**-inverse of **K**
is the set of

**C**-inverses of the points of **K**.

Two circles **A** and **A'** are orthogonal if any one of the following holds.

(1) **A**,**A'** meet at P and the tangent at P to **A** passes through the centre of **A'**.

(2) the **A**-inverse of **A'** is **A'**.

(3) **A**,**A'** meet at P, and the tangents at P are perpendicular.

As they stand, (1),(2) are asymmetric, but it easy to prove that we can reverse the roles

of **A** and **A'**.

We shall say that conics **D** and **E** are *mutually inverse* if (1) and (2) hold.

From the results for the Parry Circle, we have the following information :

**UP** and **UC** are mutually inverse,

**UP** and **UB** are mutually inverse.

**Results about UC,UB,UP**

We add an additional useful point U187 = <u(u-2v-2w)>.

Less important, we also have

U99 = <1/(v-w)>, the intersection of **UC** and the Steiner Ellipse.

U574 = <u(u-2v-2w)>, the inverse of U187 for **UB**.

U892 = <u/f>, where <f> is U351.

We have the following collinearities :

U,U3,U15,U16,U182,U187, the tripolar of U110,

U,U23,U353,

U,U110,U111, the tripolar of U691,

U,X(2),U352, the tripolar of U99.

X(2),U3,U23,

X(2),U110,U182,

X(2),U99,U111, the tripolar of U892,

U3,U352,U353,

U23,U111,U187,U691,

U110,U187,U352,

U111,U182,U353.

U187,U351 lie on the tripolar of U.

U182 is the mid-point of (U,U3).

U187 is the mid-point of (U15,U16),(U23,U691).

We also have the following pairs of inverses:

**UC**-inverses (U,U187),(X(2),U23),(U15,U16),(U352,U353),

**UB**-inverses (X(2),U110),(U15,U16),(U111,U353).

All but the first are pairs of points on **UP**.

**Construction**

The various points and objects can be constructed provided we have conic tools such as

those provided by Cabri. We may proceed as follows.

(1) U3 as the X(2)-Ceva conjugate of U.

(2) **UC** as the conic with centre U3 through the vertices A,B,C.

(3) U187 as the **UC**-inverse of U.

(4) U23 as the **UC**-inverse of X(2).

(5) U691 as the reflection of U23 in U187 - it lies on **UC**.

(6) U111 as the intersection of the tripolar of U691 and U23,U187.

(7) U351 as the tripolar centroid of U - see below.

(8) **UP** as the conic with centre U351, through U2,U23,U111.

(9) U182 as the mid-point of U,U3.

(10) U110 as the intersection of the tripolar of U691 and X(2),U182

(11) V,W as the intersection of **UP** and the polar of U182 with respect to **UP**.

(12) **UB** as the conic with centre U182, through U,V,W.

(13) U353 as the **UB**-inverse of U111.

(14) U352 as the **UC**-inverse of U353.

(15) The pair (U15,U16) as the intersections of **UP** with the line U,U3.

Notes

The Tripolar centroid can be constructed as in ETC, but it may be easier to observe that

the coordinates reveal it as the intersection of the tripolars of U and U' = <u(v-w)>, the

point at infinity on the tripolar of U.

The construction has been implemented in Cabri.

**Seven concurrent lines.**

This was observed from the Cabri sketch, we have not verified all the algebra.

First we note that the conics **UC**,**UP** meet at U110,U111, so we have the radical axis,

**L1**, which is also the polar of U3 for **UP** and the polar of U351 for **UC**.

The intersections of **UB** and **UP** are unnamed, but define the line **L2** which is also

the polar of U351 for **UB** and of U182 for **UP**.

From the equations, it makes sense to define the radical axis of **UC** and **UB** as the line

**L3** through U187,U351 - the analogue of the Lemoine Axis.

We have three lines which turn out to be concurrent. In the case of the Parry Circle,

this is the radical centre of the circles. Thus concurrence holds in general.

We can add the lines **L4** through U23,U352 and **L5** through X(2),U353.

Finally, we have the tangents **L6**, **L7** to **UP** at U15 and U16.

Note that **L1** and **L3** are the tripolars of U691 and U respectively.

The point of concurrence is <u(v^{2}+w^{2}-2u^{2}-4vw+2uv+2uw)>.

A less prolific configuration is that the following lines are concurrent :

X(2),U99,U111,

U,U3,U15.U16,....

U110,U353,

the line **L2** as above,

polar of U187 for **UB**,

The point of concurence is U574.