## The element of surprise in mathematics

*Why do so many people say they hate mathematics?*

All too often, the real truth is that they have never been allowed anywhere near it, and I believe that mathematicians like myself could do more, if we wanted, to bring some of the ideas and pleasures of our subject to a wide public.

And one way of doing this might be to emphasise the element of *surprise* that often accompanies mathematics at its best.

Everybody likes a nice surprise.

## A trick with numbers

I had my first mathematical surprise in 1956, at the age of 10. I was keen on magic tricks at the time, and one day I came across a "trick with numbers" in an article called "Abracadabra! Uncle Jack turns you into a Conjuror!"

Take any 3-digit number in which the first and last digits differ by 2 or more. Reverse the number, and subtract the smaller of the two numbers from the larger (e.g. 782-287=495). Then reverse the result and add (thus 495+594=1089). The remarkable thing with this is:*the result is always*1089, no matter which 3-figure number you start with.

Professional mathematicians, of course, regard this "1089 trick" as mathematically lightweight and of relatively little consequence. But I have to tell you this: if you first see it as a 10-year old boy in 1956, it blows your socks off.

## Surprising geometry

A little later on I had my first surprise in geometry. One day at school we were told that if *AB* is a diameter of a circle, and *C* is any point on the circumference, then the angle *ACB* is a right angle. I remember finding this difficult to believe at the time; it seemed to me that moving the point *C* along the circumference would almost certainly change the angle
*ACB*, especially as *C* moved closer and closer to *B*.

But it doesn't.

To understand this, join*C*to the centre of the circle

*O*by a straight line. Then

*OA*=*OB*=*OC*.

So triangle *AOC* is isosceles, and the two angles marked *a* in the diagram are therefore equal. By the same argument applied to the triangle *BOC*, the angles marked *b* are also equal. But the angles of the triangle *ACB* add up to 180^{o}, so

*a*+(*a*+*b*)+*b*=180^{o}.

So *a*+*b*=90^{o}, and angle *ACB* is therefore a right angle.

Even now, I still regard this as one of the most devastatingly effective and illuminating proofs in the whole of mathematics.

## Surprising mistakes

The great mathematician Leonhard Euler

*proof*is, perhaps, one of the major difficulties in communicating mathematics to the wider public. Yet, without proof, mathematicians can sometimes get things badly wrong. And even the greatest of mathematicians are not immune.

In 1753, for instance, the great Swiss mathematician Leonhard Euler proved the *N*=3 case of Fermat's Last Theorem. He proved, in other words, that there are no whole number solutions *a*, *b*, *c* to the equation:

*a*^{3} + *b*^{3}= *c*^{3}.

In short, 2 cubes cannot add up to a cube.

But a little later he went on to conjecture that, in a similar way, it would be impossible for 3 fourth powers to add up to a fourth power, and, more generally, that it would be impossible for *m*-1 *m*th powers to add up to an *m*th power.

For nearly two hundred years no one could find anything wrong with this proposition. Nobody could actually prove it, either, but it had been around for a very long time, and it had been proposed, after all, by a very respected authority...

And then, in 1966, L. J. Lander and T. R Parkin found a counter-example, four fifth powers that add up to a fifth power:

27^{5}+84^{5}+110^{5}+133^{5}=144^{5}.

And 20 years after that, the *m*=4 case of the proposition fell too, when another mathematician "noticed" that

2,682,440^{4}+15,365,639^{4}+18,796,760^{4}=20,615,673^{4}.

Attempting to *generalise* in mathematics on the basis of one or two special cases is always a risky business, of course, and one of the most telling examples I know involves an apparently innocent little problem in geometry.

Take a circle, mark *n* points on the circumference, and join each point to all the others by straight lines. This divides the circle into a number of different regions, and the question is: how many? (It is assumed that no more than two lines intersect at any point inside the circle).

Now, for the first few values of *n*, namely 2, 3, 4 and 5, the number of regions follows a very simple pattern: 2, 4, 8 and 16.

And, in my experience, it is possible at this point to lure virtually anybody into "deducing" that when *n*=6 the number of regions will be 32.

But it isn't. It's 31!

