Maths Olympiad Prep

Library / /92 of 133

Combinatorics Difficulty 6.0 National olympiad Prove it Saudi Arabia

Let A1A2A2010A_{1} A_{2} \ldots A_{2010} be a regular 20102010-gon. Find the number of obtuse triangles whose vertices are among A1,A2,,A2010A_{1}, A_{2}, \ldots, A_{2010}.

Solution

We will solve the problem for a regular nn-gon A1A2AnA_{1} A_{2} \ldots A_{n}, n3n \geq 3.

Solution 1.
Let P(n)P(n) be the desired number of obtuse triangles and let P1(n)P_{1}(n) be the number of obtuse angles A1AiAjA_{1} A_{i} A_{j}, where 1<i<jn1 < i < j \leq n. Clearly P(n)=nP1(n)P(n) = n \cdot P_{1}(n). Any of the considered angles A1AiAjA_{1} A_{i} A_{j} is obtuse if and only if jn+12j \leq \frac{n+1}{2}, hence P1(n)P_{1}(n) equals the number of all two-elements of {2,3,,[n+12]}\{2,3, \ldots, \left[\frac{n+1}{2}\right]\}. Thus

P(n)=nP1(n)=n([n+12]1)([n+12]2)=n2[n12][n32]. \begin{gathered} P(n) = n \cdot P_{1}(n) = n\left(\left[\frac{n+1}{2}\right] - 1\right)\left(\left[\frac{n+1}{2}\right] - 2\right) \\ = \frac{n}{2} \cdot \left[\frac{n-1}{2}\right] \cdot \left[\frac{n-3}{2}\right] . \end{gathered}

Solution 2.
Let α=AiAj^\alpha = \widehat{A_{i} A_{j}} be the largest arc of the circumcircle that contains the vertices of an obtuse triangle, say AiAkAj\triangle A_{i} A_{k} A_{j}. The size of α\alpha is less than 180180^{\circ} and the number of all obtuse triangles AiAkAjA_{i} A_{k} A_{j} with the common longest side AiAjA_{i} A_{j} is identical with the numbers v(α)v(\alpha) of those vertices AkA_{k} of the nn-gon that are inner points of the arc α\alpha. Clearly, v(α){1,2,,[n32]}v(\alpha) \in \{1,2, \ldots, \left[\frac{n-3}{2}\right]\}. Since there are exactly nn arcs α\alpha with the same value v(α)v(\alpha), the desired number is

n(1+2++[n32])=n2[n32][n12]. n\left(1+2+\ldots+\left[\frac{n-3}{2}\right]\right) = \frac{n}{2} \cdot \left[\frac{n-3}{2}\right] \cdot \left[\frac{n-1}{2}\right] .

In our problem n=2010n = 2010, hence the desired result is

20102[20072][20092]=100310041005 \frac{2010}{2} \cdot \left[\frac{2007}{2}\right] \cdot \left[\frac{2009}{2}\right] = 1003 \cdot 1004 \cdot 1005

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.