# The centroid, the first and second Napoleon points and $X(930)$ lie on a circle

Can you provide an elementary proof for the claim given below?

Preliminary definitions:

$$X(110)=$$ focus of Kiepert parabola.

$$X(137)=X(110)$$ of orthic triangle .

$$X(930)=$$ anticomplement of $$X(137)$$ .

Claim. Given any scalene triangle $$\triangle ABC$$ . The centroid, the first and second Napoleon points and $$X(930)$$ of triangle $$\triangle ABC$$ lie on the same circle.

GeoGebra applet that demonstrates this claim can be found here.

Brute-force approach would be to use some CAS like Mathematica. We can calculate coordinates of these four triangle centers in terms of coordinates of triangle vertices and then using two different triples calculate center of the circle in two ways. If both calculations give the same center the proof is complete. But I am looking for more elegant proof of this claim.

• To show that points are comcyclic using their coordinates, we don't need to compute center of the circle. The points $E,F,G,H$ are concyclic iff $$\det \begin{bmatrix} OE^2 & E_x & E_y & 1\\ OF^2 & F_x & F_y & 1\\ OG^2 & G_x & G_y & 1\\ OH^2 & H_x & H_y & 1 \end{bmatrix} = 0,$$ where $O=(0,0)$. Jan 27, 2021 at 14:06

There is a systematic way to treat this question not just in the above particular case but in that of any four of the around $$40,000$$ triangle centres documented in the "Encyclopedia of Triangle Centers" using the $$p,q$$ method. We suppose that the centers are described by the triangle functions $$f_i$$ and put $$x_i=f_1(b,1,a)+pf_i(1,a,b)$$, $$y_i=qf_i(1,a,b)$$. Then the four centres are cyclic if and only if the determinant of the $$4×4$$ matrix with rows $$(x_i^2+y_i^2,x_i,y_i,1)$$ is identically zero. This can sometimes be done by hand for simple centrrs but it is easy to mechanise it using, say, Mathematica to churn out as many of the $$40,000^4$$ potential results as desired. We are using the notation of the above Encyclopedia which is available online. We are also assuming, as we may, that the functions are homogeneous and sum symmetrically to $$1$$. In addition, we regard the above determinant as a function of $$a$$ and $$b$$,, using the relationshios $$p=\frac 12(b^2÷1-a^2)$$ and $$q^2=b^2-p^2$$.
• I'd say it's $\binom{40000}{4}$, not $40000^4$ as the order of points is not important. Jan 27, 2021 at 15:34