And the general formula for the number of regions isn't the simple one we had in mind at all.

It's

(*n*^{4}-6*n*^{3}+23*n*^{2}-18*n*+24)/24.

## Surprising connections

In higher mathematics, some of the deepest surprises come about from unexpected *connections* between apparently quite different parts of the subject.

When we first meet the number , for instance, it is all about circles. In particular, if we take any circle, then is the ratio of circumference to diameter.

Imagine the surprise, then, in the mid-17th century, when Leibniz discovered the following extraordinary connection between and the *odd numbers*:

While it is possible to prove this result, beyond all doubt, using the methods of calculus, I have yet to meet anyone who can explain this connection between circles and the odd numbers in truly simple terms.

Sometimes, however, the surprising connection lies not within mathematics itself, but between mathematics and real world.The ellipse, for instance, is a curve that was well known to Greek mathematicians, and it can be constructed by pulling a loop of string round two fixed points. These points, H and I, are called *focal points*.

At first sight, perhaps, this is "just" geometry. Yet, some 1,500 years after the ellipse's first appearance in this way, the German astronomer Kepler discovered that the planets move around the Sun in elliptical orbits, and - as if that were not coincidence enough - *the Sun is always at one of the focal points*! And explaining this elliptical planetary motion in terms of a gravitational
force on each planet towards the Sun was eventually to be the cornerstone of Newton's most famous work, the *Principia*.

## Not Quite the Indian Rope Trick

Yet I suppose the greatest mathematical surprise I've ever had came one rainy November afternoon in 1992, when I found myself proving a strange new theorem.

I was trying to give a new twist to an old problem in dynamics, first studied by Daniel Bernoulli in 1738. He had considered a hanging chain of several linked pendulums, all suspended from one another, and discovered various different modes of oscillation.

My theorem showed how it is possible to take all these linked pendulums, turn them upside-down, so that they are all precariously balanced on top of one another, and then *stabilise them in that position by vibrating the pivot up and down*. The upshot of the theorem (which appears on the blackboard in the Steve Bell cartoon at the beginning of this article) is that the "trick" can always
be done if the pivot is vibrated up and down by a small enough amount and at a high enough frequency.

Computer simulations suggested that the upside-down state could in fact be very stable indeed, and this was borne out when a colleague of mine, Tom Mullin, confirmed the theorem experimentally. The photograph below shows an upside-down 50 cm triple pendulum, with the pivot vibrating through 2cm or so at about 40 cycles per second, and the chain of pendulums is seen wobbling back towards the upward vertical after a fairly severe initial disturbance.

not quite the Indian rope trick

As soon as we started calling this gravity-defying experiment "Not Quite the Indian Rope Trick" we found that newspapers, radio and TV all began getting interested, and Tom and I have had a great deal of fun with this topic over the years. My scientific papers on the subject have even been acquired by the archives of the Magic Circle in London, which would surely have astonished a certain
10-year old boy in 1956. (The papers are kept, I understand, in a box file called *Sundry Ephemera*).

In the end, though, it is not all that important whether mathematics might or might not explain a particular magic trick.

What matters, surely, is the extent to which surprising results like this may help persuade the wider public that mathematics, at its best, has a certain magic of its own.

### About this article

This is a shortened version of an article that appeared in the European Mathematical Society Newsletter, Issue 49, 2003.

David Acheson's latest book "1089 and All That" (Oxford University Press 2002) is an original attempt at bringing some of the ideas and pleasures of mathematics to a wide public, and is a *Plus* favourite. Your can read our review in issue 23 of *Plus*, and further details may be found at David Acheson's homepage.

Recently, David Acheson gave a lecture in Cambridge on the topics covered in this article, and more. The lecture was filmed by Science Media Network, and is available to watch online.

## Comments

## 1089

I tried this with 478 and it did not work. What's the problem.

Placido DSouza

## Hi! starting with 478 you get

Hi! starting with 478 you get 874-478=396. Then reversing 396 and adding gives 396+693=1089.

## 478

I think you thought 874 - 478 was 404! Difference between 8 and 4 in column 1 and 3, difference between 7 and 7 is zero in the middle...

I bet that's what you did...

