Maths Olympiad Prep

Library / /414 of 520

Number theory Difficulty 6.6 National olympiad Find the answer

Let mm, nn, kk be positive integers, satisfying [m+k,m]=[n+k,n][m+k, m]=[n+k, n], prove: m=nm=n.

Translate the above text into English, please keep the original text's line breaks and format, and output the translation result directly.

Solution

5. From this unit (10), we know that the given condition is
(m+k)m(m+k,m)=(n+k)n(n+k,n)\frac{(m+k) m}{(m+k, m)}=\frac{(n+k) n}{(n+k, n)}

Since (m+k,m)=(m,k),(n+k,n)=(n,k)(m+k, m)=(m, k),(n+k, n)=(n, k), we get from the above equation
(m+k)m(m,k)=(n+k)n(n,k)\frac{(m+k) m}{(m, k)}=\frac{(n+k) n}{(n, k)}

Let (m,k)=d1(m, k)=d_{1}, then m=m1d1,k=k1d1m=m_{1} d_{1}, k=k_{1} d_{1}, where (m1,k1)=1\left(m_{1}, k_{1}\right)=1.
Let (n,k)=d2(n, k)=d_{2}, then n=n1d2,k=k2d2n=n_{1} d_{2}, k=k_{2} d_{2}, where (n1,k2)=1\left(n_{1}, k_{2}\right)=1. Thus, equation (1) becomes
(m1+k1)m1d1=(n1+k2)n1d2\left(m_{1}+k_{1}\right) m_{1} d_{1}=\left(n_{1}+k_{2}\right) n_{1} d_{2}

Multiplying both sides of the above equation by k1k_{1} and using k1d1=k2d2(=k)k_{1} d_{1}=k_{2} d_{2}(=k), we obtain
(m1+k1)m1k2=(n1+k2)n1k1\left(m_{1}+k_{1}\right) m_{1} k_{2}=\left(n_{1}+k_{2}\right) n_{1} k_{1}

The left side of the above equation is a multiple of k2k_{2}, so k2k_{2} also divides the right side, i.e., k2k1n12k_{2} \mid k_{1} n_{1}^{2}. But (k2,n1)=1\left(k_{2}, n_{1}\right)=1, hence (k2,n12)=1\left(k_{2}, n_{1}^{2}\right)=1, which implies k2k1k_{2} \mid k_{1}. Similarly, we can prove k1k2k_{1} \mid k_{2}. Combining these, we get k1=k2k_{1}=k_{2}, i.e., (m,k)=(n,k)(m, k)=(n, k). Therefore, from (1) we know (m+k)m=(n+k)n(m+k) m=(n+k) n, from which it is easy to conclude m=nm=n.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.