# On Some Properties of the First Brocard Triangle in the Isotropic Plane

^{1}

^{2}

^{3}

^{*}

^{†}

*Keywords:*isotropic plane; first Brocard triangle; Brocard circle; parallelogy

Next Article in Journal

Department of Mathematics, University of Zagreb, Bijenička cesta 30, 10 000 Zagreb, Croatia

Department of Mathematics, University of Osijek, Trg Lj. Gaja 6, 31 000 Osijek, Croatia

Faculty of Education, University of Osijek, Cara Hadrijana 10, 31 000 Osijek, Croatia

Author to whom correspondence should be addressed.

These authors contributed equally to this work.

Academic Editor: Yang-Hui He

Received: 9 March 2022
/
Revised: 13 April 2022
/
Accepted: 19 April 2022
/
Published: 20 April 2022

In this paper we introduce the first Brocard triangle of an allowable triangle in the isotropic plane and derive the coordinates of its vertices in the case of a standard triangle. We prove that the first Brocard triangle is homologous to the given triangle and that these two triangles are parallelogic. We consider the relationships between the first Brocard triangle and the Steiner axis, the Steiner point, and the Kiepert parabola of the triangle. We also investigate some other interesting properties of this triangle and consider relationships between the Euclidean and the isotropic case.

The isotropic (or Galilean) plane is a projective-metric plane, where the absolute consists of one line—the absolute line ${\omega}_{A}$, and one point on that line—the absolute point ${\Omega}_{A}$.

When using homogeneous coordinates in the projective plane, $P=({x}_{0}:{x}_{1}:{x}_{2})$, ${x}_{0}^{2}+{x}_{1}^{2}+{x}_{2}^{2}\ne 0$, then we choose the absolute point ${\Omega}_{A}=(0:1:0)$ and the absolute line ${\omega}_{A}$ having the equation ${x}_{2}=0$. Points incident to the absolute line ${\omega}_{A}$ are called isotropic points and lines incident to the absolute point ${\Omega}_{A}$ are called isotropic lines. We will mention a few well known metric quantities in the isotropic plane for which we assume that $x={\textstyle \frac{{x}_{0}}{{x}_{2}}}$ and $y={\textstyle \frac{{x}_{1}}{{x}_{2}}}$.

Two lines are called parallel if they have the same isotropic point. Points which lie on the same isotropic line are said to be parallel.

For two non-parallel points ${P}_{1}=({x}_{1},{y}_{1})$ and ${P}_{2}=({x}_{2},{y}_{2})$ the isotropic distance is defined as $d({P}_{1},{P}_{2}):={x}_{2}-{x}_{1}$. Notice that the isotropic distance is directed. For two parallel points ${P}_{1}=({x}_{1},{y}_{1})$ and ${P}_{2}=({x}_{1},{y}_{2})$, the isotropic span is defined as $s({P}_{1},{P}_{2}):={y}_{2}-{y}_{1}$. The midpoint of the points ${P}_{1}=({x}_{1},{y}_{1})$ and ${P}_{2}=({x}_{2},{y}_{2})$ is defined as $M=\left({\textstyle \frac{{x}_{1}+{x}_{2}}{2}},{\textstyle \frac{{y}_{1}+{y}_{2}}{2}}\right)$.

The angle formed by non-isotropic lines ${l}_{1}$ and ${l}_{2}$ given by $y={m}_{1}x+{b}_{1}$ and $y={m}_{2}x+{b}_{2}$ is defined by $\phi =\angle ({l}_{1},{l}_{2}):={m}_{2}-{m}_{1}$, and it is directed. The bisector of the lines ${l}_{1}$ and ${l}_{2}$ is given by the equation $y={\textstyle \frac{{m}_{1}+{m}_{2}}{2}}x+{\textstyle \frac{{b}_{1}+{b}_{2}}{2}}$. A normal line to a line l at a point P is the isotropic line n passing through P.

All projective transformations that preserve the absolute figure are of the form
and form the 5-parametric group ${G}_{5}$ known as the group of similarities of the isotropic plane (see [1]).

$$\begin{array}{cc}\hfill \overline{x}& =a+px,\phantom{\rule{1.em}{0ex}}\phantom{\rule{2.em}{0ex}}a,b,c,p,q\in \mathbf{R},\hfill \\ \hfill \overline{y}& =b+cx+qy,\phantom{\rule{1.em}{0ex}}pq\ne 0,\hfill \end{array}$$

Distances, spans and angles are kept invariant under the subgroup ${G}_{3}$ of ${G}_{5}$ which consists of transformations of the form
${G}_{3}$ is called the motion group of the isotropic plane.

$$\begin{array}{cc}\hfill \overline{x}& =a+x\hfill \\ \hfill \overline{y}& =b+cx+y,\phantom{\rule{2.em}{0ex}}a,b,c\in \mathbf{R}.\hfill \end{array}$$

Metric quantities and all the facts related to the geometry of the isotropic plane can be found in [1,2].

A triangle is called allowable if none of its sides are isotropic [1]. As it is explained in [3], according to [1], to any allowable triangle in the isotropic plane there is exactly one circumscribed circle. The equation of this circle is of the form $y=u{x}^{2}+vx+w$, $u\ne 0$. Choosing a suitable coordinate system and applying the group of similarities, we may assume that the equation of this circle is $y={x}^{2}$, and that the vertices of the allowable triangle $ABC$ are $A=(a,{a}^{2})$, $B=(b,{b}^{2})$, $C=(c,{c}^{2})$, where a, b, and c are mutually different numbers. For convenience, we will frequently use abbreviations $abc=p$ and $ab+bc+ca=q$. Choosing, without loss of generality, that $a+b+c=0$, the diameter of the circle circumscribed to the triangle $ABC$, passing through its centroid $G=\left(\frac{a+b+c}{3},\frac{{a}^{2}+{b}^{2}+{c}^{2}}{3}\right)=\left(0,-\frac{2}{3}q\right)$, lies on the y-axis, while the x-axis is tangent to this circle at the endpoint of that diameter.

For each allowable triangle $ABC$, one can, in the described way, achieve that its circumscribed circle has the equation $y={x}^{2}$, and its vertices are of the form $A=(a,{a}^{2})$, $B=(b,{b}^{2})$, and $C=(c,{c}^{2})$, with $a+b+c=0$. We shall say that such a triangle is in the standard position, or shorter, that the triangle $ABC$ is the standard triangle. To prove geometric facts for allowable triangles, it is sufficient to give a proof for a standard triangle. Its sides $BC$, $CA$, and $AB$ have equations $y=-ax-bc$, $y=-bx-ca$, and $y=-cx-ab$. Using the mentioned notations it can be proved that $q=bc-{a}^{2}$ and $(c-a)(a-b)=2q-3bc$.

