Let ABCD be a convex quadrilateral, with A C ∩ B D = { O } , and O B &gt; O D , O C &gt; O ALet E and F be the midpoints of (AC) and (BD), E F ∩ A B = { J } , E F ∩ C D = { K } , C J ∩ B K = { L } . If M is the midpoint of (KJ), show that O-M-L are collinear.

Question

Let ABCD be a convex quadrilateral, with   A  C  ∩  B  D  =  {  O  } , and   O  B  &amp;gt;  O  D ,   O  C  &amp;gt;  O  ALet E and F be the midpoints of (AC) and (BD),   E  F  ∩  A  B  =  {  J  } ,   E  F  ∩  C  D  =  {  K  } ,   C  J  ∩  B  K  =  {  L  } .  If M is the midpoint of (KJ), show that O-M-L are collinear.

fugprurgeil · Accepted Answer

Step 1I am going to prove it without vectorsLet the intersection of AB and CD be X. By Menelaus&#039;s theorem, we only need to prove that             B      L              L      K                  K      M              M      F                  F      O              O      B        =  1Notice that            M      F              K      M        =  −  1  +            F      K              K      M        =  −  1  +  2            F      K              J      K        .By Menelaus&#039;s theorem, we have            F      K              J      K                  J      X              X      B                  B      D              D      F        =  1.Since   B  D      /    D  F  =  2 , we have   2            F      K              J      K        =            B      X              J      X       and thus   2            F      K              J      K        −  1  =            B      J              J      X       . So we have   M  F      /    K  M  =  B  J      /    J  XBy Menelaus&#039;s theorem, we have            X      C              C      K                  K      L              B      L                  B      J              J      X        =  1.So we have            B      L              L      K                  K      M              M      F        =            B      L              L      K                  J      X              B      J        =            X      C              C      K        .Therefore we only need to prove that  B  O      /    O  F  =  X  C      /    C  KLet   D  O      /    O  B  =  x and   A  O      /    O  C  =  y . Therefore we have, by Menelaus&#039;s theorem,            C      X              X      D        =            C      A              A      O                  O      B              B      D        =            1      +      y        y        1          1      +      x        =            1      +      y              y      +      x      y        .So we have             C      X              C      D        =            1      +      y              1      −      x      y      Again, by Menelaus&#039;s theorem,            C      K              K      D        =            C      E              E      O                  O      F              O      D        =            1      +      y              1      −      y                  1      −      x              1      +      x        =            1      +      y      −      x      −      x      y              1      −      y      +      x      −      x      y        .So            C      K              C      D        =            1      +      y      −      x      −      x      y              2      (      1      −      x      y      )        .Therefore, we have            X      C              C      K        =            X      C              C      D                  C      D              C      K        =            1      +      y              1      −      x      y                  2      (      1      −      x      y      )              1      +      y      −      x      −      x      y        =            2      (      1      +      y      )              (      1      −      x      )      (      1      +      y      )        =      2          1      −      x        =            B      O              F      O        .

Raul Walker · Accepted Answer

Since you are going for a vector-based approach, I&#039;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&#039;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&#039;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&#039;d avoid divisions. But that&#039;s mostly due to my background, and a non-projective formulation shouldn&#039;t be much different.                    A                            =        [        0        :        0        :        1        ]                            B                            =        [        1        :        0        :        1        ]                            C                            =        [        0        :        1        :        1        ]                            D                            =        [        t        :        u        :        1        ]                            O                            =        [        0        :        u        :        1        −        t        ]                            E                            =        [        0        :        1        :        2        ]                            F                            =        [        1        +        t        :        u        :        2        ]                            J                            =        [        1        +        t        :        0        :        2        (        1        −        u        )        ]                            K                            =        [        t        (        1        +        t        )        :        (        1        −        t        )        (        1        −        u        )        :        2        (        1        −        u        )        ]                            L                            =        [        (        t        +        u        −        1        )        (        1        +        t                  )          2                :        (        1        −        t        )        (        1        −        u        )        (        t        +        2        u        −        1        )        :        (        1        −        u        )        (                  t          2                +        2        t        +        4        u        −        3        )        ]                            M                            =        [        (        1        +        t                  )          2                :        (        1        −        t        )        (        1        −        u        )        :        4        (        1        −        u        )        ]                            det        (        O        ,        M        ,        L        )                            =                  |                                                    0                                            (                1                +                t                                  )                  2                                                            (                t                +                u                −                1                )                (                1                +                t                                  )                  2                                                                                    u                                            (                1                −                t                )                (                1                −                u                )                                            (                1                −                t                )                (                1                −                u                )                (                t                +                2                u                −                1                )                                                                    1                −                t                                            4                (                1                −                u                )                                            (                1                −                u                )                (                                  t                  2                                +                2                t                +                4                u                −                3                )                                              |                =        0            If you are not familiar with homogeneous coordinates, just read   [  x  :  y  :  z  ] as the Cartesian coordinate vector       (                  x        z              ,                  y        z              )   . Since joining points and intersecting lines can both be computed using cross products, I got operations such as   O  ∼  (  A  ×  C  )  ×  (  B  ×  D  ) . I write   ∼ not   = because for homogeneous coordinates, scalar multiples of the same vector represent the same point. So I&#039;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  ∼      A    3    ⋅  C  +      C    3    ⋅  AThis corresponds to the  E  =            1      2        A  +            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  (  1  −  u  )  (      t    2    −  2  t  −  4  u  +  1  )    x  +  (  t  −  1  )  (  t  +  1      )    2      y  +  u  (  1  +  t      )    2    =  0

Let ABCD be a convex quadrilateral, with A C ∩ B D = <mo fenc

Answered question

Answer & Explanation

New Questions in High school geometry