Maths Olympiad Prep

Library / /21 of 28

Geometry Difficulty 8.5 Shortlist Prove it China

There are 63 points on a circle CC with radius 10. Let SS be the number of triangles whose sides are longer than 9 and whose vertices are chosen from the 63 points. Find the maximum value of SS.

Solution

Let OO be the center of circle CC, ana_n is the length of a regular nn-gon A1A2AnA_1A_2\cdots A_n inscribed in O\odot O. Then a6=10>9a_6 = 10 > 9, a7<10×2π7<10×2×3.157<9a_7 < 10 \times \frac{2\pi}{7} < 10 \times \frac{2 \times 3.15}{7} < 9.

(1) Let A1A2A6A_1A_2\cdots A_6 be a regular 6-gon inscribed in O\odot O, then AiAi+1=a6>9A_iA_{i+1} = a_6 > 9. So we can choose a point BiB_i in AiAi+1^\widehat{A_iA_{i+1}} such that BiAi+1>9B_iA_{i+1} > 9. Then BiOAi+1>2π7\angle B_iOA_{i+1} > \frac{2\pi}{7} (A7=A1A_7 = A_1), and
AiOBi=AiOAi+1BiOAi+1<2π62π7<2π7. \angle A_iOB_i = \angle A_iOA_{i+1} - \angle B_iOA_{i+1} < \frac{2\pi}{6} - \frac{2\pi}{7} < \frac{2\pi}{7}.
It follows that AiBi<9A_iB_i < 9 (i=1,2,,6i = 1, 2, \dots, 6).

In each of A1B1^,A2B2^,A3B3^\widehat{A_1B_1}, \widehat{A_2B_2}, \widehat{A_3B_3}, choose 11 points, and in each of A4B4^,A5B5^,A6B6^\widehat{A_4B_4}, \widehat{A_5B_5}, \widehat{A_6B_6}, choose 10 points. We obtain a set MM which has 63 points on the circle CC. It is easy to see for MM the value of SS is S0S_0, where
S0=(33)×113+(32)(31)×112×10+(31)(32)×11×102+(33)×103=23121. \begin{aligned} S_0 &= \binom{3}{3} \times 11^3 + \binom{3}{2} \cdot \binom{3}{1} \times 11^2 \times 10 \\ &\quad + \binom{3}{1} \cdot \binom{3}{2} \times 11 \times 10^2 + \binom{3}{3} \times 10^3 \\ &= 23\,121. \end{aligned}
So the maximum value of SS is not less than S0S_0.

(2) We prove that the maximum is S0S_0. We need three lemmas.

Lemma 1 For PP on circle CC, we call the arc APB^\widehat{APB} “an arc of PP”, if PP is the midpoint of arc APB^\widehat{APB}, and AOB=4π7\angle AOB = \frac{4\pi}{7}. Now for every given nn points on circle CC, there is a point PP, such that there are n+56\lfloor \frac{n+5}{6} \rfloor points of the given nn points on the “arc of PP”.

Proof: Let AA be one of the given nn points, and an “arc of AA” be A1AA6^\widehat{A_1AA_6}. Now suppose A2,A3,,A5A_2, A_3, \dots, A_5 are on the arc A1A6^\widehat{A_1A_6} (not including AA), and A1A2=A2A3==A5A6A_1A_2 = A_2A_3 = \dots = A_5A_6 (see the figure). So AiOAi+1=2π7,i=1,2,,5\angle A_iOA_{i+1} = \frac{2\pi}{7}, i = 1, 2, \dots, 5.

Figure 1

If there is a point PiP_i (of the given nn points) on AiAi+1^\widehat{A_iA_{i+1}}, then all the points (of the given nn points) on AiAi+1^\widehat{A_iA_{i+1}} are on “an arc of PiP_i”. So the given nn points are on 66 “arcs of PiP_i” (including “arc of AA”). This shows that there are n16+1=n+56\lfloor \frac{n-1}{6} \rfloor + 1 = \lfloor \frac{n+5}{6} \rfloor points of the given points on an “arc of PiP_i”, where PiP_i is one of the given nn points.