The tangential triangle of a given triangle $ABC$ is the triangle ${A}_{t}{B}_{t}{C}_{t}$ determined by the three tangents to the circumscribed circle of the triangle $ABC$ at its vertices. It can be proved that the lines $A{A}_{t}$, $B{B}_{t}$, and $C{C}_{t}$ are symmetric, with respect to bisectors of the angles A, B, and C, to the medians $AG$, $BG$, and $CG$ of the triangle $ABC$. The lines $A{A}_{t}$, $B{B}_{t}$, and $C{C}_{t}$ meet at the point K which is called the symmedian center of the triangle $ABC$.

Let $ABC$ be a standard triangle and let $\mathcal{A}$, $\mathcal{B}$, and $\mathcal{C}$, respectively ${\mathcal{A}}^{\prime}$, ${\mathcal{B}}^{\prime}$, and ${\mathcal{C}}^{\prime}$, be lines through the points A, B, and C such that $\angle (AB,\mathcal{A})=\angle (BC,\mathcal{B})=\angle (CA,\mathcal{C})=:\phi $, $\angle ({\mathcal{A}}^{\prime},AC)=\angle ({\mathcal{B}}^{\prime},BA)=\angle ({\mathcal{C}}^{\prime},CB)=:\psi $. In [4] it is proved that the lines $\mathcal{A}$, $\mathcal{B}$, and $\mathcal{C}$ pass through a common point, say ${\Omega}_{1}$, if and only if $\phi =\omega $, and the lines ${\mathcal{A}}^{\prime}$, ${\mathcal{B}}^{\prime}$, and ${\mathcal{C}}^{\prime}$ pass through a common point, say ${\Omega}_{2}$, if and only if $\psi =\omega $, where $\omega $ is given by $\omega =-{\textstyle \frac{1}{3q}}(b-c)(c-a)(a-b)$. The points ${\Omega}_{1}$ and ${\Omega}_{2}$ are called Crelle–Brocard points, and $\omega $ is called the Brocard angle.

The isotropic analogue of Brocard’s theorem was first obtained in [2].

The standard triangle $ABC$ has, by [4], the symmedian center K and Crelle–Brocard points ${\Omega}_{1}$ and ${\Omega}_{2}$ given by
where ${p}_{1}=\frac{1}{3}(b{c}^{2}+c{a}^{2}+a{b}^{2})$, ${p}_{2}=\frac{1}{3}({b}^{2}c+{c}^{2}a+{a}^{2}b)$. One can prove that ${p}_{1}+{p}_{2}+p=0$, ${p}_{1}^{2}+{p}_{1}{p}_{2}+{p}_{2}^{2}=-\frac{{q}^{3}}{9}$, ${p}^{2}+p{p}_{1}+{p}_{1}^{2}=-\frac{{q}^{3}}{9}$, and ${p}^{2}+p{p}_{2}+{p}_{2}^{2}=-\frac{{q}^{3}}{9}$.

$$K=\left(\frac{3p}{2q},-\frac{q}{3}\right),\phantom{\rule{4pt}{0ex}}{\Omega}_{1}=\left(\frac{p-{p}_{1}}{q},\frac{27{{p}_{1}}^{2}-2{q}^{3}}{9{q}^{2}}\right),\phantom{\rule{4pt}{0ex}}{\Omega}_{2}=\left(\frac{p-{p}_{2}}{q},\frac{27{{p}_{2}}^{2}-2{q}^{3}}{9{q}^{2}}\right)$$

These three points lie, according to [5], on the Brocard circle of the triangle $ABC$ (see Figure 1), given by

$$y=2{x}^{2}-{\textstyle \frac{3p}{q}}x-{\textstyle \frac{q}{3}}.$$

If ${A}_{m}$, ${B}_{m}$, and ${C}_{m}$ are midpoints of the sides $BC$, $CA$, and $AB$ of the allowable triangle $ABC$, and ${A}^{\prime}$, ${B}^{\prime}$ and ${C}^{\prime}$ are points on the perpendicular bisectors of these sides such that spans $s({A}_{m},{A}^{\prime})$, $s({B}_{m},{B}^{\prime})$, and $s({C}_{m},{C}^{\prime})$ are proportional to the lengths of sides $BC$, $CA$, and $AB$, then the points $BC\cap {B}^{\prime}{C}^{\prime}$, $CA\cap {C}^{\prime}{A}^{\prime}$, and $AB\cap {A}^{\prime}{B}^{\prime}$ lie on a line, call it $\mathcal{T}$. Triangles ${A}^{\prime}{B}^{\prime}{C}^{\prime}$ are the so-called Kiepert triangles of the triangle $ABC$, and the line $\mathcal{T}$ is the axis of homology of the triangle $ABC$ and the corresponding Kiepert triangle ${A}^{\prime}{B}^{\prime}{C}^{\prime}$. Axes of homology of an allowable triangle $ABC$ and its Kiepert triangles envelope a parabola which is called the Kiepert parabola [6].

The inscribed and the circumscribed Steiner’s ellipses of an allowable triangle have the same nonisotropic axis, which passes through the centroid G of that triangle and which in the case of a standard triangle has equation $y=-{\textstyle \frac{3p}{2q}}x-{\textstyle \frac{2}{3}}q$. This axis is called the Steiner’s axis of the considered triangle. In [7], the Steiner point of the allowable triangle $ABC$ is defined as the fourth (the first three being A, B, and C) common point S of the circumscribed circle and the circumscribed Steiner ellipse of that triangle. If $ABC$ is a standard triangle then $S=\left(-\frac{3p}{q},\frac{9{p}^{2}}{{q}^{2}}\right)$.

In this section we will define the first Brocard triangle of a triangle in the isotropic plane.

Given a standard triangle $ABC$, the lines through its symmedian center K and parallel to its sides $BC$, $CA$, and $AB$ meet the Brocard circle, besides the point K, at points
which lie on bisectors of the sides $BC$, $CA$, and $AB$, respectively (see Figure 1).

$$\begin{array}{cc}\hfill {A}_{1}& =\left(-\frac{a}{2},\phantom{\rule{4pt}{0ex}}\frac{1}{6q}(9ap+3{a}^{2}q-2{q}^{2})\right),\hfill \\ \hfill {B}_{1}& =\left(-\frac{b}{2},\phantom{\rule{4pt}{0ex}}\frac{1}{6q}(9bp+3{b}^{2}q-2{q}^{2})\right),\hfill \\ \hfill {C}_{1}& =\left(-\frac{c}{2},\phantom{\rule{4pt}{0ex}}\frac{1}{6q}(9cp+3{c}^{2}q-2{q}^{2})\right),\hfill \end{array}$$