There are conditions where it fails to work but 478 isn't one of them. :)

JavaMain

## Even works with ZEROES

9x0 - 0x9 = 891 + 198 - 1089.

Read this in a book by Shalinka Devi in my teens.

She also has a great about about 1729 to blow the qubic theory. 1729 is the lowest number that is the sum of two cubes in TWO different ways.

10^3 + 9^3 = 12^3 + 1^3.

## 91 is Sum of two cubes twice over

A Japanese mathematician (? Fukimara or similar) described the numbers that reappear if their digits are summed, that number reversed and those added.

1729 adds to 19; 19 times 91 is 1729, the Hardy taxi number.

Many know 91 is 3 cubed plus 4 cubed; it is also 6 cubed plus -5 cubed.

## 1089 Rule

Hi Placido. I would check your maths again. I used your numbers and it worked for me.

## It works

478+874=1352

1352+2531=3883

3883+3883=7766

7766-6677=1089

## 1089

my father could also demonstrate this by algebra

## 1089

Just did this with my 11 year old boy. When he calculated the answer I asked him to take his book, turn to page 108 and find line 9.

Of course I was able to recite it to him :)

Maths can be fun!

## Proof of 1089

If first number is 100a + 10b + c

Second number is a+ 10b + 100c

Difference is 99( a-c)

By use of divisibility rules or by exhaustion the 99 times table (1..8) has the property that the outside digits add to 9 and the middle digit is 9

So we have a number of the form 100d+ 90 + f

Add to the digits reversed d +90 + 100f

to get 101(d+f) + 180

And since d + f = 9

The result = 909+ 180 = 1089

Note that this breaks down if a= c e.g. 414 reversed is 414 the difference is zero and digit reversal sum is also zero

The usually stated condition is that the initial three digits are different.

a sufficient but not necessary condition.

Eg. 441 -144 = 297 =99*3 etc.

## conditions and proof for 1089

No divisibility rules or 99 times table is needed for the proof.

If the number is 100a + 10b + c, and a>c then

100a + 10b + c

- 100c + 10b - a

= 100*(a-c) + (c-a) -- or, since c-a is negative

= 100*(a-c-1) + 90 + (10+c-a)

This shows that the middle digit is 9.

Then adding digits:

100*(a-c-1) + 90 + (10+c-a)

+ 100*(10+c-a) + 90 + (a-c-1)

= 1000 - 100 + 180 + 9 = 1089

## Apply 11*10^(N-1)*[10^(N+1)-1]

Same Method is applicable for all the numbers with all ODD number of digits (digits of the number taken in decreasing order) , greater than 3 (of course). Consequently, the outcomes vary according to number of digits.

Let the number of digits be (2*N+1), where N=1,2,3,4...

Then, the corresponding magic number is given by;

11*10^(N-1)*[10^(N+1)-1]

If N=1; THREE digit number; 11*1*(100-1)=11*99=1089

If N=2; FIVE digit numbers; 11*10*[1000-1}=109890

1. 87542-24578=62964

62964+46926=109890.

2. 85421-12458=72963

72963+36927=109890

Similarly for 7, 9 11, 13....

Cool. Isn't it?

Hoping that you got it,

Alanka Anil Kumar™

## divisible by 9...

A most engrossing article. I wonder, if the following premise has a particular description and if anybody would be kind enough to furnish me with an explanation? In respect of the 1089 trick; I found that any number, of two or more digits (except 'mirrored' numbers such as 11 or 89,598) where at least one number is more or less than it's adjoining digits, when reversed and the lower subtracted from the higher the answer is always divisible by 9, for example:

75 - 57 = 18 = 9 x 2

9801 - 1089 = 8712 = 9 x 968

7,324,586 - 6,854,237 = 470,349 = 9 x 52,261

I have very little academic background, simply interest and curiosity and would greatly appreciate any clarification.

Thank you in advance.

Mike.

## Hi Mike. You might like to

Hi Mike. You might like to see this article, https://plus.maths.org/content/arithmetic-made-easy-reversible-numbers which explores what happens when you add and subtract such "reversible" pairs of numbers.

## Cistern example

Can someone show me how this was solved. Thanks.