Maths Olympiad Prep

Library / /20 of 80

Number theory Difficulty 4.5 AIME Prove it North Macedonia

Prove that if a+ba1ba+\frac{b}{a}-\frac{1}{b} is an integer, then it is a perfect square, where a,bNa,b \in \mathbb{N}.

Solution

Let a,bNa,b \in \mathbb{N} and a+ba1b=kZa+\frac{b}{a}-\frac{1}{b}=k \in \mathbb{Z}. From a2b+b2a=kaba^2b+b^2-a=kab, we get that bab|a. Let a=bqa=bq, q>0q>0, qZq \in \mathbb{Z}. Then b3q2+b2bq=kb2qb^3q^2+b^2-bq=kb^2q, and after dividing with bb (b>0b>0) we have b2q2+bq=kbqb^2q^2+b-q=kbq, therefore qbq|b. Let b=qtb=qt, t>0t>0, tZt \in \mathbb{Z}. Then q4t2+qtq=kq2tq^4t^2+qt-q=kq^2t, and after dividing with qq (q>0q>0), we have q3t2+t1=kqtq^3t^2+t-1=kqt, therefore t1t|1 and t>0t>0, so t=1t=1. Since b=qtb=qt and t=1t=1, we have b=qb=q. From a=bqa=bq and b=qb=q, we have a=b2a=b^2. Finally k=a+ba1bk=a+\frac{b}{a}-\frac{1}{b} and a=b2a=b^2 we have k=b2+bb21b=b2k=b^2+\frac{b}{b^2}-\frac{1}{b}=b^2.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.