The point ${A}_{1}$ obviously lies on the bisector of $BC$, and with $x=-\frac{a}{2}$, from (2) and
we get the ordinate of the point ${A}_{1}$

$$y=-ax+{\textstyle \frac{3ap}{2q}}-{\textstyle \frac{q}{3}},$$

$$y={\textstyle \frac{{a}^{2}}{2}}+{\textstyle \frac{3ap}{2q}}-{\textstyle \frac{q}{3}}={\textstyle \frac{1}{6q}}(9ap+3{a}^{2}q-2{q}^{2}).$$

The points ${A}_{1}$, ${B}_{1}$, and ${C}_{1}$ from Theorem 1 determine the first Brocard triangle of the triangle $ABC$ (see Figure 1).

The sides of the first Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$ of the standard triangle $ABC$ are given by

$$\begin{array}{ccc}\hfill {B}_{1}{C}_{1}& \dots & y=\left(a-\frac{3p}{q}\right)x-\frac{1}{6}(2q+3bc),\hfill \\ \hfill {C}_{1}{A}_{1}& \dots & y=\left(b-\frac{3p}{q}\right)x-\frac{1}{6}(2q+3ca),\hfill \\ \hfill {A}_{1}{B}_{1}& \dots & y=\left(c-\frac{3p}{q}\right)x-\frac{1}{6}(2q+3ab).\hfill \end{array}$$

The point ${B}_{1}$ satisfies the first equation in (5) because
and so does the point ${C}_{1}$. □

$$\left(a-\frac{3p}{q}\right)\left(-\frac{b}{2}\right)-\frac{1}{6}(2q+3bc)=\frac{1}{6q}\left(9bp+3{b}^{2}q-2{q}^{2}\right),$$

According to [3], the triangle $ABC$ has the centroid $G=\left(0,-\frac{2}{3}\phantom{\rule{0.166667em}{0ex}}q\right)$. The triangle ${A}_{1}{B}_{1}{C}_{1}$ with vertices (3), has the same centroid because $a+b+c=0$ and

$$\frac{1}{3}\xb7\frac{1}{6q}\left(9(a+b+c)p+3({a}^{2}+{b}^{2}+{c}^{2})q-6{q}^{2}\right)=\frac{1}{18q}\left(3q(-2q)-6{q}^{2}\right)=-\frac{2}{3}q.$$

□

In this section we consider the relationships between the first Brocard triangle and some other objects related to a triangle in the isotropic plane.

Let G be the centroid and ${A}_{1}{B}_{1}{C}_{1}$ the first Brocard triangle of an allowable triangle $ABC$. Then the pairs of lines $GA$, $G{A}_{1}$; $GB$, $G{B}_{1}$; and $GC$, $G{C}_{1}$ have the same bisector. This bisector is the Steiner axis of the triangle $ABC$ (Figure 1).

The lines $GA$ and $G{A}_{1}$ have slopes

$$\begin{array}{cc}\hfill \frac{{a}^{2}+\frac{2}{3}q}{a}& =a+\frac{2q}{3a},\hfill \\ \hfill \frac{\frac{1}{6q}(9ap+3{a}^{2}q-2{q}^{2})+\frac{2}{3}q}{-\frac{a}{2}}& =-\frac{1}{3aq}(9ap+3{a}^{2}q+2{q}^{2})=-\frac{3p}{q}-a-\frac{2q}{3a}.\hfill \end{array}$$

The sum of slopes is equal to $-\frac{3p}{q}$, therefore the bisector of these lines has the slope $-\frac{3p}{2q}$. The Steiner axis of the triangle $ABC$ is given by $y=-\frac{3p}{2q}x-\frac{2}{3}q$ [7], which passes through the centroid $G=\left(0,-\frac{2}{3}q\right)$, and coincides with this bisector. □

The first Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$ of an allowable triangle $ABC$ is homologous with this triangle, and the center of homology is ${K}^{\prime}$—the point reciprocal to the symmedian center of the triangle $ABC$ (see Figure 2).

For the Euclidean case see [9].

The line
passes through the point $A=(a,{a}^{2})$ and also through the point ${A}_{1}$, hence it is the line $A{A}_{1}$. In addition, this line passes through the point
which is, by [5], reciprocal to the symmedian center K and anticomplementary to the midpoint of Crelle–Brocard points ${\Omega}_{1}$ and ${\Omega}_{2}$. The same also holds for analogous lines $B{B}_{1}$ and $C{C}_{1}$. □

$$9aqy=(2{q}^{2}+3{a}^{2}q-9ap)x+9{a}^{2}p+6{a}^{3}q-2a{q}^{2}$$

$${K}^{\prime}=\left(-\frac{3p}{q},\phantom{\rule{0.166667em}{0ex}}\frac{27{p}^{2}-8{q}^{3}}{9{q}^{2}}\right),$$

In case of the standard triangle $ABC$, the axis of homology of triangles $ABC$ and ${A}_{1}{B}_{1}{C}_{1}$ from Theorem 5, has the equation

$$y=-{\textstyle \frac{6p}{q}}x-{\textstyle \frac{q}{6}}.$$

It is enough to prove e.g., that the point $\left(\frac{q}{6a},\phantom{\rule{0.166667em}{0ex}}-\frac{q}{6}-bc\right)$ lies on lines $BC$ and ${B}_{1}{C}_{1}$, and on the line defined by (7).

Indeed, we have
□

$$\begin{array}{cc}\hfill -a\xb7{\textstyle \frac{q}{6a}}-bc& =-{\textstyle \frac{q}{6}}-bc,\hfill \\ \hfill \left(a-{\textstyle \frac{3p}{q}}\right)\xb7{\textstyle \frac{q}{6a}}-{\textstyle \frac{1}{6}}(2q+3bc)& ={\textstyle \frac{q}{6}}-{\textstyle \frac{bc}{2}}-{\textstyle \frac{q}{3}}-{\textstyle \frac{bc}{2}}=-{\textstyle \frac{q}{6}}-bc,\hfill \\ \hfill -{\textstyle \frac{6p}{q}}\xb7{\textstyle \frac{q}{6a}}-{\textstyle \frac{q}{6}}& =-{\textstyle \frac{q}{6}}-bc.\hfill \end{array}$$

In the discussion following Theorem 2 in [6] it is shown that the Kiepert triangle ${A}^{\prime}{B}^{\prime}{C}^{\prime}$ of a triangle $ABC$, with $t=-\omega $, coincides with the first Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$ of the triangle $ABC$ and the axis of homology of triangles $ABC$ and ${A}_{1}{B}_{1}{C}_{1}$ touches the Kiepert parabola of the triangle $ABC$ (see Figure 2).