Lemma 2 Take the arc A1BA6^\widehat{A_1BA_6} arbitrary on the circle CC with radius 10, where A1BA6^\widehat{A_1BA_6} is 57\frac{5}{7} of the perimeter. Then take any 5m+r5m+r points on the arc A1BA6^\widehat{A_1BA_6} (m,rm, r are non-negative integers and 0r<50 \le r < 5). Prove that number of lines from the given points whose lengths are more than 9 is at most
10m2+4rm+12r(r1). 10m^2 + 4rm + \frac{1}{2}r(r-1).

Proof: Divide A1BA6\overrightarrow{A_1BA_6} in five equal parts, where the corresponding points are A2,A3,A4,A5A_2, A_3, A_4, A_5 (see the figure), then the length of AiAi+1\overrightarrow{A_iA_{i+1}} is exactly 17\frac{1}{7} of the perimeter (i=1,2,3,4,5i = 1, 2, 3, 4, 5), and the distance of any two points is not more than a7<9a_7 < 9. Suppose there are mim_i given points on the arc AiAi+1\overrightarrow{A_iA_{i+1}}, then the number of lines from the given points whose lengths are more than 9 is at most
l=1i<j5mimj,1 l = \sum_{1 \le i < j \le 5} m_i m_j, \qquad \textcircled{1}
where
m1+m2++m5=5m+r.2 m_1 + m_2 + \cdots + m_5 = 5m + r. \qquad \textcircled{2}
Since there are finitely many non-negative integer groups (m1,m2,m3,m4,m5m_1, m_2, m_3, m_4, m_5), the maximum value of ll exists. Now we prove that when the maximum is attained the inequality
mimj1,(1i<j5), |m_i - m_j| \le 1, (1 \le i < j \le 5),
must hold.

In fact, if there exist i,ji, j (1i<j51 \le i < j \le 5) such that mimj2|m_i - m_j| \ge 2 when the maximum is attained, we can suppose m1m22m_1 - m_2 \ge 2. Then let
m1=m11,m2=m2+1,m=m, m_1' = m_1 - 1,\quad m_2' = m_2 + 1,\quad m' = m,
and the corresponding integer is ll', we will have
m1+m2=m1+m2,m1+m2+m3+m4+m5=m1+m2+m3+m4+m5,ll=(m1m2m1m2)+[(m1+m2)(m1+m2)](m3+m4+m5)=m1m211. \begin{align*} m_1' + m_2' &= m_1 + m_2, \\ m_1' + m_2' + m_3' + m_4' + m_5' &= m_1 + m_2 + m_3 + m_4 + m_5, \\ l' - l &= (m_1'm_2' - m_1m_2) + [(m_1' + m_2') \\ &\quad -(m_1 + m_2)](m_3 + m_4 + m_5) \\ &= m_1 - m_2 - 1 \ge 1. \end{align*}
Contradiction!

Therefore, when ll reaches the maximum value, the number of m+1m+1 is rr and the number of mm is 5r5-r. Thus, the number of lines from the given points whose lengths are more than 9 are at most
(r2)(m+1)2+(r1)(5r)(m+1)m+(5r2)m2=10m2+4rm+12r(r1). \begin{aligned} & \binom{r}{2}(m+1)^2 + \binom{r}{1}(5-r)(m+1)m + \binom{5-r}{2}m^2 \\ &= 10m^2 + 4rm + \frac{1}{2}r(r-1). \end{aligned}

Lemma 3 Take arbitrary nn points on the circle CC with radius 10 to form set MM, where n=6m+rn = 6m + r (m,rm, r are non-negative integers, 0r<60 \le r < 6). Assume that there are SnS_n triangles whose vertices are from MM and each side is longer than 9. Prove
Sn20m3+10rm2+2r(r1)m+16r(r1)(r2). S_n \le 20m^3 + 10rm^2 + 2r(r-1)m + \frac{1}{6}r(r-1)(r-2).

