Maths Olympiad Prep

Library / Hellenic Mathematical Olympiad /36 of 57

Hellenic Mathematical Olympiad, 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=deg⁡P(κ),n=deg⁡Q(κ)m = \deg P(\kappa), n = \deg Q(\kappa) with m>n≥0m > n \ge 0, then from (1) it follows that
2m=2+m+n⇔m=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(κ)=κ2−1P(\kappa) = \kappa^2 - 1, Q(κ)=1Q(\kappa) = 1 satisfy relation (1). We choose α=κ2−1\alpha = \kappa^2 - 1, β=1\beta = 1 and then the expression is equal to κ2−1+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−αβ≤2⇔2α2+2β2−2αβ≥α+β⇔(α−β)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.}

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.