The triangle $ABC$ and its first Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$ are three-homologous, and the centers of homologies are the point ${K}^{\prime}$ and Crelle–Brocard points ${\Omega}_{1}$ and ${\Omega}_{2}$ of that triangle. Triangles $ABC$ and ${K}^{\prime}{\Omega}_{1}{\Omega}_{2}$ have the same centroid G [9] (see Figure 2).

According to [4], the lines $A{\Omega}_{1}$ and $A{\Omega}_{2}$ have equations

$$\begin{array}{ccc}\hfill A{\Omega}_{1}& \dots & y=(\omega -c)x-a\omega -ab,\hfill \\ \hfill A{\Omega}_{2}& \dots & y=-(\omega +b)x+a\omega -ca.\hfill \end{array}$$

The point ${C}_{1}$ lies on the first line, and the point ${B}_{1}$ lies on the second one because

$$\begin{array}{cc}\hfill (\omega -c)\xb7(-{\textstyle \frac{c}{2}})-a\omega -ab& ={\textstyle \frac{1}{2}}\left({c}^{2}-2ab-\omega (2a+c)\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{2}}\left({c}^{2}-2(q+{c}^{2})+{\textstyle \frac{1}{3q}}(b-c)(c-a)(a-b)\xb7(a-b)\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{6q}}\left(-3q(2q+{c}^{2})+(2q-3bc)(2q-3ca)\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{6q}}\left(-2{q}^{2}-3{c}^{2}q-6q(bc+ca)+9ab{c}^{2}\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{6q}}(9cp+3{c}^{2}q-2{q}^{2}),\hfill \\ \hfill -(\omega +b)\xb7(-{\textstyle \frac{b}{2}})+a\omega -ca& ={\textstyle \frac{1}{2}}\left({b}^{2}-2ca+\omega (2a+b)\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{2}}\left({b}^{2}-2(q+{b}^{2})+{\textstyle \frac{1}{3q}}(b-c)(c-a)(a-b)\xb7(c-a)\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{6q}}\left(-3q(2q+{b}^{2})+(2q-3ab)(2q-3bc)\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{6q}}(9bp+3{b}^{2}q-2{q}^{2}).\hfill \end{array}$$

Therefore, points ${\Omega}_{1}$ and ${\Omega}_{2}$ lie on lines $A{C}_{1}$ and $A{B}_{1}$, respectively, the point ${\Omega}_{1}$ lies on lines $B{A}_{1}$ and $C{B}_{1}$, and the point ${\Omega}_{2}$ lies on lines $B{C}_{1}$ and $C{A}_{1}$. Points ${\Omega}_{1}$, ${\Omega}_{2}$ and ${K}^{\prime}$ have the centroid $G=\left(0,-\frac{2}{3}q\right)$ because
and
□

$$\begin{array}{cc}\hfill {\textstyle \frac{1}{3}}\left({\textstyle \frac{p-{p}_{1}}{q}}+{\textstyle \frac{p-{p}_{2}}{q}}-{\textstyle \frac{3p}{q}}\right)\phantom{\rule{1.em}{0ex}}& =-{\textstyle \frac{p+{p}_{1}+{p}_{2}}{3q}}=0\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\textstyle \frac{1}{3}}\left({\textstyle \frac{27{p}_{1}^{2}-2{q}^{3}}{9{q}^{2}}}+{\textstyle \frac{27{p}_{2}^{2}-2{q}^{3}}{9{q}^{2}}}+{\textstyle \frac{27{p}^{2}-8{q}^{3}}{9{q}^{2}}}\right)\phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{9{q}^{2}}}\left(9{({p}_{1}+{p}_{2})}^{2}+9{p}_{1}^{2}+9{p}_{2}^{2}-4{q}^{3}\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{9{q}^{2}}}(-2{q}^{3}-4{q}^{3})=-{\textstyle \frac{2}{3}}q.\hfill \end{array}$$

The line $AS$ has the slope $a-\frac{3p}{q}$, where S is the Steiner point of the triangle $ABC$ [7]. $AS\Vert {B}_{1}{C}_{1}$ because the line ${B}_{1}{C}_{1}$ has the same slope as $AS$. Similarly, we get $BS\Vert {C}_{1}{A}_{1}$ and $CS\Vert {A}_{1}{B}_{1}$. Because of Theorem 1, we have ${A}_{1}K\Vert BC$, ${B}_{1}K\Vert CA$, and ${C}_{1}K\Vert AB$. Therefore, triangles $ABC$ and ${A}_{1}{B}_{1}{C}_{1}$ have the property that lines through the vertices of the first triangle parallel to the corresponding sides of the second triangle pass through a common point, and lines through the vertices of the second triangle parallel to the corresponding sides of the first triangle pass through another common point. These two triangles are called parallelogic, and the two mentioned points are the centers of parallelogy of these triangles. So we have the following theorem.

A triangle and its first Brocard triangle are parallelogic with the centers of parallelogy at the Steiner point and at the symmedian center of this triangle (see Figure 3).

Let ${A}_{1}{B}_{1}{C}_{1}$ be the first Brocard triangle of an allowable triangle $ABC$. Then the lines parallel to ${B}_{1}{C}_{1}$, ${C}_{1}{A}_{1}$, and ${A}_{1}{B}_{1}$ through C, A, and B, through B, C, and A, pass through a common point ${S}_{1}$, respectively ${S}_{2}$. In addition, the lines parallel to $BC$, $CA$, and $AB$ through ${C}_{1}$, ${A}_{1}$, and ${B}_{1}$, respectively ${B}_{1}$, ${C}_{1}$, and ${A}_{1}$, pass through a common point ${K}_{1}$, respectively ${K}_{2}$ (see Figure 3). In the case of the standard triangle $ABC$ these points are given by

$$\begin{array}{ccccccc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{1.em}{0ex}}\hfill & \hfill {S}_{1}& =\left(-\frac{3{p}_{1}}{q},\phantom{\rule{0.166667em}{0ex}}\frac{9p{p}_{1}}{{q}^{2}}-q\right),\hfill & \hfill {S}_{2}& =\left(-\frac{3{p}_{2}}{q},\phantom{\rule{0.166667em}{0ex}}\frac{9p{p}_{2}}{{q}^{2}}-q\right),\hfill & \end{array}$$

$$\begin{array}{cccccc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{1.em}{0ex}}\hfill & \hfill {K}_{1}& =\left(\frac{3{p}_{1}}{2q},\phantom{\rule{0.166667em}{0ex}}-\frac{5}{6}q\right),\hfill & \hfill {K}_{2}& =\left(\frac{3{p}_{2}}{2q},\phantom{\rule{0.166667em}{0ex}}-\frac{5}{6}q\right).\hfill \end{array}$$

