What proof is for: the leap from A-level to university mathematics
What proof is for: the leap from A-level to university mathematics
A-level Maths is mostly about calculation. University Maths is mostly about proof. The gap catches strong students off guard every year, and the ones who cross it early hold a genuine advantage.
Students who are good at A-level Maths are good at a particular thing: applying a method accurately to reach an answer. Differentiate this function, solve that equation, find this area. We wrote about closing the gap between understanding the methods and executing them under pressure in our piece on turning understanding into marks. University mathematics asks for something the A-level rarely does, and the students who arrive expecting more of the same are often the most surprised. The subject is no longer mainly about calculating. It is about proving.
What a proof is
A proof is a watertight logical argument from agreed starting points to a conclusion, valid not for the cases you happened to try but for every case at once. This is a different standard of truth from the one A-level trains. At school a result is something you learn and then apply. In a proof, nothing is true until it has been derived, and the question is never whether it works but why it must. The shift is from operating a machine to explaining why the machine could not do anything else.
Examples are not proof
The hardest habit to unlearn is the belief that checking cases establishes a result. Consider the expression n squared plus n plus 41. Put in n equals 0 and you get 41, which is prime. Try n equals 1, 2, 3, and on upwards to 39, and every single value is prime. It would seem entirely reasonable to conclude that the formula always produces primes. It does not. At n equals 40 the value is 1681, which is 41 multiplied by 41. Thirty-nine confirming cases proved nothing at all, because a mathematical claim is about every number, and no finite check can reach them. This is why proof exists, and why techniques such as induction, contradiction and the use of the contrapositive are introduced at exactly the point where checking runs out.
Rigour and definition
University mathematics also makes precise what school leaves to intuition. You have relied on the idea that a function gets arbitrarily close to a limit, or that a curve is continuous, on the strength of a picture in your head. The branch of the subject called analysis replaces the picture with a formal definition, the epsilon and delta statement that says exactly what closeness means without any appeal to intuition. The first encounter with this is disorienting, because it takes something you thought you understood and shows you that you had never actually said what it meant. That precision is not pedantry. It is what allows mathematics to be certain.
Abstraction and structure
The other large shift is towards abstraction. Where A-level studies particular objects, numbers and functions and shapes, university mathematics studies structures: the common pattern that many different objects share. Group theory, met early in most degrees, is the study of symmetry in the abstract, and the same abstract group turns up in the symmetries of a triangle, the solutions of an equation and the arrangement of a molecule. Learning to see the shared structure beneath unlike things is a large part of what a mathematics degree develops, and it becomes a real pleasure once it clicks.
How to prepare
The preparation that helps is not more calculation. It is early exposure to proof and to mathematics as a way of thinking. G.H. Hardy's short memoir on the life of a mathematician conveys the sense of the subject as a creative art better than almost anything written since. A book such as Daniel Velleman's guide to proof teaches the mechanics directly. The admissions tests for the strongest courses, the MAT, the TMUA and the STEP papers, reward this kind of reasoning rather than syllabus recall, which is why students who prepare with proof-based problems rather than yet more past papers tend to do better. Our resources point to the right places to begin, and this transition is one of the things our mathematics tutoring is designed to smooth.
