Maths Olympiad Prep

Library / Singapore Mathematical Olympiad (SMO) /13 of 52

Singapore Mathematical Olympiad (SMO)

Combinatorics Difficulty 5.3 AIME, harder Prove it Singapore

Seven triangles of area 77 lie inside a square of area 2727. Prove that among the 77 triangles there are 22 that intersect in a region of area not less than 11.

Solution

Let the triangular regions be PiP_i, i=1,…,7i = 1, \dots, 7, with A(Pi)=7A(P_i) = 7 and suppose that A(Pi∩Pj)<1A(P_i \cap P_j) < 1 if i≠ji \neq j. Then
A(P1∪P2)=A(P1)+A(P2)−A(P1∩P2)>14−1=13A(P1∪P2∪P3)=A(P1∪P2)+A(P3)−A((P1∪P2)∩P3)>13+7−A((P1∩P3)∪(P2∩P3))≥13+7−A(P1∩P3)−A(P2∩P3)≥18A(P1∪P2∪P3∪P4)=A(P1∪P2∪P3)+A(P4)−A((P1∪P2∪P3)∩P4)>18+7−3>22…A(P1∪P2∪⋯∪P7)>27+7−6>28 \begin{align*} A(P_1 \cup P_2) &= A(P_1) + A(P_2) - A(P_1 \cap P_2) > 14 - 1 = 13 \\ A(P_1 \cup P_2 \cup P_3) &= A(P_1 \cup P_2) + A(P_3) - A((P_1 \cup P_2) \cap P_3) \\ &> 13 + 7 - A((P_1 \cap P_3) \cup (P_2 \cap P_3)) \\ &\geq 13 + 7 - A(P_1 \cap P_3) - A(P_2 \cap P_3) \geq 18 \\ A(P_1 \cup P_2 \cup P_3 \cup P_4) &= A(P_1 \cup P_2 \cup P_3) + A(P_4) - A((P_1 \cup P_2 \cup P_3) \cap P_4) \\ &> 18 + 7 - 3 > 22 \\ \dots \\ A(P_1 \cup P_2 \cup \dots \cup P_7) > 27 + 7 - 6 > 28 \end{align*}

But the union of all 77 triangles must be contained in the square, whose area is 2727. This contradiction shows that our assumption is false, so there must exist i≠ji \neq j such that A(Pi∩Pj)≥1A(P_i \cap P_j) \geq 1.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.