Question Number 15927 by ajfour last updated on 15/Jun/17
Commented by ajfour last updated on 15/Jun/17
$${Q}.\mathrm{15917}\:\left({sorry}\:{it}\:{got}\:{uploaded}\right. \\ $$$$\left.{as}\:{new}\:{question}\right) \\ $$$${mid}\:{points}\:{of}\:{the}\:{sides}\:{of}\: \\ $$$${quadrilateral}\:{ABCD}\:{are}\: \\ $$$${E},\:{F},\:{G},\:{and}\:{H}.\:{Midpoints}\:{of} \\ $$$${its}\:{digonals}\:{L}\:{and}\:{K}. \\ $$$$\:\:{To}\:{prove}\::\:{intersection}\:{point}\:{J} \\ $$$${of}\:{EG}\:{and}\:{HF}\:\:\:{lies}\:{on}\:{LK}\:{and} \\ $$$${is}\:{their}\:\left({EG},\:{HF},\:{LK}\right)\:{midpoint}. \\ $$
Commented by ajfour last updated on 15/Jun/17
$$\:{z}_{\mathrm{1}} +{z}_{\mathrm{2}} ={z}_{\mathrm{3}} +{z}_{\mathrm{4}} \:\:\:…..\left({i}\right) \\ $$$${let}\:{B}\:{is}\:{the}\:{origin}\: \\ $$$$\:{z}_{{L}} =\frac{{z}_{\mathrm{1}} +{z}_{\mathrm{2}} }{\mathrm{2}}\:\:, \\ $$$$\:{z}_{{K}} ={z}_{\mathrm{1}} +\frac{{z}_{\mathrm{3}} −{z}_{\mathrm{1}} }{\mathrm{2}}\:=\frac{{z}_{\mathrm{1}} +{z}_{\mathrm{3}} }{\mathrm{2}} \\ $$$$\:{z}_{{H}} =\frac{{z}_{\mathrm{1}} }{\mathrm{2}}\:\:,\:\:{z}_{{F}} ={z}_{\mathrm{3}} +\frac{{z}_{\mathrm{4}} }{\mathrm{2}}\: \\ $$$$\:{A}\:{point}\:{of}\:{HF}\:: \\ $$$$\:\:{z}_{{HF}} \:=\:{z}_{{H}} +\mu\left({z}_{{F}} −{z}_{{H}} \right) \\ $$$$\:\:\:\:\:\:\:\:=\:\frac{{z}_{\mathrm{1}} }{\mathrm{2}}+\mu\left({z}_{\mathrm{3}} +\frac{{z}_{\mathrm{4}} −{z}_{\mathrm{1}} }{\mathrm{2}}\right) \\ $$$$\:\:\:\:\:\:\:\:=\:\frac{{z}_{\mathrm{1}} }{\mathrm{2}}+\mu\left({z}_{\mathrm{3}} +\frac{{z}_{\mathrm{2}} −{z}_{\mathrm{3}} }{\mathrm{2}}\right)\:\:\:\:\left[{see}\:\left({i}\right)\right] \\ $$$$\:\:\:\:\:{z}_{{HF}} \:=\:\frac{{z}_{\mathrm{1}} }{\mathrm{2}}+\mu\left(\frac{{z}_{\mathrm{2}} +{z}_{\mathrm{3}} }{\mathrm{2}}\right)\:\:\:\:…\left({ii}\right) \\ $$$$\:\:{z}_{{E}} =\:\frac{{z}_{\mathrm{3}} }{\mathrm{2}}\:\:,\:\:{z}_{{G}} \:=\:{z}_{\mathrm{1}} +\frac{{z}_{\mathrm{2}} }{\mathrm{2}} \\ $$$$\:{A}\:{point}\:{on}\:{EG}\:{obeys}\:: \\ $$$$\:{z}_{{EG}} =\:{z}_{{E}} +\epsilon\left({z}_{{G}} −{z}_{{E}} \right) \\ $$$$\:\:\:\:\:\:\:\:=\:\frac{{z}_{\mathrm{3}} }{\mathrm{2}}+\epsilon\left({z}_{\mathrm{1}} +\frac{{z}_{\mathrm{2}} −{z}_{\mathrm{3}} }{\mathrm{2}}\right)\:\:\:\:…\left({iii}\right) \\ $$$${point}\:{of}\:{intersection}\:{J}\:{of}\:{HF}\:{and} \\ $$$${EG}\:{shall}\:{obey}\:{both}\:{their}\:{eqns}. \\ $$$$\:\:\left({ii}\right)\:{and}\:\left({iii}\right) \\ $$$${z}_{{J}} =\frac{{z}_{\mathrm{1}} }{\mathrm{2}}+\mu\left(\frac{{z}_{\mathrm{2}} +{z}_{\mathrm{3}} }{\mathrm{2}}\right)=\frac{{z}_{\mathrm{3}} }{\mathrm{2}}+\epsilon\left({z}_{\mathrm{1}} +\frac{{z}_{\mathrm{2}} −{z}_{\mathrm{3}} }{\mathrm{2}}\right) \\ $$$$\Rightarrow\:\:{z}_{\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{2}}−\epsilon\right)+{z}_{\mathrm{2}} \left(\frac{\mu}{\mathrm{2}}−\frac{\epsilon}{\mathrm{2}}\right)+ \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:{z}_{\mathrm{3}} \left(\frac{\mu}{\mathrm{2}}−\frac{\mathrm{1}}{\mathrm{2}}+\frac{\epsilon}{\mathrm{2}}\right)\:=\mathrm{0} \\ $$$$\:\:{as}\:{z}_{\mathrm{1}} ,\:{z}_{\mathrm{2}} ,\:{z}_{\mathrm{3}} \:{can}\:{be}\:{independently} \\ $$$$\:{chosen}\:{to}\:{form}\:{a}\:{quadrilateral} \\ $$$$\:{but}\:{above}\:{eqn}.\:{is}\:{always}\:{true},\:{so} \\ $$$${for}\:{point}\:{J}, \\ $$$$\:\:\:\epsilon=\frac{\mathrm{1}}{\mathrm{2}}\:,\:\mu=\epsilon=\frac{\mathrm{1}}{\mathrm{2}} \\ $$$${this}\:{implies}\:{J}\:{is}\:{the}\:{midpoint} \\ $$$${of}\:{HF}\:{and}\:{EG}\:,\:{and}\:{that} \\ $$$$\:{z}_{{J}} =\frac{{z}_{\mathrm{1}} }{\mathrm{2}}+\frac{{z}_{\mathrm{2}} +{z}_{\mathrm{3}} }{\mathrm{4}}\:\:\: \\ $$$$\:\:\left({by}\:{substituting}\:\mu=\frac{\mathrm{1}}{\mathrm{2}}\:{in}\:\left({ii}\right)\right) \\ $$$${It}\:{now}\:{remains}\:{to}\:{prove}\:{that} \\ $$$${J}\:{is}\:{also}\:{the}\:{midpoint}\:{of}\:{LK}. \\ $$$$\:{midpoint}\:{of}\:{LK}\:{is} \\ $$$$\:\:\:\:\:{z}=\frac{{z}_{{L}} +{z}_{{K}} }{\mathrm{2}} \\ $$$$\:\:\:\:{z}=\:\frac{\mathrm{1}}{\mathrm{2}}\left(\frac{{z}_{\mathrm{1}} +{z}_{\mathrm{2}} }{\mathrm{2}}+\frac{{z}_{\mathrm{1}} +{z}_{\mathrm{3}} }{\mathrm{2}}\right) \\ $$$$\:\:\:\:\:\:=\:\frac{{z}_{\mathrm{1}} }{\mathrm{2}}+\frac{{z}_{\mathrm{2}} +{z}_{\mathrm{3}} }{\mathrm{4}}\:\:\:=\:{z}_{{J}\:} \\ $$$${so}\:{midpoints}\:{of}\:{EG},\:{HF},\:{and} \\ $$$$\:{LK}\:{coincide}\:{in}\:{J}\:. \\ $$
Commented by mrW1 last updated on 15/Jun/17
$$\mathrm{excellent}\:\mathrm{sir}!\:\mathrm{you}\:\mathrm{master}\:\mathrm{the}\:\mathrm{vector} \\ $$$$\mathrm{technique}\:\mathrm{outstandingly}. \\ $$
Commented by b.e.h.i.8.3.4.1.7@gmail.com last updated on 19/Jun/17
$${let}:{A}\left({a}\right),{B}\left({b}\right),{C}\left({c}\right),{D}\left({d}\right),{L}\left({l}\right),{K}\left({k}\right) \\ $$$${H}\left({h}\right)=\frac{{b}+{c}}{\mathrm{2}},{F}\left({f}\right)=\frac{{a}+{d}}{\mathrm{2}},{E}\left({e}\right)=\frac{{a}+{b}}{\mathrm{2}}, \\ $$$${G}\left({g}\right)=\frac{{d}+{c}}{\mathrm{2}} \\ $$$$\Rightarrow{L}\left({l}\right)=\frac{{b}+{d}}{\mathrm{2}},{K}\left({k}\right)=\frac{{a}+{c}}{\mathrm{2}} \\ $$$${J}=\frac{\frac{{b}+{d}}{\mathrm{2}}+\frac{{a}+{c}}{\mathrm{2}}}{\mathrm{2}}=\frac{{a}+{b}+{c}+{d}}{\mathrm{4}}\:\:\left({i}\right) \\ $$$${midpoint}\:{of}\:{FH}=\frac{\frac{{a}+{d}}{\mathrm{2}}+\frac{{b}+{c}}{\mathrm{2}}}{\mathrm{2}}=\frac{{a}+{d}+{b}+{c}}{\mathrm{4}}\:\left({ii}\right) \\ $$$$ \\ $$$${midpoint}\:{of}\:{EG}=\frac{\frac{{a}+{b}}{\mathrm{2}}+\frac{{d}+{c}}{\mathrm{2}}}{\mathrm{2}}=\frac{{a}+{b}+{d}+{c}}{\mathrm{4}}\:\left({iii}\right) \\ $$$${a},{b},{c},{d},{e},{f},{g},,{k},{l},{are}\:{complex}\:{numbers}. \\ $$$${from}\:{equations}\:{i},{ii},{iii},{we}\:{see}\:{that}: \\ $$$${midpoint}\:{of}:{EG},{FH},{LK},{have}\:{the}\:{same} \\ $$$${cordinates}.{so}\:{they}\:{should}\:{be}\:{the}\:{same} \\ $$$${point}.\:\blacksquare \\ $$
Commented by ajfour last updated on 19/Jun/17
$${thank}\:{you},\:{sir}.\:{you}\:{cut}\:{my}\:{long} \\ $$$${story}\:{short}. \\ $$