We call a point inside a triangle marvelous if exactly rays can be drawn from it, intersecting the sides of such that the triangle is divided into smaller triangles of equal areas. Determine the total number of marvelous points inside a given triangle .
(Naboj)
Solution
Let be a marvelous point of and let (without loss of generality) the area of be . We first note that among the rays, there must always be , and ; otherwise not all the shapes determined by the rays will be triangles.
Each of the smaller triangles is contained within (or is equal to) one of the triangles , , . Let contain , and contain smaller triangles. Numbers and are elements of and they satisfy .
We now consider the function which assigns the pair to each marvelous point of . We claim that it is a bijection from the set of marvelous points to the set of pairs of positive integers which satisfy .
We first show that for each pair we have at most one marvelous point. Let be a marvelous point assigned to . This means that is divided into triangles, while is divided into triangles, each of whose areas equal . The triangles contained within have a common altitude whose length equals , so we know that point lies on the line which is parallel to , and whose distance to equals . Analogously, we infer that point lies on the line which is parallel to , and whose distance to equals . Since and are uniquely determined by and , the fact that their intersection contains at most one point shows that there is at most one point to which the pair is assigned.

We now show that each pair is indeed assigned to a marvelous point. Given and , consider the point defined as the intersection of lines and , as in the previous paragraph. Drawing rays from point , we can divide triangles and into and smaller triangles (of area equal to ), respectively. Finally, triangle has area , so we can divide it into triangles of area by drawing rays originating in . Thus, we can divide the triangle into smaller triangles of equal areas by drawing rays originating in . By definition, this means that is a marvelous point to which the pair is assigned.
We have yet to determine the number of ways in which the pair can be chosen. For each , we can choose in exactly ways. Therefore, the solution is