Maths Olympiad Prep

Library / /409 of 520

Number theory Difficulty 6.6 National olympiad Prove it

Lemma 9 According to the usual method, write a positive integer aa in the form of a decimal number, that is,
a=an10n+an110n1++a0,0ai<10a=a_{n} 10^{n}+a_{n-1} 10^{n-1}+\cdots+a_{0}, \quad 0 \leqslant a_{i}<10
When 9 can divide an+an1++a0a_{n}+a_{n-1}+\cdots+a_{0}, then we have 9 can divide aa. And when 9 cannot divide an+an1++a0a_{n}+a_{n-1}+\cdots+a_{0}, then 9 cannot divide aa.

Solution

By (13) and Lemma 8, we have
aan+an1++a0(mod9)a \equiv a_{n}+a_{n-1}+\cdots+a_{0}(\bmod 9)

When 9 can divide an+an1++a0a_{n}+a_{n-1}+\cdots+a_{0}, then by (17) we get that 9 can divide aa. And when 9 cannot divide an+an1++a0a_{n}+a_{n-1}+\cdots+a_{0}, then by (17) we get that 9 cannot divide aa.

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.