Maths Olympiad Prep

Library / /2 of 5

Number theory Difficulty 7.8 National Olympiad, round 2 Prove it Romania

In a division of two positive integers, the dividend and the divisor are directly proportional with the remainder and the quotient. The remainder and the quotient are relatively prime. Prove that the dividend is a perfect square.

Solution

Let the dividend be aa, the divisor be bb, the quotient be qq, and the remainder be rr, so that
a=bq+r, a = bq + r,
with 0r<b0 \leq r < b.

We are told that aa and bb are directly proportional to rr and qq, respectively. That is, there exists a constant k>0k > 0 such that
a=kr,b=kq. a = k r, \quad b = k q.

Substitute aa and bb in the division equation:
kr=(kq)q+r    kr=kq2+r. k r = (k q) q + r \implies k r = k q^2 + r.
Bring rr terms together:
krr=kq2    r(k1)=kq2. k r - r = k q^2 \implies r(k - 1) = k q^2.
So
r=kq2k1. r = \frac{k q^2}{k - 1}.

But rr must be an integer, so k1k - 1 divides kq2k q^2. Since kk and k1k - 1 are coprime, k1k - 1 must divide q2q^2.

Let k1=dk - 1 = d, so k=d+1k = d + 1. Then
r=(d+1)q2d=q2+q2d. r = \frac{(d + 1) q^2}{d} = q^2 + \frac{q^2}{d}.
So dd divides q2q^2, i.e., q2=dmq^2 = d m for some integer mm.

Thus,
r=q2+m. r = q^2 + m.
But q2d=m\frac{q^2}{d} = m, so dd divides q2q^2 and mm is an integer.

Recall b=kq=(d+1)qb = k q = (d + 1) q and a=kr=(d+1)ra = k r = (d + 1) r.

Now, rr and qq are relatively prime. Since r=q2+mr = q^2 + m and q2=dmq^2 = d m, r=dm+m=m(d+1)=mkr = d m + m = m (d + 1) = m k.

So r=mkr = m k, q2=dmq^2 = d m, k=d+1k = d + 1.

But rr and qq are relatively prime, so gcd(mk,q)=1\gcd(m k, q) = 1.

But q2=dmq^2 = d m, so q=dmq = \sqrt{d m}. For qq to be integer, dmd m must be a perfect square. Let d=t2d = t^2, m=s2m = s^2, so q=tsq = t s.

Then r=mk=s2(t2+1)r = m k = s^2 (t^2 + 1).

Now, a=kr=(t2+1)s2(t2+1)=s2(t2+1)2a = k r = (t^2 + 1) \cdot s^2 (t^2 + 1) = s^2 (t^2 + 1)^2.

Thus, aa is a perfect square.

Therefore, the dividend is a perfect square.

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.