# Let ABCD be a convex quadrilateral, with A C &#x2229;<!-- ∩ --> B D = <mo fenc

Let ABCD be a convex quadrilateral, with $AC\cap BD=\left\{O\right\}$ , and $OB>OD$ , $OC>OA$
Let E and F be the midpoints of (AC) and (BD), $EF\cap AB=\left\{J\right\}$ , $EF\cap CD=\left\{K\right\}$ , $CJ\cap BK=\left\{L\right\}$ . If M is the midpoint of (KJ), show that O-M-L are collinear.
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

fugprurgeil
Step 1
I am going to prove it without vectors
Let the intersection of AB and CD be X. By Menelaus's theorem, we only need to prove that $\frac{BL}{LK}\frac{KM}{MF}\frac{FO}{OB}=1$
Notice that
$\frac{MF}{KM}=-1+\frac{FK}{KM}=-1+2\frac{FK}{JK}.$
By Menelaus's theorem, we have
$\frac{FK}{JK}\frac{JX}{XB}\frac{BD}{DF}=1.$
Since $BD/DF=2$ , we have $2\frac{FK}{JK}=\frac{BX}{JX}$ and thus $2\frac{FK}{JK}-1=\frac{BJ}{JX}$ . So we have $MF/KM=BJ/JX$
By Menelaus's theorem, we have
$\frac{XC}{CK}\frac{KL}{BL}\frac{BJ}{JX}=1.$
So we have
$\frac{BL}{LK}\frac{KM}{MF}=\frac{BL}{LK}\frac{JX}{BJ}=\frac{XC}{CK}.$
Therefore we only need to prove that
$BO/OF=XC/CK$
Let $DO/OB=x$ and $AO/OC=y$ . Therefore we have, by Menelaus's theorem,
$\frac{CX}{XD}=\frac{CA}{AO}\frac{OB}{BD}=\frac{1+y}{y}\frac{1}{1+x}=\frac{1+y}{y+xy}.$
So we have $\frac{CX}{CD}=\frac{1+y}{1-xy}$
Again, by Menelaus's theorem,
$\frac{CK}{KD}=\frac{CE}{EO}\frac{OF}{OD}=\frac{1+y}{1-y}\frac{1-x}{1+x}=\frac{1+y-x-xy}{1-y+x-xy}.$
So
$\frac{CK}{CD}=\frac{1+y-x-xy}{2\left(1-xy\right)}.$
Therefore, we have
$\frac{XC}{CK}=\frac{XC}{CD}\frac{CD}{CK}=\frac{1+y}{1-xy}\frac{2\left(1-xy\right)}{1+y-x-xy}=\frac{2\left(1+y\right)}{\left(1-x\right)\left(1+y\right)}=\frac{2}{1-x}=\frac{BO}{FO}.$
###### Did you like this example?
Raul Walker
Since you are going for a vector-based approach, I'd recommend to simplify that. Observe that all the concepts you are dealing with are invariant under affine transformations. I mean concepts such as “midpoint” and “collinear” as well as the ratio of distances along a line. So with that observation in mind, you are now free to apply an affine transformation to simplify coordinates without loss of generality.
I'd recommend you make three of your for corners as (0,0),(1,0),(0,1). Then the whole configuration is driven by only two real numbers, namely the two coordinates of the fourth corner. Say (t,u) for example. That makes it very easy to compute concrete coordinates for everything, and thus show the expected colinearity.
I doubt the distance inequalities actually play a role in that proof. I would expect that you get the conclusion without needing those inequalities at any point.
Personally I'd do this computation with machinery from projective geometry, where the operations of connecting points and of intersecting lines can both be expressed as simple cross products of homogeneous coordinates so you'd avoid divisions. But that's mostly due to my background, and a non-projective formulation shouldn't be much different.
$\begin{array}{rl}A& =\left[0:0:1\right]\\ B& =\left[1:0:1\right]\\ C& =\left[0:1:1\right]\\ D& =\left[t:u:1\right]\\ O& =\left[0:u:1-t\right]\\ E& =\left[0:1:2\right]\\ F& =\left[1+t:u:2\right]\\ J& =\left[1+t:0:2\left(1-u\right)\right]\\ K& =\left[t\left(1+t\right):\left(1-t\right)\left(1-u\right):2\left(1-u\right)\right]\\ L& =\left[\left(t+u-1\right)\left(1+t{\right)}^{2}:\left(1-t\right)\left(1-u\right)\left(t+2u-1\right):\left(1-u\right)\left({t}^{2}+2t+4u-3\right)\right]\\ M& =\left[\left(1+t{\right)}^{2}:\left(1-t\right)\left(1-u\right):4\left(1-u\right)\right]\\ det\left(O,M,L\right)& =|\begin{array}{ccc}0& \left(1+t{\right)}^{2}& \left(t+u-1\right)\left(1+t{\right)}^{2}\\ u& \left(1-t\right)\left(1-u\right)& \left(1-t\right)\left(1-u\right)\left(t+2u-1\right)\\ 1-t& 4\left(1-u\right)& \left(1-u\right)\left({t}^{2}+2t+4u-3\right)\end{array}|=0\end{array}$
If you are not familiar with homogeneous coordinates, just read $\left[x:y:z\right]$ as the Cartesian coordinate vector $\left(\frac{x}{z},\frac{y}{z}\right)$ . Since joining points and intersecting lines can both be computed using cross products, I got operations such as $O\sim \left(A×C\right)×\left(B×D\right)$ . I write $\sim$ not $=$ because for homogeneous coordinates, scalar multiples of the same vector represent the same point. So I've made it a habit to cancel common factors and to choose signs in such a way as to make the result aesthetically pleasing. The other relevant operation is midpoint, which in homogeneous coordinates I computed e.g. as
$E\sim {A}_{3}\cdot C+{C}_{3}\cdot A$
This corresponds to the
$E=\frac{1}{2}A+\frac{1}{2}C$ you might do in Cartesian coordinates. The final determinant being zero demonstrates the requested collinearity: there is a line incident with all three points. If I were to express that line for Cartesian coordinates, it would be
$\left(1-u\right)\left({t}^{2}-2t-4u+1\right)\phantom{\rule{thinmathspace}{0ex}}x+\left(t-1\right)\left(t+1{\right)}^{2}\phantom{\rule{thinmathspace}{0ex}}y+u\left(1+t{\right)}^{2}=0$