Number theoryDifficulty 5.1AIME, harderProve itMongolia
Find all integer solutions of the equation. x3=y16+y15+…+y+9. (proposed by Ts. Dashdorj)
Solution
This equation is same as x3−8=Φ17(y), Φ17(y) is 17th cyclotomic polynomial. p is prime number, if p∣Φ17(x) then p≡1(mod17) or p∣17. So if for arbitrary d∣Φ17(y) then d≡1(mod17) or d∣17. (x−2)(x2+2x+4)=Φ17(y). If we have for d=x−2∣Φ17(y) then x−2≡1(mod17)⇔x≡3(mod17).
If we have 17∣x−2 then x≡2(17); x2+2x+4≡9+6+4≡2(17). But x2+2x+4 polynomial is Φ17(y) polynomial's divisor then contradict to above two cases.
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.