Fun Problems in Number Theory
This is a collection of problems from Number Theory. What they all have in common is that the results involve concepts and operations we’re all familiar with, so anyone can go “huh, that’s a neat fact about numbers!“. Regarding difficulty, the “easy” problems should be solvable for anyone, though they may not be that easy. The “medium” problems actually all come from homeworks from early in my undergraduate Number Theory course. They’re quite solvable, but may require insights and ideas that are not reasonable to expect from the leyperson. The “hard” problems are quite hard.
Jump To
Easy Problems
1.1
Let be any natural number, and the sum of the digits of . Prove that is a multiple of .
For example, if , then , and , which is a multiple of .
Proof
Let . Then .
Then , which is clearly a multiple of 9.
1.2
Prove that a natural number is prime1 if and only if is not divisible by any prime with .
Proof
Proving
This follows directly from the fact that integer primes are irreducible.
Proving
Clearly if there were such a prime in range , would not be prime. So then it suffices to show why the range need not be checked.
The largest value that can be produced by a pair in range is .
That means in order for a value greater than to be a divisor, so too must there be a value less than .
So if no such value less than exists, no such value greater than can exist.
Medium Problems
2.1
Three
A number is divisible by 3 if and only if the sum of the digits of is divisible by 3.
Proof:
Write , where the digits of are .
Since , .
The proposition follows.
Five
A number is divisible by 5 if and only if the rightmost digit is 5 or 0.
Proof
Write .
Since , .
The only nonnegative integers less than 10 (i.e. that could be) are 5 or 0.
The propositon follows.
Nine
A number is divisible by 9 if and only if the sum of the digits is.
Proof
Write .
Since , .
The propositon follows.
Eleven
A number is divisible by 11 if and only if the difference between the sum of the digits at even indices and the ones at odd indices are congruent to .
Proof
Write .
Since , .
The propositon follows.
Additional Note
Definition (Palindrome): let the digits of be of the form . Then is a palindrome.
Remark: From the proof above, it follows that all even-length palindromes are divisible by 11.
Conjecture: All palindromes divisible by 11 are such that the product of their digits is a perfect square.
2.2
Prove that if is composite then .
Proof
An equivalent statement: if is composite, then is a factor of .
is a product of prime factors.
If all such factors are unique in the product, then trivially they are all present in the product .
If there are duplicates, they can be thought of as multiplying to unique composite numbers less than , due to the fundamental theorem of arithmetic.
The only time this is not true is for the composite , since is divisible by no composite numbers.
Hence, all prime factors of can be accounted for in when , so is a factor of
2.3
Prove that if a positive integer n is a perfect square, then n cannot be written in the form for an integer.
Hint
Compute the remainder upon division by 4 of each of , , , and .
Proof
Any positive integer of the form is congruent to .
If is even, then is even, and trivially cannot be of the form .
If is odd, then , .
Then , which is congruent to 3 (mod 4), so cannot be of the form .
2.4
(Follow-up to 2.3)
Prove that no integer in the sequence below is a perfect square.
, , , ,
Hint
.
Proof
Per the hint, all integers in the given sequence are of the form , and we just showed that no positive integer of that form may be a perfect square, so we are done.
2.5
Prove that if is a positive integer such that both and are prime, then .
Proof
Trivially, 2 does not satisfy the conditons and 3 does.
Now we consider only primes .
Every third integer is a multiple of 3, yet no is.
So for all , it is either that or .
That is, or .
In either case, this gives , so .
Therefore, for all primes greater than 3, , and is composite.
Hard Problems
Fermat’s Last Theorem
Prove that no triple satisfy the equation , where is greater than .
Proof
I am unable to find a copy of the original proof by Andrew Wiles, but this source should be pretty close. Yes, the proof is that long.
Read more about the theorem and its incredible story here.
Collatz Conjecture
Consider the following operation on an arbitrary positive integer:
Prove that for all , this function will eventually return 1.
Proof
There is no known proof of this conjecture. Read more about it here.
Goldbach’s Conjecture
Prove that every even greater than 2 is the sum of two primes.
Proof
There is no known proof to this conjecture. Read more about it here.
Footnotes
-
In the integers, a prime is a positive integer with the property that if divides then divides or p divides , where and are integers and the property that is only divisible by 1 and (irreducibility). By the Fundamental Theorem of Arithmetic, every integer greater than 1 can be represented uniquely as a product of prime numbers, up to the order of the factors. So primes can be thought of as unique, atomic building blocks wihtin the integers, and each integer is composed of a unique collection of these building blocks. Comfort with this fact can take your number theoretic intuition a long way. ↩