The 3rd Olympiad of Metropolises Day 1. Solutions Problem 1. Solve the system of equations in real numbers: (x 1)(y 1)(z 1) xyz 1, Answer: x 1, y 1, z 1. (x )(y )(z ) xyz. (Vladimir Bragin) Solution 1. By expanding the parentheses and reducing common terms we obtain (xy + yz + zx) + (x + y + z) 0, (xy + yz + zx) + 4(x + y + z) 6. From the first equation we can conclude that xy+yz+zx x+y+z. By substituting this into the second equation, we obtain that x + y + z 3. We now have to solve the system x + y + z 3, (1) xy + yz + zx 3. If we square the first equation, we get x + y + z + (xy + yz + zx) 9. Hence x + y + z 3 xy + yz + zx. We will prove that if x + y + z xy + yz + zx, than x y z: x + y + z xy + yz + zx x + y + z xy + yz + zx x xy + y + x xz + z + y yz + z 0 (x y) + (x z) + (y z) 0. The sum of three squares is 0, so all of them are zeroes, which implies x y z. That means x y z 1. Solution 1. We will show one more way to solve the system (1). Express z 3 x y from first equation and substitute it into the second one: xy + (y + x)(3 x y) 3 xy + 3x + 3y xy x y 3 x + y + xy 3x 3y + 3 0 x + x(y 3) + y 3y + 3 0. 1
Let us solve it as a quadratic equation over variable x: x (3 y) ± (y 3) 4(y 3y + 3) (3 y) ± y 6y + 9 4y + 1y 1 (3 y) ± 3y + 6y 3 (3 y) ± 3(y 1). We can conclude that y 1, because otherwise the square root wouldn t exist. It follows that x 3 1±0 1, and then z 1. Solution. Let s make variable substitution u x 1, v y 1, w z 1. We obtain the system (u + 1)(v + 1)(w + 1) uvw + 1, (u 1)(v 1)(w 1) uvw 1, (where the latter equation actually corresponds to the difference between two original equations). After expanding all parentheses and reducing common terms we have uv + uw + vw + u + v + w 0, (uv + uw + vw) + u + v + w 0. By taking the sum and the difference of these equations, we obtain uv +uw +vu 0 and u + v + w 0. Finally, observe that u + v + w (u + v + w) (uv + uw + vw) 0 0 0, from which u v w 0 follows, and x y z 1. Solution 3. Consider the polynomial f(t) (t x)(t y)(t z) with roots x, y, z. We can rewrite the system as f(1) f(0) 1, f() f(0). Now consider the polynomial g(t) f(t) f(0) t. Its main coefficient is 1, and 0, 1 and are its roots. Hence g(t) t(t 1)(t ). It follows that f(t) g(t) + t + f(0) t(t 1)(t ) + t + f(0) t(t 3t + 3) + f(0) t 3 3t + 3t 1 + f(0) + 1 (t 1) 3 + f(0) + 1.
Observe that (t 1) 3 + f(0) + 1 is an increasing function, which means that different real numbers cannot be its roots. So x y z and also x is also the root of the derivative of f(t). But f (t) 3(t 1), hence x y z 1. Problem. A convex quadrilateral ABCD is circumscribed about a circle ω. Let P Q be the diameter of ω perpendicular to AC. Suppose lines BP and DQ intersect at point X, and lines BQ and DP intersect at point Y. Show that the points X and Y lie on the line AC. (Géza Kós) Solution. The role of points P and Q is symmetrical, so without loss of generality we can assume that P lies inside triangle ACD and Q lies in triangle ABC. Part 1. Denote the incircles of triangles of ABC and ACD by ω 1 and ω and denote their points of tangency on the diagonal AC by X 1 and X, respectively. We will show that line BP passes through X 1, DQ passes through X and X 1 X. Then it follows that X X 1 X is lying on AC (fig. 1). D ω P A ω ω 1 B X 1 X Q C Figure 1: for the solution of the problem. As is well-known, the tangent segments AX 1 and AX to the incircles can be expressed in terms of the side lengths as AX 1 1 (AB + AC BC) and AX 1 (AC + AD CD). Since the quadrilateral ABCD has an incircle, we have AB + CD BC + AD and therefore AX 1 AX 1 (AB BC AD + CD) 0 ; this proves X 1 X. 3
By having the common tangents BA and BC, the circles ω are ω 1 are homothetic with center B. The tangents to ω at X 1 and to ω 1 at P are parallel, so this homothety maps P to X 1. Hence, the points B, P, X 1 are collinear. Similarly, from the homothety that maps ω to ω, one can see that D, Q, X are collinear. Part. Now let γ 1 and γ be the excircles of triangles of ABC and ACD, opposite to vertices B and D, respectively, and denote their points of tangency on the diagonal AC by Y 1 and Y, respectively. Analogously to the first part, we will show that line BQ passes through Y 1, DP passes through Y and Y 1 Y (fig. ). D γ 1 ω P A γ Q B Y 1 Y C Figure : for the solution of the problem. The tangent segments CY 1 and CY to the excircles can be expressed as CY 1 1 (AB + AC BC) and CY 1 (AC + AD CD) ; by AB + CD BC + AD it follows that CY 1 CY, so Y 1 Y. The circles ω and γ 1 are homothetic with center B. The tangents to ω and γ 1 at Q and Y 1 are parallel so this homothety maps Q to Y 1. Hence, the points B, Q, Y 1 are collinear. Similarly, from the homothety that maps ω to γ, one can see that D, P, Y are collinear. Problem 3. Let k be a positive integer such that p 8k + 5 is a prime number. The integers r 1, r,..., r k+1 are chosen so that the numbers 0, r 4 1, r 4,..., r 4 k+1 give 4
pairwise different remainders modulo p. Prove that the product ( r 4 i + rj 4 ) 1 i<j k+1 is congruent to ( 1) k(k+1)/ modulo p. (Two integers are congruent modulo p if p divides their difference.) (Fedor Petrov) Solution 1. We use the existence of a primitive root g modulo p, that is, such an integer number that the numbers 1, g, g,..., g p give all different non-zero remainders modulo p. Two powers of g, say g m and g k, are congruent modulo p if and only if m and k are congruent modulo p 1 (the if part follows from Fermat s little theorem and the only if part from g being primitive root). There exist exactly k+1 non-zero fourth powers modulo p, namely, 1, g 4, g 8,..., g 8k, thus the numbers r1, 4..., rk+1 4 are congruent modulo p to them in some order. Define the map f(j): 0, 1,..., k} 0, 1,..., k} as a remainder of j modulo k + 1. Note that 8j and 4f(j) are congruent modulo 4(k + 1) p 1, therefore g 8j g 4f(j) (mod p) for all j 0, 1,..., k. We have 1 i<j k+1 (r 4 j + r 4 i ) 1 i<j k+1 0 i<j k r 8 j r8 i r 4 j r4 i g 8j g 8i g 4j g 4i 0 i<j k g 4f(j) g 4f(i) g 4j g 4i (mod p). We may write g 4f(j) g 4f(i) ±(g 4 max(f(j),f(i)) g 4 min(f(j),f(i)) ), where the sign is positive if f(j) > f(i) and negative if f(j) < f(i). Further, when the ordered pair (i, ( j) runs over all k(k + 1) ordered ) pairs satisfying 0 i < j k, the ordered pair min(f(j), f(i)), max(f(j), f(i)) runs over the same set. Therefore the differences cancel out and the above product of the ratios g 4f(j) g 4f(i) g 4j g equals ( 1) N, where 4i N is the number of pairs i < j for which f(i) > f(j). This in turn happens when i 1,,..., k; j k + 1,..., k + i, totally N 1 +... + k k(k + 1)/. Thus the result. Solution. Denote t i ri 4. Notice that the set T : t 1,..., t k+1 } consists of distinct roots of the polynomial x k+1 1 (over the field of residues modulo p). Let us re-enumerate T so that t k+1 1, t i 1/t k+ i for i 1,,..., k. The map t t is a bijection on T, the inverse map is s s k+1 and we naturally denote it s. For distinct elements t, s T we have t + s st( s/t + t/s). In the following formula denotes the product over all k(k + 1) pairs of distinct elements 5
t, s T. We have ( k ( ( ) k k+1 (t + s) st s/t + t/s t) (t i + 1/t i )). The first multiple equals 1 by Vieta s formulas for x k+1 1 t T (x t). As for the second multiple, note that there is a polynomial ψ(x) with integer coefficients satisfying ( ψ x + 1 ) x k + x k 1 +... + 1 +... + x k. x Obviously, the leading coefficient in ψ is 1. The constant term can be accessed by substituting the complex unit x i; the constant term is ( ψ(0) ψ i + 1 ) i k j k i j t T i1 1 if k 0, 1 (mod 4), 1 if k, 3 (mod 4). The roots of ψ in the modulo p field are exactly t i + 1/t i, i 1,,..., k (they are distinct). The product of the roots is k (t i + 1/t i ) ( 1) k ψ(0) i1 Finally, we conclude 1 if k 0, 3 (mod 4), 1 if k 1, (mod 4). (t + s) 1 if k 0, 3 (mod 4), 1 if k 1, (mod 4). 6