Maths Olympiad Prep

Library / /20 of 121

Geometry Difficulty 5.4 AIME, harder Prove it India

Problem:
Suppose five of the nine vertices of a regular nine-sided polygon are arbitrarily chosen. Show that one can select four among these five such that they are the vertices of a trapezium.

Solutions — 2

Solution 1

Solution:
Suppose four distinct points P,Q,R,SP, Q, R, S (in that order on the circle) among these five are such that PQ^=RS^\widehat{P Q}=\widehat{R S}. Then PQRSP Q R S is an isosceles trapezium, with PSQRP S \parallel Q R. We use this in our argument.

- If four of the five points chosen are adjacent, then we are through as observed earlier. (In this case four points A,B,C,DA, B, C, D are such that AB^=BC^=CD^\widehat{A B}=\widehat{B C}=\widehat{C D}.) See Fig 1.

Figure 1
Fig 1.
Figure 2
Fig 2.
Figure 3
Fig 3.

- Suppose only three of the vertices are adjacent, say A,B,CA, B, C (see Fig 2.) Then the remaining two must be among E,F,G,HE, F, G, H. If these two are adjacent vertices, we can pair them with A,BA, B or B,CB, C to get equal arcs. If they are not adjacent, then they must be either E,GE, G or F,HF, H or E,HE, H. In the first two cases, we can pair them with A,CA, C to get equal arcs. In the last case, we observe that HA^=CE^\widehat{H A}=\widehat{C E} and AHECA H E C is an isosceles trapezium.

- Suppose only two among the five are adjacent, say A,BA, B. Then the remaining three are among D,E,F,G,HD, E, F, G, H. (See Fig 3.) If any two of these are adjacent, we can combine them with A,BA, B to get equal arcs. If no two among these three vertices are adjacent, then they must be D,F,HD, F, H. In this case HA^=BD^\widehat{H A}=\widehat{B D} and AHDBA H D B is an isosceles trapezium.

Finally, if we choose 5 among the 9 vertices of a regular nine-sided polygon, then some two must be adjacent. Thus any choice of 5 among 9 must fall into one of the above three possibilities.

Solution 2

Solution:
Here is another solution used by many students. Suppose you join the vertices of the nine-sided regular polygon. You get (92)=36\binom{9}{2}=36 line segments. All these fall into 9 sets of parallel lines. Now using any 5 points, you get (52)=10\binom{5}{2}=10 line segments. By pigeon-hole principle, two of these must be parallel. But, these parallel lines determine a trapezium.

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

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