Droz-Farny Theorem - an Analytic Solution

What Might This Be About?


Let two perpendicular lines pass through the orthocenter $H\;$ of $\Delta ABC.\;$ Assume they meet the sides $AB,$ $AC,$ and $BC$ in $C_1,\;$ $B_1,\;$ $A_1\;$ and $C_2,\;$ $B_2,\;$ $A_2,\;$ respectively. Let $t\in [0,1].\;$ Define $M_1= tA_1+(1-t)A_2,\;$ $M_2=tB_1+(1-t)B_2,\;$ and $M_3=tC_1+(1-t)C_2.$

Droz-Farny theorem

Prove that $M_{1},\;$ $M_{2}\;$ and $M_3\;$ are collinear.


As has already been done previously, we choose to place the origin of the coordinate system at the orthocenter and the axes along the two given lines. We thus may specify the coordinates of the points involved: $A_{1}(a,0),$ $A_{2}(0,b),\;$ $B_{1}(c,0),$ $B_{2}(0,d),\;$ $C_{1}(e,0),$ $C_{2}(0,f).\;$ From here, $M_{1}(ta,(1-t)b),\;$ $M_{2}(tb,(1-t)d),\;$ $M(te,(1-t)f).$

The three points are collinear iff

$\left|\begin{array}{ccc} ta & (1-t)b & 1 \\ tc & (1-t)d & 1 \\ te & (1-t)f & 1 \end{array}\right|= t(1-t)\left|\begin{array}{ccc} a & b & 1 \\ c & d & 1 \\ e & f & 1 \end{array}\right|=0, $

We may exclude cases where $t=0$ or $t=1$ as trivial because then the three midpoints all lie on one of the given lines and are, therefore, automatically collinear:

Droz-Farny theorem - an exceptional case

Thus the collinearity of the three points is equivalent to the determinant identity:


$\left|\begin{array}{ccc} a & b & 1 \\ c & d & 1 \\ e & f & 1 \end{array}\right|=0, $

Note that segment $A_1A_2$ lies on the side line $BC$ of $\Delta ABC,\;$ and, therefore, the latter has the slope $-b/a.$ Let $A=(x_{1},y_{1}).\;$ Then since $AH\perp BC,$



Similarly, with $B=(x_{2},y_{2})\;$ and $C=(x_{3},y_{3}),$


$cx_{2}-dy_{2}=0$ and



Now, again, since $A_1A_2$ and $BC$ define the same line, its equation is



In particular, $bx_{2}+ay_{2}=ab$ and $bx_{3}+ay_{3}=ab.\;$ Thus we can solve (2) and (4) for $x_2$ and $y_2,\;$ whereas from (3) and (4) we can obtain for $x_3\;$ and $y_3.\;$ Let's focus on $x_2\;$ and $y_2:$


$\displaystyle x_{2}=\frac{abd}{ac+bd}, \space y_{2}=\frac{abc}{ac+bd}.$

But we can also use the fact that $B\;$ lies on $AB,\;$ i.e., $C_1C_2.\;$ Since the equation of the latter is $fx+ey=ef,\;$ we have $fx_{2}+ey_{2}=dc.\;$ Solving this together with (2) gives,


$\displaystyle x_{2}=\frac{def}{ce+df}, \space y_{2}=\frac{cef}{ce+df}.$

Equating the two expressions for either $x_2\;$ or $y_2\;$ we obtain



The latter expression is equivalent to

(7' )


Proceeding similarly for $A\;$ and $C\;$ yields additional identities $ef(ac+bd)=cd(ae+bf)\;$ and $cd(ae+bf)=ab(ce+df).\;$ Between them, the three identities hold three equal quantities. We'll need just (7'). Let's return to the determinant in (0):


$\left|\begin{array}{ccc} a & b & 1 \\ c & d & 1 \\ e & f & 1 \end{array}\right|= \left|\begin{array}{ccc} a & b & 1 \\ c & d & 1 \\ e-a & f-b & 0 \end{array}\right|. $

We may assume that none of the six quantities $a,b,c,d,e,f\;$ is $0,\;$ for, otherwise, one of the vertices lies on one of the given lines, making it an altitude. For example, if $b=0\;$ the second line is the altitude through $A,\;$ whereas the first is parallel to $BC:$

Droz-Farny theorem - an exceptional case #2

In this case, $M_2M_3\parallel BC,\;$ $M_1\;$ is the point at infinity of the pencil of lines parallel to $BC,$ making the three points collinear. We thus assume that $abcdef\ne 0$ and proceed to modify the determinant in (8). With (7') in mind:

$ abcdef\left|\begin{array}{ccc} a & b & 1 \\ c & d & 1 \\ e-a & f-b & 0 \end{array}\right| = \left|\begin{array}{ccc} abdf & abce & 1 \\ bcdf & acded & 1 \\ bdf(e-a) & ace(f-b) & 0 \end{array}\right|$

We continue with the determinant on the right. Invoking (7') and (7):

$\begin{align} \left|\begin{array}{ccc} abdf & abce & 1 \\ bcdf & acded & 1 \\ bdf(e-a) & ace(f-b) & 0 \end{array}\right| &= \left|\begin{array}{ccc} abdf & abce+abdf & 1 \\ bcdf & acde+bcdf & 1 \\ bdf(e-a) & 0 & 0 \end{array}\right|\\ &=bdf(e-a)[abce+abdf-acde-bcdf]\\ &=bdf(e-a)[ab(ce+df)-cd(ae+bf)]\\ &=0. \end{align}$

Which shows the required collinearity.


The proof is a slight modification of the one supplied by Leonard Giugiuc (Romania). A synthetic proof for the case of $t=1/2$ could be found on a separate page.

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny
[an error occurred while processing this directive]
[an error occurred while processing this directive]