Oh no, I've deliberately obscured large portions of this ruler and I need to make sure these vegetables are whole numbers of inches long or my toddler will eat me instead: a #RealWorldMaths thread

694 favourites 94 retweets

In reply to @christianp

As you might know, my daughter is both a very fussy eater and a superhero whose superpowers are an unbounded appetite and precisely eyeballing lengths.
Everything she eats needs to be a whole number of inches long (thanks for telling her about inches, grandad!)

56 favourites 1 retweet

In reply to @christianp

When I stand up straight I'm exactly 6'5" tall.
I need to get these measurements exactly right, and I don't want to think about the alternative.

30 favourites 1 retweet

In reply to @christianp

Only the 0, 1, 4 and 6 marks are visible. So I can definitely cut sticks that are 1, 4 and 6 inches long, like this:

29 favourites 1 retweet

In reply to @christianp

But how can I measure 2, 3 or 5 inches?

23 favourites 0 retweets

In reply to @christianp

Fun maths fact: 2 = 6 - 4. So to make sure something is 2 inches long, I just need to line it up with the 4 and 6 marks.

23 favourites 0 retweets

In reply to @christianp

I can use some more Advanced Maths Theorems such as 3 = 4 - 1 and 5 = 6 - 1 to measure the two other lengths, like this:

33 favourites 0 retweets

In reply to @christianp

Hooray, all the food is the right length and I will live to see another meal time!

But have you noticed that there are 4 × 3 ÷ 2 = 6 ways of picking two marks from 4? So this ruler gives me as many different lengths as it possibly can!

25 favourites 0 retweets

In reply to @christianp

Rulers with this property - as many distinct lengths as possible for a given number of marks - were investigated by a few people, including Simon Sidon, Wallace Babcock, Sophie Piccard and Solomon Golomb, in the 1930s.

Ready for the punchline?

26 favourites 1 retweet

In reply to @christianp

This is the best you can do!

There's no ruler with more than four whole-number marks that can measure every possible length up to the distance between the lowest and highest mark.

That's a lemma, a theorem, and a stone cold fact.

48 favourites 2 retweets

In reply to @christianp

If you find that hard to believe, like I do, you can read a proof on Justin Colannino's page about Golomb rulers: cgm.cs.mcgill.ca/~athens/cs507/…
It's full of facts about all sorts of fruity variants on the setup, like circular rulers and modular rulers.

23 favourites 2 retweets

In reply to @christianp

And if you were keen to get involved with the burgeoning field of Ruler Maths but are sad that it's been entirely resolved, take heart: there's still something we don't know and that you can help with!

18 favourites 0 retweets

In reply to @christianp

If you're relaxed about measuring *every* length and just want a ruler that measures more different lengths than any other, nobody knows a formula for making one!

At the moment, we know the best rulers for up to 27 marks. After that it's all conjecture.

17 favourites 0 retweets

In reply to @christianp

So you can either sit down and do some hard thinking and come up with a formula, or you can join the distributed effort to check ever bigger rulers using computers.

(One of these is easier than the other)

14 favourites 0 retweets

In reply to @christianp

To take part in the OGR project (distributed.net/OGR) you just need to run a little program on your computer. It'll churn away, looking for rulers that do as well as they can, even though we already know they're not going to be perfect.
And isn't that all you can ask for?

17 favourites 3 retweets

In reply to @christianp

End of thread!

46 favourites 0 retweets

View this tweet on twitter.com

This tweet as JSON