Proof: We shall prove by mathematical induction.

When n=1,2n = 1, 2, Sn=0S_n = 0. It is true.

Suppose when n=kn = k, it is true and set k=6m+rk = 6m + r (m,rm, r are non-negative integers, 0r<60 \le r < 6). Then
Sk20m3+10rm2+2r(r1)m+16r(r1)(r2). S_k \le 20m^3 + 10rm^2 + 2r(r-1)m + \frac{1}{6}r(r-1)(r-2).
From Lemma 1, when n=k+1n = k + 1, the k+1k + 1 given points must include the point PP, where at least k+1+56=m+1\lfloor \frac{k+1+5}{6} \rfloor = m + 1 given points are in the 27arc A1PA6\frac{2}{7}\text{arc } A_1PA_6. And the distances of such points to PP are PA1=PA6=a7<9\le PA_1 = PA_6 = a_7 < 9. Hence, there are at most (k+1)(m+1)=5m+r(k+1)-(m+1) = 5m+r given points whose distances to PP are more than 9, and such points are all in the other 57arccosA1PA6\frac{5}{7}\arccos \overline{A_1PA_6} without PP. From Lemma 2, the lines from such points whose lengths are more than 9 are at most
10m2+4rm+12r(r1). 10m^2 + 4rm + \frac{1}{2}r(r-1).
(From Lemma 2, when r=5r=5, it is 10(m+1)210(m+1)^2, which is also true.) Thus, the number of triangles whose vertex is PP and each side is larger than 9 is not more than
Sp=10m2+4rm+12r(r1). S_p = 10m^2 + 4rm + \frac{1}{2}r(r-1).
Without PP, there are k=6m+rk = 6m + r given points. Let there be SkS_k triangles whose vertices are from the kk points and each side is larger than 9, then using mathematical induction, we get
Sk20m3+10rm2+2r(r1)m+16r(r1)(r2). S_k \le 20m^3 + 10rm^2 + 2r(r-1)m + \frac{1}{6}r(r-1)(r-2).
Furthermore
Sk+1=Sk+Sp20m3+10rm2+2r(r1)m+16r(r1)(r2)+10m2+4rm+12r(r1)=20m3+10(r+1)m2+2r(r+1)m+16r(r1)(r+1), \begin{align*} S_{k+1} &= S_k + S_p \\ &\le 20m^3 + 10rm^2 + 2r(r-1)m + \frac{1}{6}r(r-1)(r-2) \\ &\quad + 10m^2 + 4rm + \frac{1}{2}r(r-1) \\ &= 20m^3 + 10(r+1)m^2 + 2r(r+1)m \\ &\quad + \frac{1}{6}r(r-1)(r+1), \end{align*}
which means the case n=k+1=6m+(r+1)n = k + 1 = 6m + (r + 1) is also true.

On the other hand, when r=5r=5, then m=k+1=6(m+1)m = k + 1 = 6(m+1) and Sk+1S_{k+1} can be simplified to Sk+1=20(m+1)3S_{k+1} = 20(m+1)^3, which is also true.

Therefore, we have proved Lemma 3.

Now considering the original problem, we have
n=63=6×10+3. n = 63 = 6 \times 10 + 3.
It follows from Lemma 3,
S20×103+10×102+2×3×2×10+16×3×2×1=23121. \begin{aligned} S &\le 20 \times 10^3 + 10 \times 10^2 + 2 \times 3 \times 2 \times 10 + \frac{1}{6} \times 3 \times 2 \times 1 \\ &= 23\,121. \end{aligned}
Thus, Smax=23121S_{\max} = 23\,121.

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 and solution reproduced as published; topic and difficulty added by this site.