4th Asian Pacific Mathematics Olympiad 1992 Problems

4th Asian Pacific Mathematics Olympiad 1992 Problems

A1.  A triangle has sides a, b, c. Construct another triangle sides (-a + b + c)/2, (a - b + c)/2, (a + b - c)/2. For which triangles can this process be repeated arbitrarily many times?

A2.  Given a circle C centre O. A circle C' has centre X inside C and touches C at A. Another circle has centre Y inside C and touches C at B and touches C' at Z. Prove that the lines XB, YA and OZ are concurrent.

A3.  Given three positive integers a, b, c, we can derive 8 numbers using one addition and one multiplication and using each number just once: a+b+c, a+bc, b+ac, c+ab, (a+b)c, (b+c)a, (c+a)b, abc. Show that if a, b, c are distinct positive integers such that n/2 < a, b, c, ≤ n, then the 8 derived numbers are all different. Show that if p is prime and n ≥ p², then there are just d(p-1) ways of choosing two distinct numbers b, c from {p+1, p+2, ... , n} so that the 8 numbers derived from p, b, c are not all distinct, where d(p-1) is the number of positive divisors of p-1.

A4.  Find all possible pairs of positive integers (m, n) so that if you draw n lines which intersect in n(n-1)/2 distinct points and m parallel lines which meet the n lines in a further mn points (distinct from each other and from the first n(n-1)/2) points, then you form exactly 1992 regions.

A5.  a₁, a₂, a₃, ... a_n is a sequence of non-zero integers such that the sum of any 7 consecutive terms is positive and the sum of any 11 consecutive terms is negative. What is the largest possible value for n?

Solutions

A triangle has sides a, b, c. Construct another triangle sides (-a + b + c)/2, (a - b + c)/2, (a + b - c)/2. For which triangles can this process be repeated arbitrarily many times?

Solution

Answer: equilateral.

We may ignore the factor 1/2, since clearly a triangle with sides x, y, z can be constructed iff a triangle with sides 2x, 2y, 2z can be constructed.

The advantage of considering the process as generating (-a + b + c), (a - b + c), (a + b - c) from a, b, c is that the sum of the sides remains unchanged at a + b + c, so we can focus on just one of the three sides. Thus we are looking at the sequence a, (a + b + c) - 2a, a + b + c - 2(-a + b + c), ... . Let d = 2a - b - c. We show that the process generates the sequence a, a - d, a + d, a - 3d, a + 5d, a - 11d, a + 21d, ... . Let the nth term be a + (-1)ⁿa_nd. We claim that a_n+1 = 2a_n + (-1)_n. This is an easy induction, for we have a + (-1)ⁿ⁺¹a_n+1d = a + b + c - 2(a + (-1)ⁿa_nd) and hence (-1)ⁿ⁺¹a_n+1d = -d - 2(-1)ⁿa_nd, and hence a_n+1 = 2a_n + (-1)ⁿ. But this shows that a_n is unbounded. Hence if d is non-zero then the process ultimately generates a negative number. Thus a necessary condition for the process to generate triangles indefinitely is that 2a = b + c. Similarly, 2b = c + a is a necessary condition. But these two equations imply (subtracting) a = b and hence a = c. So a necessary condition is that the triangle is equilateral. But this is obviously also sufficient. 

Given a circle C centre O. A circle C' has centre X inside C and touches C at A. Another circle has centre Y inside C and touches C at B and touches C' at Z. Prove that the lines XB, YA and OZ are concurrent.

Solution

We need Ceva's theorem, which states that given points D, E, F on the lines BC, CA, AB, the lines AD, BE, CF are concurrent iff (BD/DC) (CE/EA) (AF/FB) = 1 (where we pay attention to the signs of BD etc, so that BD is negative if D lies on the opposite side of B to C). Here we look at the triangle OXY, and the points A on OX, B on OY and Z on XY (it is obvious that Z does lie on XY). We need to consider (OA/AX) (XZ/ZY) (YB/BO). AX and BY are negative and the other distances positive, so the sign is plus. Also OA = OB, AX = XZ, and ZY = YB (ignoring signs), so the expression is 1. Hence AY, XB and OZ are concurrent as required. 

Given three positive integers a, b, c, we can derive 8 numbers using one addition and one multiplication and using each number just once: a+b+c, a+bc, b+ac, c+ab, (a+b)c, (b+c)a, (c+a)b, abc. Show that if a, b, c are distinct positive integers such that n/2 < a, b, c, <= n, then the 8 derived numbers are all different. Show that if p is prime and n ≥ p², then there are just d(p-1) ways of choosing two distinct numbers b, c from {p+1, p+2, ... , n} so that the 8 numbers derived from p, b, c are not all distinct, where d(p-1) is the number of positive divisors of p-1.

Solution

If 1 < a < b < c, we have a + b + c < ab + c < b + ac < a + bc and (b+c)a < (a+c)b < (a+b)c < abc. We also have b + ac < (a+c)b. So we just have to consider whether a + bc = (b+c)a. But if a > c/2, which is certainly the case if n/2 < a, b, c ≤ n, then a(b + c - 1) > c/2 (b + b) = bc, so a + bc < a(b + c) and all 8 numbers are different.

The numbers are not all distinct iff p + bc = (b + c)p. Put b = p + d. Then c = p(p-1)/d + p. Now we are assuming that b < c, so p + d < p(p-1)/d + p, hence d² < p(p-1), so d < p. But p is prime so d cannot divide p, so it must divide p-1. So we get exactly d(p-1) solutions provided that all the c ≤ n. The largest c is that corresponding to d = 1 and is p(p-1) + p = p² ≤ n.

Find all possible pairs of positive integers (m, n) so that if you draw n lines which intersect in n(n-1)/2 distinct points and m parallel lines which meet the n lines in a further mn points (distinct from each other and from the first n(n-1)/2) points, then you form exactly 1992 regions.

Solution

Answer: (1, 995), (10, 176), (21, 80).

n lines in general position divide the plane into n(n+1)/2 + 1 regions and each of the m parallel lines adds a further n+1 regions. So we require n(n+1)/2 + 1 + m(n+1) = 1992 or (n+1)(2m+n) = 3982 = 2·11·181. So n+1 must divide 3982, also (n+1)n < 3982, so n ≤ 62. We are also told that n is positive Thus n = 0 is disallowed. The remaining possibilities are n+1 = 2, 11, 2·11. These give the three solutions shown above.

a₁, a₂, a₃, ... a_n is a sequence of non-zero integers such that the sum of any 7 consecutive terms is positive and the sum of any 11 consecutive terms is negative. What is the largest possible value for n?

Solution

Answer: 16.

We cannot have 17 terms, because then:

a₁ + a₂ + ... + a₁₁ < 0
a₂ + a₃ + ... + a₁₂ < 0
a₃ + a₄ + ... + a₁₃ < 0
...

a7 + a8 + ... + a17 < 0

So if we add the inequalities we get that an expression is negative. But notice that each column is positive. Contradiction. On the other hand, a valid sequence of 16 terms is: -5, -5, 13, -5, -5, -5, 13, -5, -5, 13, -5, -5, -5, 13, -5, -5. Any run of 7 terms has two 13s and five -5s, so sums to 1. Any run of 11 terms has three 13s and eight -5s, so sums to -1.