Olympiad Maths Prep

Library / /2 of 6

, 2020

Algebra Difficulty 6.3 National olympiad Prove it Greece

Find all values of the positive integer κ\kappa satisfying the following property:
There do not exist positive integers α,β\alpha, \beta such that the number
A(κ,α,β)=α+βα2+κ2β2κ2αβ A(\kappa, \alpha, \beta) = \frac{\alpha + \beta}{\alpha^2 + \kappa^2 \beta^2 - \kappa^2 \alpha \beta}
is a composite positive integer.

Solution

We fix κ>1\kappa > 1. The idea for the solution of the problem is to find α,β\alpha, \beta with respect to κ\kappa such that the denominator of the fraction is equal to 11. In other words, we seek polynomials α=P(κ)\alpha = P(\kappa), β=Q(κ)\beta = Q(\kappa) such that
P(κ)2+κ2Q(κ)2κ2P(κ)Q(κ)=1.P(κ)2=κ2Q(κ)(P(κ)Q(κ))+1(1) P(\kappa)^2 + \kappa^2 Q(\kappa)^2 - \kappa^2 P(\kappa)Q(\kappa) = 1. \\ P(\kappa)^2 = \kappa^2 Q(\kappa)(P(\kappa) - Q(\kappa)) + 1 \quad (1)
If m=degP(κ),n=degQ(κ)m = \deg P(\kappa), n = \deg Q(\kappa) with m>n0m > n \ge 0, then from (1) it follows that
2m=2+m+nm=n+2. 2m = 2 + m + n \Leftrightarrow m = n + 2.
We will deal with the easiest case, by seeking polynomials of degrees 22 and 00, respectively, which satisfy relation (1).
Finally, we find that P(κ)=κ21P(\kappa) = \kappa^2 - 1, Q(κ)=1Q(\kappa) = 1 satisfy relation (1). We choose α=κ21\alpha = \kappa^2 - 1, β=1\beta = 1 and then the expression is equal to κ21+11=κ2\frac{\kappa^2 - 1 + 1}{1} = \kappa^2, which is composite for all κ>1\kappa > 1. Therefore, all values of κ>1\kappa > 1 are not solutions.

For κ=1\kappa = 1, we will prove that: 0<A(α,β,κ)=α+βα2+β2αβ20 < A(\alpha, \beta, \kappa) = \frac{\alpha + \beta}{\alpha^2 + \beta^2 - \alpha\beta} \le 2, which means that the rational number A(α,β,1)A(\alpha, \beta, 1) cannot be a composite positive integer for all α,β\alpha, \beta. Indeed, we have
α+β>0andα2αβ+β2=(αβ2)2+3β24>0, and \alpha + \beta > 0 \quad \text{and} \quad \alpha^2 - \alpha\beta + \beta^2 = \left(\alpha - \frac{\beta}{2}\right)^2 + \frac{3\beta^2}{4} > 0, \text{ and}
α+βα2+β2αβ22α2+2β22αβα+β(αβ)2+α2α+β2β0(αβ)2+α(α1)+β(β1)0, which holds. \frac{\alpha + \beta}{\alpha^2 + \beta^2 - \alpha\beta} \le 2 \Leftrightarrow 2\alpha^2 + 2\beta^2 - 2\alpha\beta \ge \alpha + \beta \Leftrightarrow (\alpha - \beta)^2 + \alpha^2 - \alpha + \beta^2 - \beta \ge 0 \\ \Leftrightarrow (\alpha - \beta)^2 + \alpha(\alpha - 1) + \beta(\beta - 1) \ge 0, \text{ which holds.}

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.