Maths Olympiad Prep

Track / Stage 6 / 376 of 400 #1376 of 1964

Problem 1376

National olympiad, first round
Number theory Difficulty 6.9 Prove it

19. A5 (IND) Let n n be a positive integer that is not a perfect cube. Define real numbers a,b,c a, b, c by
a=n3,b=1a[a],c=1b, a=\sqrt[3]{n}, \quad b=\frac{1}{a-[a]}, \quad c=\frac{1}{b-**},
where [x][x] denotes the integer part of x x . Prove that there are infinitely many such integers n n with the property that there exist integers r,s,t r, s, t , not all zero, such that ra+sb+tc=0 r a + s b + t c = 0 .

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

19. Write m=[n3]m=[\sqrt[3]{n}]. To simplify the calculation, we shall assume that =1**=1. Then a=n3,b=1n3m=1nm3(m2+mn3+n23),c=1b1=a=\sqrt[3]{n}, b=\frac{1}{\sqrt[3]{n}-m}=\frac{1}{n-m^{3}}\left(m^{2}+m \sqrt[3]{n}+\sqrt[3]{n^{2}}\right), c=\frac{1}{b-1}= u+vn3+wn23u+v \sqrt[3]{n}+w \sqrt[3]{n^{2}} for certain rational numbers u,v,wu, v, w. Obviously, integers r,s,tr, s, t with ra+sb+tc=0r a+s b+t c=0 exist if (and only if) u=m2wu=m^{2} w, i.e., if ( bb- 1) (m2w+vn3+wn23)=1\left(m^{2} w+v \sqrt[3]{n}+w \sqrt[3]{n^{2}}\right)=1 for some rational v,wv, w. When the last equality is expanded and simplified, comparing the coefficients at 1,n3,n231, \sqrt[3]{n}, \sqrt[3]{n^{2}} one obtains 1:v+((m2+m3n)m2+m)w=nm3,n3:(m2+m3n)v+(m3+n)w=0,n23:mv+(2m2+m3n)w=0. \begin{array}{rlrl} 1: & v+\left(\left(m^{2}+m^{3}-n\right) m^{2}+m\right) w & =n-m^{3}, \\ \sqrt[3]{n}: & \left(m^{2}+m^{3}-n\right) v+ & \left(m^{3}+n\right) w & =0, \\ \sqrt[3]{n^{2}}: & m v+ & \left(2 m^{2}+m^{3}-n\right) w & =0 . \end{array} In order for the system (1) to have a solution v,wv, w, we must have (2m2+m3n)(m2+m3n)=m(m3+n)\left(2 m^{2}+m^{3}-n\right)\left(m^{2}+m^{3}-n\right)=m\left(m^{3}+n\right). This quadratic equation has solutions n=m3n=m^{3} and n=m3+3m2+mn=m^{3}+3 m^{2}+m. The former is not possible, but the latter gives a[a]>12a-[a]>\frac{1}{2}, so =1**=1, and the system (1) in v,wv, w is solvable. Hence every number n=m3+3m2+m,mNn=m^{3}+3 m^{2}+m, m \in \mathbb{N}, satisfies the condition of the problem.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.