Challenging
Home Up

 




Challenging Mathematical Puzzles and Problems
(joint BA course #2)

" I do believe that problems are the heart of mathematics, and I hope that as teachers, in the classroom, in seminars, and in the books and articles we write, we will emphasize them more and more, and that we will train our students to be better problem-posers and problem-solvers than we are. " Paul Halmos in his Problems for Mathematicians, Young and Old,  Mathematical Association of America, 1993.

Here are two Paul Halmos related photographs: his central place on our open departmental notice board, and birthday greetings to him in 2001 from my (then mathematics) colleague Olivia Bree (Olivia became the College's Assistant Registrar in 2003) and myself.

I have a Paul Halmos section in another corner of my web site.

Aims/Objectives. The Moscow University Mathematics Undergraduate Problem Seminar - conducted annually by the great Russian mathematician V. I. Arnold (I met him once, here in Dublin) - presents unsolved problems to students (and staff) to think about. Possible solutions are presented, discussed, accepted or rejected. Solvers usually develop into outstanding leading mathematicians.

I have a much more modest aim in my course. I wish to draw the attention of my students to the rich resource of some well-known collections of solved problems (see recommended reading list below), and to study (by discussion, hints, etc) a selection of problems.

In considering the types of problems that I present to my students it is uppermost in my mind that a good number of those problems to be ones they can tell to their non-mathematical friends (as challenges or fun); problems that do not require knowing any mathematical theorems or theories. Some of the topics are unashamedly 'recreational mathematics' (and why not!)...

Learning Outcomes. At the end of this course students should have added a number of new problem-solving strategies to their repertoire, and have developed (I hope!) a life-long passion for problem solving.

How I teach my course. I sit with my students in my office; we chat, ask questions, give hints, struggle towards solutions. I tell them stories about famous mathematicians (for a break from time to time), I pull my hair out; we play Nim (great fun!); we walk into Dublin one afternoon and have coffee and cakes in Panem (I have a special note about Panem in this corner of my web site) - or else somewhere near the college - and talk mathematics en route (I want them to experience that doing mathematics is not confined to sitting at a desk, and yes, I mention the classic in-joke that a mathematician is a machine for turning coffee into theorems...).

I lend my students personal copies of problem books from the reading list (below); I expect each one to read through the book, identify a problem that appeals to them, try to solve it, and if stuck consult the sketch solution. If still stuck then talk about it with the others, and finally with me. The student will eventually make a presentation of that problem to the others and myself. 

Sometime we will (later: we did) watch the Paul Erdos (I don't know how to get the double acute accent over the 'o') N is a number video ('The story of a wandering mathematician obsessed with unsolved problems'), and the Andrew Wiles BBC Horizon video...

A selection of problems that I have in mind, some of which are classics. I will add more details in time, but for the moment just a flavour. If I don't attribute a problem it's simply that it's 'well-known' (it's been around for a long time...), but otherwise I will attribute when I know an actual source (which may not itself be 'original').

Note concerning occurrences of Maple worksheets below. Almost everything at this page may be read as just text, but there are instances where links are to 'Maple worksheets'. Those sheets - in their original .mws formats may only be read by someone who is expert in such matters (those which I have converted to html format may be read by anyone), but even those should read the note at the top of my Maple page.

1. An 8 by 8 chess board may, of course, be covered with 32 non-overlapping dominoes; argue that if two opposite corners are removed then the resulting board cannot be covered with 31 dominoes. (That simple sounding problem leads to others...)

2. Play Nim (and subsequently understand the mathematical theory behind it), a game for two people: Place any number of matches in any number of piles; a player's 'move' entails removing whatever number of matches from whichever pile he/she wishes (an entire pile may be removed). It is then the other player's move, and the game continues until there are no matches left. The 'winner' is the one who removes the last match (which may be several in one move). So, get out your matches, and play...

Do a Google web search on 'Nim'Play Nim online (with 3 piles and a maximum of 21 'matches').

Some 40 years ago when I first encountered 'Nim' in Hardy and Wright's great classic I rather looked down my nose at it, but now my attitude is that if it was good enough for Hardy and Wright to include in their Theory of Numbers then I shouldn't feel too badly about introducing it to my students.

3. Encounter the extraordinary card trick of William Fitch Cheney (this email that I sent to All Users in my college will tell you what it is if you don't already know) and study its wonderful () generalization... . In connection with the trick's generalization I will need to introduce my students to the 'base factorial' representation
of whole numbers, and more besides... .

If you want to know a lot more about the mathematics of card tricks, you need look no further than the irish mathematician Colm Mulcahy.

I've prepared a related Maple worksheet: (n!+n-1).mws,
and for readers without Maple I have made a html version.

Here was a great reaction I had in September (2002): I mentioned this trick to a second year BA student (Aoibheann Reilly), and I told her that she would study it in the third year... A few days later she said she had told it to her father who was out of his mind wanting to know how to solve it; I was horrible and said she'd have to wait until next year... Then, at the start of the second term I displayed Ian Stewart's New Scientist article about the trick, Aoibheann read and understood it, and finally took her father out of his agony. This is precisely the sort of thing I hoped would happen...; (Later Aoibheann went on to my beloved London college - Royal Holloway College - to study for the Masters in Information Security.)

4. The classic 6-people-at-a-party problem: in a group of 6 people, argue that there must be at least three of them, every two of whom know each other, or there must be at least three of them no two of whom know each other.

This elementary, but non-trivial problem allows one a first step into the wonderful world of Ramsey numbers. How quickly one then gets into really deep waters and unsolved problems... Look up Frank Ramsey at the monumental St Andrews University History of Mathematics site.

Frank Ramsey featured in the wonderful BBC Great Lives series in December 2020.

Here are some Ramsey numbers notes that I typed up in pdf format.

Stanislaw Radziszowski maintains an invaluable Small Ramsey Numbers site.

5. Choose any (n+1) different numbers from the 2n numbers (1, 2, 3, ... , 2n); argue that that at least one of those must divide ('evenly') into another (different one, of course) of those. (One should keep in mind that this result is 'best possible' in the sense that the same conclusion does not necessarily hold if 'n+1' is replaced with 'n'.)

People 'in the know' will know that a very beautiful solution to this problem exploits the Dirichlet box principle (aka the pigeonhole principle: if m 'objects' are placed in n 'boxes', and m is greater than n, then some 'box' must contain at least two 'objects'); in fact I wish to use this problem to introduce my students to this incredibly powerful principle, and to demonstrate its power I will use it to prove (using an idea of Axel Thue's) Fermat's great classic that every prime number that leaves remainder 1 on division by 4 is expressible as a sum of two squares of integers:

 ... ad infinitum
    

    I have prepared a quite detailed Maple worksheet on this topic: Fermat-Thue (mws format (62KB); I have removed the output which you may recreate by executing Maple commands - and for readers without Maple I have made a html format version.

6. Let there be any number of boys and girls at a party, and suppose no boy dances with every girl, and that every girl dances with some boy; argue that there must be a boy-girl pair (b, g) who dance, and another such pair (B, G), but that 'b' does not dance with 'G', nor does 'g' dance with 'B'. (This was problem A-4 in the 1965 William Lowell Putnam Mathematical Competition).

7. Some (positive) whole numbers can be expressed as a sum of consecutive (positive) whole numbers; e.g. 7 = 3+4, 14=2+3+4+5, ... whereas 8 cannot be so expressed (check to see). Find (with proof, of course!) those which can, and those which can't. This is an old problem, and was the subject of a paper of mine: A Halmos Problem and a Related Problem, American Mathematical Monthly, 993-996, Vol. 101, No 10, December 1994. It may be obtained by anyone with access to JSTOR, or whose university subscribes to it. If you can't access it then send me an email and I'll send you a hard copy.

8. A well known problem (dear to Paul Erdos): for any n non-collinear points in the plane, prove that some two of them lie on a line that passes through no other one of them (answering a question first posed by Sylvester).

9. A problem (with a related proof-idea): Let A be a set of 2n points in the plane, no three of which are collinear. Suppose n of them are coloured red and the remaining n blue. Prove or disprove: there are n closed line segments, no two with a point in common, such that the endpoints of each segment are points of A having different colours (This was problem A-4 in the 1979 William Lowell Putnam Mathematical Competition).

10. Prove that if n is any whole number greater than 1, then n does not divide (). This was problem A-5 in the 1972 William Lowell Putnam Mathematical Competition, and clearly it provides lots of fodder as far as understanding is concerned: why does this work with '2' (so what happens if '2' is replaced with 3, 4, 5, ... ?), and what happens if (e.g.) one replaces () with ()?

11. Egyptian fractions (The outstanding US mathematician Ron Graham did his PhD - with D. H. Lehmer - on egyptian fractions; so this is a non-trivial topic, with many unsolved problems, e.g.: the Erdos-Strauss conjecture, or the odd greedy algorithm, or ...). (Incidentally, in the Computers in Number Theory Conference held in Oxford in August 1969, there is a photo in which you may see Rom Graham, D. H. Lehmer, and myself (then 23 years).)

The initial Egyptian fraction problem (before matters start to increase in difficulty). Prove that every  positive fraction satisfies

  + ... +

for some distinct whole numbers , ... , . Thus, for example:

I never realised until I began this topic with my students just how fascinating it would turn out to be... Do a Google web search on egyptian fractions, and delight in the exceptional egyptian fractions site (which has many fine related links) of David Eppstein. I have prepared a substantial (67KB, output removed) Maple worksheet on Egyptian fractions , and also in html format.

12. A problem of Ducci (I first heard of this from Richard Dubsky when I visited the wonderful Hockaday School of Dallas in March 2002)...

13. Some problems based on a 1989 paper of mine, A Remark on Euclid's Proof of the Infinitude of Primes, American Mathematical Monthly, 339-341, Vol. 96, No. 4, April 1989. (It may be obtained by anyone with access to JSTOR, or whose university subscribes to it. If you can't access it then send me an email and I'll send you a hard copy.) A typical problem: choose any number of primes whatever, from the first one (2), up to and including any other one p (say) (it must be chosen to be at least the fourth prime). Finally choose any one of those primes - q (say) - and form the product of all the original primes (with q excluded) plus 1. Now prove that number cannot be a power of the excluded prime.

Comments. One needs the "at least the fourth prime" (if one used only 2, 3 and 5, then 3*5 + 1 is 24). The result is trivial if q = 1 (mod 4) (why?), but is not so when q = 3 (mod 4). Also I have many unpublished results when two primes are omitted: prove - for example - that 5 + 1 = 21*31
and 5*7 + 1 = 22*32 are the only examples of 5*7*11*13*...*p + 1 = 2m*3n

Serious number theorists might be interested to note that none of these results are consequences of the celebrated abc conjecture, though they appear as though they ought to be.

14. Prove that the number can be expressed as the product of no less than n prime factors (not necessarily different).

I first saw that (expressed as a) problem in the Entrance Examinations for the Independent University of Moscow, Notices of the American Mathematical Society, February 1993, Vol. 40, N0. 2, page 138. (Of course anyone who knows about Fermat numbers will be immediately amused by that problem...)

I will add more when time allows... (I never did... time didn't allow, and I took early retirement in August 2007 to concentrate just on research work: joint papers with Karl Dilcher).

Recommended reading list


Kurchak J., Hungarian Problem Books 1 and 2 (E�tv�s Competitions), 1984-1905 and 1906-1928, Mathematical Association of America, 1963.

Greitzer S.L. (Compiler and Solver), International Mathematical Olympiads, 1959-77, Mathematical Association of America, 1978.

Klamkin M.S. (Compiler and Solver), International Mathematical Olympiads (and 40 supplementary Problems), 1978-85, Mathematical Association of America, 1986.

Yaglom A.M. and Yaglom I.M., Challenging Mathematical Problems, Holden-Day, 1967.

Larson L.C., Problem Solving Through Problems, Springer-Verlag, 1990.

(The great) Polya G., Mathematical Discovery, Vols. I and II, John Wiley, 1962.

Polya G., Mathematics and Plausible Reasoning, Vols. I and II, Princeton University Press, 1968.

Honsberger R., Ingenuity in Mathematics, Mathematical Association of America, 1970.

Honsberger R., Mathematical Gems, Vols. I, II and III, Mathematical Association of America, 1973, 1976 and 1985.

Honsberger R., Mathematical Morsels, Mathematical Association of America, 1978.

Honsberger R., Mathematical Plums, Mathematical Association of America, 1979.

(You can tell that I admire Honsberger!!)

Alexanderson G.L., Klosinski L. and Larson L. (Compilers). The William Lowell Putnam Mathematical Competition, Problems and Solutions for 1965-84, Mathematical Association of America, 1986.

Klamkin M.S. (Compiler), U.S.A. Mathematical Olympiads, 1972-86, Mathematical Association of America, 1988.

Klee V. and Wagon S., Old and New Unsolved Problems, Mathematical Association of America, 1991.

(The greats) Conway J. and Guy R., The Book of Numbers, Copernicus, 1996.

(THe great) Halmos P., Problems for Mathematicians, Young and Old, Mathematical Association of America, 1993.

Aigner M. and Ziegler G., Proofs from the Book, Springer-Verlag (1998, 2000)

An outstanding resource is Alexander Bogomolny's Interactive Mathematics Miscellany and Puzzles, and a list of great books.

There is a lovely Pigeonhole Principle site (with some nice problems) maintained here (it's a subset of the AB site above).

Eric W. Weisstein's Recreational Mathematics corner (which has a puzzle corner) of his wonderful mathworld site.

Macalester College Problem of the Week (Stan Wagon)

The Math Archives and Mathematics Contests, Competitions, Problem Sets sites.

The Canadian International Mathematical Olympiad site.

(The remarkable) Terence Tao's Math 199 - Problem Solving and Putnam Preparation

Finally (!), another wonderful problems site (Purdue changed the address, and updated it to): Purdue Problem of the Week.

That Purdue Problem page was initially created by the wonderful Michael Golomb.


 

Contact details 

After August 31st 2007 please use the following Gmail address: jbcosgrave at gmail.com