Maths Olympiad Prep

Library / /38 of 48

Algebra Difficulty 6.6 National olympiad Prove it Greece

Let α\alpha, β\beta, γ\gamma are positive integers such that the number
A=α2+β3β2+γ3 A = \frac{\alpha\sqrt{2} + \beta\sqrt{3}}{\beta\sqrt{2} + \gamma\sqrt{3}}
is rational. Prove that the number
B=α2+β2+γ2α+β+γ B = \frac{\alpha^2 + \beta^2 + \gamma^2}{\alpha + \beta + \gamma}
is integer.

Solution

First of all, it is easy to see that:
α12+α23=α32+α43, with α1,α2,α3,α4Qα1=α3 and α2=α4. \alpha_1\sqrt{2} + \alpha_2\sqrt{3} = \alpha_3\sqrt{2} + \alpha_4\sqrt{3}, \text{ with } \alpha_1, \alpha_2, \alpha_3, \alpha_4 \in \mathbb{Q}^* \Leftrightarrow \alpha_1 = \alpha_3 \text{ and } \alpha_2 = \alpha_4.
In fact, we can write the first relation in the form
(α1α3)2=(α4α2)3, (\alpha_1 - \alpha_3)\sqrt{2} = (\alpha_4 - \alpha_2)\sqrt{3},
and if α1α30\alpha_1 - \alpha_3 \neq 0, then α4α2α1α3=32\frac{\alpha_4 - \alpha_2}{\alpha_1 - \alpha_3} = \frac{\sqrt{3}}{\sqrt{2}}, absurd. Hence α1=α3\alpha_1 = \alpha_3 and α2=α4\alpha_2 = \alpha_4.
The converse is clear.
Let now α2+β3β2+γ3=κQ\frac{\alpha\sqrt{2} + \beta\sqrt{3}}{\beta\sqrt{2} + \gamma\sqrt{3}} = \kappa \in \mathbb{Q}. Then α=κβ\alpha = \kappa\beta and β=κγ\beta = \kappa\gamma, that is
αβ=βγβ2=αγ. \frac{\alpha}{\beta} = \frac{\beta}{\gamma} \Leftrightarrow \beta^2 = \alpha\gamma.
Hence we have:

α2+β2+γ2=α2+αγ+γ2=α2+2αγ+γ2αγ=(α+γ)2β2=(α+β+γ)(αβ+γ), \begin{aligned} \alpha^2 + \beta^2 + \gamma^2 &= \alpha^2 + \alpha\gamma + \gamma^2 = \alpha^2 + 2\alpha\gamma + \gamma^2 - \alpha\gamma \\ &= (\alpha + \gamma)^2 - \beta^2 = (\alpha + \beta + \gamma)(\alpha - \beta + \gamma), \end{aligned}
and so B=αβ+γB = \alpha - \beta + \gamma.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.