Question Number 16068 by Tinkutara last updated on 21/Jun/17

Answered by ajfour last updated on 30/Jun/17
![z_I =(z_1 /2) ; z_G =((mz_2 +z_1 +k(z_2 −z_1 ))/2) ; z_G −z_I =(−(k/2))z_1 +(((m+k)/2))z_2 z_D =z_1 +λ(z_1 −mz_2 ) also z_D =μ[z_1 +k(z_2 −z_1 )] z_D −z_D =0 ⇒ (1+λ−μ+μk)z_1 −(λm+μk)z_2 =0 ⇒ 1+λ−μ(1−k)=0 and μ=−((λm)/k) so 1+λ+((λm(1−k))/k)=0 k+λ(k+m−mk)=0 or λ=(k/(mk−(m+k))) z_D = z_1 +(k/([mk−(m+k)]))(z_1 −mz_2 ) =((mkz_1 −mz_1 −kz_1 +kz_1 −mkz_2 )/(mk−(m+k))) =((m(k−1)z_1 −mkz_2 )/(mk−(m+k))) z_H =((z_2 +z_D )/2) ⇒ z_H −z_I =((z_2 +z_D −z_1 )/2) z_H −z_I =((z_2 −z_1 )/2)−((m(k−1)z_1 −mkz_2 )/(2(mk−m−k))) =(((mk−m−k)(z_1 −z_2 )−mk(z_1 −z_2 )+mz_1 )/(2(mk−m−k))) =((−kz_1 +(m+k)z_2 )/(2c)) ∀ c=mk−m−k z_H −z_I =(1/c)[−(k/2)z_1 +(((m+k)/2))z_2 ] =((z_G −z_I )/c) ⇒ z_H ,z_G , and z_I are collinear.](https://www.tinkutara.com/question/Q17058.png)
Commented by ajfour last updated on 30/Jun/17

Commented by ajfour last updated on 30/Jun/17

Answered by Tinkutara last updated on 30/Jun/17
![Let P, Q, and R be the midpoints of AC, BD, and EF. (Figure). Denote by S the area of ABCD. As we have seen the locus of the points M in the interior of ABCD for which [MAB] + [MCD] = (1/2) S is a segment. We see that P and Q belong to this segment. Indeed, [PAB] + [PCD] = (1/2)[ABC] + (1/2)[ACD] = (1/2) S. and [QAD] + [QCD] = (1/2)[ABD] + (1/2)[BCD] = (1/2) S. Now we have [RAB] = (1/2)[FAB], since the distance from F to AB is twice the distance from R to AB. Similarly, [RCD] = (1/2)[FCD]. We obtain [RAB] − [RCD] = (1/2)[FAB] − [FCD] = (1/2) S. Taking into account the observation in the solution to Problem 16064, it follows that P, Q and R are collinear.](https://www.tinkutara.com/question/Q17063.png)
Commented by Tinkutara last updated on 30/Jun/17
