But if you must contrive
Arithmeticians, multiply Gaussians
And still get sixty-five”
(with apologies to Lennon and McCartney)
Part of the peterjamesthomas.com Maths and Science archive
Origins
Arithmetical puzzles pervade the Internet ^{[1]}, one I came across recently was:
The product of two numbers is 65, what is their sum? |
A certain lack of clarity in the question left some loopholes through which some much more interesting Mathematics could be explored. I propose to cover this in the following article. I’ll start with the answers that the problem poser probably had in mind when setting their puzzle.
Obvious
The obvious place to start is to break down into factors (things that when multiplied together get us back to ). Given my Mathematical background (and the nature of the number in question) breaking it down into prime factors ^{[2]} is what I proceeded to do.
Well as ends in a , it is divisible by . Also itself is a prime number of course. When we divide by we get . Again is a prime number and so we are done, i.e.
Given this, the first answer to our puzzle is:
But we are just starting, even on the obvious answers. Also staring us in the face is the following:
Which yields a second answer:
At this point we may begin to feel somewhat pleased with ourselves, but there are two further simple solutions which have been overlooked. As a pointer to these, the question referred to “numbers”, not what sort of numbers. We leapt – perhaps not unreasonably – into thinking about positive whole numbers (Natural Numbers in the Mathematical terminology), what about thinking about negative whole numbers (expanding our solution set to the Integers)? Well immediately we can see that:
So a third solution is:
and of course also:
which provides a fourth answer:
We now have as solutions the set ^{[3]}.
Surely that’s a bit more than the person posing the question had envisaged. However, there is more to come. Again we can get new solutions by broadening our concept of number to now include fractions (bearing in mind once more than there will be positive and negative solutions).
Generalised
Most of brainteasers similar to the one we are considering tend to have solutions in the Natural Numbers. However nothing in the question itself rules out looking for answers in any other number system. We have already fruitfully considered the Integers, next we think about solutions that are Rational Numbers (aka fractions of whole numbers like or ). If we label our two numbers and , we have:
Which we can rearrange as:
We can see that (with the exception of for obvious reasons) for any value of we can always generate a value of that satisfies our product equation.
If we now want to consider the sum, , we can substitute for to get:
If we plot this graph, then for each chosen value of , this plots the answer to our question of what is the sum of and .
So instead of four solutions we now have a countably infinite number of solutions, something of a shift in perspective.
[Incidentally if we plug each of into the above equation, we recover our initial four Integer solutions]
Obscure
Well that seems pretty comprehensive, doesn’t it? However, again, a broader knowledge of number systems opens the gate to yet more potential solutions. To understand these, we need the concept of Complex Numbers. I provide a whistle-stop tour of these in A Brief Taxonomy of Numbers (see the link in the previous sentence) and a much more leisurely review in Glimpses of Symmetry (Chapter 7 – Imaginary Battleships). Given this, I will only sketch what Complex Numbers are here and refer readers to my other works for additional background.
To leap right in, Complex Numbers are an extension of the Real Numbers ^{[4]}. Hang on a second! We haven’t as yet met the Real Numbers! Well these the next class of numbers up from the Rationals Numbers, which we met in the last section. The difference between the Rationals and the Reals is that the latter includes numbers, such as which cannot be expressed as fractions of whole numbers ^{[5]}. If you consider a continuous number line stretching to infinity in both directions from zero, then any inhabitant of this line will be a Real Number. If you metaphorically stick a pin in the line, the resulting number may be an Integer, it may be a Rational Number, but it will always be a Real Number. There are no gaps in between Real Numbers, which is why they are often described as forming a continuum.
So with that definition under our belt, what about Complex Numbers. These can be viewed as two copies of the Real Numbers spliced together. The way that this happens is by defining a new number, and saying that any Complex Number is of the form , where both and are Real Numbers. The special number arises from elementary equations as one of the two solutions ^{[6]} to the equation:
or equivalently
That is or . While this formulation can seem counter-intuitive to some, it is a perfectly robust and valid definition. The concept of number is somewhat slippery, something I explore in A Brief Taxonomy of Numbers, but it can be convincingly argued that is no less concrete a number than ^{[7]}.
So back to the question at hand, let’s consider two related Complex Numbers, and ^{[8]}. What happens when we multiply these? Well, if we multiply out the terms long-hand, we have:
Which – given that and cancel out – can be simplified to:
which clearly gives us:
Which of course yields the final answer of, you have guessed it, !
We can use these two new numbers whose product is 65 to generate another solution to our initial problem:
By the same logic we applied at the beginning, the negatives of the above numbers will also work, so:
and
Aside:
To be clear here, we could get these answers from the formula we established in the last section, by setting the result of our sum to be 16, i.e.: Which we can write as: Rearranging: If we then use the standard formula for finding the roots of a quadratic in the form , namely: We get: Which simplifies to: and then: and then: Which finally yields: Which is the same as the first Complex solution we found above ^{[9]}. |
So that is a rather interesting result, an obvious question is, can we generalise solutions in the Complex Numbers in the same way that we did for Rational Numbers. Well let’s explore this idea.
Recondite
So if we have two Complex Numbers, and , where each of ^{[10]}, then we know that:
What does this tell us? Well let’s first of all multiply out the brackets and also write as :
The only way that this can work is if the Real and Imaginary parts (i.e. the term without an and the term with one) of the multiplied out brackets are equal, so this implies two things:
and
we can rewrite as:
Which means that the ratio of the Real and Imaginary parts of our two multiplicands is the same (allowing for the negative sign). We can call this ratio and then write:
Which in turn means that our two multiplicands are:
This of course fits the pattern of our and solution above.
We can also use to substitute in equation above to get:
or:
Which is the equation of a circle of radius in the Complex Plane ^{[11]}.
So, to summarise, our generic Complex solutions are pairs of the format,
In words, pairs of conjugate Complex Numbers, where one is potentially modified by a constant and the unmodified numbers lie on a circle of radius in the Complex Plane.
What percentage of the Complex Plane is covered by such numbers is left as an exercise for the reader.
The sum of any of these pairs of numbers is obviously:
We can use to state this just in terms of and as follows:
With this finding, we have reached the end of today’s foray into the world of Mathematics. It is perhaps instructive to note that an apparently quotidian question can lead to unexpected places and deeper results if looked at in just the right way. This phenomenon is emblematic of how Maths works in general; deep connections and fundamental insights can follow from looking at something apparently more simple from a different angle.
Acknowledgements
The following people’s input is acknowledged:
- James Kua, who wrote an excellent review of the 65 question on Q&A site Quora and with whom I discussed the specific Complex solution.
- Doug Michael, who spotted a schoolboy error in my original reworking of the Beatles’ classic (last time I checked ).
- Bryan Wolf, who suggested that I tidy up my text where referring to Rational and Real solutions.
Of course any [other] errors and omissions remain the responsibility of the author.
<< | A Brief Taxonomy of Numbers | Euler’s Number | >> |
Part of the peterjamesthomas.com Maths and Science archive. |
Notes
^{ [1]} | I have partaken in this myself, as in: Solve if u r a genius, Facebook squares “puzzle” and The triangle paradox. |
^{ [2]} | If you need a refresher on Prime Numbers and prime factorisation, you can start with A Brief Taxonomy of Numbers and consider also skimming a section called “Primed for Action” in Glimpses of Symmetry (Chapter 8 – Simplicity). |
^{ [3]} | The curly brackets indicate that what falls between them are the members of a set, e.g. , , etc. The empty set can be written , but is more typically denoted by . |
^{ [4]} | As an aside, exactly the same approach we applied to the Rationals will give us solutions in the Real Numbers, so the argument is not repeated here. Of note however is that while the number of Rational solutions is countably infinite, the number of Real solutions is uncountably infinite. |
^{ [5]} | For a proof (dating to antiquity) that cannot be expressed as a whole number fraction, see a footnote in Glimpses of Symmetry (Chapter 4 – Rationality and Reality). However tread with care, Hippasus of Metapontum was allegedly murdered by fellow members of the Pythagorean Society for divulging this information, which was also contrary to a central tenet of their cult. |
^{ [6]} | The other solution is of course . |
^{ [7]} | Again see A Brief Taxonomy of Numbers for more on this. |
^{ [8]} | Technically each is the Complex Conjugate of each other, see a section of Glimpses of Symmetry (Chapter 7 – Imaginary Battleships). |
^{ [9]} | Is we instead pick we get the other two results from above. |
^{ [10]} | stands for “in”, or “is a member of”, is shorthand for the Real Numbers. |
^{ [11]} | For an explanation of the Complex Plane, see Glimpses of Symmetry (Chapter 7 – Imaginary Battleships). |
Text & Images: © Peter James Thomas 2018. |