Question Number 15927 by ajfour last updated on 15/Jun/17

Commented by ajfour last updated on 15/Jun/17

Commented by ajfour last updated on 15/Jun/17
![z_1 +z_2 =z_3 +z_4 .....(i) let B is the origin z_L =((z_1 +z_2 )/2) , z_K =z_1 +((z_3 −z_1 )/2) =((z_1 +z_3 )/2) z_H =(z_1 /2) , z_F =z_3 +(z_4 /2) A point of HF : z_(HF) = z_H +μ(z_F −z_H ) = (z_1 /2)+μ(z_3 +((z_4 −z_1 )/2)) = (z_1 /2)+μ(z_3 +((z_2 −z_3 )/2)) [see (i)] z_(HF) = (z_1 /2)+μ(((z_2 +z_3 )/2)) ...(ii) z_E = (z_3 /2) , z_G = z_1 +(z_2 /2) A point on EG obeys : z_(EG) = z_E +ε(z_G −z_E ) = (z_3 /2)+ε(z_1 +((z_2 −z_3 )/2)) ...(iii) point of intersection J of HF and EG shall obey both their eqns. (ii) and (iii) z_J =(z_1 /2)+μ(((z_2 +z_3 )/2))=(z_3 /2)+ε(z_1 +((z_2 −z_3 )/2)) ⇒ z_1 ((1/2)−ε)+z_2 ((μ/2)−(ε/2))+ z_3 ((μ/2)−(1/2)+(ε/2)) =0 as z_1 , z_2 , z_3 can be independently chosen to form a quadrilateral but above eqn. is always true, so for point J, ε=(1/2) , μ=ε=(1/2) this implies J is the midpoint of HF and EG , and that z_J =(z_1 /2)+((z_2 +z_3 )/4) (by substituting μ=(1/2) in (ii)) It now remains to prove that J is also the midpoint of LK. midpoint of LK is z=((z_L +z_K )/2) z= (1/2)(((z_1 +z_2 )/2)+((z_1 +z_3 )/2)) = (z_1 /2)+((z_2 +z_3 )/4) = z_(J ) so midpoints of EG, HF, and LK coincide in J .](https://www.tinkutara.com/question/Q15929.png)
Commented by mrW1 last updated on 15/Jun/17

Commented by b.e.h.i.8.3.4.1.7@gmail.com last updated on 19/Jun/17

Commented by ajfour last updated on 19/Jun/17
