Number theoryDifficulty 6.6National olympiadProve it
Lemma 9 According to the usual method, write a positive integer a in the form of a decimal number, that is, a=an10n+an−110n−1+⋯+a0,0⩽ai<10 When 9 can divide an+an−1+⋯+a0, then we have 9 can divide a. And when 9 cannot divide an+an−1+⋯+a0, then 9 cannot divide a.
Solution
By (13) and Lemma 8, we have a≡an+an−1+⋯+a0(mod9)
When 9 can divide an+an−1+⋯+a0, then by (17) we get that 9 can divide a. And when 9 cannot divide an+an−1+⋯+a0, then by (17) we get that 9 cannot divide a.
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.