Maths Olympiad Prep

Library / /429 of 520

Number theory Difficulty 6.8 National olympiad Prove it

Example 4 Let positive integers a>b>c>da>b>c>d satisfy:
ac+bd=(b+d+ac)(b+da+c).a c+b d=(b+d+a-c)(b+d-a+c) .

Prove: The numbers ab+cd,ac+bda b+c d, a c+b d and ad+bca d+b c are all composite.

Solution

To prove that ab+cdab + cd is composite in the 42nd (2001) IMO Problem 6. In fact, ab+cdab + cd, ac+bdac + bd, and ad+bcad + bc are all composite, and the number of prime factors (counting multiplicities) of each is at least 3, 3, and 2, respectively (the proof of this conclusion is left to the reader).

Let
α=b+d+ac,β=b+da+c. From (3), we have  \alpha = b + d + a - c, \quad \beta = b + d - a + c. \text{ From (3), we have }
αβ=a(b+d+aα)+bd \alpha \beta = a(b + d + a - \alpha) + bd
=a2+(b+d)a+bdaα = a^2 + (b + d)a + bd - a\alpha
=(a+b)(a+d)aα. = (a + b)(a + d) - a\alpha.

Thus, α(a+b)(a+d)\alpha \mid (a + b)(a + d). Since α>a+d\alpha > a + d, α\alpha and a+ba + b are not coprime (otherwise, it would imply α(a+d)\alpha \mid (a + d), which is a contradiction), so they must share at least one common prime factor p1p_1. In this case, from a+bα=cda + b - \alpha = c - d, we know p1(cd)p_1 \mid (c - d), hence p1cdp_1 \leq c - d.

Notice:
ad+bc=d(a+b)+b(cd), ad + bc = d(a + b) + b(c - d),

so p1(ad+bc)p_1 \mid (ad + bc). Combining p1a+bp_1 \leq a + b and p1cdp_1 \leq c - d, we get p1a+b2p_1 \leq \frac{a + b}{2}. Combining α(a+b)(a+d)\alpha \mid (a + b)(a + d), we know (α,a+d)>1(\alpha, a + d) > 1. Let p2(a,a+d)p_2 \mid (a, a + d) be a prime, then from bc=(a+d)+αb - c = -(a + d) + \alpha, we get p2(bc)p_2 \mid (b - c), thus p2(ab+cd)p_2 \mid (ab + cd) (since ab+cd=b(a+d)d(bc))ab + cd = b(a + d) - d(b - c)). Using p2bc<a+b>b+d+ac=α,p_2 \leq b - c < a + b > b + d + a - c = \alpha,

Therefore, β\beta is a positive integer greater than 1, so ac+bdac + bd is composite.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.