According to (5), the slope of the line ${B}_{1}{C}_{1}$ is $a-\frac{3p}{q}$, and the line through C parallel to it is given by $y-{c}^{2}=\left(a-\frac{3p}{q}\right)(x-c),$ i.e., $qy=(aq-3p)x+({c}^{2}-ca)q+3cp.$ The point ${S}_{1}$ lies on this line because

$$\begin{array}{cc}\hfill qy-(aq& -3p)x-({c}^{2}-ca)q-3cp\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{9p{p}_{1}}{q}}-{q}^{2}+3a{p}_{1}-{\textstyle \frac{9p{p}_{1}}{q}}+(ca-{c}^{2})q-3cp\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =(ca-{c}^{2}-q)q+a(b{c}^{2}+c{a}^{2}+a{b}^{2})-3ab{c}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =(ca-ab)q-2ab{c}^{2}+c{a}^{3}+{a}^{2}{b}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =-a(a+2c)({a}^{2}+ac+{c}^{2})+2a{c}^{2}(a+c)+{a}^{3}c+{a}^{2}{(a+c)}^{2}=0.\hfill \end{array}$$

Substitutions $B\leftrightarrow C$ and $b\leftrightarrow c$ imply the substitution ${p}_{1}\to {p}_{2}$, and using this substitution, the previous proof shows that the line through B, parallel to ${B}_{1}{C}_{1}$, passes through ${S}_{2}$. Cyclic permutations $a\to b\to c\to a$ imply ${C}_{1}{A}_{1}\Vert A{S}_{1}\Vert C{S}_{2}$, and ${A}_{1}{B}_{1}\Vert B{S}_{1}\Vert A{S}_{2}$. The line
is parallel to $BC$, and it passes through ${C}_{1}$. Let us show that this line also passes through ${K}_{1}$, i.e., that
i.e.,
which, because $q+{c}^{2}=ab$ and $p=abc$, after dividing by a, becomes equivalent to

$$y=-ax+{\textstyle \frac{1}{6q}}(9cp+3{c}^{2}q-3caq-2{q}^{2})$$

$$-{\textstyle \frac{5}{6}}q=-a\xb7{\textstyle \frac{3{p}_{1}}{2q}}+{\textstyle \frac{1}{6q}}(9cp+3{c}^{2}q-3caq-2{q}^{2}),$$

$$3cp-3a{p}_{1}+{c}^{2}q-caq+{q}^{2}=0,$$

$$3b{c}^{2}-3{p}_{1}+(b-c)q=0.$$

However, we have

$$\begin{array}{cc}\hfill 3b{c}^{2}-3{p}_{1}+(b-c)q\phantom{\rule{1.em}{0ex}}& =3b{c}^{2}-b{c}^{2}-c{a}^{2}-a{b}^{2}+(b-c)(bc+ca+ab)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =b{c}^{2}+{b}^{2}c-{a}^{2}c-a{c}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =bc(b+c)-ac(a+c)=-bca+acb=0.\hfill \end{array}$$

Other statements of the theorem are proved in a similar way. □

Using the obvious term three-parallelogy, statements of Theorems 8 and 9 can be briefly summarized as the following corollary.

The allowable triangle $ABC$ and its first Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$ are three-parallelogic, and in the case of a standard triangle $ABC$, centers of parallelogy are the Steiner point S of the triangle $ABC$ and points ${S}_{1}$, ${S}_{2}$, and the symmedian center K of the triangle $ABC$ and points ${K}_{1},{K}_{2}$ (see Figure 3).

In the Euclidean case, the statement about three-parallelogy, without proof, can be found in [10].

Points S, ${S}_{1}$, and ${S}_{2}$ from Theorem 9 lie on the circumscribed Steiner ellipse of the triangle $ABC$ (see Figure 3).

The statement for Steiner point S is proved in [7]. For the point ${S}_{1}=(x,y)$ we have
and this point lies on the circumscribed Steiner ellipse of the triangle $ABC$, which, by [7], has the equation ${q}^{2}{x}^{2}-9pxy-3q{y}^{2}-6pqx-4{q}^{2}y+9{p}^{2}=0$. Analogous proof is for the point ${S}_{2}$. □

$$\begin{array}{cc}\hfill {q}^{2}{x}^{2}-& 9pxy-3q{y}^{2}-6pqx-4{q}^{2}y+9{p}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =9{p}_{1}^{2}+243{\textstyle \frac{{p}^{2}{p}_{1}^{2}}{{q}^{3}}}-27p{p}_{1}-3q{\left({\textstyle \frac{9p{p}_{1}}{{q}^{2}}}-q\right)}^{2}+18p{p}_{1}-36p{p}_{1}+4{q}^{3}+9{p}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =9{p}^{2}+9p{p}_{1}+9{p}_{1}^{2}+{q}^{3}=0,\hfill \end{array}$$

Points ${K}_{1}$ and ${K}_{2}$ from Theorems 9 are reciprocal to Crelle–Brocard points ${\Omega}_{1}$ and ${\Omega}_{2}$ of that triangle (see Figure 3).

In the Euclidean case this statement, without proof, can be found in [11].

For the point ${K}_{1}=(x,y)$ we get
and, its reciprocal point has coordinates
and
which is the point ${\Omega}_{1}$. The proof for ${K}_{2}$ is analogous. □

