As AM=AP, we have
∠MBA=21arcAM=21arcAP=∠ABP
and likewise
∠QBA=21arcAQ=21arccAN=∠ABN
Summing these equalities yields ∠MBQ=∠NBP as needed.
Q2. Let E and F be two distinct points inside of a parallelogram ABCD. Find the maximum number of triangles with the same area and having the vertices in three of the following five points: A,B,C,D,E,F.
Solution. We shall use the following two well known results:
Lemma 1. Let A,B,C,D be four points lying in the same plane such that the line AB do not intersect the segment CD (in particular △BCD is a convex quadrilateral). If [ABC]=[ABD], then AB∥CD.
Lemma 2. Let X be a point inside of a parallelogram ABCD. Then [ACX]<[ABC] and [BDX]<[4BD]. (Here and below the notation [S] stands for the area of the surface of S.
With the points A,B,C,D,E,F we can form 20 triangles. We will show that at most ten of them can have the same area. In that sense three cases may occur.
Case 1. EF is parallel with one side of the parallelogram △BCD.
We can assume that EF∥AD,E lies inside of the triangle ABF and F lies inside of the triangle CDE. With the points A,B,C,D,E we can form ten pairs of triangles as follows:
(△ADE,△AEF);(△ADF,△DEF);(△BCE,△BEF);(△BCF,△CEF);(△CDE,△CDF):
(△ABE,△ABF);(△ADC,△ACE);(△ABC,△ACF);(△ABD,△BDE);(△CBD,△BDF).
Using Lemmas 1−2 one can easily prove that any two triangles that belong to the same pair have distinct area, so there exists at most ten triangles having the same area.
Case 2. EF is parallel with a diagonal of the parallelogram △BCD.
Let us assume EF∥AC and that E,F lie inside of the triangle ABC. We consider the following pairs of triangles:
(△ABD,△BDE);(△ABC,△BCF);(△ACD,△BCE);(△ABF,△ABE);(△BEF,△DEF);
(△AEF,△ACE);(△CEF,△ACF);(△ADE,△ADF);(△DCE,△DCF);(△CBD,△BDF).
With the same idea as above we deduce that any two triangles that belong to the same pair have distinct area and the conclusion follows.
We also note that if E and F lie on AC then only 16 of 20 triangles are nondegenerate. In this case we consider the following pairs:
(△ABE,△ABF);(△ABC,△BCF);(△BCE,△BEF);(△ADE,△ADF)(△ACD,△DCF);(△CDE,△EDF);(△BDE,△ABD);(△BDF,△BDC)
Case 3. EF is not parallel with any side or diagonal of △BCD.
We claim that at most two of the triangles AEF,BEF,CEF,DEF can have the same area. Indeed, supposing the contrary, we may have [AEF]=[BEF]=[CEF]. We remark first that A,B,C do not belong to EF (elsewhere, exactly one of the above triangles is degenerate, contradiction!). Hence at least two of the points A,B,C belong to the same side of the line EF. Using now Lemma 1 we get that EF is parallel with AB or BC or AC. This is clearly a contradiction and our claim follows. With the remaining 16 triangles we form 8 pairs as follows:
(△ABD,△BDE);(△CDB,△BDF);(△ADC,△ACE);(△ABC,△ACF);
(△ABE,△ABF);(△BCE,△BCF);(△ADE,△ADF);(△DCE,△DCF).
With the same arguments as above, we get at most ten triangles with the same area.
To conclude the proof, it remains only to give an example of points E,F inside of the parallelogram ABCD such that exactly ten of the triangles that can be formed with the vertices A,B,C,D,E,F have the same area.
Denote AC∩BD={O} and let M,N be the midpoints of AB and CD respectively. Consider E and F the midpoints of MO and NO. Then O,M,N,E,F are collinear and ME=EO=FO=NF. Since E and F are the centroids of the triangles ABF and CDE we get [ABE]=[AEF]=[BEF] and [CEF]=[DEF]=[CDF]. On the other hand, taking into account that AECF and BEDF are parallelograms we deduce [AEF]=[CEF]=[ACE]=[ACF] and [BEF]=[DEF]=[BDE]=[BDF]. From the above equalities we conclude that the triangles
## △ABE,△CDF,△ACE,△ACF,△BDE,△BDF,△AEF,△BEF,△CEF,△DEF
have the same area. This finishes our proof.