The only good thing about a wash-out summer is that you get to see lots of rainbows. Keats complained that a mathematical explanation of these marvels of nature robs them of their magic, conquering "all mysteries by rule and line". But rainbow geometry is just as elegant as the rainbows themselves.
The famous mathematician Euclid is credited with being the first person to axiomatise the geometry of the world we live in - that is, to describe the geometric rules which govern it. Based on these axioms, he proved theorems - some of the earliest uses of proof in the history of mathematics.