$$\begin{array}{cc}\hfill {q}^{2}{x}^{2}-9pxy& -3q{y}^{2}-6pqx-4{q}^{2}y+9{p}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{9}{4}}{p}_{1}^{2}+{\textstyle \frac{45}{4}}p{p}_{1}-{\textstyle \frac{25}{12}}{q}^{3}-9p{p}_{1}+{\textstyle \frac{10}{3}}{q}^{3}+9{p}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =9{p}^{2}+{\textstyle \frac{9}{4}}p{p}_{1}+{\textstyle \frac{9}{4}}{p}_{1}^{2}+{\textstyle \frac{15}{12}}{q}^{3}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{27}{4}}{p}^{2}-{\textstyle \frac{1}{4}}{q}^{3}+{\textstyle \frac{5}{4}}{q}^{3}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{4}}(27{p}^{2}+4{q}^{3}),\hfill \\ \hfill 3pq{x}^{2}+4{q}^{2}xy& -9p{y}^{2}+(9{p}^{2}+4{q}^{3})x-12pqy-4p{q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{27}{4}}\xb7{\textstyle \frac{p{p}_{1}^{2}}{q}}-5{p}_{1}{q}^{2}-{\textstyle \frac{25}{4}}p{q}^{2}+{\textstyle \frac{27}{2}}\xb7{\textstyle \frac{{p}^{2}{p}_{1}}{q}}+6{p}_{1}{q}^{2}+10p{q}^{2}-4p{q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{27}{2}}\xb7{\textstyle \frac{{p}^{2}{p}_{1}}{q}}+{\textstyle \frac{27}{4}}\xb7{\textstyle \frac{p{p}_{1}^{2}}{q}}-{\textstyle \frac{1}{4}}p{q}^{2}+{p}_{1}{q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{4q}}(54{p}^{2}{p}_{1}+27p{p}_{1}^{2}+3p{q}^{3})-(p-{p}_{1}){q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{3p}{4q}}(18p{p}_{1}+9{p}_{1}^{2}-9{p}^{2}-9p{p}_{1}-9{p}_{1}^{2})-(p-{p}_{1}){q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =-{\textstyle \frac{3p}{4q}}(9{p}^{2}-9p{p}_{1})-(p-{p}_{1}){q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =-{\textstyle \frac{1}{4q}}(p-{p}_{1})(27{p}^{2}+4{q}^{3}),\hfill \\ \hfill 9{p}^{2}{x}^{2}+12pqxy& +4{q}^{2}{y}^{2}+8p{q}^{2}x-(9{p}^{2}-4{q}^{3})y-12{p}^{2}q\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{81}{4}}\xb7{\textstyle \frac{{p}^{2}{p}_{1}^{2}}{{q}^{2}}}-15p{p}_{1}q+{\textstyle \frac{25}{9}}{q}^{4}+12p{p}_{1}q+{\textstyle \frac{15}{2}}{p}^{2}q-{\textstyle \frac{10}{3}}{q}^{4}-12{p}^{2}q\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{81}{4}}\xb7{\textstyle \frac{{p}^{2}{p}_{1}^{2}}{{q}^{2}}}-{\textstyle \frac{9}{2}}{p}^{2}q-3p{p}_{1}q-{\textstyle \frac{5}{9}}{q}^{4}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{36{q}^{2}}}(729{p}^{2}{p}_{1}^{2}-162{p}^{2}{q}^{3}-108p{p}_{1}{q}^{3}-20{q}^{6})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{36{q}^{2}}}\left(729{p}^{2}{p}_{1}^{2}-162{p}^{2}{q}^{3}-108p{p}_{1}{q}^{3}-8{q}^{6}+12{q}^{3}(9{p}^{2}+9p{p}_{1}+9{p}_{1}^{2})\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{36{q}^{2}}}(729{p}^{2}{p}_{1}^{2}-54{p}^{2}{q}^{3}+108{p}_{1}^{2}{q}^{3}-8{q}^{6})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{36{q}^{2}}}(27{p}^{2}+4{q}^{3})(27{p}_{1}^{2}-2{q}^{3}),\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{\frac{1}{4q}(p-{p}_{1})(27{p}^{2}+4{q}^{3})}{\frac{1}{4}(27{p}^{2}+4{q}^{3})}& =\frac{p-{p}_{1}}{q}\hfill \end{array}$$

$$\begin{array}{cc}\hfill \frac{\frac{1}{36{q}^{2}}(27{p}^{2}+4{q}^{3})(27{p}_{1}^{2}-2{q}^{3})}{\frac{1}{4}(27{p}^{2}+4{q}^{3})}& =\frac{1}{9{q}^{2}}(27{p}_{1}^{2}-2{q}^{3})\hfill \end{array}$$

Let us consider the indirect similarity given by
and vice versa

$$\begin{array}{cccccccc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{1.em}{0ex}}\hfill & \hfill {x}^{\prime}& =-\frac{1}{2}x,\hfill & \hfill {y}^{\prime}& =\frac{3p}{2q}x+\frac{1}{2}y-\frac{q}{3}\hfill & \hfill \phantom{\rule{1.em}{0ex}}& \end{array}$$

$$\begin{array}{ccccccc}\hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{1.em}{0ex}}\hfill & \hfill x& =-2{x}^{\prime},\hfill & \hfill y& =\frac{6p}{q}{x}^{\prime}+2{y}^{\prime}+\frac{2}{3}q.\hfill & \hfill \phantom{\rule{1.em}{0ex}}\end{array}$$

The similarity (10) obviously maps the point $A=(a,{a}^{2})$ to the point ${A}_{1}$, and points B and C to points ${B}_{1}$ and ${C}_{1}$. This similarity maps the Steiner point S, which is, according to [7], given by $S=(\phantom{\rule{-0.166667em}{0ex}}-\frac{3p}{q},\frac{9{p}^{2}}{{q}^{2}})$, to the point with abscissa $\frac{3p}{2q}$ and ordinate equal to $\frac{3p}{2q}\xb7(-\frac{3p}{q})+\frac{1}{2}\xb7\frac{9{p}^{2}}{{q}^{2}}-\frac{q}{3}=-\frac{q}{3}$, which is the point K. The point ${S}_{1}$ is mapped to the point with abscissa $\frac{3{p}_{1}}{2q}$ and ordinate $\frac{3p}{2q}(-\frac{3{p}_{1}}{q})+\frac{1}{2}(\frac{9p{p}_{1}}{{q}^{2}}-q)-\frac{q}{3}=-\frac{5}{6}q$, which is the point ${K}_{1}$. The centroid $G=(0,-\frac{2}{3}q)$ is under the similarity (10) mapped onto itself.

The circumscribed circle and the circumscribed Steiner ellipse of the triangle $ABC$ have, according to [3,7], equations
and
which, after substitutions (11), become
and

$$y={x}^{2}$$

$$\begin{array}{c}\hfill {q}^{2}{x}^{2}-9pxy-3q{y}^{2}-6pqx-4{q}^{2}y+9{p}^{2}=0,\end{array}$$

$$\begin{array}{cc}\hfill {\textstyle \frac{6p}{q}}{x}^{\prime}+2{y}^{\prime}+{\textstyle \frac{2}{3}}q& =4{{x}^{\prime}}^{2}\hfill \end{array}$$

$$\begin{array}{cc}\hfill {q}^{2}\xb74{{x}^{\prime}}^{2}+18p{x}^{\prime}\left({\textstyle \frac{6p}{q}}{x}^{\prime}+2{y}^{\prime}+{\textstyle \frac{2}{3}}q\right)-3q{\left({\textstyle \frac{6p}{q}}{x}^{\prime}+2{y}^{\prime}+{\textstyle \frac{2}{3}}q\right)}^{2}+\phantom{\rule{20.0pt}{0ex}}& \\ \hfill +12pq{x}^{\prime}-4{q}^{2}\left({\textstyle \frac{6p}{q}}{x}^{\prime}+2{y}^{\prime}+{\textstyle \frac{2}{3}}q\right)+9{p}^{2}& =0.\hfill \end{array}$$

