Maths Olympiad Prep

Library / /8 of 27

Geometry Difficulty 5.3 AIME, harder Prove it Brazil

Let nn be an integer, n3n \ge 3. Let f(n)f(n) be the largest number of isosceles triangles whose vertices belong to some set of nn points in the plane without three colinear points. Prove that there exists positive real constants aa and bb such that an2<f(n)<bn2an^2 < f(n) < bn^2 for every integer nn, n3n \ge 3.

Solution

First consider n1n-1 points in the circumference of a circle and its center. Since any two points in the circumference and the center determine an isosceles triangle, the total number of isosceles triangles in this set of points is at least (n1)(n2)/2>en2(n-1)(n-2)/2 > en^2 for some small ee.

In another hand, let's consider any set of nn points in the plane, no three collinear. There are n(n1)/2n(n-1)/2 choices for two distinct points among the nn. For each, say AA and BB, there are at most two points MM among the given ones such that AMBAMB is isosceles at MM, because such points MM belong to the perpendicular bisector of ABAB and no three of the points can belong to this line. Thus the total number of isosceles triangles is at most n(n1)<n2n(n-1) < n^2. Therefore f(n)<n2f(n) < n^2.

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.