Browse · MathNet
PrintNational Olympiad of Argentina
Argentina number theory
Problem
Three positive integers have sum . In how many zeros can their product end? Find all possibilities.
Solution
Let , , and let end in zeros. The following triples show that can be : , , , , , , , .
We prove that always holds. Clearly is at most the total number of 5's in the prime factorizations of . Let be the highest powers of 5 dividing respectively. Assume
by symmetry. We have as . If (i. e. ) then because , so that . And if then since is exactly divisible by . Hence . However and cannot occur. Indeed only if and , hence yields . Thus or . In the first case is divisible by , in the second case so are and . Note that some of can be a multiple of only if it is even. Indeed having an odd summand in means having exactly two odd ones as is even. Since is at most the total number of 2's in the prime factorizations of , implies that the third number must be divisible by . This cannot hold as . So for and for . Thus the latter is rejected together with (). There remains with and ( is an even multiple of 625 and also ). Here and ; moreover it is clear that is even. Thus or , but neither one gives a product divisible by . The desired is established.
We prove that always holds. Clearly is at most the total number of 5's in the prime factorizations of . Let be the highest powers of 5 dividing respectively. Assume
by symmetry. We have as . If (i. e. ) then because , so that . And if then since is exactly divisible by . Hence . However and cannot occur. Indeed only if and , hence yields . Thus or . In the first case is divisible by , in the second case so are and . Note that some of can be a multiple of only if it is even. Indeed having an odd summand in means having exactly two odd ones as is even. Since is at most the total number of 2's in the prime factorizations of , implies that the third number must be divisible by . This cannot hold as . So for and for . Thus the latter is rejected together with (). There remains with and ( is an even multiple of 625 and also ). Here and ; moreover it is clear that is even. Thus or , but neither one gives a product divisible by . The desired is established.
Final answer
0, 1, 2, 3, 4, 5, 6, 7
Techniques
Factorization techniquesTechniques: modulo, size analysis, order analysis, inequalitiesIntegers