After rearrangements and replacements ${x}^{\prime}\u21ddx$, ${y}^{\prime}\u21ddy$ this can be written as
and
which are, according to [5,7], equations of the Brocard circle and the inscribed Steiner ellipse of the triangle $ABC$.

$$y=2{x}^{2}-\frac{3p}{q}x-\frac{q}{3}$$

$$4{q}^{2}{x}^{2}-36pxy-12q{y}^{2}-24pqx-16qy+9{p}^{2}-4{q}^{3}=0,$$

Let us find the equation of the fixed line, i.e., of the axis of similarity (10). The transformation $x\to -2x$, $y\to \frac{6p}{q}x+2y+\frac{2}{3}q$ maps the line
to the line
i.e., to the line
which coincides with the line (12) if and only if

$$y=kx+l$$

$$\frac{6p}{q}x+2y+\frac{2}{3}q=-2kx+l,$$

$$y=-\left(k+\frac{3p}{q}\right)x+\frac{l}{2}-\frac{q}{3},$$

$$-\left(k+\frac{3p}{q}\right)=k,\phantom{\rule{1.em}{0ex}}\frac{l}{2}-\frac{q}{3}=l.$$

Therefore,
and the required axis is the line
which is, according to [7], the Steiner axis of the triangle $ABC$. The last result is in accordance with Theorem 4.

$$k=-\frac{3p}{2q},\phantom{\rule{1.em}{0ex}}l=-\frac{2}{3}q,$$

$$y=-\frac{3p}{2q}x-\frac{2}{3}q,$$

Thus, we have proved:

An allowable triangle $ABC$ and its first Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$ are indirectly similar. This similarity has the center at the common centroid of these two triangles, its coefficient equals $-\frac{1}{2}$, its axis is the Steiner axis of the triangle $ABC$, and it maps the points S, ${S}_{1}$, and ${S}_{2}$ from Theorem 9 to points K, ${K}_{1}$, and ${K}_{2}$ from the same theorem.

The symmedian center of the allowable triangle $ABC$ is the Steiner point of its Brocard triangle ${A}_{1}{B}_{1}{C}_{1}$.

For the Euclidean case see [9].

The circumscribed Steiner ellipse of the first Brocard triangle of a given allowable triangle is the inscribed Steiner ellipse of that triangle.

Segments $GS$ and $GK$, where G is the centroid of the allowable triangle $ABC$, S its Steiner point, and K its symmedian center, have the same perpendicular bisector as pairs of lines from Theorem 4.

For the Euclidean case see [12].

An allowable triangle is homologous with the complementary triangle of its first Brocard triangle.

Points ${B}_{1}$ and ${C}_{1}$ have the midpoint ${A}_{1m}=\left(\frac{a}{4},\phantom{\rule{0.166667em}{0ex}}-\frac{1}{12q}(9ap+3bcq+7{q}^{2})\right)$ because

$$9bp+3{b}^{2}q-2{q}^{2}+9cp+3{c}^{2}q-2{q}^{2}=-9ap+3(-q-bc)q-4{q}^{2}=-(9ap+3bcq+7{q}^{2}).$$

The line
passes through $A=(a,{a}^{2})$ and ${A}_{1}$ because
and
which is the line $A{A}_{1m}$. This line also passes through the point $\left(\frac{3p}{5q},\phantom{\rule{0.166667em}{0ex}}\frac{1}{45{q}^{2}}(27{p}^{2}-20{q}^{3})\right)$ because

$$9aqy=(9{b}^{2}{c}^{2}+6bcq-5{q}^{2})x+3pq-9bcp-4a{q}^{2}$$

$$\begin{array}{cc}\hfill (9{b}^{2}{c}^{2}+6bcq-5{q}^{2})a+3pq-9bcp-4a{q}^{2}& =9abcq-9a{q}^{2}=9{a}^{3}q\hfill \end{array}$$

$$\begin{array}{cc}\hfill (9{b}^{2}{c}^{2}+6bcq-5{q}^{2})\frac{a}{4}+3pq-9bcp-4a{q}^{2}& =-{\textstyle \frac{27}{4}}a{b}^{2}{c}^{2}+{\textstyle \frac{9}{2}}abcq-{\textstyle \frac{21}{4}}a{q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =-{\textstyle \frac{3a}{4}}(9bc(q+{a}^{2})-6bcq+7{q}^{2})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =-{\textstyle \frac{1}{12q}}(9ap+3bcq+7{q}^{2})\xb79aq,\hfill \end{array}$$

$$\begin{array}{cc}\hfill (9{b}^{2}{c}^{2}+6bcq-5{q}^{2})\xb7{\textstyle \frac{3p}{5q}}+3pq-9bcp-4a{q}^{2}\phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{27}{5}}\xb7{\textstyle \frac{{b}^{2}{c}^{2}p}{q}}+{\textstyle \frac{18}{5}}bcp-9bcp-4a{q}^{2}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{5q}}(27{b}^{2}{c}^{2}p-27bcpq-20a{q}^{3})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{5q}}(27{a}^{2}bcp-20a{q}^{3})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& ={\textstyle \frac{1}{45{q}^{2}}}(27{p}^{2}-20{q}^{3})\xb79aq.\hfill \end{array}$$

□

If ${A}_{1}{B}_{1}{C}_{1}$ is the first Brocard triangle of the allowable triangle $ABC$, then its Crelle–Brocard points ${\Omega}_{1}$ and ${\Omega}_{2}$ divide in equal proportions the pairs of segments $C{B}_{1}$, $B{C}_{1}$; $A{C}_{1}$, $C{A}_{1}$; $B{A}_{1}$, $A{B}_{1}$.

For the Euclidean case, without proof, see [10].

According to Theorem 7 and its proof, points ${\Omega}_{1}$ and ${\Omega}_{2}$ lie on lines $C{B}_{1}$, $A{C}_{1}$, $B{A}_{1}$, and $B{C}_{1}$, $C{A}_{1}$, $A{B}_{1}$. From (1) and (3) we get the ratios
so we have to prove the equality
which is, after dividing by q, equivalent to
and since $p+{p}_{1}+{p}_{2}=0$, equivalent to

