The Conductor of Two Naturals is the largest number which cannot be written as mb+nc
This paper presents a short but non-obvious and interesting theorem in Number Theory that I originally discovered while working on a problem. This theorem states that is the largest number which cannot be written as . Given all and . In this article I prove the above statement and also show a problem where this theorem could be directly applied to considerably make the problem easier.
Introduction And Statement Of Result
I created the theorem I will present below while working on a problem involving conductors of natural numbers. Here we refer to the “conductor” of two natural numbers as computing the product of the two numbers and subtracting each of the original numbers from it. Simply enough, in a mathematical form we say:
Using the below theorem which I originally created just to solve the problem made the problem significantly easier for me and in this paper I also show how this also proved to be super useful for other problems too. I hope seeing this to be used for a wide variety of problems.
Theorem 1
The conductor of two natural numbers, , is the largest number which cannot be written as . Given all and .
Proof. Without loss of generality let us assume
is an exhaustive set of residues for modulo
Let us take some for which:
then,
for some such that
Now it is obvious that a number larger than can not be written as
Note: We are yet to prove that can not be written in this form, we have only proved for numbers larger than .
Let us now see for the number itself.
If
this
And this leads to:
Which is a contradiction.
Usage
We will now see a problem where using this theorem makes it significantly easier. This problem is from The International Mathematical Olympiad (IMO) 1983 Day 1 Problem 3 1.
Problem
Let and be positive integers, no two of which have a common divisor greater than . Show that is the largest integer which cannot be expressed in the form , where are non-negative integers.
Using Theorem 1 we use the same starting argument:
is an exhaustive set of residues for modulo
Given
we may take
with
But:
\[\begin{align*} N - xbc &> 2abc - ab - bc - ca - (a-1)bc \\ &= abc - ab - ca \\ &= a(bc - b - c) \end{align*}\]So,
Hence we can find non-negative so that:
So,
Finally, we show that for we cannot find non-negative
so that
so we must have and hence
Similarly, , and
Hence,
Contradiction.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
-
International Mathematical Olympiad (IMO). The international mathematical olympiad (imo) 1983 problems, 1983. URL: https://www.imo-official.org/year_info.aspx?year=1983. ↩