- Crocodiles are greener than they are wide, since they are green along their length and width, but only wide in one direction.
- They are longer than they are green, since they are long from the top and from the bottom, but only green on the top.
- Therefore, by transitivity of inequality, crocodiles are longer than they are wide.
(width < greenness < length => width < length)
Thursday, February 06, 2003
So, for any of you who may happen to be wondering about the precise shape of a crocodile, here is a handy proof (courtesy of a CS 221 study session a few years ago) for showing that these amazing creatures are indeed longer than they are wide: