THE SYDNEY SCHOOL: MATHEMATICS, THE SCIENCE OF STRUCTURE

EXPLANATION OF THE DIAGRAM

 Theorem: If six points are connected by lines which can be either of two colours (drawn dashed and filled lines in the diagram), then there is a triangle of a single colour.  Proof The philosophical interest of the proof lies in its "bare hands" nature: there is no use of arbitrary axioms, just obvious truths about small finite structures. Yet the result can hardly be called a tautology. And the proof provides understanding of why the result must be true. Take any point. Of the five lines from it, three must have the same colour, say filled. Consider the triangle formed from the three points at the end of those lines. If the three lines of the triangle are all dashed, there is a triangle of one colour. If one of the three lines is filled, it and the two lines back to the original point form a filled triangle. So in either case, there is a triangle of one colour. More on the mathematics: An introduction to Ramsey theory An introduction to mathematical proof from an Aristotelian point of view: Proof in Mathematics: An Introduction A short article on Proof in Mathematics For further information, contact James Franklin, j.franklin@unsw.edu.au This site created by James Franklin with help from Gerry Nolan