Example 7([43.4]) Let be a positive integer greater than 1, and let its all positive divisors be , satisfying . Let .
(i) Prove: ;
(ii) Determine all such that divides .
Solution
Using the knowledge from sections and of Chapter 1, we can prove (i). The proof of (i) relies on the fundamental properties of the divisors of a positive integer : If are all the (positive) divisors of , then are also all the (positive) divisors of , and when , we have (see Theorem 2 in section of Chapter 1). Using this property and the given conditions, we get
This proves (i). The leftmost inequality in the above expression holds with equality if and only if , i.e., the only positive divisors of are 1 and itself, which means is a prime number (see Definition 2 in section 2.2 of Chapter 1). Additionally, the rightmost inequality holds with equality if and only if (why).
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.