To prove that ab+cd is composite in the 42nd (2001) IMO Problem 6. In fact, ab+cd, ac+bd, and ad+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+a−c,β=b+d−a+c. From (3), we have
αβ=a(b+d+a−α)+bd
=a2+(b+d)a+bd−aα
=(a+b)(a+d)−aα.
Thus, α∣(a+b)(a+d). Since α>a+d, α and a+b are not coprime (otherwise, it would imply α∣(a+d), which is a contradiction), so they must share at least one common prime factor p1. In this case, from a+b−α=c−d, we know p1∣(c−d), hence p1≤c−d.
Notice:
ad+bc=d(a+b)+b(c−d),
so p1∣(ad+bc). Combining p1≤a+b and p1≤c−d, we get p1≤2a+b. Combining α∣(a+b)(a+d), we know (α,a+d)>1. Let p2∣(a,a+d) be a prime, then from b−c=−(a+d)+α, we get p2∣(b−c), thus p2∣(ab+cd) (since ab+cd=b(a+d)−d(b−c)). Using p2≤b−c<a+b>b+d+a−c=α,
Therefore, β is a positive integer greater than 1, so ac+bd is composite.