$$\frac{d({B}_{1},{\Omega}_{1})}{d(C,{\Omega}_{1})}=\frac{\frac{p-{p}_{1}}{q}+\frac{b}{2}}{\frac{p-{p}_{1}}{q}-c}=\frac{2p-2{p}_{1}+bq}{2(p-{p}_{1}-cq)},\phantom{\rule{1.em}{0ex}}\frac{d({C}_{1},{\Omega}_{2})}{d(B,{\Omega}_{2})}=\frac{\frac{p-{p}_{2}}{q}+\frac{c}{2}}{\frac{p-{p}_{2}}{q}-b}=\frac{2p-2{p}_{2}+cq}{2(p-{p}_{2}-bq)},$$

$$\begin{array}{cc}\hfill \left(2(p-{p}_{1})+bq\right)(p-{p}_{2}-bq)& =\left(2(p-{p}_{2})+cq\right)(p-{p}_{1}-cq),\hfill \end{array}$$

$$\begin{array}{cc}\hfill b(p-{p}_{2}-2p+2{p}_{1}-bq)& =c(p-{p}_{1}-2p+2{p}_{2}-cq),\hfill \end{array}$$

$$3b{p}_{1}-{b}^{2}q=3c{p}_{2}-{c}^{2}q.$$

This last equality holds true because

$$\begin{array}{cc}\hfill 3b{p}_{1}-3c{p}_{2}-({b}^{2}-{c}^{2})q& =b(b{c}^{2}+c{a}^{2}+a{b}^{2})-c({b}^{2}c+{c}^{2}a+{a}^{2}b)-(b+c)(b-c)q\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =a({b}^{3}-{c}^{3})+a(b-c)q\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& =a(b-c)({b}^{2}+bc+{c}^{2}+q)=0.\hfill \end{array}$$

□

If ${A}_{1}{B}_{1}{C}_{1}$ is the first Brocard triangle of the allowable triangle $ABC$ with the Brocard angle ω, then $BC{A}_{1}$, $CA{B}_{1}$, and $AB{C}_{1}$ are isosceles triangles, which have angles at sides $BC$, $CA$, and $AB$ equal to ω.

For the Euclidean case see [9].

According to the proof of Theorem 7, lines $A{\Omega}_{1}$ and $A{\Omega}_{2}$, containing points ${C}_{1}$ and ${B}_{1}$, have slopes $\omega -c$ and $-(\omega +b)$. By cyclic permutations it follows that lines $B{\Omega}_{1}$ and $C{\Omega}_{2}$, containing the point ${A}_{1}$, have slopes $\omega -a$ and $-(\omega +a)$. So we get

$$\begin{array}{cc}\hfill \angle (BC,B{A}_{1})& =\omega -a-(-a)=\omega ,\hfill \\ \hfill \angle (C{A}_{1},BC)& =-a+\omega +a=\omega .\hfill \end{array}$$

□

If P is the center of homology of the triangle $ABC$ and its first Brocard triangle, and if D, E, and F are points symmetrical to P with respect to the midpoints of sides $BC$, $CA$, and $AB$, then the triangles $ABC$ and $DEF$ are symmetrical with respect to the midpoint S of the Crelle–Brocard points ${\Omega}_{1}$ and ${\Omega}_{2}$.

For the Euclidean case see [13].

$P+D=B+C$ implies $D=B+C-P$. By Theorem 7, $P+{\Omega}_{1}+{\Omega}_{2}=3G$, where G is the centroid of $ABC$. We get $P+2S=3G$, i.e., $P+2S=A+B+C$ or $2S=A+D$. □

In this paper we introduce the first Brocard triangle of a triangle in the isotropic plane, and study its connections with some other objects related to the given triangle. Some of the most important statements that we prove are the following: the allowable triangle ABC and its first Brocard triangle are homologous, where the centers of homologies are the point reciprocal to the symmedian center of the triangle and the Crelle–Brocard points of that triangle; the allowable triangle ABC and its first Brocard triangle are three-parallelogic and indirectly similar, and the allowable triangle is homologous with the complementary triangle of its first Brocard triangle. The analytical approach used in this paper was introduced and developed in [3]. The obtained results are compared with similar results in the Euclidean plane.

Conceptualization, V.V., Z.K.-B. and R.K.-Š.; validation; writing—original draft preparation, V.V., Z.K.-B. and R.K.-Š. All authors have read and agreed to the published version of the manuscript.

This research received no external funding.

Not applicable.

Not applicable.

Not applicable.

The authors would like to thank the referees for their valuable comments which helped to improve the manuscript.

The authors declare no conflict of interest.

- Sachs, H. Ebene Isotrope Geometrie; Vieweg-Verlag: Braunschweig, Germany; Wiesbaden, Germany, 1987. [Google Scholar]
- Strubecker, K. Geometrie in einer isotropen Ebene I–III. Math. Naturw. Unterr.
**1962**, 15, 297–306, 343–351, 385–394. [Google Scholar] - Kolar-Šuper, R.; Kolar-Begović, Z.; Volenec, V.; Beban-Brkić, J. Metrical relationships in a standard triangle in an isotropic plane. Math. Commun.
**2005**, 10, 149–157. [Google Scholar] - Volenec, V.; Kolar-Begović, Z.; Kolar-Šuper, R. Crelle-Brocard points of the triangle in an isotropic plane. Math. Pannon.
**2013**, 24, 167–181. [Google Scholar] - Kolar-Begović, Z.; Kolar-Šuper, R.; Volenec, V. Brocard circle of the triangle in an isotropic plane. Math. Pannon.
**2017/2018**, 26, 103–113. [Google Scholar] - Volenec, V.; Kolar-Begović, Z. On Some Properties of Kiepert Parabola in the Isotropic Plane. Rad Hrvat. Akad. Znan. Umjet. Mat. Znan. 2022; accepted for publication. [Google Scholar]
- Volenec, V.; Kolar-Begović, Z.; Kolar-Šuper, R. Steiner’s ellipses of the triangle in an isotropic plane. Math. Pannon.
**2010**, 21, 229–238. [Google Scholar] - Alasia, C. La Recente Geometria del Triangolo; Nabu Press: Città di Castello, Italy, 1900. [Google Scholar]
- Neuberg, J. Note III, Sur la Géométrie récente du triangle. In E. Rouché et Ch. de Comberousse, Traité de Géométrie, I; Gauthier-Villars: Paris, France, 1922. [Google Scholar]
- Casey, J. Géométrie élémentaire récente. Mathesis
**1889**, 9, 5–70. [Google Scholar] - Gabriel-Marie, F. Exercices de Géométrie, 5th ed.; Maison A. Mame et Fils: Tours, France, 1912. [Google Scholar]
- Cesáro, E. Remarques sur la géométrie du triangle. Nouv. Ann. Math.
**1887**, 6, 215–242. [Google Scholar] - Schwatt, J.F. Aufgabe 1405. Z. Math. Naturwiss. Unterr.
**1895**, 26, 279. [Google Scholar]

Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |

© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).